17/11/07 23:29:29.02 F0P8QdZ3.net
>>273
>有界な実数集合の上限の存在がZornの補題から従う
切断で定義する実数では連続性に別に選択公理要らないよ
316:１３２人目の素数さん
17/11/07 23:29:55.53 F0P8QdZ3.net
>>306
もう止めなよ
可哀想な人
317:１３２人目の素数さん
17/11/07 23:33:41.78 6SAPjFtc.net
>>289
実係数多項式をR、複素係数多項式をCとすると、
R*R=R
R*C=C
C*R=C
C*C=CまたはR
のパターンしかない。
R*X=R なら、XはRで確定。
318:１３２人目の素数さん
17/11/07 23:42:13.24 KCPLSFoF.net
A(－3,1)を通り，傾き2の直線をLの方程式は
y - 1 = 2(x + 3)
が正解みたいなんですけど、y = 2x + 7 の可能性はどこで消えるんでしょうか？
319:１３２人目の素数さん
17/11/07 23:42:42.43 o8b3Czlh.net
どちらも同じですよね
どっちも正解です
320:１３２人目の素数さん
17/11/07 23:53:03.46 KCPLSFoF.net
>>312
ありがとうございます。こういうケースに柔軟に対応できるよう慣れていこうと思います。
321:１３２人目の素数さん
17/11/07 23:58:34.98 F0P8QdZ3.net
>>310
うーん
弱いな
322:１３２人目の素数さん
17/11/08 00:05:21.06 scBnzmQg.net
>>307
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません
323:１３２人目の素数さん
17/11/08 00:13:02.05 +FMC5OWu.net
複素解析におけるポテンシャル論の有用性を教えて
324:１３２人目の素数さん
17/11/08 00:15:54.66 sc4+co92.net
>>313
①「y-1=2(x+3)」
意味を重視した式
・x=-3、y=1で等式が成り立つ→点(-3,1)を通る
・2(x+○)→傾きが2
この意味を式中に埋め込んでいる
計算可能な部分が残っているから指示がない限り最終的な解答として不向き
②「y=2x+7」
y=ax+b のように一次関数の基本形
一般的な解答としてはこちらが好まれる
答え方に迷ったらこちら
③「2x-y+7=0」
直線の方程式の表示形式
多変数を扱う場合はこういう表記もあるけど、あまり気にしなくていい
325:１３２人目の素数さん
17/11/08 00:17:54.64 scBnzmQg.net
>>317
三段論法を用いる任意の数学の証明は、三段論法を用いない別証明を持つことを示せ、という問題がわかりません
326:１３２人目の素数さん
17/11/08 00:34:18.22 HCMYFA6+.net
線形写像f:U→Vにおいてa∈Uに対して-f(a)=f(-a)ってどう証明すればいいんですかね
f(a-b)=f(a)-f(b)と同じ方法で示そうとすると結局堂々巡りになってしまうのですが
327:１３２人目の素数さん
17/11/08 00:36:10.82 scBnzmQg.net
f(0)=0=f(a-a)=f(a)+f(-a)
f(-a)=-f(a)
328:１３２人目の素数さん
17/11/08 00:50:36.26 KYal/F5W.net
>>318
下らん
329:１３２人目の素数さん
17/11/08 00:51:06.36 KYal/F5W.net
>>320
しょうも無
330:１３２人目の素数さん
17/11/08 00:55:06.46 rpzlc+ba.net
今全財産が3000円しかありません
何とかして20万円まで増やしてiPhoneかギャラクシー買いたい
その方法とは？
331:１３２人目の素数さん
17/11/08 00:56:50.45 NRmZ7qIa.net
腎臓を売ります
332:１３２人目の素数さん
17/11/08 00:58:32.75 scBnzmQg.net
>>321
わからないんですね
333:(笑)
334:１３２人目の素数さん
17/11/08 00:58:46.52 YGpWnrKo.net
別宇宙・別世界・別次元・別階層にワープする技術を独力で構築したらノーベル賞9999不可説不可説転個貰えますか？
335:１３２人目の素数さん
17/11/08 01:06:35.06 YGpWnrKo.net
新たな宇宙・世界・次元・階層を独力で構築したらノーベル賞9999不可説不可説転個貰えますか？
336:１３２人目の素数さん
17/11/08 01:16:24.57 mblwdtt/.net
>>318
〔ゲンツェンの基本定理〕(1935)
シーケンスSが証明可能ならば、三段論法を用いないでもシーケンスSは証明可能である。
（大意）
第一階述語論理体系LKおよびLJにおいて、「シーケンスSを終式にもつ証明図」が与えられたとする。
この証明図から「同じシーケンスSを終式にもちかつ三段論法を含まない証明図」を構成する一連の手続きを、定義することができる。
337:１３２人目の素数さん
17/11/08 01:27:02.20 lphcYthw.net
(P(x),Q(x),R(x))がR[x]≦2の基底であるとするとき
(P(x+1),Q(x+1),R(x+1))もR[x]≦2の基底であるか判定せよ
また、そのとき(P(x),R(x),Q(x))から(P(x+1),Q(x+1),R(x+1))への変換行列はどうなるか求めよ
前スレでも書きましたが答えが頂けなかったのでお願いします
338:１３２人目の素数さん
17/11/08 01:38:09.92 mblwdtt/.net
>>328
ぢゃあ、後者の証明図に現れる論理式はどれも
終式Sに現れるいずれかの論理式の一部（部分論理式）になるな…
339:１３２人目の素数さん
17/11/08 01:40:21.12 scBnzmQg.net
どうせどっかのpdfからコピってきたんでしょうね
340:１３２人目の素数さん
17/11/08 02:08:43.13 mblwdtt/.net
そうだったのか。
341:１３２人目の素数さん
17/11/08 02:34:36.24 w+IqqMhv.net
>>329
> (P(x),Q(x),R(x))がR[x]≦2の基底であるとするとき
まず、「R[x]≦2」の書きっぷりが、なんじゃこいつ、ということになったんだろうな。
「R[x]」は多項式環を表すのが普通の意味なので、
多項式環が2以下って何？ということになっちゃうね。
残念
（エスパーの暗闘は密かに繰り広げられているのかな？）
342:１３２人目の素数さん
17/11/08 02:47:16.49 6InMXqC3.net
>>329
次数2以下ってことなら適当に文字使って表して変換行列が正則かどうか見ればよくね
343:１３２人目の素数さん
17/11/08 02:58:29.03 YGpWnrKo.net
大日如来とアメリカ合衆国大統領はどっちの方が偉いですか？
344:１３２人目の素数さん
17/11/08 03:37:05.46 YGpWnrKo.net
全宇宙全次元全世界全階層になりたいのですが、どうすればなれますか？
345:￥
17/11/08 08:16:22.07 r2EqUl6O.net
￥
346:￥
17/11/08 08:16:39.84 r2EqUl6O.net
￥
347:￥
17/11/08 08:16:57.20 r2EqUl6O.net
￥
348:￥
17/11/08 08:17:13.31 r2EqUl6O.net
￥
349:￥
17/11/08 08:17:29.08 r2EqUl6O.net
￥
350:￥
17/11/08 08:17:44.93 r2EqUl6O.net
￥
351:￥
17/11/08 08:18:01.28 r2EqUl6O.net
￥
352:￥
17/11/08 08:18:17.50 r2EqUl6O.net
￥
353:￥
17/11/08 08:18:33.75 r2EqUl6O.net
￥
354:￥
17/11/08 08:18:50.95 r2EqUl6O.net
￥
355:１３２人目の素数さん
17/11/08 09:09:25.27 lphcYthw.net
>>333
R[x]_(≦2)と書けば分かりやすかったですかね
[x]の添字に≦2が付いてる意味で書いてました
意味は次数が最大2の多項式環らしいです(自分もこの問題で初めてこの記号を見ました)
356:１３２人目の素数さん
17/11/08 10:01:25.78 w+IqqMhv.net
>>347
次数が2次以下の多項式の全体がなす加群、ね。
多項式「環」にはならない。
解答は>>334さんが書いている
357:１３２人目の素数さん
17/11/08 10:02:54.45 KYal/F5W.net
>>329
T:R[x]→R[x]:f(x)→f(x+1)は線形同型（線形性は明かで逆写像の存在も明か）
よって
P,Q,Rが1次独立→TP,TQ,TRは1次独立
P,Q,Rが生成→TP,TQ,TRが生成
すなわち
P,Q,Rが基底→TP,TQ,TRが基底
(TP,TQ,TR)=(P,Q,R)A
(TP',TQ',TR')=(P',Q',R')A
(TP'',TQ'',TR'')=(P'',Q'',R'')A
A=(PQR/P'Q'R'/P''/Q''/R'')^-1(TPTQTR/TP'TQ'TR'/TP''TQ''TR'')
358:１３２人目の素数さん
17/11/08 10:12:14.39 KYal/F5W.net
注：n個のn-1階微分可能関数が1次独立ならロンスキアンは0にならないので
359:正則
360:１３２人目の素数さん
17/11/08 10:24:12.11 w+IqqMhv.net
>>349
> >>329
> T:R[x]→R[x]:f(x)→f(x+1)は線形同型（線形性は明かで逆写像の存在も明か）
え？
361:１３２人目の素数さん
17/11/08 10:31:41.43 w+IqqMhv.net
失礼
362:１３２人目の素数さん
17/11/08 12:04:38.21 9GhzdmI+.net
>>289
>f(z) を実係数多項式とし、複素係数の多項式として
>f(z) = g(z)*h(z)
>と分解されるとする。
>このとき、g(z) が実係数多項式ならば h(z) も実係数多項式である
もう話終わったかもしれんけど...
f, g, h それぞれの係数を a[0...n+m] (∈ R), b[0...n] (∈ R), c[0...m] (∈ C) で表す。
h(z) に非実数係数項が存在すると仮定し、その最大次数 を k (≦m)とする。
a[n+k] = Σ{i+j=n+k} b[i]*c[j] = b[n]*c[k] + b[n-1] * c[k+1] + ....
仮定より和の初項は非実数、その他の項は実数である。これは和の a[n+k] が実数であることに矛盾する。
背理法により h(z) に非実数係数項 は存在しない。
よって h(z) は実係数多項式である。
363:１３２人目の素数さん
17/11/08 12:09:34.24 KYal/F5W.net
>>330
「三段論法」を凄く狭く定義してるだけよ
364:１３２人目の素数さん
17/11/08 12:32:55.70 YLC+7k7Q.net
>>354
>>330が間違えだとでも言いたそうですね(笑)
365:１３２人目の素数さん
17/11/08 12:55:48.85 5ejE5iPD.net
カット以外の三段論法てあるんか？
366:１３２人目の素数さん
17/11/08 12:58:45.50 EG9EsJzj.net
高校数学です
lim[n→∞]((3^n)/n!)の極限を求めよ
やり方がわからないので教えて下さい
367:１３２人目の素数さん
17/11/08 13:19:37.87 +pMn8nmi.net
>>357
an＝(3^n)/n!とおく
a(n+1)＝(3/(n+1))an より
n+1＞3、つまりn≧4に対してa(n+1)＜(3/4)an
ここから0＜an＜(3/4)^(n-3)a3
n→∞で、はさみうちの原理からan→0
368:１３２人目の素数さん
17/11/08 13:25:00.39 NUCx5GNv.net
距離空間 X において A, B を A ∩ B = 空集合である2つの閉集合とする。
A ⊂ U, B ⊂ V, U ∩ V = 空集合を満たす X の開集合 U, V
が存在することを証明せよ。
証明：
X 上で関数
φ(x) = d(x, A) - d(x, B)
を考えれば、 φ : X → R は連続である。よって、
U = {x | φ(x) < 0}
V = {x | φ(x) > 0}
は開集合で、 A ⊂ U, B ⊂ V, U ∩ V = 空集合となる。
369:１３２人目の素数さん
17/11/08 13:25:38.89 NUCx5GNv.net
A ⊂ U, B ⊂ V となるのはなぜでしょうか？
証明をお願いします。
370:１３２人目の素数さん
17/11/08 13:33:59.67 NUCx5GNv.net
あ、分かりました。
d(a, B) = 0 となるような a ∈ A が存在したとすると、
a ∈ Bの触点 = B となり、 A ∩ B = 空集合に矛盾する。
371:１３２人目の素数さん
17/11/08 14:44:59.81 NUCx5GNv.net
以下の問題に対する解答はあっていますか？
完備な距離空間に一様同相な距離空間は完備であることを証明せよ。
証明：
X を距離空間
Y を完備な距離空間
f を X から Y への一様同相写像
とする。
f は一様連続だから、
ε を任意の正の実数とすると、
d(x, y) < δ ⇒ d(f(x), f(y)) < ε
となるような正の実数 δ が存在する。
(x_n) を X のコーシー列とすると、
m, n ≧ N ⇒ d(x_m, x_n) < δ となるような自然数 N が存在する。
m, n ≧ N ⇒ d(f(x_m), f(x_n)) < εが成り立つ。
よって、 (f(x_n)) は Y のコーシー列である。
Y は完備であるから、
lim f(x_n) = b となるような b ∈ Y が存在する。
a := f^(-1)(b) とおく。
f^(-1) は連続写像だから、
lim x_n = lim f^(-1)(f(x_n)) = f^(-1)(b) = a
である。
これは、 (x_n) が X の中で収束することを示す。
よって、 X は完備である。
372:１３２人目の素数さん
17/11/08 15:53:40.67 9qE2wZNV.net
微分関係でわからない問題が3つありますのでどうか宜しくお願い致します
・関数 f:I→R を I 上で微分可能かつ単調非減少とするとき、I 上で f'(x)≧0 が成り立つことを示せ
また、f が I 上で狭義単調増加ならば I 上で f'(x)＞0 が成り立つか調べよ
・f:R→R を微分可能な関数とする
「f(x_0)=0 かつ f'(x)＞f(x) (∀x∈R)
373:」が成立してるならば ∀x＞x_0 に対して f(x)＞0 を示せ ・C^n級関数 f:(a,b)→R が α∈(a,b) とk=1,2,...,n-1 に対して f^(k)(α)=0 を満たし、f^(n)(α)≠0とするとき n が偶数ならば f は α で極値をとり、n が奇数ならば f は α で極値をとらないことを証明せよ
374:１３２人目の素数さん
17/11/08 16:09:53.33 ZIwTiOVm.net
こちらこそ宜しくお願い致します
375:１３２人目の素数さん
17/11/08 16:23:04.36 y1FBE2pI.net
信号処理とかもここでいいかな？
y(n)=x(n)+1/2y(n-1)-1/2y(n-2)
の式をz平面で表したいんだけど、どうしたらいい？
376:１３２人目の素数さん
17/11/08 17:59:11.83 iXb4Tr2q.net
>>359
意味不明
377:１３２人目の素数さん
17/11/08 18:05:38.42 NUCx5GNv.net
>>353
直接的で分かりやすい証明ですね。
ありがとうございました。
378:１３２人目の素数さん
17/11/08 18:40:02.50 NUCx5GNv.net
以下は R の任意の区間が連結であることの証明です。
「P は I の開集合、したがって R のある開集合と I との共通部分であるから」
は
「P は I の開集合であるから」
ではなぜ駄目なのでしょうか？
R の任意の区間が連結であることを示す。
I を R の任意の区間とする。 I が2つの空でない I の開集合 P, Q の直和に分割されたと仮定して、矛盾を導こう。
P, Q からそれぞれ1つの点 a, b をとれば、 a ≠ b であるから a < b または a > b .どちらでも同じことであるから
a < b と仮定する。
I は区間であるから、もちろん [a,b] ⊂ I である。いま M = [a, b] ∩ P とおく。そのとき a ∈ M であるから
M ≠ 空集合 で、 b は M の1つの上界であるから、 sup M = c が存在して a ≦ c ≦ b である。
c ∈ I であるから c ∈ P または c ∈ Q .もし c ∈ P ならば、 c < b で、 P は I の開集合、したがって R の
ある開集合と I との共通部分であるから、 ε > 0 を十分小さくとれば、 c < c + ε < b, c + ε ∈ P となる。
よって c + ε ∈ Mとなるが、これは c が M の上界であることに反する。
379:１３２人目の素数さん
17/11/08 18:40:44.90 NUCx5GNv.net
訂正します：
以下は R の任意の区間が連結であることの証明です。
「P は I の開集合、したがって R のある開集合と I との共通部分であるから」
を
「P は I の開集合であるから」
としては、なぜ駄目なのでしょうか？
R の任意の区間が連結であることを示す。
I を R の任意の区間とする。 I が2つの空でない I の開集合 P, Q の直和に分割されたと仮定して、矛盾を導こう。
P, Q からそれぞれ1つの点 a, b をとれば、 a ≠ b であるから a < b または a > b .どちらでも同じことであるから
a < b と仮定する。
I は区間であるから、もちろん [a,b] ⊂ I である。いま M = [a, b] ∩ P とおく。そのとき a ∈ M であるから
M ≠ 空集合 で、 b は M の1つの上界であるから、 sup M = c が存在して a ≦ c ≦ b である。
c ∈ I であるから c ∈ P または c ∈ Q .もし c ∈ P ならば、 c < b で、 P は I の開集合、したがって R の
ある開集合と I との共通部分であるから、 ε > 0 を十分小さくとれば、 c < c + ε < b, c + ε ∈ P となる。
よって c + ε ∈ Mとなるが、これは c が M の上界であることに反する。
380:１３２人目の素数さん
17/11/08 18:42:20.93 NUCx5GNv.net
>>369
は松坂和夫著『解析入門3』に載っている証明です。
381:１３２人目の素数さん
17/11/08 18:51:05.66 yVMmY+VD.net
>>365
Y=X+(1/2)Z^(-1) Y-1/2 Z^(-2)Y
H（ｚ）=Y/X= 2 Z^2/(1-Z+2 Z^2)＝1+(Z-1)/(1-Z+2 +Z^2)
この伝達関数をｚ平面（ｚ＝Exp(j w )）で書けばいいんじゃないの？
ちょっと振動するのかな？
382:１３２人目の素数さん
17/11/08 18:53:08.65 YGpWnrKo.net
仏教学と数学はどっちの方が真理に対する信憑性が高いですか？
383:１３２人目の素数さん
17/11/08 19:22:43.10 Ts1/tdBu.net
>>163
Γ＝｛P,¬P｝とするとΓは充足不可能ですが¬φがトートロジーとなるφ∈Γはとれないのでこの証明は間違ってませんか？
384:１３２人目の素数さん
17/11/08 19:31:41.71 rJQRhdQg.net
>>373
コンパクト性定理より、ある論理式の集まりφ1～φnが存在して、¬φ1∨¬φ2∨...∨¬φnがトートロジーとなる、の間違えでした
385:１３２人目の素数さん
17/11/08 19:54:24.73 YGpWnrKo.net
全＝外側の絶対王者
無＝内側の絶対王者
ですか？
386:１３２人目の素数さん
17/11/08 19:56:17.89 rJQRhdQg.net
>>375
絶対王者=神です
387:１３２人目の素数さん
17/11/08 20:02:53.74 9qE2wZNV.net
>>363
全部でなくともいいのでお願いします…
388:１３２人目の素数さん
17/11/08 20:05:31.11 Sb5mRlwP.net
>>369
相対位相で開は全体では開かわからんやろ
ケチ付けるのが趣味のくせにレベル低いな
389:１３２人目の素数さん
17/11/08 20:07:09.82 YGpWnrKo.net
>>376
神は全に含まれるから、全＞神
じゃないでしょうか？
390:１３２人目の素数さん
17/11/08 20:18:04.53 9GhzdmI+.net
>>369
P = P' ∩ I ( P' はRにおける開集合) と書ける
c ∈ P, P⊂ P' なので、 (c-ε1, c+ε1) ⊂ P' となる ε1 が存在する
また c < c+ε2 < b となる任意の ε2 について、 c+ε2 ∈ I
ε = min(ε1, ε2) とおけば、c+ε ∈ P' ∩ I = P
(分からなかったら部分空間の位相について読み直した方がいいかも)
391:１３２人目の素数さん
17/11/08 20:31:31.72 OXeR7kbv.net
>>363
＞・関数 f:I→R を I 上で微分可能かつ単調非減少とするとき、I 上で f'(x)≧0 が成り立つことを示せ
∃a∈I s.t. 0＞f'(a)=-εとします
ε/2に対して∃δ＞0 s.t.|h|＜δ→ |(f(a+h)-f(a))/h+ε|＜ε/2
-3ε/2＜(f(a+h)-f(a))/h＜-ε/2＜0
h＞0のときf(a+h)＜f(a)となっており、これはfが単調減少ではないことに矛盾します
＞また、f が I 上で狭義単調増加ならば I 上で f'(x)＞0 が成り立つか調べよ
反例 f(x)=x^3
y^3-x^3=(y-x)(y^2+xy+x^2)＞0(y＞x)ですが、f'(0)=0です
392:１３２人目の素数さん
17/11/08 20:43:07.08 M1XSfK8i.net
>>363
2問目は対偶とってロルの定理で証明できると思う
393:１３２人目の素数さん
17/11/08 21:07:29.68 5MwXlS3i.net
>>363
3問目はx=αで第(n-2)次テイラー展開して
f(x)＝剰余項f^(n-2)(α+θ(x-α))(x-α)^(n-2)/(n-2)!
f'(α)=0と、nの偶奇によるf''(x)の0か否かの判定で極値の有無を言えると思う
394:１３２人目の素数さん
17/11/08 21:15:29.74 9qE2wZNV.net
>>381
>>382
>>383
ありがとうございます
2問目3問目も解への道筋が分かったので有難いです
395:￥
17/11/08 22:31:50.19 r2EqUl6O.net
￥
396:￥
17/11/08 22:32:07.17 r2EqUl6O.net
￥
397:￥
17/11/08 22:32:25.17 r2EqUl6O.net
￥
398:１３２人目の素数さん
17/11/08 22:32:30.26 nz1pZ2bE.net
Σ [k=1,n] nCk をnの整式で表すことはできますか？
399:￥
17/11/08 22:32:42.10 r2EqUl6O.net
￥
400:￥
17/11/08 22:32:59.45 r2EqUl6O.net
￥
401:￥
17/11/08 22:33:15.82 r2EqUl6O.net
￥
402:￥
17/11/08 22:33:36.06 r2EqUl6O.net
￥
403:￥
17/11/08 22:33:56.58 r2EqUl6O.net
￥
404:１３２人目の素数さん
17/11/08 22:34:02.38 KYal/F5W.net
>>355
？
405:￥
17/11/08 22:34:15.60 r2EqUl6O.net
￥
406:￥
17/11/08 22:34:41.16 r2EqUl6O.net
￥
407:￥
17/11/08 22:35:03.20 r2EqUl6O.net
￥
408:￥
17/11/08 22:35:26.00 r2EqUl6O.net
￥
409:￥
17/11/08 22:35:45.93 r2EqUl6O.net
￥
410:￥
17/11/08 22:36:03.14 r2EqUl6O.net
￥
411:￥
17/11/08 22:36:23.88 r2EqUl6O.net
￥
412:￥
17/11/08 22:36:45.65 r2EqUl6O.net
￥
413:￥
17/11/08 22:37:07.90 r2EqUl6O.net
￥
414:￥
17/11/08 22:37:27.50 r2EqUl6O.net
￥
415:１３２人目の素数さん
17/11/08 23:37:36.16 mblwdtt/.net
>>388
正式には 2^n - 1 かなあ...
416:１３２人目の素数さん
17/11/08 23:39:38.67 KYal/F5W.net
>>388
無理
1=nC0足すと2項定理で2^n
417:１３２人目の素数さん
17/11/08 23:41:36.29 scBnzmQg.net
↑これが数学板の実力です↑
専門板なのに異常にレベルが低い
せいぜい数学の少しできる高校生レベル
418:１３２人目の素数さん
17/11/09 00:08:14.91 1DPIZrTv.net
>>317
ありがとうございます。勉強になります。
419:１３２人目の素数さん
17/11/09 00:24:39.63 KmBKGqZp.net
>>407
もう止めたら？
420:１３２人目の素数さん
17/11/09 00:42:34.89 uCu6B49W.net
整式の定義が分かっていない人に指摘をしただけですよ
421:１３２人目の素数さん
17/11/09 01:34:13.57 qWyw6S6d.net
数学と法学ってどっちの方がムズイ？
422:１３２人目の素数さん
17/11/09 01:57:58.63 qWyw6S6d.net
「無」ってほんと、考えれば考えるほどつくづく「究極」だなぁと思うよな。
423:１３２人目の素数さん
17/11/09 02:08:11.39 DmTD4nE0.net
原点O. A(a.2) B.(a.6). C(8.8)の4点がある。
OA+ABBCが最短になる時の直線BCを表す式を求めなさい。
だれか教えてください。
424:１３２人目の素数さん
17/11/09 02:09:41.81 DmTD4nE0.net
OA+AB＋BCの書き間違えです。
すいません
425:１３２人目の素数さん
17/11/09 03:25:16.37 4NtdL4/9.net
>>413
A(a,2),B(a,6),C(8,8)
まずAB=4
次に点OをP（0,4）まで平行�
426:ﾚ動するとOA=PB よって、OA+AB+BC=PB+4+BC=4+(PB+BC) すなわち折れ線PACの長さが最小になればいいので、3点P,B,C,が一直線上にあればよく、以下略 折れ線PBCを作るためにOを平行移動するのがミソ この手の最小値問題は必ず折れ線を作らせるので、折れ線を作るための工夫を考えれば出来る。大体平行移動。
427:１３２人目の素数さん
17/11/09 03:27:00.12 4NtdL4/9.net
>>415
☓折れ線PACの長さが最小
○折れ線PBCの長さが最小
428:１３２人目の素数さん
17/11/09 07:02:25.25 KmBKGqZp.net
>>410
ぷ
429:１３２人目の素数さん
17/11/09 07:03:54.18 uCu6B49W.net
↑nの整式といったときに定数が入ったら整式ではないと思ってるような人なんですね
430:１３２人目の素数さん
17/11/09 07:04:08.05 KmBKGqZp.net
アア分かった
2^nが整式じゃないって当たり前のことを指摘したのか
ぷ
431:１３２人目の素数さん
17/11/09 07:05:01.81 uCu6B49W.net
>>419
あなたを殺すにはどうすれば良いでしょうか？
432:１３２人目の素数さん
17/11/09 07:05:06.81 KmBKGqZp.net
>>418
アラ違うのかな？
なにそれ？
433:１３２人目の素数さん
17/11/09 07:05:34.14 uCu6B49W.net
>>421
あなたを殺す方法を教えてください
434:１３２人目の素数さん
17/11/09 07:06:33.88 uCu6B49W.net
ID:KmBKGqZpさんを殺害する方法がわかりません
よろしくお願いします
435:１３２人目の素数さん
17/11/09 07:09:13.47 KmBKGqZp.net
ID:uCu6B49W
「nの整式といったときに定数が入ったら整式ではないと思ってるような人」
って
2^nの何を｢定数と思っている」と指摘したの？
2？n？
なにそれ？
436:１３２人目の素数さん
17/11/09 07:09:37.77 uCu6B49W.net
ここの回答者って、自分がどうやったら死ぬのかもわからないような、低レベルな人たちだったんですね
437:１３２人目の素数さん
17/11/09 07:29:59.72 Ep8PEh0S.net
組合せの勉強してますが、
ある参考書にnC1=1と書いてましたが
間違ってないですか？
6C1=6ですよね？
438:１３２人目の素数さん
17/11/09 07:54:41.68 KmBKGqZp.net
>>425
ぷふぅ
439:１３２人目の素数さん
17/11/09 07:56:29.97 DmTD4nE0.net
>>415
ありがとうございます。
あともう1つ教えてください
A(a.2)B.(a.6)
これ4と割り出す式をお願いします。
息子のわからない問題で自分の頭では全くわかりません
440:１３２人目の素数さん
17/11/09 08:09:17.55 rjKfkEZ/.net
>>428
両方ともx座標がaだから
その2点を結ぶ線分ABはy軸と平行→AB=6-2=4
機械的にやるなら
AB^2＝(a-a)^2+(6-2)^2=4^2 → AB=4
441:１３２人目の素数さん
17/11/09 12:04:28.06 Aitxjc9D.net
なぜ親が解こうとするのか
学校の先生に聞けで一蹴できる
442:１３２人目の素数さん
17/11/09 13:23:05.58 FBxIhJ9Y.net
そう書く事を気に入ってんだろ
443:￥
17/11/09 14:05:55.50 9ddzKhaE.net
￥
444:￥
17/11/09 14:06:12.53 9ddzKhaE.net
￥
445:￥
17/11/09 14:06:30.50 9ddzKhaE.net
￥
446:￥
17/11/09 14:06:49.08 9ddzKhaE.net
￥
447:￥
17/11/09 14:07:07.13 9ddzKhaE.net
￥
448:￥
17/11/09 14:07:26.77 9ddzKhaE.net
￥
449:￥
17/11/09 14:07:44.50 9ddzKhaE.net
￥
450:￥
17/11/09 14:08:08.43 9ddzKhaE.net
￥
451:￥
17/11/09 14:08:27.70 9ddzKhaE.net
￥
452:￥
17/11/09 14:08:45.93 9ddzKhaE.net
￥
453:１３２人目の素数さん
17/11/09 19:33:11.00 JfxwYVU8.net
URLﾘﾝｸ(i.imgur.com)
これの設題2の2番がさっぱりです
通信制の大学なので教授に聞くのも不可能なのですが、
わかる方、丁寧に教えていただけると助かります
454:１３２人目の素数さん
17/11/09 19:37:27.58 8rY1AWyi.net
1/319のくじを3連続で引く確率を教えてください
455:１３２人目の素数さん
17/11/09 19:51:43.32 72WoZiVe.net
ベクトル解析でつまづいてます
スカラーポテンシャルやベクトルポテンシャルが
何を意味しているのかさっぱりわからないのですが
もしかしてこれは電磁気学をやらないとわからないという類のものでしょうか？
456:１３２人目の素数さん
17/11/09 20:13:34.51 ExFJ6f+/.net
>>380
丁寧にありがとうございました。
>>378
「P は I の開集合であるから」だけでも十分だと思います。
R のある開集合などという分かりにくいものを持ち出さなくてもOKです。
c ∈ P で P は I の開集合であるから、
(c - ε', c + ε') ∩ I ⊂ P となるような正の実数 ε' が存在する。
b ∈ P でないから、 ε' ≦ b - c でなければならない。
ε を 0 < ε < ε' を満たす実数とすると、
c < c + ε < c + ε' ≦ b であるから、
c + ε ∈ P である。
457:１３２人目の素数さん
17/11/09 20:15:52.03 ExFJ6f+/.net
>>378
I に端があり、その端を P が含まなければ明らかに P は R で開集合ではないでしょうか？
458:１３２人目の素数さん
17/11/09 20:17:53.60 ExFJ6f+/.net
R のある開集合など持ち出さなくても自明ですよね。
逆に、なぜ R のある開集合が登場するのかと疑問に思ってしまいますよね。
459:１３２人目の素数さん
17/11/09 20:19:23.98 LCf48bd/.net
>>444
そうです
あくまでも「意味」を求めるなら、具体的な使われ方を見るのが一番早いでしょうね
数学的には定義が全てですから、意味も何もないわけです
ただ、任意のベクトルVはV=∇φ+∇×Aと書き下せるなど、いろいろ興味深い性質を持っていることは確かですね
460:１３２人目の素数さん
17/11/09 20:36:21.89 Pdn9wNtv.net
>>447
アンタの存在が一番疑問
461:１３２人目の素数さん
17/11/09 21:31:33.42 AKM5yVrh.net
>>448
有難うございます
grad・div・rotまでは大丈夫でだったんですが
それらを組み合わせたdiv rot f =0 や rot grad φ = 0
辺りから理解が怪しくなりましたｗ
アドバイス頂いたように意味については電磁気学で学ぶとして
今は計算や使いかたを学習すると割り切ってやっていきます
462:１３２人目の素数さん
17/11/09 22:25:57.10 z5IbW63y.net
>>442
y2-y1=-2(x2-x1)
(y1+y2)/2=(1/2)(x1+x2)/2
をといて
{x2,y2}={{3,4},{4,-3}}/5 {x1,y1} から
A={{3,4},{4,-3}}/5
B={{cos(Pi/4),-sin(Pi/4)},{sin(pi/4),cos(pi/4)}}={{1,-1},{1,1}}/Sqrt[2]
f(g(X))<=> Ag == B
so
g=A^(-1)B
={{-1,7},{7,1}}Sqrt[2]/10
463:１３２人目の素数さん
17/11/09 22:32:28.71 z5IbW63y.net
g=A^(-1)B
={{7,1},{1,-7}}Sqrt[2]/10
に訂正してください。
>>451はBA^(-1)でした。
失礼しました。
464:１３２人目の素数さん
17/11/09 22:42:13.88 HOAkGA6G.net
R上の実数値連続関数全体のなす集合の濃度が|R|であることを示せ
任意の有限集合である全順序集合は整列集合であることを示せ
R-{0,1}においてx～1-x, x～1/x で生成される同値関係を定めるときのxの同値類を書け
複数問で申し訳ありませんが示し方がわからないのでお願いします
465:￥
17/11/09 23:24:19.49 9ddzKhaE.net
￥
466:￥
17/11/09 23:24:36.52 9ddzKhaE.net
￥
467:￥
17/11/09 23:25:00.66 9ddzKhaE.net
￥
468:￥
17/11/09 23:25:19.76 9ddzKhaE.net
￥
469:￥
17/11/09 23:25:38.29 9ddzKhaE.net
￥
470:￥
17/11/09 23:25:57.17 9ddzKhaE.net
￥
471:￥
17/11/09 23:26:16.47 9ddzKhaE.net
￥
472:￥
17/11/09 23:26:35.09 9ddzKhaE.net
￥
473:￥
17/11/09 23:26:52.49 9ddzKhaE.net
￥
474:￥
17/11/09 23:27:13.22 9ddzKhaE.net
￥
475:１３２人目の素数さん
17/11/10 00:14:56.06 pyRwbQRE.net
この荒らしっていつから、なんでいるんだ？
476:１３２人目の素数さん
17/11/10 00:19:22.86 NaWRmLAa.net
10年前に痴漢で逮捕された元筑波大学の准教授さんです
477:１３２人目の素数さん
17/11/10 00:20:38.28 s39Cvbg6.net
数学板を潰すことに生涯を懸けている人らしい。
478:１３２人目の素数さん
17/11/10 00:49:06.23 svfXj2o0.net
ゴールドバッハ予想（の類似）って有理整数環以外でも成り立つの？
479:１３２人目の素数さん
17/11/10 01:59:35.52 X/75Up1v.net
全、無、空
これらを格付けするとどうなりますか？
480:１３２人目の素数さん
17/11/10 02:00:48.06 NaWRmLAa.net
神=神=神ですね
481:１３２人目の素数さん
17/11/10 02:12:05.49 ISjW5goZ.net
>>468
無=日
よって旅客機会社となる
482:１３２人目の素数さん
17/11/10 02:18:48.88 X/75Up1v.net
>>469-470
真面目に教えてください。お願いします。
483:１３２人目の素数さん
17/11/10 03:55:19.48 zIX+6Ycy.net
>>464
平安時代からいるよ。
「吹くからに 秋の草木のしをるれば
むべ山風を嵐といふらむ」
文屋康秀
「古今集」 秋下249
「小倉百人一首」 22
484:￥
17/11/10 04:46:54.94 f5tI1p7u.net
￥
485:￥
17/11/10 04:47:12.61 f5tI1p7u.net
￥
486:￥
17/11/10 04:47:33.18 f5tI1p7u.net
￥
487:￥
17/11/10 04:47:51.30 f5tI1p7u.net
￥
488:￥
17/11/10 04:48:09.43 f5tI1p7u.net
￥
489:￥
17/11/10 04:48:29.59 f5tI1p7u.net
￥
490:￥
17/11/10 04:48:49.57 f5tI1p7u.net
￥
491:￥
17/11/10 04:49:09.59 f5tI1p7u.net
￥
492:￥
17/11/10 04:49:29.76 f5tI1p7u.net
￥
493:￥
17/11/10 04:49:50.31 f5tI1p7u.net
￥
494:１３２人目の素数さん
17/11/10 08:58:46.91 9dR83lHU.net
(2)の答え50cm^2になるみたいですけど、どうやって誘導すればいいですか？ご教示いただけますと幸いです。
URLﾘﾝｸ(i.imgur.com)
495:１３２人目の素数さん
17/11/10 09:18:55.19 +PZdZIEk.net
解き方がわからないって素直に言えばいいのに
△DEF:△BCF=1:4
△DEFの高さ5/2(cm)
全体の高さ25/2(cm)
面積50(cm^2)
496:チンぽろり
17/11/10 09:35:32.65 2FWaGhK9.net
１と０．９９９９９９９永遠
って
偉い人は同じだって言うらしい
しらべてみ
そもそも分数と整数じゃ
情報が違う
分数は３つの情報があって整数は１つしかない
5/5なら
全部で５で
そのうち５あって
０足りない
整数は
どのくらいあるのかという情報だけ
無理に入れようとするから
足りない１を永遠に深く探しても見つからない
というエラーが起こる
そもそも分数を整数にするのはへん
科学の理屈はそんなもの
革命家 チンぽろり ◆pKQFD7Nv721S
497:１３２人目の素数さん
17/11/10 09:38:18.84 UeRbzcUC.net
文字列と数は違います
文字列は単に文字並べただけですけど、数には複雑な計算規則の構造が入っています
合理的な規則を維持しようと思えば、その両者は同一視せざるを得ない、ただそれだけのことなのです
498:１３２人目の素数さん
17/11/10 09:56:34.07 uPW/Vk/t.net
内部ノード数 n の 2色木の Black Height を h であらわすと以下の不等式が成り立つ。
2^(h-1) - 1 ≦ n ≦ 2^(2*h-1) - 1
よって、 h = O(log(n))
とある本に書いてあります。
これっておかしいですよね？
h は n の関数ではありません。内部ノード数から2色木の Black Height は一意的にはきまらないからです。
もちろん、 O(log(n)) の左辺には n の関数が来るきまりです。
ですので、 h = O(log(n)) と書くのはおかしいのではないでしょうか？
499:１３２人目の素数さん
17/11/10 10:02:14.58 lMPuBN0e.net
馬鹿アスペのマルチ糞
データ構造,アルゴリズム,デザインパターン総合ｽﾚ 3©2ch.net
ｽﾚﾘﾝｸ(tech板:686番)
500:１３２人目の素数さん
17/11/10 12:35:17.62 UYWEJAKP.net
>>453
1問でもいいので分かる人いませんかね
501:１３２人目の素数さん
17/11/10 12:47:57.37 uPW/Vk/t.net
>>453
R上の実数値連続関数全体のなす集合の濃度が|R|であることを示せ
これは松坂和夫著『解析入門3』のp.37に同じ問題があります。
任意の有限集合である全順序集合は整列集合であることを示せ
これは背理法で簡単に示せそうですね。
R-{0,1}においてx～1-x, x～1/x で生成される同値関係を定めるときのxの同値類を書け
「x～1-x, x～1/x で生成される同値関係」って何ですか？
502:１３２人目の素数さん
17/11/10 12:57:41.38 gy7x46k5.net
群について質問がある。
位数３（ａ１，ａ２，ａ３）の群Ｇがあるとして、これに一種の結合（×）を考えて下記のような九九の表ができるとする。
ａ１ ａ２ ａ３
ａ１ ａ１ ａ２ ａ３
ａ２ ａ２ ａ３ ａ１
ａ３ ａ３ ａ１ ａ２
このとき３個の要素
503:の間に入れ替えを行う方法は６通りある。 ｛ａ１，ａ２，ａ３｝ ↓ ①｛ａ１，ａ２，ａ３｝ ②｛ａ１，ａ３，ａ２｝ ③｛ａ２，ａ３，ａ１｝ ④｛ａ２，ａ１，ａ３｝ ⑤｛ａ３，ａ１，ａ２｝ ⑥｛ａ３，ａ２，ａ１｝ その中でも入れ替えを行ったあとでも九九の表がそのままのものがある、それは①と②。 本に書いてあるこれの意味がよくわからない。 Ｇ＝｛ａ１，ａ２，ａ３｝ の元を Ｇ＝｛ａ２，ａ３，ａ１｝ に入れ換えたら ａ２×ａ２＝ａ３ という結合は ａ３×ａ３＝ａ１ （ａ２×ａ２＝ａ２） になる。 という解釈でよいの？ これなら確かに②は九九の表が変わらないはず。 でもこれいまいちしっくりこない。 九九の表って、ａ２とａ２が結合したらａ３になりますよ、っていう関係を示してるんだよね？ なんで元の配置に影響を受けるんだろう……。 根本的なことを理解できてないから、なんかアドバイスでもいいからほしい。 夜にまたくる。
504:１３２人目の素数さん
17/11/10 12:59:36.92 cdHEEJDU.net
その同値関係を含む同値関係のうちで最小の同値関係だな
含む,最小てのは同値類が集合として含む,最小の意味ね
505:１３２人目の素数さん
17/11/10 13:06:48.49 cdHEEJDU.net
>>491
「入れ替え」てのは配置を変える意味じゃなく
変数名を変える意味だよ
506:￥
17/11/10 14:29:37.30 f5tI1p7u.net
￥
507:￥
17/11/10 14:29:55.31 f5tI1p7u.net
￥
508:￥
17/11/10 14:30:12.09 f5tI1p7u.net
￥
509:￥
17/11/10 14:30:29.14 f5tI1p7u.net
￥
510:￥
17/11/10 14:30:48.95 f5tI1p7u.net
￥
511:￥
17/11/10 14:31:12.49 f5tI1p7u.net
￥
512:￥
17/11/10 14:31:31.79 f5tI1p7u.net
￥
513:￥
17/11/10 14:31:49.34 f5tI1p7u.net
￥
514:￥
17/11/10 14:32:05.77 f5tI1p7u.net
￥
515:￥
17/11/10 14:32:24.88 f5tI1p7u.net
￥
516:１３２人目の素数さん
17/11/10 15:08:30.24 UYWEJAKP.net
>>490
同値関係の問題は自分も意味分かってないんですよね
ちなみに原文そのまま載せてます
517:１３２人目の素数さん
17/11/10 15:17:17.80 mftSfBFV.net
親切に書いてある留意点をガン無視して、定義も分からず問題を解く気なのか
518:491
17/11/10 17:02:44.50 WUMu27wj.net
>>493
簡潔で的確な答えをありがとう。
なるほど、変数名を入れ換えるという意味か。
それならすっきりする。
すっきりしたことで新たな疑問も浮上したけどそこはなんとか自力で。
独学だからほんと助かる、感謝。
519:１３２人目の素数さん
17/11/10 18:48:16.84 PEs00RSo.net
ガロア理論のとこです。正規拡大の定義で、
L/Kが正規
：⇔任意のK準同型σについてσ（L)=L
となっているのですが、実際はσ（L)⊂Lだけわかればよいと言われました
逆の包含はなぜ調べなくてよいのでしょうか
520:￥
17/11/10 20:10:23.14 f5tI1p7u.net
￥
521:￥
17/11/10 20:10:39.86 f5tI1p7u.net
￥
522:￥
17/11/10 20:10:56.04 f5tI1p7u.net
￥
523:￥
17/11/10 20:11:12.58 f5tI1p7u.net
￥
524:￥
17/11/10 20:11:27.11 f5tI1p7u.net
￥
525:￥
17/11/10 20:11:58.94 f5tI1p7u.net
￥
526:￥
17/11/10 20:12:15.52 f5tI1p7u.net
￥
527:￥
17/11/10 20:12:33.49 f5tI1p7u.net
￥
528:￥
17/11/10 20:12:50.21 f5tI1p7u.net
￥
529:￥
17/11/10 20:13:07.04 f5tI1p7u.net
￥
530:１３２人目の素数さん
17/11/10 21:31:49.45 iwP+F9Zm.net
>>507
σ-1(L)⊂LからL⊂σ(L)となるから
531:１３２人目の素数さん
17/11/10 21:45:21.84 iwP+F9Zm.net
>>490
A={(x,1-x)}
B={(x,1/x)}
C=AＵB
C*(n+1)={(x,y)|∃z (x,z
532:)∈C*n∧(z,y)∈C} D=Ｕ[n=1,∞]C*n x～y⇔(x,y)∈D
533:１３２人目の素数さん
17/11/10 22:06:53.19 iwP+F9Zm.net
>>453
>R上の実数値連続関数全体のなす集合の濃度が|R|であることを示せ
折線の極限よな
分点が可算個だから折線は連続個
よって折線の列は連続個
その同値類だから連続個以下
連続個以上は自明なので連続個
534:１３２人目の素数さん
17/11/10 22:09:11.03 iwP+F9Zm.net
>>453
>任意の有限集合である全順序集合は整列集合であることを示せ
有限な全順序なら最小がある
部分集合も有限な全順序
535:１３２人目の素数さん
17/11/10 23:23:10.82 KYIvy0Uh.net
無理数に関する以下の2題に答えよ。
なお、2つの問題には直接的な関連はない。
(1)初項0、末項1の等差数列の公差は無理数となれるか。
(2){a}でaの小数部分を表す。例えば{3.14}=0.14、{3}=0、{-27.01}=-0.01である。
いま、nを自然数として無理数xに対し実数の列
{x},{2x},…,{nx},…
を考えると、列に含まれるどの2つの数も相異なることを示せ。
536:１３２人目の素数さん
17/11/10 23:25:45.04 zIX+6Ycy.net
・長寿ランキング of 特別枠
108歳 蟹江ぎん（1892/08/01～2001/02/28）
107歳 成田きん（1892/08/01～2000/01/23）
皇寿（111歳）には届きませんでしたが…
ぎんさんの娘・４姉妹がこれを追っています。
？ Y.年子（1914/04/14～）103
？ T.千多代（1918/10/21～）99
？ S.百合子（1921/05/18～）96
？ 蟹江美根代（1923/10/01～）94
［前スレ.643］
？ 瀬戸内寂聴（1922/05/15～) 95
の次に
？ 佐藤愛子 （1923/11/05～）94
を追加
537:１３２人目の素数さん
17/11/10 23:28:30.28 NaWRmLAa.net
>>522
(1)明らかです
(2)明らかです
ちなみに、普通小数部分、といったら、x-[x]を指すので、-27.01の小数部分は0.99となります
538:１３２人目の素数さん
17/11/10 23:30:49.63 Bjz8q8/+.net
>>522
何処が分からないの？
両方とも整数/整数にならないことを示せばいいだけよね
539:１３２人目の素数さん
17/11/10 23:39:05.27 KYIvy0Uh.net
>>525
何で分数が出てくるんですか？
540:１３２人目の素数さん
17/11/10 23:39:44.72 NaWRmLAa.net
わからないんですね(笑)
541:１３２人目の素数さん
17/11/10 23:40:42.05 KYIvy0Uh.net
>>524
すいません
答えられないゴミに用はないので
透明あぼーんくらい高校生でも知ってます
542:１３２人目の素数さん
17/11/10 23:43:03.14 NaWRmLAa.net
>>522
an=0+(n-1)d=1を満たす無理数dは存在しません
{nx}={mx}だとします
nx-mx=(n-m)x=Nとなりますが、これを満たす無理数xは存在しません
でも、これ自作問題ですよね？
543:１３２人目の素数さん
17/11/10 23:59:32.02 pqxY2Wrd.net
>>526
無理数の定義を知ってたらそんなこと聞かない
何処がわからないか書いてない時点で臭いぞ
544:１３２人目の素数さん
17/11/11 00:00:24.01 hsVnMSJT.net
>>526
有理数（整数/整数）でないのが無理数だから
そうならないことを示す
545:１３２人目の素数さん
17/11/11 00:00:45.69 hsVnMSJT.net
>>527
ぷ
546:１３２人目の素数さん
17/11/11 00:07:32.27 Xw9swpYT.net
>>531
ということは、あなたや私も無理数なのでしょうか？
547:１３２人目の素数さん
17/11/11 00:09:27.02 hsVnMSJT.net
>>453
>R-{0,1}においてx～1-x, x～1/x で生成される同値関係を定めるときのxの同値類を書け
{x,1-x,1/x,1/(1-x),1-1/x,x/(x-1)}
ちなみにS_3と同型
548:１３２人目の素数さん
17/11/11 00:10:53.58 hsVnMSJT.net
>>533
面白いことを書いてる人が居るぞ！
549:１３２人目の素数さん
17/11/11 00:11:14.66 Xw9swpYT.net
>>535
あなたは明らかに有理数ではないですから、無理数ですよね
550:１３２人目の素数さん
17/11/11 00:20:40.71 hsVnMSJT.net
>>536
いいぞ！
551:１３２人目の素数さん
17/11/11 00:21:29.82 Kk19NacV.net
Aは有理数ではない → Aは無理数
これは偽です
552:１３２人目の素数さん
17/11/11 00:21:49.87 aQhOn7fm.net
超巨大宇宙文明を独力で築くのと仏になるのはどっちの方が難しいですか？
553:１３２人目の素数さん
17/11/11 00:22:53.49 hsVnMSJT.net
>>538
素晴らしい人も来たな！
554:１３２人目の素数さん
17/11/11 00:48:55.36 Xw9swpYT.net
>>538
なぜですか？
555:１３２人目の素数さん
17/11/11 00:53:45.59 TDDt/YME.net
実数とは言ってないから
556:１３２人目の素数さん
17/11/11 00:54:41.91 Xw9swpYT.net
つまり、>>531は間違えということでしょうか
557:１３２人目の素数さん
17/11/11 00:59:47.36 TDDt/YME.net
>>543
(1)は項数が自然数だから実数上の話
(2)も小数部分を定義できる時点で実数上の話
ただ実数でないのなら有理数でも無理数でもない
558:１３２人目の素数さん
17/11/11 01:09:07.56 Xw9swpYT.net
>>544
複素数かもしれませんよ？
(2)で定義される小数部分は、通常のものとは異なりますから、実数部の「小数部分」を考えている可能性もあります
-27.01の「小数部分」が-0.01になるような演算ですが、具体的に定義されてないわけですから、わかりませんね
559:￥
17/11/11 01:39:25.73 4aYiSbvq.net
￥
560:￥
17/11/11 01:39:43.08 4aYiSbvq.net
￥
561:￥
17/11/11 01:40:01.23 4aYiSbvq.net
￥
562:￥
17/11/11 01:40:19.82 4aYiSbvq.net
￥
563:￥
17/11/11 01:40:38.95 4aYiSbvq.net
￥
564:￥
17/11/11 01:40:57.25 4aYiSbvq.net
￥
565:￥
17/11/11 01:41:14.63 4aYiSbvq.net
￥
566:￥
17/11/11 01:41:37.80 4aYiSbvq.net
￥
567:￥
17/11/11 01:41:58.38 4aYiSbvq.net
￥
568:￥
17/11/11 01:42:19.55 4aYiSbvq.net
￥
569:１３２人目の素数さん
17/11/11 01:42:58.04 TDDt/YME.net
>>545
例えに正の数と負の数にしか触れていない
{ }をそれぞれの絶対値の小数部分と定義している
つまり実数にしか定義していない
もし仮に複素数の実部の小数部分を定義させるなら例に挙げなくてはいけない
何故ならば、{-27.01}=0.01となるので{ }の絶対値を取っているが
・複素数の実部の絶対値の小数部分
例：{-0.4+0.3i}={|-0.4|}={0.4}=0.4
・複素数の絶対値の小数部分
例：{-0.4+0.3i}={|-0.4+0.3i|}={0.5}=0.5
このように複素数について一意に定義されていないのでこの問題中ではその範囲で考えることはできない
570:１３２人目の素数さん
17/11/11 04:06:31.06 Xw9swpYT.net
>>556
小数部分はx-[x]で定義されます
-27.01の小数部分とは、0.99です
それを0.01としているのですから、何か未知の演算だと考えるべきです
複素数の実数部を取るという計算を考えていない保証はどこにもないですね
571:１３２人目の素数さん
17/11/11 04:53:11.82 aQhOn7fm.net
魔界と神界と全と無と空を格付けするとどうなりますか？
572:￥
17/11/11 06:55:09.13 4aYiSbvq.net
￥
573:￥
17/11/11 06:55:27.39 4aYiSbvq.net
￥
574:￥
17/11/11 06:55:45.69 4aYiSbvq.net
￥
575:￥
17/11/11 06:56:03.15 4aYiSbvq.net
￥
576:￥
17/11/11 06:56:19.75 4aYiSbvq.net
￥
577:￥
17/11/11 06:56:38.38 4aYiSbvq.net
￥
578:￥
17/11/11 06:56:56.44 4aYiSbvq.net
￥
579:￥
17/11/11 06:57:19.20 4aYiSbvq.net
￥
580:￥
17/11/11 06:57:36.96 4aYiSbvq.net
￥
581:￥
17/11/11 06:57:54.01 4aYiSbvq.net
￥
582:１３２人目の素数さん
17/11/11 07:01:46.47 PMyvgno+.net
>>487
意味を考えずに形式だけで追いかける人には
一生理解できないから諦めなさい
583:１３２人目の素数さん
17/11/11 07:39:28.30 hsVnMSJT.net
>>556
その ID:Xw9swpYT の人触んない方がいい人みたいよ
584:￥
17/11/11 09:19:24.38 4aYiSbvq.net
￥
585:￥
17/11/11 09:19:42.30 4aYiSbvq.net
￥
586:￥
17/11/11 09:20:01.39 4aYiSbvq.net
￥
587:￥
17/11/11 09:20:20.94 4aYiSbvq.net
￥
588:￥
17/11/11 09:20:38.60 4aYiSbvq.net
￥
589:￥
17/11/11 09:20:56.70 4aYiSbvq.net
￥
590:￥
17/11/11 09:21:13.75 4aYiSbvq.net
￥
591:￥
17/11/11 09:21:31.35 4aYiSbvq.net
￥
592:￥
17/11/11 09:21:48.99 4aYiSbvq.net
￥
593:￥
17/11/11 09:22:08.55 4aYiSbvq.net
￥
594:１３２人目の素数さん
17/11/11 14:09:53.44 1yWDMyzv.net
惨めな奴
595:１３２人目の素数さん
17/11/11 18:33:54.72 QsPz7mgY.net
y＝x ^ e^ xの微分を教えてください
596:１３２人目の素数さん
17/11/11 20:05:55.18 +XdJQyKl.net
n,mを正の整数とする。n個のさいころを同時にふり、すべてのさいころの目の和がn+1なら1点、n+2なら2点、n+3なら3点を、1回の得点として与えるゲームを
行う。2m回後の得点が3の倍数となる確率pを求めよ。
597:１３２人目の素数さん
17/11/11 20:18:18.51 050e/q1e.net
>>582
両辺に自然対数取ればいい
598:￥
17/11/11 21:00:58.14 4aYiSbvq.net
￥
599:￥
17/11/11 21:01:17.11 4aYiSbvq.net
￥
600:￥
17/11/11 21:01:35.61 4aYiSbvq.net
￥
601:￥
17/11/11 21:01:56.57 4aYiSbvq.net
￥
602:￥
17/11/11 21:02:14.66 4aYiSbvq.net
￥
603:￥
17/11/11 21:02:40.75 4aYiSbvq.net
￥
604:￥
17/11/11 21:02:58.74 4aYiSbvq.net
￥
605:１３２人目の素数さん
17/11/11 21:03:15.16 Xw9swpYT.net
しっかし誰も解けない難しい質問ばっかでつまんねえなぁ。
本当に「実際は解いている連中ばっか」状態になったこと一度もねえじゃんｗ
もっと簡単な質問してこい、脳みそウンコまみ
606:れの底辺層ども。
607:￥
17/11/11 21:03:16.27 4aYiSbvq.net
￥
608:￥
17/11/11 21:03:33.03 4aYiSbvq.net
￥
609:￥
17/11/11 21:04:08.41 4aYiSbvq.net
￥
610:￥
17/11/11 21:04:27.59 4aYiSbvq.net
￥
611:￥
17/11/11 21:04:47.03 4aYiSbvq.net
￥
612:￥
17/11/11 21:05:05.70 4aYiSbvq.net
￥
613:￥
17/11/11 21:05:28.16 4aYiSbvq.net
￥
614:￥
17/11/11 21:05:47.85 4aYiSbvq.net
￥
615:￥
17/11/11 21:06:07.61 4aYiSbvq.net
￥
616:￥
17/11/11 21:06:25.16 4aYiSbvq.net
￥
617:１３２人目の素数さん
17/11/11 21:07:19.90 Xw9swpYT.net
今日も「解いた側」の圧勝かぁ・・・。
毎日毎日、ラクラク解ける問題ばかりだから常勝なんだよね・・・。
たまには、解けない解けないっと悩んで負けてみたい、それが今の切実な悩み。
618:１３２人目の素数さん
17/11/11 21:20:23.03 QsPz7mgY.net
y＝x ^ e^ xの微分を教えてください
e＝ l i m (1＋k)1／k
k→0
619:１３２人目の素数さん
17/11/11 21:22:14.87 QsPz7mgY.net
603の方、そんなに博識な方ならばどうか604の問題を解いていただけないでしょうか？
620:１３２人目の素数さん
17/11/11 21:24:58.22 QsPz7mgY.net
この問題は、基礎的な問題集の応用レベルの問題なので時間はくいはしませんから
621:１３２人目の素数さん
17/11/11 21:29:51.01 hsVnMSJT.net
>>605
彼にはそれは無理だろうし
触らない方がいい人だよｗ
622:１３２人目の素数さん
17/11/11 21:31:40.02 Xw9swpYT.net
>>606
基礎的な問題集の基礎的な問題のも違えですよね
てか、これもまた自作問題ですよね
自作した跡が見えてますよ
623:１３２人目の素数さん
17/11/11 21:32:05.66 Xw9swpYT.net
>>607
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません
624:１３２人目の素数さん
17/11/11 21:33:45.54 QsPz7mgY.net
607ありがとう
625:１３２人目の素数さん
17/11/11 21:33:54.49 hsVnMSJT.net
>410 1 名前:１３２人目の素数さん Mail:sage 投稿日:2017/11/09(木) 00:42:34.89 ID:uCu6B49W
>整式の定義が分かっていない人に指摘をしただけですよ
626:１３２人目の素数さん
17/11/11 21:35:54.13 Xw9swpYT.net
>>611
三段論法を用いる任意の数学の証明は、三段論法を用いない別証明を持つことを示せ、という問題がわかりません
627:１３２人目の素数さん
17/11/11 21:37:05.32 hsVnMSJT.net
>>610
時間を無駄にしない方がいいよね
ちなみにその問題は
x=e^logxを左のxに使って指数法則と合成関数の微分法を使うとすぐ
628:１３２人目の素数さん
17/11/11 21:40:09.45 hsVnMSJT.net
>420 名前:１３２人目の素数さん Mail:sage 投稿日:2017/11/09(木) 07:05:01.81 ID:uCu6B49W
>>>419
>あなたを殺すにはどうすれば良いでしょうか？
>422 名前:１３２人目の素数さん Mail:sage 投稿日:2017/11/09(木) 07:05:34.14 ID:uCu6B49W
>>>421
>あなたを殺す方法を教えてください
>423 名前:１３２人目の素数さん Mail:sage 投稿日:2017/11/09(木) 07:06:33.88 ID:uCu6B49W
>ID:KmBKGqZpさんを殺害する方法がわかりません
>よろしくお願いします
>425 1 名前:１３２人目の素数さん Mail:sage 投稿日:2017/11/09(木) 07:09:37.77 ID:uCu6B49W
>ここの回答者って、自分がどうやったら死ぬのかもわからないような、低レベルな人たちだったんですね
629:１３２人目の素数さん
17/11/11 21:40:41.19 Xw9swpYT.net
>>614
わからないんですか？
630:１３２人目の素数さん
17/11/11 21:42:30.21 QsPz7mgY.net
本当に物分かりが悪くて申し訳ないのですが
x＝ e^ log x を用いるのはどうしてでしょうか
631:１３２人目の素数さん
17/11/11 21:44:04.78 QsPz7mgY.net
大変申し訳ないのですが細かな説明を添えていただけたらさいわいです
632:１３２人目の素数さん
17/11/11 21:50:48.04 Xw9swpYT.net
答えがなかなか来ませんね
わからないんでしょうか？
633:１３２人目の素数さん
17/11/11 21:52:50.64 V5IIyttr.net
y=x^(e^x)
log(y)=log(x^(e^x))
log(y)=(e^x)log(x)
両辺をxで微分して
(1/y)y'=(e^x)log(x)+(e^x)(1/x)
y'=(x^(e^x))(e^x)(log(x)+(1/x))
634:１３２人目の素数さん
17/11/11 21:53:59.35 V5IIyttr.net
>>618
わからないんですね(笑)
635:１３２人目の素数さん
17/11/11 21:55:42.97 Xw9swpYT.net
>>614さんは、結局、わからなかったというわけですね(笑)
636:１３２人目の素数さん
17/11/11 21:56:27.14 V5IIyttr.net
>>618さんは高校数学すら判別できないんですね(笑)
637:１３２人目の素数さん
17/11/11 21:56:28.18 DC/G4Hnt.net
連結集合の定義が直観的につながっているというイメージと一致することを説明してください。
638:１３２人目の素数さん
17/11/11 22:00:48.63 Xw9swpYT.net
>>623
2つの開集合の和として書き表すことができないというのが連結であるということです
もし2つに分かれたら、それは繋がってないわけです
しかし、連結の場合はどんなに頑張っても分けられないと言ってるわけですから、直感と一致しますよね
639:１３２人目の素数さん
17/11/11 22:01:34.97 QsPz7mgY.net
おかげさまでようやく理解しましたありがとうございました
640:１３２人目の素数さん
17/11/11 22:02:55.
641:95 ID:DC/G4Hnt.net
642:１３２人目の素数さん
17/11/11 22:06:22.11 DC/G4Hnt.net
>>624
2つの「開集合」としているのに必然性はありますか？
2つの空でない共通部分をもたない「集合」に分けられない
という定義がダメなのは分かりますが。
643:１３２人目の素数さん
17/11/11 22:08:49.25 Xw9swpYT.net
>>626
直観的に繋がっていること、の定義なんてできると思いますか？
我々が認知することができるのは、せいぜい距離空間だけでしょう
それ以外の一般的な位相空間では、連結どころか開集合そのものだってイメージが曖昧になってしまいます
直観は数学をする上で大切ですが、直観そのものを数学の議論そのものに持ち込もうとすることは、危険です
そんなことはできないのですよ
直観というわけのわからないものを排除するために、抽象化して、無機質な言葉による定義に置き換えてしまうわけです
ですから、前者がなんとなくわかれば、イメージの説明は終わりなわけです
イメージなんてのはその程度の扱いで十分です
イメージは数学の対象物ではないのですから
644:１３２人目の素数さん
17/11/11 22:11:13.77 DC/G4Hnt.net
>>628
では、連結の定義を何か別の同値でない定義に数学者達がしなかった理由は
説明できないということですか？
645:１３２人目の素数さん
17/11/11 22:11:33.12 Xw9swpYT.net
>>627
集合としてしまうことには問題があるでしょうね
[0,2]は繋がっているわけですが、仮に連結の定義を2つの集合にわけられない、としてしまうと、[0,2]=[0,1]∪(1,2]こういう風に分けられてしまいますよね
また、先程の繰り返しですが、だからといってなんで開集合というものがつながっているイメージを説明することに必要十分なんだ、ということは意味のないことです
646:１３２人目の素数さん
17/11/11 22:13:06.49 Xw9swpYT.net
>>629
弧状連結という概念がありますよね
これもまた、繋がっていることを示す一つの方法です
弧状連結→連結ですが、逆は成り立ちませんから、これらの概念は異なるものです
しかしながら、やはり、どちらの概念が本当なんだ、というような議論は無意味なわけです
647:１３２人目の素数さん
17/11/11 22:19:32.22 Xw9swpYT.net
まあ、実数に限れば、連結成分は区間しか存在しないということが示せるわけですから、一つの答えにはなってるでしょうかね
直観的にも数直線上で繋がってるところは、区間しかないわけです
648:１３２人目の素数さん
17/11/11 22:24:24.83 N0kgKgqz.net
位相多様体の場合、連結であることと弧状連結であることは同値な条件
649:￥
17/11/12 00:06:13.44 AbMINYSr.net
￥
650:￥
17/11/12 00:06:31.71 AbMINYSr.net
￥
651:￥
17/11/12 00:06:49.87 AbMINYSr.net
￥
652:￥
17/11/12 00:07:06.78 AbMINYSr.net
￥
653:￥
17/11/12 00:07:27.32 AbMINYSr.net
￥
654:￥
17/11/12 00:07:45.65 AbMINYSr.net
￥
655:￥
17/11/12 00:08:04.61 AbMINYSr.net
￥
656:￥
17/11/12 00:08:21.90 AbMINYSr.net
￥
657:￥
17/11/12 00:08:39.94 AbMINYSr.net
￥
658:￥
17/11/12 00:08:58.84 AbMINYSr.net
￥
659:１３２人目の素数さん
17/11/12 00:28:29.23 GGaVEi9w.net
>>625
一応終わったようだけど
>>616
x^f(x)を微分する代わりにe^(f(x)logx)を微分する方が積の合成になるから楽ということ
合成されている所が対数微分法で出てくるところだからそれと同じことをやるのだけど
660:１３２人目の素数さん
17/11/12 00:31:47.50 HCnP3xyT.net
連結だが弧状連結でない位相空間の例があるが、それは病的だと言われる
一般の位相空間は直観的に繋がってるかどうかを論じる対象ではないってことだ
位相幾何学の主たる研究対象は位相多様体となる
661:１３２人目の素数さん
17/11/12 00:32:18.11 cPywtfD3.net
>>644
x^f(x)はどのように微分するのでしょうか？
662:１３２人目の素数さん
17/11/12 00:35:43.52 GGaVEi9w.net
>>646
どうするんでしょうねえ
663:１３２人目の素数さん
17/11/12 00:36:36.11 cPywtfD3.net
>>647
あなたは、e^f(x)logを使うと楽になるといいましたね
別解があるということですよね
664:１３２人目の素数さん
17/11/12 00:37:42.19 GGaVEi9w.net
>>648
また可哀想な人だったか
665:１３２人目の素数さん
17/11/12 00:38:53.53 cPywtfD3.net
>>649 わからないんですか？ 本当はわからないのに、嘘をついたということでしょうか？
667:１３２人目の素数さん
17/11/12 00:40:00.55 HCnP3xyT.net
重箱の隅つつくことで満足する自尊心ってどんだけ安いのよ
668:１３２人目の素数さん
17/11/12 00:40:37.00 GGaVEi9w.net
だよねー
669:１３２人目の素数さん
17/11/12 00:41:16.45 cPywtfD3.net
ここの回答者って、息をするように嘘を付く人たちの集まりだったんですね
失望しました
670:１３２人目の素数さん
17/11/12 00:43:22.64 GGaVEi9w.net
たぶん
ID:cPywtfD3
が失望して出て行ってくれれば
皆喜ぶんじゃないかな
671:１３２人目の素数さん
17/11/12 00:59:21.80 /4m9SASK.net
別解
y=x^(e^x)
y=(e^log(x))^(e^x)
y=e^((e^x)log(x))
y'=(e^((e^x)log(x)))((e^x)log(x))'
y'=(x^(e^x))((e^x)log(x)+(e^x)(1/x))
y'=(x^(e^x))(e^x)(log(x)+(1/x))
満足？
672:１３２人目の素数さん
17/11/12 01:06:15.08 cPywtfD3.net
>>655
だから、それが>>654の解法ですよね？
>>654は対数微分法を使ってませんから
673:１３２人目の素数さん
17/11/12 01:09:26.90 MPt+syL4.net
>>654って解答書いたんだ
674:１３２人目の素数さん
17/11/12 01:11:16.97 cPywtfD3.net
>>644
書いてますよね？
675:１３２人目の素数さん
17/11/12 01:27:40.07 GGaVEi9w.net
>>658
書いてますか？
676:１３２人目の素数さん
17/11/12 01:38:27.38 w4fQieDK.net
可哀想な人だとわかったら、もうレスしなきゃ良いのに
677:１３２人目の素数さん
17/11/12 01:40:57.84 +jphTJpC.net
>>42
般若parameter 心経
￣￣￣￣￣￣￣￣
観自在菩薩・行深 般若parameter 時、照見五蘊皆空、度一切苦厄。
舎利子。
色不異空、空不異色、色即是空、空即是色。
受・想・行・識・亦復如是。
舎利子。
是諸法空相、不生不滅、不垢不浄、不増不減。
是故空中、無色、無受・想・行・識、無眼・耳・鼻・舌・身・意、無色・声・香・味・触・法。
無眼界、乃至、無意識界。
無無明・亦無無明尽、乃至、無老死、亦無老死尽。
無苦・集・滅・道。
無智、亦無得。
以無所得故、菩提薩埵、依 般若parameter 故、心無罣礙、無罣礙故、無有恐怖、遠離・一切・顛倒夢想、究竟涅槃。
三世諸仏、依 般若parameter 故、得阿耨多羅三藐三菩提。
故知、般若parameter、是大神呪、是大明呪、是無上呪、是無等等呪、能除一切苦、真実不虚。
故説、般若parameter 呪。
即説呪曰、羯諦羯諦、波羅羯諦、波羅僧羯諦、菩提薩婆訶。
般若心経
* 般若parameter の内容は宗派によって違うんだろうな…
678:１３２人目の素数さん
17/11/12 02:05:36.91 nEVJN+VK.net
1日10億円以上稼げるデイトレーダーになるにはどうすれば良いですか？
679:１３２人目の素数さん
17/11/12 02:28:57.54 Ol3q012R.net
1円を100億倍レバして、それを1割増やすと(110億-100億-1)円の利益になる
1割減らしてしまうと(90億-100億-1)円の利益になる
680:￥
17/11/12 03:01:07.63 AbMINYSr.net
￥
681:￥
17/11/12 03:01:24.61 AbMINYSr.net
￥
682:￥
17/11/12 03:01:42.06 AbMINYSr.net
￥
683:￥
17/11/12 03:01:58.20 AbMINYSr.net
￥
684:￥
17/11/12 03:02:16.26 AbMINYSr.net
￥
685:￥
17/11/12 03:02:34.04 AbMINYSr.net
￥
686:￥
17/11/12 03:02:51.21 AbMINYSr.net
￥
687:￥
17/11/12 03:03:08.15 AbMINYSr.net
￥
688:￥
17/11/12 03:03:25.72 AbMINYSr.net
￥
689:￥
17/11/12 03:03:44.00 AbMINYSr.net
￥
690:１３２人目の素数さん
17/11/12 04:52:51.24 nEVJN+VK.net
ガウスとかオイラーみたいな超天才数学者とBNFみたいな超天才デイトレーダーはどっちの方が天才であると言えるのでしょうか？
691:１３２人目の素数さん
17/11/12 07:04:59.65 VL17AsZ4.net
2つの二項係数の和mCr+nCsが1つの二項係数で表されるための必要十分条件を述べよ。
すなわち、mCr+nCs=aCbとなる自然数a,bが存在するために、自然数m,r,n,sが満たすべき必要十分条件を述べよ。
ただし、m≧2かつn≧2かつ1≦r≦m-1かつ1≦s≦n-1とする。
692:１３２人目の素数さん
17/11/12 08:51:14.54 +dIbkBl6.net
>>6
693:75 1+1=2
694:￥
17/11/12 09:22:06.45 AbMINYSr.net
￥
695:￥
17/11/12 09:22:24.63 AbMINYSr.net
￥
696:￥
17/11/12 09:22:41.90 AbMINYSr.net
￥
697:￥
17/11/12 09:22:59.60 AbMINYSr.net
￥
698:￥
17/11/12 09:23:16.57 AbMINYSr.net
￥
699:￥
17/11/12 09:23:33.92 AbMINYSr.net
￥
700:￥
17/11/12 09:23:54.27 AbMINYSr.net
￥
701:￥
17/11/12 09:24:11.28 AbMINYSr.net
￥
702:￥
17/11/12 09:24:28.56 AbMINYSr.net
￥
703:￥
17/11/12 09:24:46.50 AbMINYSr.net
￥
704:１３２人目の素数さん
17/11/12 09:37:11.12 cTg/FCp5.net
問題（大学1年程度）
Q1. [0,1]上至るところで不連続な関数を１つ示せ
Q2. [0,1]上の有理数で不連続、無理数で連続な関数を１つ示せ
Q3. [0,1]上の有理数で不連続、無理数で微分可能（当然連続）な関数を1つ示せ
705:１３２人目の素数さん
17/11/12 09:42:58.58 Ol3q012R.net
r;ｧ'N;:::::::::::::,ｨ／ >::::::::::ヽ
. 〃 ヽﾙ1'´ ∠:::::::::::::::::i
i′ ___, - ,. = -一 ￣ｌ:::::::::::::::ｌ
. ! , -＝=､´r' l::::::/,ﾆ.ヽ
ｌ _,, -‐''二ゝ ｌ::::l fﾞヽ |、 ここはお前の自作問置き場じゃねえんだ
ﾚー-- ､ヽヾﾆ-ｧ,ﾆ;＝、_ !:::l ） } ト
ヾ¨'７"ry､｀ ｰﾞ='ニ,,,｀ }::ヽ(ノ チラシの裏にでも書いてろ
:ｰゝヽ､ !´ "￣ 'l,;;;;,,,.、 ,i:::::::ﾐ
::::::::::::::::ヽ.-‐ ﾄ、 r'_{ __)｀ニゝ、 ,,iﾘ::::::::ﾐ
::::::::::::::::::::Vi／l:::V'´;ｯ`ﾆ´ｰ-ｯ-,､:::::`"::::::::::::::;ﾞ , な！
:::::::::::::::::::::::::N. ﾞ､::::ヾ,.｀二ﾆ´∠,,.i::::::::::::::::::::/／／
:::::::::::::::::::::::::::::l ヽ;:::::::::::::::::::::::::::::::::::::::::::／ ／
::::::::::::::::::::::::::::::! :|.＼;::::::::::::::::::::::::::::::／ ／
706:１３２人目の素数さん
17/11/12 10:33:59.12 VL17AsZ4.net
>>676
バカじゃねーの？野垂れ死ねw
707:１３２人目の素数さん
17/11/12 10:39:11.68 VL17AsZ4.net
>>675
この傑作問題を誰か解け
708:１３２人目の素数さん
17/11/12 10:43:32.70 +jphTJpC.net
>>687
A 1.
f(x）= 1 （x：有理数）
= 0 （x：無理数）
「ディリクレの関数」というらしい。
この手のリーマン積分できない関数に対処するために、ルベーグ積分が考案された（？）
709:１３２人目の素数さん
17/11/12 11:05:17.75 +jphTJpC.net
>>675 >>690
生姜ねぇ。
a = mＣr + nＣs,
b = 1,
710:１３２人目の素数さん
17/11/12 11:18:02.79 +jphTJpC.net
>>675 >>690
チョト変えて
a = mＣr + nＣs,
b = a-1
711:１３２人目の素数さん
17/11/12 11:28:57.01 VL17AsZ4.net
>>692
それ必要十分か？
712:￥
17/11/12 12:08:29.59 AbMINYSr.net
￥
713:￥
17/11/12 12:08:45.67 AbMINYSr.net
￥
714:￥
17/11/12 12:09:01.94 AbMINYSr.net
￥
715:￥
17/11/12 12:09:24.54 AbMINYSr.net
￥
716:￥
17/11/12 12:09:41.08 AbMINYSr.net
￥
717:￥
17/11/12 12:09:58.60 AbMINYSr.net
￥
718:￥
17/11/12 12:10:14.37 AbMINYSr.net
￥
719:￥
17/11/12 12:10:29.70 AbMINYSr.net
￥
720:￥
17/11/12 12:10:46.32 AbMINYSr.net
￥
721:￥
17/11/12 12:11:02.24 AbMINYSr.net
￥
722:１３２人目の素数さん
17/11/12 12:16:56.93 cPywtfD3.net
>>694
mCr+nCs=aCbとなる自然数a,bが存在するために、自然数m,r,n,sが満たすべき必要十分条件は、mCr+nCs=aCbとなる自然数a,bが存在することです
723:１３２人目の素数さん
17/11/12 12:23:11.44 VL17AsZ4.net
>>705
無職だろお前w
はいNG
724:１３２人目の素数さん
17/11/12 12:35:08.20 cPywtfD3.net
>>706
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません
725:１３２人目の素数さん
17/11/12 12:48:17.62 cPywtfD3.net
>>675
てか、>>693これでいいじゃないですか？
どんなm,r,n,sを選んでも、aとbを>>693のように選べば必ず条件を満たすa,bが存在していることになります
726:１３２人目の素数さん
17/11/12 12:51:11.01 +jphTJpC.net
>>687
A 2.
f(x）= 1/q （x：有理数（x=p/q、p：整数、q：自然数、互いに素)）
= 0 （x：無理数）
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
727:１３２人目の素数さん
17/11/12 13:11:50.85 +jphTJpC.net
>>708
いいね♡
728:１３２人目の素数さん
17/11/12 13:53:31.67 /Vhh1l7j.net
R^2 の部分距離空間を A とする。
A は互いに共通部部分をもたない R^2 の連結部分集合の和集合としてあらわされることを示せ。
729:１３２人目の素数さん
17/11/12 14:23:42.45 cPywtfD3.net
730:>>711 明らかです
731:￥
17/11/12 15:17:55.40 AbMINYSr.net
￥
732:￥
17/11/12 15:18:14.20 AbMINYSr.net
￥
733:￥
17/11/12 15:18:34.89 AbMINYSr.net
￥
734:￥
17/11/12 15:18:53.70 AbMINYSr.net
￥
735:￥
17/11/12 15:19:14.95 AbMINYSr.net
￥
736:￥
17/11/12 15:19:31.76 AbMINYSr.net
￥
737:￥
17/11/12 15:19:48.43 AbMINYSr.net
￥
738:￥
17/11/12 15:20:08.70 AbMINYSr.net
￥
739:￥
17/11/12 15:20:28.96 AbMINYSr.net
￥
740:￥
17/11/12 15:20:47.75 AbMINYSr.net
￥
741:１３２人目の素数さん
17/11/12 17:24:53.81 cTg/FCp5.net
>>687
>Q3. [0,1]上の有理数で不連続、無理数で微分可能（当然連続）な関数を1つ示せ
で、Q3の答えはまだ見つからないのかい？（ニヤリ）
これ大学数学の常識なんだけどな
Q3は、とある有名なテクストに載っている
などと、うるさくせかす人がいる（＾＾
742:１３２人目の素数さん
17/11/12 17:25:49.63 MPt+syL4.net
きめえ
743:１３２人目の素数さん
17/11/12 17:26:52.72 cPywtfD3.net
>>723
この問題も大学数学の常識なんですが、解いていただけませんか？
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません
744:１３２人目の素数さん
17/11/12 17:41:41.18 KofdmiCa.net
日本人を全員死刑にしろよ
745:１３２人目の素数さん
17/11/12 17:59:16.52 bcdob+HV.net
>>712
なんで？
746:１３２人目の素数さん
17/11/12 17:59:53.48 bcdob+HV.net
>>707
もうやめたら？
747:１３２人目の素数さん
17/11/12 18:00:57.88 bcdob+HV.net
>>705
つまんないよ
748:１３２人目の素数さん
17/11/12 18:01:04.19 cPywtfD3.net
>>727
わからないんですか(笑)？
749:１３２人目の素数さん
17/11/12 18:03:40.04 bcdob+HV.net
>>689
当たり前ということを言いたいのでは？
750:１３２人目の素数さん
17/11/12 18:05:09.11 bcdob+HV.net
>>730
わかりません
751:１３２人目の素数さん
17/11/12 18:16:33.78 cPywtfD3.net
>>711
Aは相対位相における連結成分Mに直和分解されます
MがR^2における連結成分と一致することを示します
MがR^2において連結ではないとすると、以下を満たす開集合O1,O2が存在します
M=O1∪O2
O1∩O2=φ
O1≠φ
O2≠φ
O1,O2⊂M⊂Aですから、以下が成り立ちます
M=A∩(O1∪O2)=(A∩O1)∪(A∩O2)
M⊃O1∩O2=A∩(O1∩O2)=(A∩O1)∩(A∩O2)=φ
O1=A∩O1≠φ
O2=A∩O2≠φ
これは、Mが相対位相において連結であることと矛盾します
752:１３２人目の素数さん
17/11/12 18:19:08.81 cPywtfD3.net
全然違いますね
待ってください
753:１３２人目の素数さん
17/11/12 18:23:14.06 bcdob+HV.net
>>733
> >>711
> Aは相対位相における連結成分Mに直和分解されます
これはなんで？
754:１３２人目の素数さん
17/11/12 18:23:54.54 VL17AsZ4.net
>>731
必要十分に述べよって意味も分からんのか
○すぞ
755:１３２人目の素数さん
17/11/12 18:27:25.05 bcdob+HV.net
>>736
この人も触っちゃダメな人が
まあ問題もアレだし
気づくべきだったか
756:１３２人目の素数さん
17/11/12 18:28:36.28 cPywtfD3.net
>>711
Aは、Aの相対位相における連結成分Mに直和分解されます
MがR^2における連結成分と一致することを示します
MがR^2において連結ではないとすると、以下を満たすR^2の開集合O1,O2が存在します
M=(M∩O1)∪(M∩O2)
(M∩O1)∩(M∩O2)=φ
M∩O1≠φ
M∩O2≠φ
M⊂Aですから、以下が成り立ちます
M=(M∩(A∩O1))∪(M∩(A∩O2))
(M∩(A∩O1))∩(M∩(A∩O2))=φ
M∩(A∩O1)≠φ
M∩(A∩O2)≠φ
これは、Aの相対位相においてMが連結ではないことを意味しますが、これは仮定に反します
757:１３２人目の素数さん
17/11/12 18:29:38.15 cPywtfD3.net
>>735
任意の位相空間は連結成分によって直和分解されますよね？
758:１３２人目の素数さん
17/11/12 18:30:30.51 VL17AsZ4.net
a,bはa<bなる任意の実数
以下の関数は［a,b］を定義域とする
不連続な関数f(x)があるとき、定数関数でないある連続関数g(x)が存在し、f(x)g(x)を連続関数とできることを示せ。
759:１３２人目の素数さん
17/11/12 18:33:01.22 cPywtfD3.net
>>738
×MがR^2における連結成分と一致することを示します
◯MがR^2において連結となることを示します
760:１３２人目の素数さん
17/11/12 18:35:53.37 C0+75xBc.net
常微分方程式の問題で、λ＝±iαのとき、なんで基本解がcosαxとsinαxになるの？？どなたか教えてください
761:１３２人目の素数さん
17/11/12 18:38:20.55 cPywtfD3.net
>>742
e^iαx=cosαx+isinαxですから、cosとsinでてきますよね
762:１３２人目の素数さん
17/11/12 18:45:12.97 cPywtfD3.net
>>740
あるx=aについてg(x)≠0のとき
f(a)=f(a)g(a)/g(a)は連続関数÷連続関数となっていますから、x=aにおいてf(x)は連続です
今、f(x)としてディリクレ関数を考えます
f(x)は至る所で不連続です
先の対偶を考えると、
x=aにおいてf(x)は不連続→g(a)=0
ですから、任意のxについてg(x)=0とならなければなりません
これは、gが定数でないことと反します
よって、題意は間違いです
763:１３２人目の素数さん
17/11/12 18:45:29.00 C0+75xBc.net
>>743
出したあとに、どうやって基本解に持っていく
764:んでしょうか？
765:１３２人目の素数さん
17/11/12 18:48:22.93 cPywtfD3.net
>>745
あなたの知ってる基本解、の定義はなんですか？
766:１３２人目の素数さん
17/11/12 18:56:35.69 C0+75xBc.net
>>746
定数係数と組み合わせると一般解になる一次独立な解です。
767:１３２人目の素数さん
17/11/12 18:59:26.42 cPywtfD3.net
>>747
cosαxとsinαxは方程式の解ですし、一次独立になってますね
768:１３２人目の素数さん
17/11/12 19:09:17.18 VL17AsZ4.net
>>744
チッ
769:１３２人目の素数さん
17/11/12 19:09:26.61 C0+75xBc.net
>>748
λ＝±iαのとき、基本解X＝e^±iαxになると思うのですが、この場合、基本解はcosα+isinαとcosα-isinαではないんでしょうか？
770:１３２人目の素数さん
17/11/12 19:11:26.29 cPywtfD3.net
>>750
基本解は1組だけじゃなくていっぱいあるんですよ
cosα+isinαとcosα-isinαももちろん基本解です
ですが、普通はより簡単にかけるものを選ぶわけですね
771:１３２人目の素数さん
17/11/12 19:18:10.93 C0+75xBc.net
>>751
基本解がcosαx+isinαxとcosαx-isinαxのとき、cosαxとsinαxも基本解になるということはどのようにわかるのでしょうか？ここがわかりません。
772:１３２人目の素数さん
17/11/12 19:20:32.76 cPywtfD3.net
>>752
y1=cosαx+isinαx
y2=cosαx-isinαx
とすると、重ね合わせの法則より
(y1+y2)/2=cosαx、(y1-y2)/2i=sinαx
も解となりますね
cosとsinは一次独立ですから、これも基本解です
773:１３２人目の素数さん
17/11/12 19:30:02.67 C0+75xBc.net
>>753
ありがとうございます
774:￥
17/11/12 20:30:50.96 AbMINYSr.net
￥
775:￥
17/11/12 20:31:08.87 AbMINYSr.net
￥
776:￥
17/11/12 20:31:28.83 AbMINYSr.net
￥
777:￥
17/11/12 20:31:46.99 AbMINYSr.net
￥
778:￥
17/11/12 20:32:04.89 AbMINYSr.net
￥
779:￥
17/11/12 20:32:23.05 AbMINYSr.net
￥
780:￥
17/11/12 20:32:41.43 AbMINYSr.net
￥
781:￥
17/11/12 20:33:01.21 AbMINYSr.net
￥
782:￥
17/11/12 20:33:20.70 AbMINYSr.net
￥
783:￥
17/11/12 20:33:39.14 AbMINYSr.net
￥
784:１３２人目の素数さん
17/11/12 21:09:12.43 VL17AsZ4.net
xに関する以下の方程式が素数の解を持つように自然数nを定めよ。
ただしpは素数の定数である。
（京都大学）
px^(p)-npx^(p-1)+n^(p-2)=0
785:１３２人目の素数さん
17/11/12 21:29:36.50 dOU8namZ.net
Askeyスキームについて学びたいのですがこれが載ってる本ってありますか？
786:１３２人目の素数さん
17/11/12 23:45:56.82 +jphTJpC.net
［前スレ.637］
91歳 竹内外史（1926/01/25～2017/05/10）
90歳 Atle Selberg（1917/06/14～2007/08/06）
？ 佐藤幹夫（1928/04/18～） 89
を追加
787:１３２人目の素数さん
17/11/12 23:59:49.73 GGaVEi9w.net
>>765
xがその素数解として
n^(p-2)=(n-x)px^(p-1)
x=pのときは
n^(p-2)=(n-p)p^p
nはp^2で割れるからn=kp^2と置くと
k^(p-2)p^(2(p-2))=(kp-1)p^(p+1)
k^(p-2)p^(p-5)=kp-1
p>5はあり得ないから
p=5のときは
k^3=5k-1
これはあり得ない
p=3のときは
k=9(3k-1)
これもあり得ない
p=2のときは
1=8(2k-1)
あり得ない
x≠pのときは
nはpxで割れるからn=kpxと置くと
k^(p-2)p^(p-2)x^(p-2)=(kp-1)px^p
k^(p-2)p^(p-3)=(kp-1)x^2
p>3はあり得ないから
p=3のときは
k=(3k-1)x^2
あり得ない
p=2のときは
1=(2k-1)px^2
あり得ない
788:１３２人目の素数さん
17/11/13 00:08:48.11 abgKGSaf.net
>>331
〔ゲンツェンの基本定理〕
数セミ増刊「数学100の定理」日本評論社 p.206-207 (1983)
789:￥
17/11/13 00:53:43.27 tP2A7oah.net
￥
790:￥
17/11/13 00:54:08.94 tP2A7oah.net
￥
791:￥
17/11/13 00:54:29.05 tP2A7oah.net
￥
792:￥
17/11/13 00:54:48.14 tP2A7oah.net
￥
793:１３２人目の素数さん
17/11/13 00:55:03.44 +DyIKn4f.net
しっかし誰も解けない難しい質問ばっかでつまんねえなぁ。
本当に「実際は解いている連中ばっか」状態になったこと一度もねえじゃんｗ
もっと簡単な質問してこい、脳みそウンコまみれの底辺層ども。
794:￥
17/11/13 00:55:06.76 tP2A7oah.net
￥
795:１３２人目の素数さん
17/11/13 00:55:23.63 +DyIKn4f.net
しっかし誰も解けない難しい質問ばっかでつまんねえなぁ。
本当に「実際は解いている連中ばっか」状態になったこと一度もねえじゃんｗ
もっと簡単な質問してこい、脳みそウンコまみれの底辺層ども。
796:￥
17/11/13 00:55:30.64 tP2A7oah.net
￥
797:１３２人目の素数さん
17/11/13 00:55:38.49 +DyIKn4f.net
しっかし誰も解けない難しい質問ばっかでつまんねえなぁ。
本当に「実際は解いている連中ばっか」状態になったこと一度もねえじゃんｗ
もっと簡単な質問してこい、脳みそウンコまみれの底辺層ども。
798:￥
17/11/13 00:55:48.16 tP2A7oah.net
￥
799:１３２人目の素数さん
17/11/13 00:55:54.67 +DyIKn4f.net
しっかし誰も解けない難しい質問ばっかでつまんねえなぁ。
本当に「実際は解いている連中ばっか」状態になったこと一度もねえじゃんｗ
もっと簡単な質問してこい、脳みそウンコまみれの底辺層ども。
800:￥
17/11/13 00:56:45.89 tP2A7oah.net
￥
801:１３２人目の素数さん
17/11/13 00:56:53.89 +DyIKn4f.net
しっかし誰も解けない難しい質問ばっかでつまんねえなぁ。
本当に「実際は解いている連中ばっか」状態になったこと一度もねえじゃんｗ
もっと簡単な質問してこい、脳みそウンコまみれの底辺層ども。
802:￥
17/11/13 00:57:04.73 tP2A7oah.net
￥
803:１３２人目の素数さん
17/11/13 00:57:13.03 +DyIKn4f.net
しっかし誰も解けない難しい質問ばっかでつまんねえなぁ。
本当に「実際は解いている連中ばっか」状態になったこと一度もねえじゃんｗ
もっと簡単な質問してこい、脳みそウンコまみれの底辺層ども。
804:￥
17/11/13 00:57:20.71 tP2A7oah.net
￥
805:１３２人目の素数さん
17/11/13 00:57:28.87 +DyIKn4f.net
しっかし誰も解けない難しい質問ばっかでつまんねえなぁ。
本当に「実際は解いている連中ばっか」状態になったこと一度もねえじゃんｗ
もっと簡単な質問してこい、脳みそウンコまみれの底辺層ども。
806:￥
17/11/13 00:57:46.19 tP2A7oah.net
￥
807:１３２人目の素数さん
17/11/13 00:57:51.02 +DyIKn4f.net
しっかし誰も解けない難しい質問ばっかでつまんねえなぁ。
本当に「実際は解いている連中ばっか」状態になったこと一度もねえじゃんｗ
もっと簡単な質問してこい、脳みそウンコまみれの底辺層ども。
808:￥
17/11/13 00:58:08.21 tP2A7oah.net
￥
809:１３２人目の素数さん
17/11/13 00:58:22.66 +DyIKn4f.net
しっかし誰も解けない難しい質問ばっかでつまんねえなぁ。
本当に「実際は解いている連中ばっか」状態になったこと一度もねえじゃんｗ
もっと簡単な質問してこい、脳みそウンコまみれの底辺層ども。
810:￥
17/11/13 00:58:25.00 tP2A7oah.net
￥
811:１３２人目の素数さん
17/11/13 00:58:50.36 +DyIKn4f.net
しっかし誰も解けない難しい質問ばっかでつまんねえなぁ。
本当に「実際は解いている連中ばっか」状態になったこと一度もねえじゃんｗ
もっと簡単な質問してこい、脳みそウンコまみれの底辺層ども。
812:１３２人目の素数さん
17/11/13 01:14:24.65 4IzD8ngY.net
fは実数上において微分可能な関数とする
f(b)=0 かつ f'(a)>f(a) (∀a∈R) ならば任意のa>bに対してf(a)>0となることを示せ
813:１３２人目の素数さん
17/11/13 01:18:58.30 luyVs4L2.net
>>793
>>363
814:１３２人目の素数さん
17/11/13 01:57:00.96 abgKGSaf.net
>>793-794
g(x）= f(x）e^(-x),
とおく。題意より
g(b）= f(b)e^(-b）= 0,
g '(x）=｛f '(x）- f(x)}e^(-x）> 0,
よって
a>b ⇒ g(a）= g(b）+∫[b,a］g '(x）dx > 0,
⇒ f(a）> 0,
ぢゃね？
815:１３２人目の素数さん
17/11/13 02:11:32.56 VgHZBtC8.net
同じ問題あったのですねすみません
あと積分は使えないです
816:１３２人目の素数さん
17/11/13 02:26:15.95 +DyIKn4f.net
>>796
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません
817:￥
17/11/13 02:28:49.73 tP2A7oah.net
￥
818:￥
17/11/13 02:29:09.39 tP2A7oah.net
￥
819:￥
17/11/13 02:29:29.72 tP2A7oah.net
￥
820:￥
17/11/13 02:29:48.73 tP2A7oah.net
￥
821:￥
17/11/13 02:30:06.04 tP2A7oah.net
￥
822:￥
17/11/13 02:30:24.94 tP2A7oah.net
￥
823:￥
17/11/13 02:30:43.71 tP2A7oah.net
￥
824:￥
17/11/13 02:31:03.97 tP2A7oah.net
￥
825:￥
17/11/13 02:31:22.48 tP2A7oah.net
￥
826:￥
17/11/13 02:31:41.84 tP2A7oah.net
￥
827:１３２人目の素数さん
17/11/13 06:54:16.54 tJWM2i9i.net
朝から太く低い声で何度も
『完璧ではありませんが』
を聞かされた
828:１３２人目の素数さん
17/11/13 07:54:25.69 1qS9TkZH.net
>>711
一点は連結。
829:１３２人目の素数さん
17/11/13 09:45:29.00 7L3amaex.net
(sinx)(cosx)(tanx)=sinx+cosx+tanx
を満たす実数ｘは存在しますか？
830:１３２人目の素数さん
17/11/13 10:00:21.06 qp7c7UKZ.net
>>810
とりあえずグラフプロットしたら存在するみたいだよ
831:１３２人目の素数さん
17/11/13 10:08:07.81 57EPRGac.net
>>711
補題: ある集合族が それぞれ連結でありかつ一点を共有するとき、その和集合は連結である。(証明略)
写像 f: A → P を次のように構成する。(※ PはAの冪集合)
x∈A に対して xを含む連結集合の全てを考える。f(x) はその集合族の和集合とする。
一点集合 {x} は連結なので。f(x) は常に空集合ではない。補題よりそれは連結である。
x ∈ f(x) なので A = ∪f(x) は明らか。
y ∈ f(x) の時、 f(y)の定義より f(x) ⊂ f(y) 、よって x ∈ f(y)、f(x)の定義より f(y) ⊂ f(x)
つまり f(x) = f(y)
Aの同値関係Rを x～y ⇔ f(x)=f(y) で定義する。(反射/対称/推移律が成り立つ)
同値類別(商集合) A/R が「互いに共通部部分をもたない連結部分集合」による分割を与える。
832:１３２人目の素数さん
17/11/13 10:16:06.74 57EPRGac.net
>>711
A=∪{x} も「互いに共通部部分をもたない連結部分集合」による分割になってる。(>>809)
A/Rは「連結成分」による分割って事ですね。
833:１３２人目の素数さん
17/11/13 10:53:39.72 abgKGSaf.net
>>793-794
g(x）= f(x）e^(-x),
とおく。題意より
g(b）= 0,
g '(x）> 0,
h(x) = g(x) - g(a)(x-b)/(a-b)
とおく。題意より
h(a）= h(b）= 0,
また h(x）は微分可能。
ロルの定理より >>382
h '(c）= 0, b<c<a
となるcがある。
∴ g(a）= g(b）+ g '(c)(c-b)/(a-b）> 0,
∴ f(a）> 0,
ぢゃね？
834:１３２人目の素数さん
17/11/13 11:36:35.40 abgKGSaf.net
>>810
とりあえず近似値は
x = 2nπ - 2.0060382594506053650
x = 2nπ - 0.38657112396120291534
みたいだよ
835:１３２人目の素数さん
17/11/13 12:17:13.60 7L3amaex.net
>>811
>>815
グラフによると確かに存在し、近似値をそうなりそうです
f(x)=sinxcosxtanx-sinx-cosx-tanx
っておいて、微分して単調減少を示し、π/6とか5π/6を代入でいけますかね？
でも導関数の符号を調べるのがうまくいかないんですよ
いいやり方ないですかね
836:１３２人目の素数さん
17/11/13 12:20:27.68 gEvQf1sY.net
>>816
f(0)
837:=-1、f(π)=1ですから、中間値の定理より存在しますね
838:１３２人目の素数さん
17/11/13 12:23:56.97 YMnEmf+F.net
>>816
(以下x省略)
sin･cos･tan = sin+cos+tan
左辺=sin^2 より
sin^2 -sin-cos = tan
-π/2<x<π/2に対してy=tanは単調増加
y=sin^2-sin-cosと交点を最低でも1つ持つことを示せば解の存在を言える
839:１３２人目の素数さん
17/11/13 12:28:50.83 Lvg//uKF.net
>>817
それだとπ/2で定義されてないとダメでは？
範囲絞ればいいけど
840:１３２人目の素数さん
17/11/13 12:50:54.02 tJWM2i9i.net
舐めた放送をして俺をコケにするのもいい加減にしろよ。
糞NHK、ふざけんな。
一国民を小馬鹿にしたDQN野郎を解雇しろ！
841:１３２人目の素数さん
17/11/13 13:06:47.88 tJWM2i9i.net
私が画面を見ただけで無理とは何事だ。
ふざけんのもいい加減にしろ。
手荒な安否確認か？答えろ、ゴミ！
842:１３２人目の素数さん
17/11/13 13:23:09.83 tJWM2i9i.net
外からワンパターンの「残念でした。」
が聞こえてきましたが、
小学校低学年レベルの日本語能力の糞ガキは
「何が」残念なのか言えるようになってからその言葉を
使いましょうね。
843:１３２人目の素数さん
17/11/13 13:31:59.20 qnEbkspS.net
>>822
50歳のホームレスさんですか？
844:１３２人目の素数さん
17/11/13 13:35:18.96 tJWM2i9i.net
>>823
いいえ、日本最高峰プログラマーです。
5億、7億、13億、17億と威勢のいい声が聞こえてきますが
誰が何時払うのでしょうか？
当然、期待して待っているわけではありませんが。
845:１３２人目の素数さん
17/11/13 14:30:48.53 zSJ2QXAT.net
>>819
arctan咬ませばいいだけ
846:￥
17/11/13 15:29:18.17 tP2A7oah.net
￥
847:￥
17/11/13 15:29:34.95 tP2A7oah.net
￥
848:￥
17/11/13 15:29:56.04 tP2A7oah.net
￥
849:￥
17/11/13 15:30:15.51 tP2A7oah.net
￥
850:￥
17/11/13 15:30:33.93 tP2A7oah.net
￥
851:￥
17/11/13 15:30:50.26 tP2A7oah.net
￥
852:￥
17/11/13 15:31:06.85 tP2A7oah.net
￥
853:￥
17/11/13 15:31:24.74 tP2A7oah.net
￥
854:￥
17/11/13 15:31:44.06 tP2A7oah.net
￥
855:￥
17/11/13 15:32:02.66 tP2A7oah.net
￥
856:１３２人目の素数さん
17/11/13 17:01:48.28 DFR7Y7G7.net
低レベルで、disgustingな言動は不要だ。
頭がおかしいんじゃないのか？
いきなり、「無理、無理。」
何が言いたいのかな、おぼっちゃんは？
857:１３２人目の素数さん
17/11/13 20:00:08.08 0P2oPhMC.net
Σ【k=1 →∞】1/(t+k)^2
＝ ∫【0→1】(x^p/1-x) log(1/x)
これの示し方を教えて下さいm(_ _)m
858:￥
17/11/13 20:33:59.56 tP2A7oah.net
￥
859:￥
17/11/13 20:34:18.10 tP2A7oah.net
￥
860:￥
17/11/13 20:34:35.10 tP2A7oah.net
￥
861:￥
17/11/13 20:34:54.76 tP2A7oah.net
￥
862:￥
17/11/13 20:35:13.27 tP2A7oah.net
￥
863:￥
17/11/13 20:35:34.77 tP2A7oah.net
￥
864:￥
17/11/13 20:35:54.25 tP2A7oah.net
￥
865:￥
17/11/13 20:36:11.64 tP2A7oah.net
￥
866:￥
17/11/13 20:36:28.92 tP2A7oah.net
￥
867:￥
17/11/13 20:36:46.96 tP2A7oah.net
￥
868:１３２人目の素数さん
17/11/13 21:08:04.77 Cl5WReNg.net
（1）log2(3)は無理数であることを示せ。
（2）log2(3)=p√2 となる有理数pは存在しないことを示せ。
（2）が分かりません。（1）がヒントとも思えないのですが…
869:￥
17/11/13 21:30:15.49 tP2A7oah.net
￥
870:￥
17/11/13 21:30:37.72 tP2A7oah.net
￥
871:￥
17/11/13 21:30:56.55 tP2A7oah.net
￥
872:￥
17/11/13 21:31:16.52 tP2A7oah.net
￥
873:￥
17/11/13 21:31:38.43 tP2A7oah.net
￥
874:￥
17/11/13 21:31:59.81 tP2A7oah.net
￥
875:￥
17/11/13 21:32:21.66 tP2A7oah.net
￥
876:￥
17/11/13 21:32:47.55 tP2A7oah.net
￥
877:￥
17/11/13 21:33:12.32 tP2A7oah.net
￥
878:￥
17/11/13 21:33:36.50 tP2A7oah.net
￥
879:１３２人目の素数さん
17/11/13 21:36:11.45 AxkWqEZx.net
(1)
2^x= 3
Suppose x= m/m such that m,n are integers.
(2^(m/n))^n = 2^m = 3^n
This is impossible, so x is not rational number.
(2)
With the same procedure that p=m/n, i.e. x= (m/n)Sqrt[2]
2^((m/n)Sqrt[2]) = (2~Sqrt[2])^(m/n)=2^(m/(2n))= 3
this me
880:ans 2^m=3^(2 n) This is contradictory. So p is not rational.
881:１３２人目の素数さん
17/11/13 22:50:00.97 K/FirY/9.net
>>837
p?t?
882:１３２人目の素数さん
17/11/13 23:06:48.43 fkSmvI97.net
自殺したい。
883:￥
17/11/13 23:23:57.02 tP2A7oah.net
￥
884:￥
17/11/13 23:24:16.20 tP2A7oah.net
￥
885:￥
17/11/13 23:24:37.39 tP2A7oah.net
￥
886:￥
17/11/13 23:24:59.28 tP2A7oah.net
￥
887:￥
17/11/13 23:25:17.36 tP2A7oah.net
￥
888:￥
17/11/13 23:25:34.62 tP2A7oah.net
￥
889:￥
17/11/13 23:25:53.28 tP2A7oah.net
￥
890:￥
17/11/13 23:26:10.27 tP2A7oah.net
￥
891:￥
17/11/13 23:26:27.64 tP2A7oah.net
￥
892:１３２人目の素数さん
17/11/13 23:26:46.58 fkSmvI97.net
自殺したい。
893:￥
17/11/13 23:26:46.58 tP2A7oah.net
￥
894:￥
17/11/13 23:28:21.85 tP2A7oah.net
￥
895:￥
17/11/13 23:28:38.73 tP2A7oah.net
￥
896:￥
17/11/13 23:28:55.10 tP2A7oah.net
￥
897:￥
17/11/13 23:29:13.15 tP2A7oah.net
￥
898:１３２人目の素数さん
17/11/13 23:29:15.21 fkSmvI97.net
自殺したい。
899:￥
17/11/13 23:29:30.08 tP2A7oah.net
￥
900:￥
17/11/13 23:29:47.37 tP2A7oah.net
￥
901:￥
17/11/13 23:30:03.43 tP2A7oah.net
￥
902:￥
17/11/13 23:30:21.75 tP2A7oah.net
￥
903:￥
17/11/13 23:31:05.12 tP2A7oah.net
￥
904:１３２人目の素数さん
17/11/13 23:31:18.88 +DyIKn4f.net
自殺したい
905:￥
17/11/13 23:31:27.68 tP2A7oah.net
￥
906:￥
17/11/13 23:31:47.52 tP2A7oah.net
￥
907:￥
17/11/13 23:32:05.17 tP2A7oah.net
￥
908:￥
17/11/13 23:32:21.41 tP2A7oah.net
￥
909:１３２人目の素数さん
17/11/13 23:57:32.66 qZZBzQyT.net
＜再投稿＞
>>687
Q3. [0,1]上の有理数で不連続、無理数で微分可能（当然連続）な関数を1つ示せ
これ、なんか、難しい問題なんかね？ はて？
910:１３２人目の素数さん
17/11/13 23:59:10.75 +DyIKn4f.net
>>888
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません
911:１３２人目の素数さん
17/11/14 03:33:19.09 8GRq7eAg.net
[前スレ.637］
91歳 50日 吉田洋一（1898/07/11～1989/08/30）
を追加
912:￥
17/11/14 03:48:28.31 DKMYn3HH.net
￥
913:￥
17/11/14 03:48:45.02 DKMYn3HH.net
￥
914:￥
17/11/14 03:49:00.06 DKMYn3HH.net
￥
915:￥
17/11/14 03:49:17.63 DKMYn3HH.net
￥
916:￥
17/11/14 03:49:38.96 DKMYn3HH.net
￥
917:￥
17/11/14 03:49:55.91 DKMYn3HH.net
￥
918:￥
17/11/14 03:50:14.35 DKMYn3HH.net
￥
919:￥
17/11/14 03:50:32.72 DKMYn3HH.net
￥
920:￥
17/11/14 03:50:50.33 DKMYn3HH.net
￥
921:￥
17/11/14 03:51:08.58 DKMYn3HH.net
￥
922:１３２人目の素数さん
17/11/14 04:23:02.57 8GRq7eAg.net
［前スレ.637］
93歳 64日 伊藤 清（1915/09/07～2008/11/10）確率微分方程式
［前スレ.643］
98歳 吉田秀和 （1913/09/23～2012/05/22）音楽評論家、随筆家。
93歳 鈴木清順 （1923/05/24～2017/02/13）映画監督、俳優。
を追加
923:１３２人目の素数さん
17/11/14 04:40:25.17 8GRq7eAg.net
［前スレ.643］
100歳 3世 井上八千代（1838/02/01～1938/09/07）京舞
98歳 4世 井上八千代（1905/05/14～2004/03/19）京舞
97歳 2世 井上八千代（1770～1868/03/24）京舞
を追加。
924:￥
17/11/14 05:08:27.98 DKMYn3HH.net
￥
925:￥
17/11/14 05:08:46.60 DKMYn3HH.net
￥
926:￥
17/11/14 05:09:03.04 DKMYn3HH.net
￥
927:￥
17/11/14 05:09:24.27 DKMYn3HH.net
￥
928:￥
17/11/14 05:09:43.75 DKMYn3HH.net
￥
929:￥
17/11/14 05:10:02.35 DKMYn3HH.net
￥
930:￥
17/11/14 05:10:21.44 DKMYn3HH.net
￥
931:￥
17/11/14 05:10:42.79 DKMYn3HH.net
￥
932:￥
17/11/14 05:11:05.44 DKMYn3HH.net
￥
933:￥
17/11/14 05:11:22.58 DKMYn3HH.net
￥
934:１３２人目の素数さん
17/11/14 07:13:44.10 agSxZaXK.net
>>888
＜転載＞
146 返信：１３２人目の素数さん[sage] 投稿日：2017/11/14(火) 06:31:02.20 ID:IDi6PSmH [1/2]
>>142
なんだ、結局分からないんだｗ
ところで
>>75
＞Q3. [0,1]上の有理数で不連続、無理数で微分可能（当然連続）な関数を1つ示せ
>>77
＞Q3は、とある有名なテクストに載っている
ハイラー、ヴァンナーの「解析教程」下に
有理数ｒが既約分数p/qで表されるとき、1/q^2 無理数か整数で0
という関数がx=0（より一般にはxが整数のとき）で微分可能
という証明が出ているが、無理数の箇所については言及してない
935:１３２人目の素数さん
17/11/14 07:54:43.69 waTphX1J.net
>>913
無理数でも微分可能っぽいけどな