20/03/10 17:37:08.11 I2fj5FcK.net
これ分かる方いらしたらお願いします
>>549
606:イナ ◆/7jUdUKiSM
20/03/10 18:01:02 SgyDBxw5.net
前>>568
rieなのかrikoなのかonirokuなのか。
607:１３２人目の素数さん
20/03/10 18:34:05 0EGlKotV.net
ラマヌジャンの手計算とコンピュータの計算どちらが速い？
608:１３２人目の素数さん
20/03/10 18:35:24 2X/H2/bO.net
>>574
昔その分野をかじったことがある程度だが少しレスする
大学院レベルの質問だからここで的を得た回答を得るのは難しいんじゃなかろうか
先輩の院生か指導教官に聞いた方がいいんじゃないか？
その質問を指導教官から課題として出されたとか（4月から修士に入る学生への教官からの課題っぽいと想像してる）、
質問できる先輩の院生がいないとか、ならばしょうがないが…
『リー代数と量子群』（谷崎俊之）は読んだことがある？
M1の時に読んだが、読みやすい本だったよ
この教科書の後半に、アフィン（というかMac-Moody）リー代数とか量子群も載ってたけど
君の質問の答えまで載ってたかどうかは覚えていない
609:１３２人目の素数さん
20/03/10 19:00:47 HhJuyxkn.net
漠然と数学を学びたいのですがどんな分野がおすすめですか？
大学数学はつまらないしサボっていたのでほとんど高校止まりです。
ていうか工学系の大学数学って面白いんですか？
610:１３２人目の素数さん
20/03/10 21:08:49.34 B4p4PHRk.net
実数a,b,cは
（ア）a>0,b>0,c>0
（イ）(1/a)+(1/b)+(1/c)=1/abc
を満たす。
A=√(1+a^2)+1-a
B=√(1+b^2)+1-b
C=√(1+c^2)+1-c
とおくとき、以下の値がa,b,cによらない定数になることを示し、その値を求めよ。
AB+BC+CA-2(A+B+C-1)
611:１３２人目の素数さん
20/03/10 22:03:36 Yztp0G0I.net
>>577
>Mac
Kac
612:１３２人目の素数さん
20/03/10 22:32:18 0EGlKotV.net
>>579
0
613:１３２人目の素数さん
20/03/11 01:06:12.52 a9Z8MHCQ.net
x^2-2y^2-xy+3y-1を因数分解するという
614:問題の途中式がわかりません。 というより、 答えが (x-2y+1)(x+y-1)になるのは勘でわかったのですが、 途中式で、 x^2-yx+(2y-1)(y-1) の時に、-yxがどこに消えたのかという仕組みがわかりませんし、なぜそう簡単にしきに組み込むことが出来るのかよくわかりません。 二乗があるならまだしも、-yxは二次式ではありますが、考えづらいです。 噛み砕いて教えて下さりますでしょうか、 お願いします。
615:１３２人目の素数さん
20/03/11 01:49:54.21 tcbieR9h.net
>>582
(x+a)(x+b)=x^2+(a+b)c+ab
616:１３２人目の素数さん
20/03/11 01:59:51.52 a9Z8MHCQ.net
>>583
ありがとうございます。
もう少し噛み砕いて教えていただけないでしょうか
617:イナ
20/03/11 02:14:49.53 LbRSBTGq.net
前>>575
>>582
x^2-2y^2-xy+3y-1を因数分解すると、x^2項の係数が1で定数項が-1だから、
(x+ay+1)(x+by-1)という形になると思う。
aやbが勘でわかるのはすごいな。けど確実に当てるなら計算するほうがいい。
展開すると、
-2y^2=aby^2─①
-xy=axy+bxy─②
3y=-ay+by─③
①よりy=0のときx=±1
y≠0のとき①の辺々をy^2で割ると、
ab=-2─④
②よりxy=0のときx=0またはy=0
xy≠0のとき②の辺々をxyで割ると、
a+b=-1─⑤
③よりy=0のときx=±1
y≠0のとき③の辺々をyで割ると、
-a+b=3─⑥
⑤-⑥よりa-(-a)=-1-3
2a=-4
a=-2
④に代入すると(-2)b=-2
b=1
∴(x-2y+1)(x+y-1)
途中式、
x^2-yx+(2y-1)(y-1)
という変形は思いつかなかった。y^2項と定数項で因数分解せよって言われてんのかな？
-yxが消えたかどうかはわかりません。いや、-yxあるじゃないか。
両辺に-yxがあって、かつx≠0,y≠0なら、辺々を-yzで割ることで-yzを消すことはできると思う。
辺々を割れるか割れないかは0じゃないか0かの違いで、二乗でも一次式でもyzでも、0じゃなければ割れるはず。
618:１３２人目の素数さん
20/03/11 02:45:12.90 y9Jt3QH1.net
>>579 , >>581
これどうやって示すのか誰か教えてください.
x+y+z=π, tan(x) + tan(y) + tan(z) = tan(x)tan(y)tan(z)
a = cot(x), A = ... =1/sin(x) + 1 - cot(x), B= . . .
これで行くのかなと予想は立てたもののスマートな式変形が思い浮かびません.
619:１３２人目の素数さん
20/03/11 04:56:40.90 mptyGKpN.net
>>580
typoでした、訂正どうも
620:イナ
20/03/11 05:35:15.90 LbRSBTGq.net
前>>589
>>579(前半)
(イ)よりbc+ca+ab=1─①
AB+BC+CA-2(A+B+C-1)
={√(1+a^2)+1-a}{√(1+b^2)+1-b}+{√(1+b^2)+1-b}{√(1+c^2)+1-c}+{√(1+c^2)+1-c}{√(1+a^2)+1-a}-2[{√(1+a^2)+1-a}+{√(1+b^2)+1-b}+{√(1+c^2)+1-c}-1]
={√(1+a^2)+1-a}{√(1+b^2)+1-b}+{√(1+b^2)+1-b}{√(1+c^2)+1-c}+{√(1+c^2)+1-c}{√(1+a^2)+1-a}-2{√(1+a^2)+1-a+√(1+b^2)+1-b+√(1+c^2)+1-c-1}
={√(1+a^2)+(1-a)}{√(1+b^2)+(1-b)}
+{√(1+b^2)+(1-b)}{√(1+c^2)+(1-c)}
+{√(1+c^2)+(1-c)}{√(1+a^2)+(1-a)}
-2{√(1+a^2)+√(1+b^2)+√(1+c^2)+2-a-b-c}
=√(1+a^2)(1+b^2)+(1-a)√(1+b^2)+(1-b)√(1+a^2)+(1-a)(1-b)
+√(1+b^2)(1+c^2)+(1-b)√(1+c^2)+(1-c)√(1+b^2)+(1-b)(1-c)
+√(1+c^2)(1+a^2)+(1-c)√(1+a^2)+(1-a)√(1+c^2)+(1-c)(1-a)
-2{√(1+a^2)+√(1+b^2)+√(1+c^2)+2-a-b-c}
=√(1+a^2)(1+b^2)+(1-a)√(1+b^2)+(1-b)√(1+a^2)+1-a-b+ab
+√(1+b^2)(1+c^2)+(1-b)√(1+c^2)+(1-c)√(1+b^2)+1-b-c+bc
+√(1+c^2)(1+a^2)+(1-c)√(1+a^2)+(1-a)√(1+c^2)+1-c-a+ca
-2{√(1+a^2)+√(1+b^2)+√(1+c^2)+2-a-b-c}
=√(1+a^2)(1+b^2)+(1-a)√(1+b^2)+(1-b)√(1+a^2)
+√(1+b^2)(1+c^2)+(1-b)√(1+c^2)+(1-c)√(1+b^2)
+√(1+c^2)(1+a^2)+(1-c)√(1+a^2)+(1-a)√(1+c^2)
-2{√(1+a^2)+√(1+b^2)+√(1+c^2)+2-a-b-c}
+3-2(a+b+c)+bc+ca+ab
621:イナ
20/03/11 05:38:51.36 LbRSBTGq.net
前>>588(前半)
前々>>579(後半をやる)
①を代入すると、
=√(1+a^2)(1+b^2)+(1-a)√(1+b^2)+(1-b)√(1+a^2)
+√(1+b^2)(1+c^2)+(1-b)√(1+c^2)+(1-c)√(1+b^2)
+√(1+c^2)(1+a^2)+(1-c)√(1+a^2)+(1-a)√(1+c^2)
-2{√(1+a^2)+√(1+b^2)+√(1+c^2)+2-a-b-c}
+3-2(a+b+c)+1
=√(1+a^2)(1+b^2)+(1-a)√(1+b^2)+(1-b)√(1+a^2)
+√(1+b^2)(1+c^2)+(1-b)√(1+c^2)+(1-c)√(1+b^2)
+√(1+c^2)(1+a^2)+(1-c)√(1+a^2)+(1-a)√(1+c^2)
-2{√(1+a^2)+√(1+b^2)+√(1+c^2)+2-a-b-c}
+4-2(a+b+c)
=√(1+a^2)(1+b^2)+(1-a)√(1+b^2)+(1-b)√(1+a^2)
+√(1+b^2)(1+c^2)+(1-b)√(1+c^2)+(1-c)√(1+b^2)
+√(1+c^2)(1+a^2)+(1-c)√(1+a^2)+(1-a)√(1+c^2)
-2{√(1+a^2)+√(1+b^2)+√(1+c^2)}
=√(1+a^2)(1+b^2)+√(1+b^2)-a√(1+b^2)+√(1+a^2)-b√(1+a^2)
+√(1+b^2)(1+c^2)+√(1+c^2)-b√(1+c^2)+√(1+b^2)-c√(1+b^2)
+√(1+c^2)(1+a^2)+√(1+a^2)-c√(1+a^2)+√(1+c^2)-a√(1+c^2)
-2{√(1+a^2)+√(1+b^2)+√(1+c^2)}
=√(1+a^2)(1+b^2)-a√(1+b^2)-b√(1+a^2)
+√(1+b^2)(1+c^2)-b√(1+c^2)-c√(1+b^2)
+√(1+c^2)(1+a^2)-c√(1+a^2)-a√(1+c^2)
だいぶ消えたな。
622:１３２人目の素数さん
20/03/11 07:47:03 ADkxY50d.net
>>582
2y-1を-(-2y+1)だと思ってみれば
623:１３２人目の素数さん
20/03/11 08:14:52 avK6eeO9.net
>>586
>x+y+z=π, tan(x) + tan(y) + tan(z) = tan(x)tan(y)tan(z)
tan(x+y+z)=0
(tan x+tan y+tan z-tan x tan y tan z)/(1-tan x tan y-tan y tan z-tan z tan x)=0
tan x+tan y+tan z-tan x tan y tan z=0
624:１３２人目の素数さん
20/03/11 08:36:07 iUaOIFBy.net
職業訓練の選考試験で中学程度の国
625:語と数学が出るんですが、数学がさっぱり分かりません。 どなたか教えてくださいm(_ _)m https://i.imgur.com/yAdk2f8.jpg
626:１３２人目の素数さん
20/03/11 08:49:24 ADkxY50d.net
>>592
それはさすがに勉強してくださいとしかいいようがない
勉強せずに問題見て自力で解法を編み出せるのは天才だけ
627:１３２人目の素数さん
20/03/11 09:12:19 zi4olkqu.net
>>586
a = cot(x), b = cot(y), c = cot(z),
とおけば
1/a + 1/b + 1/c - 1/abc = tan(x)+tan(y)+tan(z) - tan(x)tan(y)tan(z)
= sin(x+y+z)/{cos(x)cos(y)cos(z)},
A-1 = tan(x/2), B-1 = tan(y/2), C-1 = tan(z/2),
より
(与式) = (A-1)(B-1) + (B-1)(C-1) + (C-1)(A-1) - 1
= tan(x/2)tan(y/2) + tan(y/2)tan(z/2) + tan(z/2)tan(x/2) - 1
= -cos((x+y+z)/2)/{cos(x/2)cos(y/2)cos(z/2)}
= -(1/a +1/b +1/c -1/abc)･cos(x)cos(y)cos(z)/{2sin((x+y+z)/2)cos(x/2)cos(y/2)cos(z/2)}
ですね^^
---------------------------------------------------------
加法公式の略証
e^{i(x+y+z)} = e^(ix)･e^(iy)･e^(iz)
= {cos(x)+i･sin(x)}{cos(y)+i･sin(y)}{cos(z)+i･sin(z)}
= cos(x)cos(y)cos(z){1+i･tan(x)}{1+i･tan(y){1+i･tan(z)},
実部から
cos(x+y+z) = cos(x)cos(y)cos(z) - sin(x)sin(y)cos(z) - cos(x)sin(y)sin(z) - sin(x)cos(y)sin(z)
= cos(x)cos(y)cos(z){1 - tan(x)tan(y) - tan(y)tan(z) - tan(z)tan(x)},
虚部から
sin(x+y+z) = sin(x)cos(y)cos(z) + cos(x)sin(y)cos(z) + cos(x)cos(y)sin(z) - sin(x)sin(y)sin(z)
= cos(x)cos(y)cos(z){tan(x) + tan(y) + tan(z) - tan(x)tan(y)tan(z)},
628:586
20/03/11 09:20:39 y9Jt3QH1.net
tanの加法を二回使って
tan(x+y+z) = (tx + ty + tz - txtytz) / (1 - txty - tytz - tztx)
[公式1] x+y+z = π → tanx + tany + tanz = tanx tany tanz
[公式2] x+y+z = π/2 → tanx tany + tany tanz + tanz tanx = 1
a = cot(x) (0<x<π/2), b= ... と置ける. {∵ 公式1}
A = 1 + 1/sin(x) - cot(x) = 1 + X,
X := (1-cos(x))/sin(x) = 2 sin(x/2)^2 / sin(x) = sin(x/2)/cos(x/2) = tan(x/2)
(2-A)(2-B)(2-C) + ABC = {2(AB+BC+CA) - 4(A+B+C-1)} + 4
(2-A)(2-B)(2-C) + ABC = (1-X)(1-Y)(1-Z) + (1+X)(1+Y)(1+Z)
= 2 + 2(XY+YZ+ZX) = 2 + 2*1 = 4 {∵ 公式2}
∴ (AB+BC+CA) - 2(A+B+C-1) = {(2-A)(2-B)(2-C) + ABC}/2 -2 = 2 - 2 = 0
できた. 幾何学的意味などがあるなら教えて欲しい.
629:１３２人目の素数さん
20/03/11 09:21:39 y9Jt3QH1.net
>>591, >>594 ありがとうございます
630:１３２人目の素数さん
20/03/11 12:36:57.91 y9Jt3QH1.net
別解 (最初からこれでよかった)
(AB+BC+CA) - 2(A+B+C-1)
= (1+X)(1+Y)+(1+Y)(1+Z)+(1+Z)(1+X) - 2(3+X+Y+Z -1)
= 3 +2(X+Y+Z) + XY+YZ+ZX - 4 - 2(X+Y+Z)
= -1 + XY+YZ+ZX = 0 {∵公式2}
631:１３２人目の素数さん
20/03/11 17:07:24.59 Kpnz/R4s.net
どうしても分からない問題があったので質問です。物理学部2年です。
lが奇数の時、∫₀¹ dˡ/dxˡ (x²-1)ˡ dx を閉じた形で表せ。
矩形波をルジャンドル多項式による展開をする途中に出てきたのですが行間が省かれていたので分かりませんでした。
よろしくお願いしますm(_ _)m
632:１３２人目の素数さん
20/03/11 17:15:30.05 a9Z8MHCQ.net
>>585
ありがとうございます
なんとなくですが、わかったような気がします。
お決まりの形があるんですね。
633:１３２人目の素数さん
20/03/11 17:47:36 tcbieR9h.net
>>599
お決まりの形っていうならx^2+(a+b)x+ab=(x+a)(x+b)が分かってれば解けるだろ
634:１３２人目の素数さん
20/03/11 19:08:13 f0qlU4Z9.net
>>598
結論は？
635:１３２人目の素数さん
20/03/11 19:17:53 N/UPZlhv.net
>>601
分かんねえから聞いてんだろ
俺より偏差値低い大学のくせに
636:１３２人目の素数さん
20/03/11 19:37:49.09 plq6CXNf.net
>>601
教科書の方には「lが奇数の場合、
Aₗ=(2l+1)∫₀¹Pₗ(x)dx [ただしPₗ(x)はl次のルジャンドル多項式]
」
に
「Rodrigue
637:sの公式を利用すると、積分が計算できて Aₗ=(-1/2)⁽ˡ⁻¹⁾ᐟ² ((2l+1)(l-2)!!)/(2((l+1)/2)!) が得られる。」 と書いてありました。 教科書はジャクソン電磁気原書第3版(和訳第4版)で、問題はp.140のところです。
638:１３２人目の素数さん
20/03/11 20:12:10 nurrYDlF.net
>>603
とりあえずPn(x)が(1-2xt+t^2)^(-1/2)のt^nの係数らしいから
∫[0,1] (1-2xt+t^2)^(-1/2) dx を計算してそれのn次の係数だせばいいんじゃない？
積分は簡単だし、nじすの係数は一般化二項定理で出せるみたいだし。
639:１３２人目の素数さん
20/03/11 20:25:10 y9Jt3QH1.net
>>603
m:=2k + 1 {l は 1 と見分けにくいので m にした}
d^{m-1}/dx^{m-1} (x²-1)^m について
(x²-1)...(x²-1) 各項の微分が
「0階項と1階項が同時にある場合」 or「 3階以上の項がある場合」 は消えるので
2階微分項のみからなるパターンを考えればよい.
2階微分のペアリング数: (m-2)!!
1回目の微分とペアとなる微分は m-2 通り, まだペアを組んでいない次の微分とのペアは m-4 通り, ... }
m項から 2階微分項 (k 個) の(順序付き)選び方: m!/(m-k)!
∫[0,1] d^m/dx^m (x²-1)^m dx
= [ d^{m-1}/dx^{m-1} (x²-1)^m ]{x=0,1} + 0
= [ m!/(m-k)!* (m-2)!! * (x²-1)^{k+1} (2)^k ] {x=0,1}
= m!/(m-k)!* (m-2)!! * (-1)^k * 2^k
= m!*(m-2)!/((k+1)!*(k-1)!) * 2 * (-1)^k
後は好きなように整理してくれ
(m-2)!! = (m-2)(m-4)... 1 = (m-2)(m-3)(m-4)... 1 / {(m-3)(m-4)...2} = (m-2)!/(2k-2)!!
(2k-2)!! = 2^(k-1) * (k-1)!
640:１３２人目の素数さん
20/03/11 20:30:50 plq6CXNf.net
>>604
ありがとうございます、母関数を使った解法も試してみます
>>605
こんなやり方があるんですね……ありがとうございました！
641:１３２人目の素数さん
20/03/11 21:00:48 tcbieR9h.net
>>602が煽り大失敗してて可哀想ｗｗｗ
まあ普通に読んだら途中式なしに結論だけ書かれてるからって質問で
じゃあ結論もいっしょに書いてってのは普通のやり取りだってことには気づくしな
642:１３２人目の素数さん
20/03/11 21:30:44.12 zi4olkqu.net
>>598
(与式) = ∫[0,1] P_L(x) dx
= [ {1/(2^L･L!)}(d/dx)^(L-1)･(xx-1)^L ](x=0,1)
Lは奇数とする。
x=1 のとき
L個の(xx-1)因子のうち、少なくとも１個は微分を免れるから、０
x=0 のとき
(xx-1)^L の中の x^(L-1) の係数は２項公式により
(-1)^((L+1)/2) Ｃ(L, (L-1)/2)
= (-1)^((L+1)/2) L! /{((L+1)/2)! ((L-1)/2)!}
= -(-2)^((L-1)/2) L! (L-2)!! /{((L+1)/2)! (L-1)!}
(2^L･L!) で割って
= -(-1/2)^((L-1)/2) (L-2)!! /{2 ((L+1)/2)! (L-1)!}
(L-1) 回微分すると (L-1)! 倍になる。
x=0 は下限で -1 倍する。
(-1/2)^((L-1)/2) (L-2)!! /{2 ((L+1)/2)!}
643:１３２人目の素数さん
20/03/12 07:52:02.46 PvEUOLXr.net
>>598
2年でこんなことやんの？
難しいね
644:１３２人目の素数さん
20/03/12 10:11:33 JdGzjxM3.net
>>608
なるほど、微分を素直に二項展開すると綺麗に解けたんですね……もう少し計算力を鍛えます、ありがとうございました！
>>609
学部の勉強ではないのですが、春休み中に計算力が落ちるのが嫌だったので、背伸びして勉強しています(笑)
みなさん丁寧にありがとうございました。
645:１３２人目の素数さん
20/03/12 11:56:01 aUmBtXZj.net
コレ偶数項はどうなるのって思ったら偶数項はL=0のときを除いて0になるのね。
中々面白い。
646:１３２人目の素数さん
20/03/12 19:25:44.26 BAjCtA1
647:Q.net
648:１３２人目の素数さん
20/03/13 20:46:25.71 oNo7xYUj.net
x^x+y^y＝z^z （x≠y≠z）
↑を満たす自然数x,y,zは存在しますか？
649:１３２人目の素数さん
20/03/13 21:17:24.73 +bALPGnB.net
>>613
存在しない
zは3以上としてよく、z>y>xとしてよい
すると
z^z=(z^y)*(z^(z-y))>(z^y)*3>z^y+z^y>y^y+x^y>y^y+x^x
650:１３２人目の素数さん
20/03/13 21:19:42.06 +bALPGnB.net
本質に影響しないけど
(z^y)*(z^(z-y))≧(z^y)*3
だった
651:１３２人目の素数さん
20/03/13 21:19:42.06 +bALPGnB.net
本質に影響しないけど
(z^y)*(z^(z-y))≧(z^y)*3
だった
652:１３２人目の素数さん
20/03/13 22:21:08.28 3zHLWnAK.net
概算したいのですが、教えて下さい。
山手線を何駅乗るとコロナウイルスを吸い込むことが期待されますか？
653:１３２人目の素数さん
20/03/13 22:23:39 b54YpSRM.net
不明です
654:１３２人目の素数さん
20/03/13 22:38:52 cCragyGR.net
こんなところにフラクタルが
ABACABADABACABAEABACABADABACABA
edcba edcba
1 a 10000 e
10 b 10001 a
11 a 10010 b
100 c 10011 a
101 a 10100 c
110 b 10101 a
111 a 10110 b
1000 d 10111 a
1001 a 11000 c
1010 b 11001 a
1011 a 11010 b
1100 c 11011 a
1101 a 11100 c
1110 b 11101 a
1111 a 11110 b
11111 a
655:１３２人目の素数さん
20/03/13 22:49:47 QuV6xPyP.net
任意のn個の整数の中からm個の整数を取り出す方法で、取り出した整数の和がmの倍数になるようなものが存在するという。
このようなnとして有り得るものの中で最小のものをmの式で表せ。
たとえばm=3なら求める値は5。
656:１３２人目の素数さん
20/03/13 23:13:41 IbYZYELm.net
URLﾘﾝｸ(www.renyi.hu)
657:１３２人目の素数さん
20/03/14 00:19:03.49 Gxl3DqPh.net
m(m+n)-n^2=1
を満たす正の整数の組(m,n)を考える。
このような(m,n)は無数に存在することを示せ。
658:１３２人目の素数さん
20/03/14 00:57:33 guoQpnQh.net
ペル方程式
659:１３２人目の素数さん
20/03/14 04:01:11.31 Gxl3DqPh.net
m(m+n)-n^2=1…(*)
を満たす正の整数の組(m,n)を考える。
（1）このような(m,n)は無数に存在することを示せ。
（2）(*)を満たすすべてのnにわたって、以下の和（無限和）を計算せよ。
Σ1/(n^2+1)
660:１３２人目の素数さん
20/03/14 11:32:33 sSuZDAok.net
>>619 いろいろな例がかいてあった。ABACABA patternって名前までついている
ハノイの塔の動かし方も同じ
URLﾘﾝｸ(en.wikipedia.org)
661:１３２人目の素数さん
20/03/14 11:33:08 iH59lf4s.net
>>620
mで割ったときの余り(剰余)を考える。
任意のn個の整数が
・{0,1,････,m-1} のどれかを m 個以上含む
・{0,1,････,m-1} をすべて含む
のいずれかを満たすならば可能。
n = (m-1)^2 +1 ならば可能。
(これはnの上限。最小のnはずっと小さいのかも)
662:１３２人目の素数さん
20/03/14 11:42:23 iH59lf4s.net
↑ mが奇数のとき。
--------------------------
mが偶数のときは
任意のn個の整数が
・{0,1,････,m-1} のどれかを m 個以上含む
を満たすならば可能。
n = m(m-1) +1
663:１３２人目の素数さん
20/03/14 13:50:03 iH59lf4s.net
>>624
(1)
フィボナッチ数を使って
(m, n) = (F_{2k-1}, F_{2k}) (k：自然数)
とおくと
m(m+n) - nn = F_{2k-1}F_{2k+1} - F_{2k}^2
= (-1)^{2k-2}
= 1,
となり、題意を満たす。これがすべてと思われる。
*) フィボナッチ数
664: F_k について F_{k+1}･F_{k+3} - (F_{k+2})^2 = (F_{k+1})^2 - F_k･F_{k+2} = ････ = (-1)^k･{F_1･F_3 - (F_2)^2} = (-1)^k. (2) 1/(nn+1) = {m(m+n)-nn}/{m(m+n)} = n/(m+n) - (n-m)/m = F_{2k}/F_{2k+1} - F_{2k-2}/F_{2k-1}, より Σ[k=1,K] 1/(nn+1) = F_{2K}/F_{2K+1} → 1/φ = (√5 -1)/2.
665:１３２人目の素数さん
20/03/14 13:52:54 Yd73bSim.net
>>628
Fibonacciとは特性方程式が違う。
666:１３２人目の素数さん
20/03/14 14:43:25 P8Vszp3C.net
nn-nm-mm=-1
667:１３２人目の素数さん
20/03/14 15:27:25.31 iH59lf4s.net
>>629
意味不明････
具体的に書けば
k=1 のとき (m,n) = (1,1)
k=2 のとき (m,n) = (2,3)
k=3 のとき (m,n) = (5,8)
k=4 のとき (m,n) = (13,21)
････
668:１３２人目の素数さん
20/03/14 16:09:22.85 e0nVNfU1.net
>>626
私も最初は偶奇で分けてその考察をしてたのですが小さいmですぐに破綻したのでこのスレに投げました
>>621が正しいっぽいです
669:１３２人目の素数さん
20/03/14 16:47:05 Yd73bSim.net
>>631
fibonacci数列の特性多項式は
x^2-x-1。
(2m+n)^2-5n^2=4の特性方程式は
x^2-5=0。
670:１３２人目の素数さん
20/03/14 16:53:02 Yd73bSim.net
間違えた。
x^2-5y^2=4
だから
(1+√5)^n=x+y√5
だ。吊ってくる。
671:１３２人目の素数さん
20/03/14 22:48:56.28 LZxm7k+t.net
1つのサイコロをN回投げ、出たN個の目の積を
Anとする。この時Anが6の倍数になる確率をnを用いて表せ。
672:１３２人目の素数さん
20/03/14 23:19:56.57 Ior9sgvQ.net
1-p(all 1,3,5)-p(all 1,2,4,5)+p(all 1,5)
673:１３２人目の素数さん
20/03/15 02:05:02 x7ZMnCxT.net
>>636
少なくとも一つ2の倍数かつ少なくとも一つ3の倍数であることと、少なくとも一つ6の倍数である事をどうやって処理すれば良いのかが人に説明できる程、理解できていません。
すみません。教えて頂けると有難いです。
674:１３２人目の素数さん
20/03/15 04:25:33.20 OTl1KJku.net
>>635
ｎ を 1～２０でシミュレーションしてみた。
sim <- function(n,k=1e5){ # n:サイコロを振る回数 k:シミュレーション回数
sub <- function(n){
prod(sample(6,n,replace=TRUE))%%6==0 # n回の目の積の6で除算した剰余が0か？
}
mean(replicate(k,sub(n))) # 0となる割合を返す
}
p=sapply(1:20,function(n) sim(n))
data.frame(p)
p
1 0.16560
2 0.41369
3 0.61413
4 0.75417
5 0.84134
6 0.89669
7 0.93356
8 0.95765
9 0.97254
10 0.98093
11 0.98873
12 0.99175
13 0.99458
14 0.99611
15 0.99737
16 0.99849
17 0.99899
18 0.99924
19 0.99963
20 0.99978
675:１３２人目の素数さん
20/03/15 04:45:50.62 AImOax5n.net
整数問題ならまだしも確率をシュミレーションしても検算以外に使えないよ
676:１３２人目の素数さん
20/03/15 08:00:20.15 OTl1KJku.net
>>638
1 : 1/6
2 : 5/12
3 : 133/216
4 : 325/432
5 : 6541/7776
6 : 4655/5184
7 : 261493/279936
8 : 535925/559872
9 : 9796381/10077696
677:１３２人目の素数さん
20/03/15 08:42:45.68 cOtagSUy.net
「任意の3以上の奇数nについて、n-1個の数√n,√2n,√3n,...,√(n-1)nのうち、整数部分が偶数であるものの個数と奇数であるものの個数は等しい」
成�
678:阯ｧってるっぽいんですけど証明ってありますか？
679:１３２人目の素数さん
20/03/15 09:46:02.63 OTl1KJku.net
>>635
1-(4^n+3^n-2^n)/6^n
680:１３２人目の素数さん
20/03/15 09:52:36 OTl1KJku.net
ｆ ＜－ ｆｕｎｃｔｉｏｎ（ｎ）｛
ｌｉｂｒａｒｙ（ｇｍｐ）
ｎ＝ａｓ．ｂｉｇｑ（ｎ）
ｒ＝１－（４＾ｎ＋３＾ｎ－２＾ｎ）／６＾ｎ
ｒ２＝ｃａｐｔｕｒｅ．ｏｕｔｐｕｔ（ｒ）［２］
ｓｕｂｓｔｒ（ｒ２，５，ｎｃｈａｒ（ｒ２））
｝
ｎ＝３０
ｆｏｒ（ｉ ｉｎ １：ｎ）｛
ｃａｔ（ｉ，?：?，ｆ（ｉ），?\ｎ?）
｝
1 : 1/6
2 : 5/12
3 : 133/216
4 : 325/432
5 : 6541/7776
6 : 4655/5184
7 : 261493/279936
8 : 535925/559872
9 : 9796381/10077696
10 : 19786525/20155392
11 : 358427653/362797056
12 : 239941975/241864704
13 : 12991999021/13060694016
14 : 26030320685/26121388032
15 : 469096926613/470184984576
16 : 938923986325/940369969152
17 : 16909350566461/16926659444736
18 : 3758920371605/3761479876608
19 : 609083700366373/609359740010496
20 : 1218351814233125/1218719480020992
21 : 21932542135610701/21936950640377856
22 : 43868026759785805/43873901280755712
23 : 789659760174634933/789730223053602816
24 : 526455508992460775/526486815369068544
25 : 28429161282767803741/28430288029929701376
26 : 56859074012717372765/56860576059859402752
27 : 1023472347053496500293/1023490369077469249536
28 : 2046956711331417849925/2046980738154938499072
29 : 36845364987782900777581/36845653286788892983296
30 : 24563640732593188077775/24563768857859261988864
681:１３２人目の素数さん
20/03/15 10:04:25 OTl1KJku.net
分数表示 小数表示 シミュ値
1 1/6 0.1666666667 0.16695
2 5/12 0.4166666667 0.41535
3 133/216 0.6157407407 0.61633
4 325/432 0.7523148148 0.75147
5 6541/7776 0.8411779835 0.84065
6 4655/5184 0.8979552469 0.89742
7 261493/279936 0.9341170839 0.93430
8 535925/559872 0.9572277235 0.95693
9 9796381/10077696 0.9720853854 0.97253
10 19786525/20155392 0.9816988427 0.98123
11 358427653/362797056 0.9879563438 0.98787
12 239941975/241864704 0.9920503944 0.99250
13 12991999021/13060694016 0.9947403258 0.99509
14 26030320685/26121388032 0.9965136865 0.99644
15 469096926613/470184984576 0.9976858939 0.99761
16 938923986325/940369969152 0.9984623256 0.99840
17 16909350566461/16926659444736 0.9989774191 0.99890
18 3758920371605/3761479876608 0.9993195484 0.99937
19 609083700366373/609359740010496 0.9995470005 0.99943
20 1218351814233125/1218719480020992 0.9996983180 0.99976
>
682:１３２人目の素数さん
20/03/15 10:29:33 +G0RMlYJ.net
>>635
事象: (偶∨3) ∨ 6 = ((2∨4∨6)∨3) ∨ 6
= (2∧3) ∨ (4∧3) ∨ (3∧6) ∨ 6
= (2∧3) ∨ (4∧3) ∨ 6
{省略記法は適当に推測してください}
P1 := P(●), P2 := P(●∧■), ...
Q1 := P(￢●), Q2 := P(￢●∧￢■), ...
Qk = ((6-k)/6)^n
P1 = 1 - Q1
P2 = 1 - 2*Q1 + Q2
P3 = 1 - 3*Q1 + 3*Q2 - Q3
P4 = 1 - 4*Q1 + 6*Q2 - 4*Q3 + Q4
確率: P((2∧3) ∨ (4∧3) ∨ 6) = (P2 + P2 + P1) -
683:(P3 + P3 + P3) + P4 = P1 + 2*P2 - 3*P3 + P4 = 1 - Q2 - Q3 + Q4 = 1 - (4/6)^n - (3/6)^n + (2/6)^n まあ結果を見れば工夫の余地ありですが基本に忠実な方法を採りました.
684:１３２人目の素数さん
20/03/15 11:01:35 8d8gCNj7.net
>>636ｰ637 >>642
3|An ⇔ not (all 1,2,4,5)
p(3|An) = 1 - p(all 1,2,4,5) = 1 - Q2 = 1 - (4/6)^n,
2|An ⇔ not (all 1,3,5)
p(2|An) = 1 - p(all 1,3,5) = 1 - Q3 = 1 - (3/6)^n,
(3|An or 2|An) ⇔ not (all 1,5)
p(3|An or 2|An) = 1 - p(all 1,5) = 1 - Q4 = 1 - (2/6)^n,
確率：p(6|An) = p(3|An and 2|An)
= p(3|An) + p(2|An) - p(3|An or 2|An)
= 1 - Q2 - Q3 + Q4
= 1 - (4/6)^n - (3/6)^n + (2/6)^n.
まあ結果を見れば工夫の余地ありですが、基本に忠実な方法を採りました。
685:１３２人目の素数さん
20/03/15 11:36:03 +G0RMlYJ.net
本当に何も工夫できてなかったから「基本に忠実」と書いただけなのに
煽ったように受け止めたのでしょうかね。素直に怖いんですが...
686:１３２人目の素数さん
20/03/15 12:04:58 pKH/XCba.net
>>577
レスありがとうございます。お返事遅れてすみません。
実は今、隣の分野くらいでポスドクをしています。
この歳になると恥ずかしくて聞くに聞けない質問が増えてしまいまして、
なかなか本を調べても載っていないので困っていました。
おそらくまとまった文献はなく、散見している論文を調べないといけない可能性があるので
今度詳しそうな方に聞いてみます
687:１３２人目の素数さん
20/03/15 12:13:30 nyblZrKy.net
>>641
おおー、確かに成り立ってるっぽい！
証明はわからないが、面白いな
688:１３２人目の素数さん
20/03/15 12:41:54 ijdl7Zl+.net
面白いけど質問のフリして出題してくるのがウザい。
人間性疑う。
689:１３２人目の素数さん
20/03/15 13:21:23.01 nyblZrKy.net
Excelで少し試しただけだが、
>>641
の命題を、次のように書き換えても正しそうかな？
（元の命題はq=2に相当）
「2以上の整数qを1つ固定する。
mを任意の1以上の整数とする。n=qm+1とおき、n-1個の数√n,√2n,√3n,...,√(n-1)nのうち、整数部分がqで割り切れるものの個数はm個である」
690:１３２人目の素数さん
20/03/15 15:41:25 cOtagSUy.net
>>651おお～。こちらも少し試してみましたが成り立ってそうです。そっちで僕も考えてみます。
691:１３２人目の素数さん
20/03/15 17:58:59.77 yAcb4ZNO.net
>>650
x,yは正の実数とする。
x^x-2(x^y)(y^x)+y^y≧0を示せ。
692:１３２人目の素数さん
20/03/15 18:09:41 nyblZrKy.net
>>653
偽
2^2-2*2^2*2^2+2^2=-24<0
693:１３２人目の素数さん
20/03/15 18:11:52 yAcb4ZNO.net
>>650
θを実数の定数とする。
（1）rについての方程式cos(θ+r)=sin(rθ)はいくつの正の実数解を持つか。
（2）同様に、
-sin(θ+r)=rcos(rθ)-r/2はいくつの正の実数解を持つか。
694:１３２人目の素数さん
20/03/15 19:05:48.56 ux99Nd6q.net
>>651
正しそう
証明に取り掛かってみます
695:１３２人目の素数さん
20/03/15 19:08:14.27 ijdl7Zl+.net
>>653 >>655
そもそも問題のレベル低いの自分で気づかないの？
696:１３２人目の素数さん
20/03/15 19:36:57.79 cOtagSUy.net
>>651 文字をちょっと変えてもっと一般化して、
nを正の偶数、[]は床関数として、
「数列a(k)=[√{k(n+1)}] 1≦k≦n、
数列b_i(k)≡a(k) (mod i) i|n,0≦b_i(k)≦i、
N{k:b_i(k)=j}でb_i(k)=jとなるkの個数を表すと、
N{k:b_i(k)=j}+N{k:b_i(k)=i-j}=2n/iが成り立つ。」
でもいけそうですね。>>641はi=2の場合、>>651はj=0の場合。
>>641を考えてましたが、区間[i^2/(n+1),(i+1)^2/(n+1))∪[(n-i)^2/(n+1),(n-i+1)^2/(n+1))に含まれる整数の数が常に２個であることが適当に文字をおいて不等式を解くとわかるので、おそらく
697:解けました。
698:１３２人目の素数さん
20/03/15 19:41:09.80 VolefM5h.net
>>657
中学高校程度、30分、を目安としております。
699:１３２人目の素数さん
20/03/15 20:09:55.76 cOtagSUy.net
>>658連投失礼
一般化したらnの偶奇も関係なくなるかもしれませんね（本当に成り立ってたら）
700:１３２人目の素数さん
20/03/15 21:11:09.66 kVh6ZCdm.net
>>641
実際にチェックしてみたところ、n=46341以下では、成立していると確認できたけど、
n=46343以上では、不成立っぽい。
（n=46343の時、奇数が23169個で、偶数が23173個）
・誤差の可能性を疑ったけど、単独で発生しているのではなく、n=46343以上で連続して不成立
・[sqrt(i*n)]と[i*n/sqrt(i*n)]が一致するかのチェックも通過
どなたか、検証お願いします。
701:１３２人目の素数さん
20/03/15 21:40:29.84 zmT9OS45.net
>>661
46343^2 > 2^31 だからオーバーフローの可能性は？
多倍長整数でやってるの？
702:１３２人目の素数さん
20/03/15 21:55:04.59 kVh6ZCdm.net
46341^2 < 2^31 < 46343^2
これか 失礼しました。
703:１３２人目の素数さん
20/03/15 22:30:54 8d8gCNj7.net
>>653
(1,1)を頂点とするＶ字曲線の外側 (左側と下側) の領域で成り立つ。
{(x,y) | 0<x<0.932806 or 0<xy<1 or 0<y<0.932806} を含む。
境界線は点
(1, 1.66038753819)
(0.932806, 1.220063)
(1, 1)
(1.220063, 0.932806)
(1.66038753819, 1)
を通る。
704:１３２人目の素数さん
20/03/15 22:42:50 jPy2YSJ8.net
数学検定3級の2次問題で
□3の(6)の回答が不明です
URLﾘﾝｸ(i.imgur.com)
705:１３２人目の素数さん
20/03/15 22:45:45 jPy2YSJ8.net
0.5×2+2.5×7+4.5×13+6.5×9+8.5×6+10.5+1=197
197÷38=5.2冊だと思うのですが
706:１３２人目の素数さん
20/03/15 22:52:12 cOtagSUy.net
>>661
怖くなってきたので煩雑ですが一応証明を書いておきます。
「nは偶数,k∈{1,2,...,n}とする。
1<√(n+1),√(n-1)(n+1)<n<√{n(n+1)}<n+1より、区間[0,1)∪[n,n+1)には√{k(n+1)}が一つ含まれる.
i,j∈{1,2,...,n-1}とする。
(i+1)^2-i^2=2i+1<2(n+1)より区間[i,i+1)に含まれるような√{k(n+1)}は高々２個。
[i,i+1)に√{k(n+1)}が２個含まれる
⇔i<√{j(n+1)},√{(j+1)(n+1)}<i+1
⇔i^2<(n+1)j,(n+1)(j+1)<(i+1)^2
⇒(n-i)^2>(n+1)(n+1-2i)+(n+1)(j+1)>(n+1)(n-2i+j)
(n-i+1)^2<(n+1)(n+1-2i)+(n+1)j=(n+1)(n-2i+j+1)
⇔√{(n-2i+j)(n+1)}<n-i,n-i+1<√{(n+1)(n-2i+j+1)}
⇔[n-i,n-i+1)に√{k(n+1)}が0個含まれる
[i,i+1)に√{k(n+1)}が0個含まれる
√{j(n+1)}<i,i+1<√{(j+1)(n+1)}
⇔j(n+1)<i^2,(i+1)^2<(j+1)(n+1)
⇒(n-i)^2<(n+1)^2-2(n+1)(i+1)+(n+1)(j+1)=(n+1)(n-2i+j)
(n-i+1)^2>(n+1)^2-2(n+1)i+j(n+1)=(n+1)(n-2i+j+1)
⇒√{(n+1)(n-2i+j)}<n-i,n-i+1<√{(n+1)(n-2i+j+1)}
⇔[n-i,n-i+1)に√{k(n+1)}が2個含まれる
[i,i+1)に1個含まれる
√{(j-1)(n+1)}<i≦√{j(n+1)}<i+1<√{(j+1)(n+1)}
⇔(j-1)(n+1)<i^2≦j(n+1)<(i+1)^2<(j+1)(n+1)
⇒√{(n+1)(n-2i+j-1)}<n-i<√{(n+1)(n-2i+j)}<n-i+1≦√{(n+1)(n-2i+j+1)}
⇔[n-i,n-i+1)に√{k(n+1)}が１個含まれる
よって,i≠n/2,ならば[i,i+1)∪[n-i,n-i+1)には√{k(n+1)}が２個含まれ、
i=n/2ならば[i,i+1)には√{k(n+1)}が１個含まれる。
n≡0,2(mod 4)で場合分けして考えると、題意の成立がわかる。」
上の証明が合っていれば似たような解法でおそらくN{k:a(k)=pd±i}+N{k:a(k)=n-pd∓i}=2(複合同順)が示せて、>>658の一般化も示せそうなのですが、間違っていたら元も子もないですね。
707:１３２人目の素数さん
20/03/15 22:53:51 OTl1KJku.net
>>661
いや、等しくなったけど。
> sim <- function(m){
+ n=2*m+1
+ i=1:(n-1)
+ a=sqrt(i*n)
+ b=floor(a)
+ cat(sum(b%%2==0),sum(b%%2==1),'\n') # 偶数の数、奇数の数
+ sum(b%%2==0)=
708:=sum(b%%2==1) # mean(floor(a)%%2==0)==0.5でも同じ + } > sim((46343-1)/2) # n=2*23171+1=46343 23171 23171 [1] TRUE > sim(46343) 46343 46343 [1] TRUE
709:１３２人目の素数さん
20/03/15 22:58:58 8d8gCNj7.net
x,yは正の実数とする。
x^(2x) - 2(x^y)(y^x) + y^(2y) ≧ 0,
(略証)
log は単調増加だから
(x-y){log(x)-log(y)} ≧ 0
(x/y)^(x-y) ≧ 1,
(x^x)(y^y) ≧ (x^y)(y^x),
よって
(左辺) ≧ x^(2x) -2(x^x)(y^y) + y^(2y)
= (x^x - y^y)^2
≧ 0,
710:１３２人目の素数さん
20/03/15 23:21:08.82 OTl1KJku.net
10万＊２＋１までは成立することを確認。
> sim <- function(m,print=FALSE){
+ n=2*m+1
+ i=1:(n-1)
+ a=sqrt(i*n)
+ b=floor(a)
+ if(print) cat(sum(b%%2==0),sum(b%%2==1),'\n') # 偶数の数、奇数の数
+ mean(floor(a)%%2==0)==0.5 # sum(b%%2==0)==sum(b%%2==1) と同じ
+ }
> sim=Vectorize(sim)
> flg=sim(1)
> i=1
> k=1e5
> while(flg & i < k){
+ i=i+1
+ flg=sim(i)
+ }
> i
[1] 1e+05
711:１３２人目の素数さん
20/03/16 10:50:51.55 xw7qN3/R.net
>>666
>0.5×2+2.5×7+4.5×13+6.5×9+8.5×6+10.5+1=197
0.5とか2.5とかってなに？最後＋1とは？
712:イナ
20/03/16 11:23:55.08 thhgKhx4.net
(1･2+3･7+5･13+7･9+9･6+11)/38=217/38=5.71……≒5.7(冊)
（(-_-)∥ ∥>>665
（っ⌒⌒ﾞ ｡∥╂─╂
■`(_)_)ц~ ∥╂─╂
＼■υυ■_∩∩､＼＼＼
＼＼＼＼⊂(_ _))`⌒つ`
＼＼＼＼＼＼＼`υ､＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼`前>>589
713:１３２人目の素数さん
20/03/16 16:37:18 xt+nxb6a.net
正六角形ABCDEFの辺AB上に点Gをとり、また正六角形の内部に点Hを△CGHが正三角形となるようにとる。
このとき、Gのとり方によらず、Hはある直線上にあることを示せ。
714:１３２人目の素数さん
20/03/16 17:00:59.29 fnD/2c+P.net
下記問題はどうやるのですか？
URLﾘﾝｸ(imgur.com)
715:１３２人目の素数さん
20/03/16 17:25:45 P4igaTJG.net
>>672
ありがとう、解決しました
>>671
0以上2未満だから0以上1以下読んだ人が二人いるので0.5冊×2人と考えました
+1は×1の間違えです
716:１３２人目の素数さん
20/03/16 17:32:12 Q3fVY21r.net
>>674
とりあえず誘導はともかくとして
ΣIn
=∫[0,π]sin^2(nt)/(t^2+π^2)dt
=1/2∫[0,π](1-cos(2nt)/(t^2+π^2)dt
→1/2∫[0,π]1/(t^2+π^2)dt
=1/8
だな。
717:１３２人目の素数さん
20/03/16 18:19:33.71 4LLVPoPK.net
>>673
複素平面上で考える。
O=0, A=1, B=e^(iπ/3), C=e^(i2π/3) = B - 1, ... , E= -B, ...
G = A + AB*t = 1 + (e^(iπ/3)-1)*t = 1 + C*t ( t ∈ [0,1] )
と置くと
H = G + GC * e^(iπ/3) = (1 + e^(i2π/3)*t) + (e^(i2π/3) - 1 - e^(i2π/3)*t) * e^(iπ/3)
= (e^(i2π/3) + 1)*t - e^(iπ/3)
= B*(t - 1) = t*O + (1-t)*E
∴ HはOE線分上にのる。
718:１３２人目の素数さん
20/03/16 19:16:34.40 8zVl3xLP.net
>>651を書いたものです
>>658
b_i(k)の定義がよくわからないです…。
a(k)は√の整数部分ですよね。b_i(k)はa(k)をiで割った余り？
だとすると0≦b_i(k)≦i-1か1≦b_i(k)≦iのどちらかのような気がするんですが
j=0のときはb_i(k)=0とb_i(k)=iを両方考えるんですか？
あと、>>651ではnは偶数でも奇数でもOKである、という予想です。
719:１３２人目の素数さん
20/03/16 19:18:36.76 8zVl3xLP.net
>>667
後半、typoや議論の重複があるので、少し丁寧めにまとめるとこうなるかな？
(補題1) (□には <、≦
720:、>、≧ のうちどれか1つが入る) i □ √{j(n+1)} ⇔i^2 □ (n+1)j ⇔(n-i+1)^2=(n+1-i)^2=(n+1)(n+1-2i)+i^2 □ (n+1)(n+1-2i)+(n+1)j=(n+1)(n-2i+j+1) ⇔(n-i+1)^2 □ (n+1)(n-2i+j+1) ⇔n-i+1 □ √(n-2i+j+1)(n+1) (補題2) 補題1でiにi+1とかjにj-1やj+1を入れたものを含めると、次の4つがわかる i □ √{(j-1)(n+1)}⇔n-i+1 □ √(n-2i+j)(n+1) i □ √{j(n+1)}⇔n-i+1 □ √(n-2i+j+1)(n+1) i+1 □ √{j(n+1)}⇔n-i □ √(n-2i+j-1)(n+1) i+1 □ √{(j+1)(n+1)}⇔n-i □ √(n-2i+j)(n+1) この補題2の4つを使うと、次の3つのことがいえる [i,i+1)に√{k(n+1)}の形が2個含まれる ⇔あるjが存在し, i≦√{j(n+1)},√{(j+1)(n+1)}<i+1 ⇔あるjが存在し, √{(n-2i+j)(n+1)}<n-i,n-i+1≦√{(n+1)(n-2i+j+1)} ⇒[n-i,n-i+1)に√{k(n+1)}の形は0個含まれる [i,i+1)に√{k(n+1)}の形が1個のみ含まれる ⇔あるjが存在し, √{(j-1)(n+1)}<i≦√{j(n+1)}<i+1≦√{(j+1)(n+1)} ⇔あるjが存在し, √(n-2i+j-1)(n+1)<n-i≦√(n-2i+j)(n+1)<n-i+1≦√(n-2i+j+1)(n+1) ⇒[n-i,n-i+1)に√{k(n+1)}の形は1個含まれる [i,i+1)に√{k(n+1)}の形が0個含まれる ⇔あるj(0かnかもしれない)が存在し, √{j(n+1)}<i,i+1≦√{(j+1)(n+1)} ⇔あるj(0かnかもしれない)が存在し, n-i≦√{(n-2i+j)(n+1)},√{(n+1)(n-2i+j+1)}<n-i+1 ⇒[n-i,n-i+1)に√{k(n+1)}の形は2個含まれる
721:１３２人目の素数さん
20/03/16 20:09:56.52 bNeBdUF1.net
>>674
nを正の整数とし、
I_n = ∫[0,nπ] n (sin x)^2 /{x^2 + (nπ)^2} dx
とする。
(i) kを正の整数とするとき、不等式
∫[(k-1)π,kπ] (sin x)^2 /{x^2 + (nπ)^2} dx ≦ 1/{2π[(k-1)^2 + n^2]},
が成り立つことを示せ。
(ii) lim[n→∞] I_n を求めよ。
722:１３２人目の素数さん
20/03/16 20:13:24.31 8zVl3xLP.net
>>678への自己レス。
もしj=0のときは条件「b_i(k)=i」は単に「b_i(k)=0」と同じ条件と考える、のだったら、
>>658はあってそうです。
>>667の最後の段落について。
いや、前段までの論法で既に、整数部分がn/2より大のエリアと
整数部分がn/2より小のエリアでの、[i,i+1)∪[n-i,n-i+1)に必ず整数部分が2個含まれるという"対称性"は示されているから、
より大エリアでの余りがjなら、より小エリアでの余りは-jなわけで、
全体をトータルで考えて和をとれば2倍カウントすることになるわけで、「ほぼ」証明終わってませんか？
しかし、Excel眺めてるだけではこの"2個対称性"は気付かなかったな…
いわれてみれば確かにそうなのですが、すごい
723:１３２人目の素数さん
20/03/16 20:14:46.73 cD1W8NBe.net
>>677
ありがとうございます
平面図形で「同一直線上⇔∠OGE=180°」を使うよりも、複素数平面の方が解きやすいのでしょうか
724:１３２人目の素数さん
20/03/16 20:32:41.94 bNeBdUF1.net
>>674 (i)
たぶん
1/{2π(k^2 + n^2)} < ∫[(k-1)π,kπ] (sin x)^2 /{x^2 + (nπ)^2} dx < 1/{2π[(k-1)^2 + n^2]},
だろうね。
725:１３２人目の素数さん
20/03/16 21:27:59.56 4LLVPoPK.net
>>682 各自やりやすいと思う方法で解けばいいと思います。
逆に私は
> 平面図形で「同一直線上⇔∠OGE=180°」を使う
こちらの方法が分からないので教えて欲しいです。
( ∠OGE=180° は別の何かの書き間違いだと思いますが )
726:１３２人目の素数さん
20/03/17 02:28:50.82 jkHV1VNx.net
>>675
解決してどうする
これは0.5*2が正しい
数学検定馬鹿問題だな
727:１３２人目の素数さん
20/03/17 02:46:21 wiT2shNR.net
aを正の定数とする。n=1,2,...に対して関数f_n(x)を、
f_1(x)=ax(x-1)
f_n+1(x)=f(f_n(x))
により順次定めていく。
（1）0<α<1かつ0<f_1(α)<1となるようなαの範囲をaで表せ。
（2）0<β<1とする。すべての自然数kに対して0<f_k(β)<1となるようなβの範囲をaで表せ。
（3）（2）においてβが取りうる値の範囲をs<β<tと表すとき、極限値lim[a→∞](t-s)を求めよ。
728:１３２人目の素数さん
20/03/17 03:07:25 CmDsCyUw.net
>>683
分子は x=(k-1/2)π に関して左右対称、を利用すれば
∫[(k-1)π,kπ] (sin x)^2 /{x^2 + (nπ)^2} dx = 1/{2π[(k-1/2)^2 + c + n^2]},
ただし 0 < c < 1/4,
729:１３２人目の素数さん
20/03/17 03:30:15.69 CmDsCyUw.net
>>665
[3]
下の度数分布表は、�
730:ﾔさくらさんのクラスの 生徒38人の1学期に読んだ本の冊数を調べ てまとめたものです。 これについて、次の問 いに答えなさい。ただし、相対度数は小数第 3位を四捨五入して、小数第2位まで表わして います。 (統計技能) (5) x,yにあてはまる数をそれぞれ求めなさい。 (6) 1学期に読んだ本の冊数の平均は何冊です か。答えは小数第2位を四捨五入して、小数 第1位まで求めなさい。 読んだ本の冊数 －－－－－－－－－－－－－－－－－ 階級(冊) 度数(人) 相対度数 －－－－－－－－－－－－－－－－－ 0以上 ～ 2未満 2 0.05 2 ～ 4 7 0.18 4 ～ 6 13 x 6 ～ 8 9 0.24 8 ～ 10 6 y 10 ～ 12 1 0.03 －－－－－－－－－－－－－－－－－ 合 計 38 1.00
731:１３２人目の素数さん
20/03/17 03:43:20.76 CmDsCyUw.net
延べ冊数 178 ～ 216 (冊)
1人あたりの平均冊数 4.68421 ～ 5.68421 (冊/人)
答え 4.7 ～ 5.7 (冊/人)
732:１３２人目の素数さん
20/03/17 04:13:41 CmDsCyUw.net
延べ冊数nの分布は二項分布
P_n = C[38, n-178] / 2^38, (178≦n≦216)
とするが、便宜のため正規分布 N(197, σ^2) で近似してもよい。
σ^2 = n/4 = 19/2.
733:１３２人目の素数さん
20/03/17 08:41:55.31 6f3JLIW1.net
1秒間に30回に取得できる数列
1539538600、3079077200、4618615800......
1秒間に60回取得できる配列
769769300、1539538600、2309307900......
この数値が何を示しているか分かりますか？
734:１３２人目の素数さん
20/03/17 10:17:20.19 Vd0UZ98W.net
次の条件を満たす1より大きいrが存在することを示してください:
nを任意の正の整数とするとき
1<n<p<r･n
であるような任意の素数pに対して
Σ[k=0→n] {C(n, k)}^4 はpの倍数
が成立する
735:１３２人目の素数さん
20/03/17 10:58:24 jkHV1VNx.net
>>688
冊数だから2未満とは1のこと
0～1の階級値は0.5
同様に
2～3の階級値は2.5
こんな風になるから正しい答えは>>666
736:１３２人目の素数さん
20/03/17 11:18:14 yOLN43Ea.net
小数第1位まで出す意味あるんかなあ
有効数字っぽく見えちゃうけどそうではないわけだろ？
世論調査なんかもそうだけどなんかちょっと疑問
737:１３２人目の素数さん
20/03/17 11:30:17.48 Bo3Qnj57.net
>>692
二乗和ならr=2で受験レベルだけど四乗和でr=2だとn=3ですでに成立しないしなぁ。
それは自作問題？
ホントに成立するん？
738:１３２人目の素数さん
20/03/17 13:04:59 jkHV1VNx.net
>>694
>小数第1位まで出す意味あるんかなあ
なんで？
じゃあ0以上2未満の人が3人居たら平均は？
739:１３２人目の素数さん
20/03/17 13:37:19.80 lZjSmGru.net
そんな感じなことをやってるわけか
統計嫌い養成にもってこいの問題だな
740:１３２人目の素数さん
20/03/17 13:38:30.48 fOaacBzf.net
1≦x1≦<x2≦<........xk≦nの同値変形が
1≦x1<x2-1<........xk-(k-1)≦n-(k-1)となる理由が全く分かりません。申し訳ないのですが、ご教示お願いします。(x1≦<x2はx2-x1≧2を表しています)
741:１３２人目の素数さん
20/03/17 13:42:58.28 fOaacBzf.net
698です
すみません。自己解決しました。
勘違いをしていました。お恥ずかしい。すみません。
742:１３２人目の素数さん
20/03/17 13:43:02.98 7zzuTuCg.net
すごくわかりにくい俺様記号パス
743:１３２人目の素数さん
20/03/17 14:28:49.44 LRWp8hDU.net
「群」「環」「体」を現在の視点から適切な用語に変えるいいアイデアが提案されたことってありますか？
この三つって重要度
744:のわりに名前と内容があまりにかけ離れてますよね？
745:１３２人目の素数さん
20/03/17 14:34:47 jkHV1VNx.net
>>701
人名でなければ
どうでも良い
746:１３２人目の素数さん
20/03/17 14:44:32 mpeXHzFh.net
ドイツ語だの英語だのフランス語だので変えてくれないと意味ないじゃん
747:１３２人目の素数さん
20/03/17 20:46:50.50 KcKgs1Eg.net
じゃ、たとえば、「軍」「艦」「隊」とかどう？
748:１３２人目の素数さん
20/03/17 22:19:48.69 v5PJ8Z18.net
AB=b,AD=dの長方形ABCDの辺AB上に点E、辺AD上に点Fを自由にとる。
また長方形の内部に点Gをとり、△GEFが直角三角形となるようにする。
このようなE,F,Gのとり方は色々あるが、それらの可能なとり方の全てを考えたとき、点Gが動きうる領域の面積を求めよ。
749:１３２人目の素数さん
20/03/18 01:17:17 SdwDSVrF.net
>>705
bd
750:１３２人目の素数さん
20/03/18 01:22:44 LbXnfiiv.net
>>693-697
寅さん「それを言っちゃあおしめぇよ」
751:１３２人目の素数さん
20/03/18 01:37:18 LbXnfiiv.net
>>687
θ = x - (k-1/2)π, |θ| < π/2,
とおく。
( 1/{[(k-1/2)π + θ]^2 + (nπ)^2} + 1/{[(k-1/2)π - θ]^2 + (nπ)^2} )/2
≒ (1/[(k-1/2)^2･π^2 + (nπ)^2]) {１- α/[(k-1/2)^2･π^2 + (nπ)^2]・θ^2},
α(n,k) = [n^2 - 3(k-1/2)^2]/[(k-1/2)^2 + n^2],
∫[-π/2,π/2] (cosθ)^2･{１- α/[(k-1/2)^2･π^2 + (nπ)^2]・θ^2} dθ
= (π/2) {１- (π^2 -6)/(12･[(k-1/2)^2･π^2 + (nπ)^2])･α}
= (π/2) {１- c/[(k-1/2)^2 + n^2]},
c(n,k) = (π^2 -6)/(12π^2)・α(n,k) = 0.03267274 α(n,k)
かなり小さい。
752:１３２人目の素数さん
20/03/18 02:06:54.17 LbXnfiiv.net
続き
∫[-π/2,π/2] (cosθ)^2 dθ
= [ (θ - sinθcosθ)/2 ](θ=-π/2,π/2)
= π/2,
∫[-π/2,π/2] (θ･cosθ)^2 dθ
= [ (θ^3)/6 + (2θ^2 -3)sin(2θ)/8 + θcos(2θ)/4 ](θ=-π/2,π/2)
= (π/2)･(π^2 -6)/12,
753:１３２人目の素数さん
20/03/18 02:27:29.95 LbXnfiiv.net
>>688
[3]
下の度数分布表は、さくらももこ さんのクラスの
生徒38人の1学期に読んだ本の冊数を調べ
てまとめたものです。 これについて、次の問
いに････
754:１３２人目の素数さん
20/03/18 03:24:57.98 LbXnfiiv.net
>>692
a(n) = Σ[k=0→n] {C(n,k)}^4
n≦12 では
1 2 2,
2 18 2･3･3,
3 164 2･2･41,
4 1810 2･5･181,
5 21252 2･2･3･7･11･23,
6 263844 2･2･3･3.･3･7･349,
7 3395016 2･2･2･3･3･61･773,
8 44916498 2･3･3･3･11･75617,
9 607041380 2･2･5･11･31･89009,
10 8345319268 2･2･11･13･67･71･3067,
11 116335834056 2･2･2･3･3･13･499･249079,
12 1640651321764 2･2･7･7･13･643897693,
・{(1+x)(1+y)(1+z)(1+w)}^n の対角項 {(xyzw)^k 形の項} の係数和
・{(1+x)(1+y)(1+z)[1+1/(xyz)]}^n の定数項
URLﾘﾝｸ(oeis.org)
755:１３２人目の素数さん
20/03/18 03:33:10.33 LbXnfiiv.net
>>695
rは整数ぢゃなくていいんぢゃね？
r = 1+ε とか････
756:１３２人目の素数さん
20/03/18 09:45:15 PBV1H3Jp.net
>>712
でも普通に出題ミスな気がする。
757:哀れな素人
20/03/18 10:04:06 lVJCas+h.net
>>705
>>706の解答者は理由を書いていないが、
GはEFを直径とする円周上にあると考えると、
EがAからBまで動き、FはAに固定されていると考えると、
GはABを直径とする半円内を動く。
次にEはBに固定されているとし、FがAからDまで動くと、
GはBDを直径とする円に内接する長方形ABCDから、
ABを直径とする半円を除いた部分を動く。
結局Gは長方形ABCD内の全領域を動く。
758:１３２人目の素数さん
20/03/18 16:16:48.31 cnODbM85.net
1/(1-x+x^2)と1/(1-x-2x^2)をxのべき級数に展開し、x^nの係数をそれぞれp[n],q[n]とおく。
（1）任意のnに対してp[3n]はnによらない定数であることを示し、その値を求めよ。
（2）3q[n]-p[3n]をnで表せ。
759:１３２人目の素数さん
20/03/18 17:03:55.77 FKTohgBq.net
>（1）任意のnに対してp[3n]はnによらない定数であることを示し、その値を求めよ。
p[3] = -1, p[6] = +1 定数になりませんよね？ 問題を写し間違えてませんか？
760:１３２人目の素数さん
20/03/18 19:47:03 VrpVs/Q6.net
回帰分析ででてくる最尤推定は統計学の教科書にのっている最尤推定とは別物ですか？
統計学の本にのっている最尤推定は、確率分布や密度関数のパラメーター付された族を考え、真の分布から独立に得られた確率変数を用いて、尤度関数を最大化してパラメーターを推定するものだと思います。
しかし、例えば線形回帰だと、各xに対しyの値が正規分布に従っているとしても、それぞれ平均が違うので同一分布から独立に得られていません。
761:１３２人目の素数さん
20/03/18 20:24:26 lfw++vLD.net
>>715-716
たぶん式はあってるけど、「nによらない定数」って日本語が間違ってる。
1つめの有理式は、分母を複素数の範囲で(x-a)(x-b)と因数分解すると
aやbは1の6乗根となる。
そして1/(x-a)と1/(x-b)のべき級数展開を考え、2つのべき級数展開の積
であることからx^3、x^6、x^9の係数を求めてみる。
2つめの有理式の3倍を部分分数分解する。
2つの有理式のべき級数展開を考え、2つのべき級数展開の和から3q[n]を出す。
762:１３２人目の素数さん
20/03/18 22:42:44.30 GwJqdJPg.net
>>718
（1）を計算しましたが確かに(-1)^nになってnに依存しないとは言えませんね。ありがとうございます。
（2）の計算、（多項式）×（多項式）からn次の係数をどう出そうか方針が立たないです。分かる方お願いします。
どうやら数学検定1級の計算問題らしいです。
763:１３２人目の素数さん
20/03/18 23:22:24.44 FKTohgBq.net
>>719
3/(1-x-2xx) = 3/((1-2x)(1+x)) = 2/(1-2x) + 1/(1+x)
= 2/(1-(2x)) + 1/(1+(-x)) = 2* (1 + (2x) + (2x)^2 + ... ) + (1 + (-x) + (-x)^2 + ... )
= ...
>>718 の「部分分数分解」がヒントですね
764:１３２人目の素数さん
20/03/18 23:24:06.90 FKTohgBq.net
というか p[3n] も同じようにして (-1)^n を導出したんと違うのですか？
765:１３２人目の素数さん
20/03/18 23:40:24.36 FKTohgBq.net
> 2つのべき級数展開の積 であることからx^3、x^6、x^9の係数を求めてみる。
積を求める方針でもできるのですね... って計算難しいような...
部分分数分解なら
1-x+xx = (1+xxx )/(1+x) = (e^{+πi/3} - x) (e^{-πi/3} - x) より
1/(1-x+xx) = (1/(2i*sin(π/3)))*( e^{+πi/3}/(1-e^{+πi/3}x) - e^{-πi/3}/(1 - e^{-πi/3}x) )
x^{3n} の係数
(1/(2i*sin(π/3)))* e^{+πi/3}* (-1)^n - e^{-πi/3}*(-1)^n = (-1)^n
766:１３２人目の素数さん
20/03/18 23:51:45 XruWdSLm.net
1/(1-x+x^2) = (1+x)/(1+x^3) = (1+x)(1-x^3+x^6-x^9+…) = 1+x-x^3-x^4+x^6+x^7-x^9-x^10+…
767:１３２人目の素数さん
20/03/19 00:11:17 SA9Xv9DQ.net
なるほろ...
768:１３２人目の素数さん
20/03/19 00:15:07 mXsnD9nM.net
>>690
延べ冊数を
n = μ ± σ = 197 ± √(19/2) = 193.92 ～ 200.08
とすると、答え 5.1 ～ 5.3
769:１３２人目の素数さん
20/03/19 01:15:24.22 mXsnD9nM.net
>>711
a(n) を割り切らない最小の素数p (>n) を b(n) とすれば
n b(n) b(n)/n
--------------------------
1 3 3.0000
2 5 2.5000
3 5 1.6667
4 7 1.7500
5 13 2.6000
6 11 1.8333
7 11 1.5714
8 13 1.6250
9 13 1.4444
10 17 1.7000
11 17 1.54545
12 17 1.4167
r < 1.4167 (上限)
770:１３２人目の素数さん
20/03/19 04:45:40 o+4AW6nT.net
>>719 >>722
>718です。べき級数展開の積でやるのはこんな感じです
まず、 1/(1-x+x^2)=1/{(x-a)(x-b)} と因数分解すると
a=(1+i√3)/2=e^(2
771:πi/6), b=(1-i√3)/2=e^(-2πi/6) である ここで a^3=-1 と 1/b=a に注意しておく 1/(x-a)=1/(-a) * 1/{1-(x/a)} =1/(-a)*{1+(x/a)+1+(x/a)^2+1+(x/a)^3+…} 同様に 1/(x-b)=1/(-b) * 1/{1-(x/b)} =1/(-b)*{1+(x/b)+1+(x/b)^2+1+(x/b)^3+…} =1/(-b)*{1+(x/b)+1+(x/b)^2+1+(x/b)^3+…} =(-a)*(1+ax+1+(ax)^2+1+(ax)^3+…) すると、 1/(x-a) * 1/(x-b) のx^(3n)の項は、 (x/a)^(3n)*1+(x/a)^(3n-1)*ax+(x/a)^(3n-2)*(ax)^2+ … +(x/a)^2*(ax)^(3n-2)+(x/a)*(ax)^(3n-1)+(ax)^(3n) よってこの係数は (1/a)^(3n)+(1/a)^(3n-2)+(1/a)^(3n-4)+ … +a^(3n-4)+a^(3n-2)+a^(3n) =(1/a)^(3n)*{1+a^2+a^4+ … +a^(6n-4)+a^(6n-2)+a^(6n)} =(1/a)^(3n)*{1-(a^2)^(3n+1)}/(1-a^2) =1/(-1)^n *{1-a^(6n)*a^2}/(1-a^2) =(-1)^n ある分野ではこんなべき級数展開の積をばんばんやるのですが、 でも、この問題では>723の方がエレガントですね
772:１３２人目の素数さん
20/03/19 04:50:14 o+4AW6nT.net
>>727
おおう、typo…
前半の計算は、正しくは
1/(x-a)=1/(-a) * 1/{1-(x/a)}
=1/(-a)*{1+(x/a)+(x/a)^2+(x/a)^3+…}
同様に
1/(x-b)=1/(-b) * 1/{1-(x/b)}
=1/(-b)*{1+(x/b)+(x/b)^2+(x/b)^3+…}
=1/(-b)*{1+(x/b)+(x/b)^2+(x/b)^3+…}
=(-a)*(1+ax+(ax)^2+(ax)^3+…)
でしたorz
773:１３２人目の素数さん
20/03/19 05:11:41 a1uvWnRb.net
『第三者引用的』、なめんのもいい加減にしろよ馬鹿テレビ
774:１３２人目の素数さん
20/03/19 05:19:43 a1uvWnRb.net
国をゆすってどうのこうのと聞こえてきているが、私は現時点で何の利益も得ていないし
何故未解決問題を解決したのに、一か月以上も誹謗中傷の的にならなければならないのか？
何の利益にもならない言動を繰り返す人間がいることに対しては完全に理解不能である。
同業者憎悪だということも聞こえてきているが、こいつらの声は常に子供で
ボイスチェンジャーを使って必死だとしかいいようがない。
こいつらの嫌がらせは四六時中鹿児島県のド田舎で繰り返されているわけだが
それが何時までも放置されているのも不思議なことだ。
775:１３２人目の素数さん
20/03/19 12:57:32 Mh9O8PwY.net
スレ違いは見苦しい
776:１３２人目の素数さん
20/03/19 15:07:45 trCTUkSk.net
(x+y)^2(x-y)^2(x^2+y^2)^2
の答えが
x^8-2x^4y^4+y^8
になるんですが、これは
x^16-2x^4y^4+y^16
ではないでしょうか？
途中式で
(x+y)^2(x-y)^2(x^2+y^2)^2
= {(x+y)(x-y)(x^2+y^2)}^2
= {(x^2-y^2)(x^2+y^2)}^2
= （ｘ^4-y^4)^2
になって最後をを展開すると
(x^4-y^4)(x^4-y^4)
で
x^16-2x^4y^4+y^16
だと思うのですが・・・
間違ってますか？
777:１３２人目の素数さん
20/03/19 15:09:46 MINdtvdR.net
数学の問題で存在は証明されているが見つかっていないものってなんかありますか？
778:１３２人目の素数さん
20/03/19 15:16:07 trCTUkSk.net
>>732
ですが自己解決しました
指数法則を間違っていたようです
x^4 * x^4 = x^8
でした
779:１３２人目の素数さん
20/03/19 15:50:49 BHbROujG.net
>>733
今見つかっている最大の素数よりも大きい素数とか
780:１３２人目の素数さん
20/03/19 16:13:01.25 MINdtvdR.net
>>735
なるほど。。質問の意図は具体例は何一つないけど存在することだけは証明されているものはあるのかな？
っていうことでした。
781:１３２人目の素数さん
20/03/19 16:29:41 BW7TgbOd.net
ゼータ関数の非自明な零点の実部の下限とかもそうか
782:１３２人目の素数さん
20/03/19 16:31:25 BW7TgbOd.net
あとは実数全体の順序づけであって整列順序をなすものとか
783:１３２人目の素数さん
20/03/19 17:30:42 SA9Xv9DQ.net
>>738
これっていつか誰かが具体的な整列方法を例示する事ってありえるんですかね？
784:１３２人目の素数さん
20/03/19 17:48:02 BW7TgbOd.net
>>739
URLﾘﾝｸ(ja.m.wikipedia.org)
785:%E5%90%88#%E5%B0%8E%E5%85%A5 これの『例と反例』の項の『実数の集合』を見ると、無理みたいだね
786:１３２人目の素数さん
20/03/19 17:57:01 EOulK+qH.net
>>733
アルゴリズム系はそういうの多いんじゃないの？
○○の定理によると計算量の下限はnlognだが構成法は不明、みたいな
787:１３２人目の素数さん
20/03/19 18:56:59.50 KrhQLEng.net
>>740
V=L入れればできるって書いてあるやン
788:１３２人目の素数さん
20/03/19 19:16:34.36 BW7TgbOd.net
>>742
相対的に無矛盾としか書いてないね
『構成可能であると証明できる』ことと『実際に構成できる』ことは違うでしょ
789:１３２人目の素数さん
20/03/19 19:36:28.37 KrhQLEng.net
>>743
？
> ZFC+V=L ではある特定の論理式が R（実際には任意の集合）を整列順序付けることが従う。
790:１３２人目の素数さん
20/03/19 19:55:31.68 BW7TgbOd.net
>>744
その公理を加えてできる公理系ではそういう論理式の存在が証明できるというだけでしょ
そういう論理式の存在が、つけ加える前の公理系（単なるZFCとか）と独立な場合もちゃんと考慮しようよ
791:１３２人目の素数さん
20/03/19 22:04:33.79 FC13N0bq.net
Ｌ個ある数値について
各項目を四捨五入して合計した値と
合計値を四捨五入して合計した値が
一致しない確率は
1-( (6/(π×Ｌ))^(1/2) )
で求まるそうなんです。
問題１ この式の導き方を教えて下さい。
なぜ円周率が・・・？
問題２
毎年、ある会合にかかった費用を、A,B,C,D,Eの５人で支払うことになってます。
費用は毎年変わるのですが、
５人の支払い比率は、a%、b%、c%、d%、e% （a>b>c>d>e>0）
で毎年一定です。
（例えば32.3%、24.1%、21.6%、16.8%、5.2%）
１円未満は四捨五入しますが、一致しなかった時はAで差額（±１円）を調整します。
つまり、AのN年間の調整額の合計の期待値は約０円です（おそらく）。
２０年経ったとき、Aの調整額の合計が＋１０円になる確率はいくらですか？
N年経ったとき、Aの調整額の合計がM円になる確率はいくらですか？
792:１３２人目の素数さん
20/03/20 00:28:49.59 vSa3xPGp.net
>>745
ある特定の論理式
だから実際にそういうものを具体的に作るってことじゃないの？
793:１３２人目の素数さん
20/03/20 00:29:17.58 p5Mf5Wxl.net
>>746
L→∞で正規分布が出てくる関係かな？
確率密度関数に1/√(2π)というのがあったような
794:１３２人目の素数さん
20/03/20 00:30:07.33 vSa3xPGp.net
>>745
>その公理を加えてできる公理系ではそういう論理式の存在が証明できるというだけでしょ
それはZFCでできるでしょ
具体的では無いが
795:１３２人目の素数さん
20/03/20 01:23:50 vKiJI24B.net
1枚の硬貨をn回投げ、表が出た時は1、裏が出た時は0を割り当てることで得られる数の列をx1,x2,…xnとする。同じ試行により、新たに得られる数の列をy1,y2…ynとする時、
x1y1+x2y2……xnynが偶数になる確率をPnと置くと、2項定理により、
2Pn=(3/4+1/4)^n+(3/4-1/4)^nとなる。
と解答に書いてあるのですが、2Pn=(3/4+1/4)^n+(3/4-1/4)^nがどこから出てきたのかわからないです。
よろしくお願いします。
796:１３２人目の素数さん
20/03/20 01:41:42 xh3ZxbS/.net
f:R-{0}->R に対し, lim[x->0](f(x)+f(2x))=a (有限確定値)のとき, lim[x->0]f(x)=a/2
これって正しい？
797:１３２人目の素数さん
20/03/20 03:36:31 lC3HBZ24.net
f(x) = a/2 + sin{π･log(x)/log(2)}
f(x) = a/2 + cos{π･log(x)/log(2)}
798:１３２人目の素数さん
20/03/20 03:36:59 1YkioBb1.net
>>751
f(x) = 1 x∈(1/2,1]
f(x) = 0 x∈(1/2^2,1
799:/2] f(x) = 1 x∈(1/2^3,1/2^2] .. . . f(x) = 1 x∈(1/2^{2k+1}, 1/2^{2k} ] f(x) = 0 x∈(1/2^{2k+2}, 1/2^{2k+1}] (マイナス側も同様に定義) lim[x->0](f(x)+f(2x))=1 (有限確定) lim[x->0] f(x) (不確定)
800:１３２人目の素数さん
20/03/20 03:52:29 1YkioBb1.net
>>750
x1y1+x2y2……xnynが偶数(=2m) になるパターンは
(x,y)=(1,1)のペアが 2m個、他のペア(n-2m 個)は (0,0)(0,1)(1,0) のどれかの組み合わせ
Pn = Σ[0≦2m≦n] C{n,2m} 3^(n-2m) /(2^n * 2^n)
= Σ[0≦k≦n] C{n,k} 3^(n-k) (1 + (-1)^k)/2 /4^n
二項定理より
2 Pn = (3+1)^n /4^n + (3-1)^n /4^n
= (3/4 + 1/4)^n + (3/4 - 1/4)^n
801:１３２人目の素数さん
20/03/20 04:35:00 lC3HBZ24.net
>>753
f(x) = [ 1 + sin(π･log(x)/log(2)) ]
でござるか。
それにしても 27.66秒で整数化されたとは、驚きでござる。
802:１３２人目の素数さん
20/03/20 07:30:26 u6fG/32K.net
>>749
『整列可能性』と『整列順序を定義する論理式の存在』は違わない？そもそも
>しかし、ZFC や、一般連続体仮説を加えた体系 ZFC+GCH においては、R 上の整列順序を定義する論理式は存在しない[1]。
とあるけど何を根拠に？
803:１３２人目の素数さん
20/03/20 07:51:30.64 p5Mf5Wxl.net
>>746
L個の実数を一様分布で抽出して２～５０でシミュレーションしてみた。
URLﾘﾝｸ(i.imgur.com)
Lが大きくなると1-( (6/(π×Ｌ))^(1/2) )に一致するようです。
数理は賢者にお任せ。
rm(list=ls())
f45 <- function(a) { # 四捨五入
x=a-floor(a) # floor(a):aを超えない整数ガウス記号[x]と同じ,x:小数部分をxに入れる
floor(a)+ (x>=0.5) # xが0.5以上なら１をそうでないなら０を加える
}
f45(1.5) ; f45(2.5)
round(1.5) ; round(2.5)
sim <- function(n=3,k=1e4){
sub <- function(n){
x=runif(n) # 一様分布乱数(実数)ｎ個の配列 roundならrunif(n,0,2)
y=numeric(n) # y：四捨五入での整数を入れる配列
for(i in 1:n) y[i]=f45(x[i]) # ｘの各実数を四捨五入してyに入れる
f45(sum(x))!=sum(y) # xの総和の四捨五入数とyの総和が異なればTRUEを返す
}
r=mean(replicate(k,sub(n))) # k個のシミュレーションでのTRUEの頻度を返す
p=1-( sqrt(6/(pi*n)) ) # 理論値？
return(c(r,p))
}
L=2:50
plot(L,sapply(L,function(x) 1-( sqrt(6/(pi*x)))),bty='l',type='l')
re=t(sapply(L,function(x) sim(x)))
plot(re,bty='l',pch=19,asp=1,xlab='実験値',ylab='理論値',type='l')
abline(a=0,b=1,lty=3)
804:１３２人目の素数さん
20/03/20 08:09:31 ULA/5c7b.net
>>746
それちょっと前に面白い問題スレにでてたやつじゃないの？
答え違ってなかったっけ？
805:１３２人目の素数さん
20/03/20 09:46:50 1YkioBb1.net
>>746
ランダム整数: x[i] {なんらかの範囲の一様分布}
ランダム偏差: α[i] ∈ [-0.5,0.5) {一様分布}
A = Σ[i=1,L] round(x[i]+α[i]) = Σ[i=1,L] x[i]
B = round( Σ[i=1,L](x[i]+α[i]) ) = A + round(Σ[i=1,L]α[i])
A=B ⇔ -0.5 < α[1]+α[2]+...+α[L] < 0.5
s := α[1]+α[2]+...+α[L]
中心極限定理より Lが大の時、
確率分布: f(s) ≒ 1/√(2πσσ) * exp(- s^2/(2σσ) )
標準偏差: σ ≒ (√L)* σ1, ( σ1 := √{ ∫[α=-0.5,+0.5] α^2 dα } = 1/√12 )
1-P = ∫[s=-0.5,+0.5] f(s) ds ≒ 1/√(2πσσ) = √(6/(πL))
806:１３２人目の素数さん
20/03/20 09:53:19 1YkioBb1.net
訂正
807: > ランダム整数: x[i] {なんらかの範囲の一様分布} こちらはランダムである必要はなかった
808:１３２人目の素数さん
20/03/20 11:02:16 1tt2YkMa.net
>>752-753
ありがとうございます
つぎはぎ関数で反例ができて、連続なら正しいようなダメなような？と思っていたのですが
全然ダメですね
809:１３２人目の素数さん
20/03/20 13:05:55 p5Mf5Wxl.net
>>746
四捨五入前の支払いが5.5,4.5,3.5,2.5,1.5とするとAは-2円にならないかな？
810:１３２人目の素数さん
20/03/20 15:02:55 vKiJI24B.net
>>754
回答ありがとうございます。
= Σ[0≦k≦n] C{n,k} 3^(n-k) (1 + (-1)^k)/2 /4^nの
(1 + (-1)^k)/2はどうやって出てきたのでしょうか？
すみません。よろしくお願いします。
811:１３２人目の素数さん
20/03/20 15:29:24 1YkioBb1.net
kが奇数の時に 0 、偶数の時に 1 となるので
これで偶数項のみ取り出した和 (一つ上の式) と等価になります。
812:１３２人目の素数さん
20/03/21 00:24:20 JeZUUa8W.net
>>762
四捨五入前の支払額がそういう値になることは無いと思いますが・・・
きのせい？
813:１３２人目の素数さん
20/03/21 06:43:15 4nSuI7cb.net
a,bは互いに素な自然数とする。
（1）a+biを極形式の形で表せ。iは虚数単位である。
（2）任意の自然数nに対して、(a+bi)^nは実数でないことを示せ。
814:１３２人目の素数さん
20/03/21 07:11:29 +5Jp9pU8.net
>>762
その数列をxとして
xをx/?xの比で配分すれば得られる。
815:１３２人目の素数さん
20/03/21 11:08:01 XWnhFsyt.net
定義
・２つの無限列s1,s2∈R^Nが、ある項から先の項が全て一致するとき「同値」
・無限列s∈R^Nの「決定番号」dとは、無限列の同値類の代表元の
一致箇所の先頭となる項の箇所の番号
さてゲームをはじめよう
出題者は無限列を100列用意する
ただし回答者には列の番号（１～100）だけ示す
回答者は列の番号を１つだけ選ぶ
出題者は残りの99列を回答者に示す
回答者は99列の決定番号の最大値Dを知る
出題者は、回答者が選んだ１列の、
D+1番目の項から先を回答者に示す
回答者はD+1番目の項から先の情報から
選んだ列の代表元を知る
まだ示されてない選んだ列のD番目の項が
代表元の項と一致すれば 回答者の勝ち
代表元の項と違っていれば出題者の勝ち
さて回答者が勝つ確率は？
（出展 数学セミナー2015年11月号 「箱入り無数目」）
816:１３２人目の素数さん
20/03/21 11:08:54 XWnhFsyt.net
>>768の続き
ここで、ある読者が以下のような発言を行った
ｽﾚﾘﾝｸ(math板:550番)
（要旨）
「当たる確率は0だ
無限列の同値関係は認める
同値類の代表元の存在も認める
しかし決定番号dの存在は認めない！
決定番号が存在しなければゲームは成立しない」
上記の発言は正しい？
定義（再掲）
・２つの無限列s1,s2∈R^Nが、ある項から先の項が全て一致するとき「同値」
・無限列s∈R^Nの「決定番号」dとは、無限列の同値類の代表元の
一致箇所の先頭となる項の箇所の番号
上記同値類の代表元は、同値類のどの要素とも同値
したがって、決定番号は自然数とならざるを得ない筈だが？
817:１３２人目の素数さん
20/03/21 11:53:03 16xJBQCR.net
>>768
同値でないと決定番号存在しないから
問題になってないけど？
818:１３２人目の素数さん
20/03/21 12:54:04.74 QnAFE/J1.net
【（2）を訂正】
a,bは互いに素な自然数とする。
（1）a+biを極形式の形で表せ。iは虚数単位である。
（2）任意の素数pに対して、(a+bi)^pは実数でないことを示せ。
819:１３２人目の素数さん
20/03/21 13:10:00.65 DXrxFH74.net
自作？
高校数学は高校数学スレに書けよ
820:１３２人目の素数さん
20/03/21 13:27:14 9lYHLfbE.net
数学掲示板群 URLﾘﾝｸ(x0000.net)
(アルファ・ラボ|学術掲示板群)
821:１３２人目の素数さん
20/03/21 13:30:37 bagTkMOY.net
(1+i)^4
822:１３２人目の素数さん
20/03/21 13:34:27 Ysr8avom.net
>>769
>同値類の代表元の存在も認める
なぜ？
823:１３２人目の素数さん
20/03/21 14:11:35 bagTkMOY.net
>>768
なにそれ？数学の問題になってないやん？
ゴテゴテ長い文章が続いてるけど結局回答者は最初に一つ数字を選んだだけで
あと選んだ元のどうこうとか�
824:A新しい情報もらってるけどそのあと選び直しも何もできないなら意味ないし。 そもそも元の100列の実数列の分布も与えてないのに確率もへったくれもないでしょ？
825:１３２人目の素数さん
20/03/21 14:12:08 XWnhFsyt.net
>>770
＞同値でないと決定番号存在しない
いかなる無限列もある同値類の要素ですから
当然、自分の所属する同値類の代表元と同値です
その場合、同値関係の定義として、代表元との一致箇所が存在します
それが無限列の決定番号ということです
したがっていかなる無限列にも存在します
＞…から、問題になってないけど？
>>768の問題は「回答者が勝つ確率は？」です
826:１３２人目の素数さん
20/03/21 14:14:35 XWnhFsyt.net
>>775
>>同値類の代表元の存在も認める
>なぜ？
選択公理によって各同値類から代表元が選出できる
というのが元記事の説明です
827:１３２人目の素数さん
20/03/21 14:20:37 XWnhFsyt.net
>>776
＞結局回答者は最初に一つ数字を選んだだけで
ええ
＞そのあと選び直しも何もできない
一旦決めたら選びなおしはできませんね
＞なら意味ない
とはいえません 同じゲームを他の人にやってもらうことは可能です
人によって選ぶ列は異なりますから
＞そもそも元の100列の実数列の分布も与えてないのに確率もへったくれもない
実はどの人にやってもらう場合にも、元の100列は変えません
100列の実数列はどんなものを持ってきてもかまいません
この場合、分布は「回答者がどの列を選ぶか」だけで、
それは全くのランダム（一様分布）です
これだけで答えが求まります
828:１３２人目の素数さん
20/03/21 14:32:42 bagTkMOY.net
>>779
正直いみわからん。
確率と言ってるくせに速度空間は
全くのランダム
としか出てないし。
これだけで答えがもとまりますっていうなら答え知ってるんでしょ？
何がわからんの？
829:１３２人目の素数さん
20/03/21 14:40:02.23 XWnhFsyt.net
>>780
測度空間は２＾｛１，２，・・・，１００｝ですね
>>768の記事にはもちろん答えは書いてあります
実際に尋ねたい問いは>>769のほうですが、
もとの問題を知らないと理解できないので
>>768の問いもあわせて書かせていただきました
答えを書くのは簡単ですが、
>>768の問についても
しばし、お考えください
(ヒント）
回答者が選んだ数列の決定番号をｄとしたとき
回答者が勝つのは、ｄとDがいかなる関係になっているときか？
830:１３２人目の素数さん
20/03/21 14:41:23.97 XWnhFsyt.net
>>781
誤 >>768の記事
正 >>768の記事中の「出展」
831:１３２人目の素数さん
20/03/21 14:53:33.48 QnAFE/J1.net
>>774
4は素数ではない
832:１３２人目の素数さん
20/03/21 14:54:44.59 bagTkMOY.net
>>781
2^100
て同様に確からしい2択が100個？
100個の無限数列じゃないの？
一個の長さ100のれつ？
入ってる数字は0か1？
数学の問題として成立するための情報が足りてなさすぎる。
答えは
p(選んだ列の決定番号<d)×1
+p(選んだ列の決定番号>d)×0
+p(選んだ列の決定番号=d)
×p(選んだ列の決定番号のd番目=選んだ列の属する類の代表元のd番目|選んだ列の決定番号=d)
と分解するにしても列の選ばれ方の分布がわからないと答え出るハズがない。
833:１３２人目の素数さん
20/03/21 15:01:25.31 16xJBQCR.net
>>777
>いかなる無限列もある同値類の要素ですから
>当然、自分の所属する同値類の代表元と同値です
つまり
代表元が選ばれていてそれについての決定番号ということ？
それはつまり
総ての数列から自然数への写像が1つ与えられているってことね？
選んだ数列がなんで有るか分からないんだから
回答者が勝つも勝たないも無いでしょ？
確率空間が与えられてないことになるから
やっぱり問題とは言えないと思う
834:１３２人目の素数さん
20/03/21 15:01:37.48 bagTkMOY.net
>>784
あ、訂正。>>784の後半はダメだ。
(選んだ列の決定番号<d)という事象が可測とは限らないや。
数列の分布が分からなければ値がいくらか以前に可測かどうかもわからんのか。
835:１３２人目の素数さん
20/03/21 15:04:47.66 bagTkMOY.net
分布以前に"実数列の全体"なんて当然無限集合だからどんな集合が可測になるのかきらまず与えないと問題にならないよ。
原題ではどうなってるの？
836:１３２人目の素数さん
20/03/21 15:07:43.06 16xJBQCR.net
>>781
>測度空間は２＾｛１，２，・・・，１００｝ですね
違うんじゃ無い�
837:ｩな 選択肢は100個 そのどれかを一様に選ぶ それはいいけど その100個のどれが勝つ物か負ける物か 予め決まっていてもそれは知らされていないんだから 確率分布には成らない 情報が足りないんじゃ無い？
838:１３２人目の素数さん
20/03/21 15:09:30.88 bagTkMOY.net
>>783
じゃ
[Q(tan(π/2p):Q]≧[Q(cos(2π/p)]=φ(p/2)
素数をnにするなよ。
センスないなぁ。
839:１３２人目の素数さん
20/03/21 15:09:54.18 XWnhFsyt.net
>>784
2^100は、100個の有限集合のべき集合
＞100個の無限数列じゃないの？
無限数列自体は固定してます
つまり、分布を考える必要はありません
840:１３２人目の素数さん
20/03/21 15:11:12.35 Ysr8avom.net
>>778
はい。
選択公理の仮定がどこにも書かれてなかったので糺しました。
841:１３２人目の素数さん
20/03/21 15:13:22.47 XWnhFsyt.net
>>785
＞選んだ数列がなんで有るか分からないんだから
＞回答者が勝つも勝たないも無いでしょ？
実は選んだ100列がいかなるものであっても
回答者が選んだ場合負ける「はずれの列」の個数がほぼ決まっています
したがって、100列からどの1列を選ぶ確率も1/100なら
回答者が勝つ確率もほぼ決まります
842:１３２人目の素数さん
20/03/21 15:16:28.39 XWnhFsyt.net
>>788
＞100個のどれが勝つ物か負ける物か
＞予め決まっていてもそれは知らされていないんだから
＞確率分布には成らない
>>792にも書きましたが、実は負ける列の個数は
決まっていますので確率は決まります
ついでにいえば、知る知らない、は
確率分布かどうかとは無関係ですね
843:１３２人目の素数さん
20/03/21 15:18:12.21 Ysr8avom.net
>>788
>その100個のどれが勝つ物か負ける物か
>予め決まっていてもそれは知らされていないんだから
>確率分布には成らない
>情報が足りないんじゃ無い？
「回答者は列の番号を１つだけ選ぶ」でランダムに選べば一様分布になる。
つまり
負ける列はたかだか1列だから、100列のいずれかをランダムに選んだ時、負ける列をひく確率は1/100以下。
844:１３２人目の素数さん
20/03/21 15:19:23.12 XWnhFsyt.net
>>786-787
100列の数列は固定します したがって分布を考える必要はありません
数列空間上での関数の可測性も、実は考える必要がありません
845:１３２人目の素数さん
20/03/21 15:35:10.85 XWnhFsyt.net
>>794
＞負ける列はたかだか1列だから
気付きましたね
そうなんです 100列を選んだ場合
１．決定番号が最大値となる列が1列だけ存在する→１列だけ「負ける列」
２．決定番号が最大値となる列が2列以上存在する→「負ける列」なし
となります
（１の場合決定番号が最大値の列を選ぶとｄ＞D、
２の場合どの列を選んでも ｄ＜＝D）
１の場合、回答者が勝つ確率は99/100
２の場合、回答者が勝つ確率は１
ですね
846:１３２人目の素数さん
20/03/21 15:53:38.60 bagTkMOY.net
>>796
アホかいな？
問題になってるのは>>784でいうなら選んだ列の決定番号がちょうどd、つまり残り99列の決定番号がたまたま選んだ烈の決定番号と一致する場合には問題文からはどっちのかちになるか確定しないでしよ？
つまり回答者が勝ちになる箱が99箱なのか100箱なのかわからないでしょうが？
847:１３２人目の素数さん
20/03/21 16:02:32.90 XWnhFsyt.net
>>797
＞選んだ列の決定番号がちょうどd、
＞つまり残り99列の決定番号がたまたま選んだ烈の決定番号と
＞一致する場合には・・・
>>796で書いた通り、負ける列がないので
どの列を選んでも回答者が勝ちます
＞回答者が勝ちになる箱が99箱なのか100箱なのかわからない
99の場合もあれば100の場合もある ということで4649
848:１３２人目の素数さん
20/03/21 16:06:42.83 XWnhFsyt.net
>>784の式ですが
p(選んだ列の決定番号<=D)×1
+p(選んだ列の決定番号>D)×0
でよいですね
849:１３２人目の素数さん
20/03/21 16:09:10.44 XWnhFsyt.net
>>799だとDが一定みたいに見えるな
以下のように書くのがいいか
p(選んだ列の決定番号<=他の99列の決定番号の最大値)×1
+p(選んだ列の決定番号>他の99列の決定番号の最大値)×0
850:１３２人目の素数さん
20/03/21 16:44:32.72 v/DfOPB0.net
お帰り下さい
現代数学の系譜 カントル 超限集合論2
ｽﾚﾘﾝｸ(math板)
851:１３２人目の素数さん
20/03/21 16:46:38.30 bagTkMOY.net
>>798
でしょう？
だったら>>768の問題は
袋の中に99個の当たりくじと1個の当たりくじかハズレくじのどつちか計100個が入ってます。当たりをひく確率は？
と同じになるやん？
答え出るわけない。
852:１３２人目の素数さん
20/03/21 16:53:38.26 Ysr8avom.net
>>802
P(勝ち)≧99/100じゃだめなん？
853:１３２人目の素数さん
20/03/21 16:54:49.48 XWnhFsyt.net
>>801
>>769についてコメントお願いします
>>802
２つの場合があることを述べた上で
それぞれの確率を答えればいいですね
>>803
場合分けしていただいたほうがいいですね
854:１３２人目の素数さん
20/03/21 16:57:47.76 zU5Gkz6B.net
回答者が選んだ列が次の条件を満たす確率を求めよ：（ほにゃらら）
みたいな出題ならまだわかるけどなあ
855:１３２人目の素数さん
20/03/21 17:06:57.33 XWnhFsyt.net
>>805
根本的には
「１００本の線があるあみだくじで外れが１つの場合
あたる確率を求めよ」
というのと同じだと思いますが如何ですか？
上記の問題で
「あみだくじ全体の空間における個々のあみだくじが選ばれる確率」
なんて考えないでしょう？
856:１３２人目の素数さん
20/03/21 18:20:27.59 zU5Gkz6B.net
本質的に同じにしてももう少しシンプルに書こうって話よ
全体空間の中で個々のあみだくじが選ばれる確率だって、
本当は考えねばならないことを省略してるだけの話なんだから
857:１３２人目の素数さん
20/03/21 18:28:35.33 16xJBQCR.net
>>793
予め決まっているんでしょ？
ならそんなお膳立てせずに
１～１００にΣpi=1の確率分布を考える
でよくない？
858:１３２人目の素数さん
20/03/21 18:30:36.61 bagTkMOY.net
どう考えても当たりくじが99個になるとき、100個になるときがシンプルな言い回しありそうにないけど。
答えなんなん？
859:１３２人目の素数さん
20/03/21 18:32:21.73 16xJBQCR.net
>>806
>「１００本の線があるあみだくじで外れが１つの場合
> あたる確率を求めよ」
>というのと同じだと思いますが如何ですか？
じゃあ
p1===p100=1/100ということね？
そんで？
860:１３２人目の素数さん
20/03/21 18:34:06.24 +uNrPRa+.net
kを1≦k≦nの自然数とする。
n次多項式f(x)に対して、g(x)={(1+x)^k}g(x)を考える。
g(x)が整数係数多項式ならば、f(x)も整数係数多項式であることを証明せよ。
861:１３２人目の素数さん
20/03/21 18:49:21.96 16xJBQCR.net
>>768
もう一度確認してみると
まずこの問題文ではダメ
無限数列総てについて同値類を設定し代表元を決めておく（代表限を決められるのは選択公理より）
100個の無限数列のそれぞれについて同値類の代表元との違いのある最後の項番号が決められる（決定番号の定義）
100個の無限数列のうち１つを無作為に選び
残った99個の決定番号の最大値よりも選んだ決定番号が小さければ勝ち
大きければ勝ち負け決まらない？（半々）
これって数列関係なくて
100個の中で最大を選ぶかどうかってことじゃない？
予め最大の数値は決められているから
それを無作為に選ぶかどうかの1/100ってことか
ここまでは結局数列関係ないじゃん？
862:１３２人目の素数さん
20/03/21 18:52:29.68 XWnhFsyt.net
>>807
＞本当は考えねばならないことを省略してるだけ
それは問題に対する根本的な誤解があるね
863:１３２人目の素数さん
20/03/21 18:55:10.38 16xJBQCR.net
>>769
>「当たる確率は0だ
> 無限列の同値関係は認める
> 同値類の代表元の存在も認める
> しかし決定番号dの存在は認めない！
> 決定番号が存在しなければゲームは成立しない」
決定番号は定義できると思うよ
けれど最初の問題文では
何に対する決定番号であるかを説明していないから
その点をハッキリさせないと上記のように言う人（自分もそう思った>>770）が居てもおかしくないのでは？
いずれにせよ
なんだか回りくどいこと言って煙に巻くだけの問題だと思った