面白い問題おしえて～な 27問目

面白い問題おしえて～ ..

778:１３２人目の素数さん
18/10/04 23:00:52.73 LFy1EKo2.net
カタラン数を語らん！

779:１３２人目の素数さん
18/10/04 23:14:12.31 VmTW+2yt.net
このスレで見つけた問題。
[0,n]×[0,n]の格子点の隣接する格子点をむすんで得られるグラフを考える。（図１参照）
このグラフの左下と右上を結ぶグラフ上の経路で長さ2nのもののうちy≦xの部分にある横線をちょうどk回通るものの個数を求めよ。
>>432より
>―図１―(n=6の場合)
>┌─┬─┬─┬─┬─┬─┐
>│　│　│　│　│　│　│　
>├─┼─┼─┼─┼─┼＝┤
>│　│　│　│　│　│　│　
>├─┼─┼─┼─┼＝┼＝┤
>│　│　│　│　│　│　│　
>├─┼─┼─┼＝┼＝┼＝┤
>│　│　│　│　│　│　│　
>├─┼─┼＝┼＝┼＝┼＝┤
>│　│　│　│　│　│　│　
>├─┼＝┼＝┼＝┼＝┼＝┤
>│　│　│　│　│　│　│　
>└＝┴＝┴＝┴＝┴＝┴＝┘

780:１３２人目の素数さん
18/10/08 18:08:41.43 vYJ1GP+F.net
■■■■■■■■■■■■■
□□□□□□□□□□□□■
■■■■■■■■■■■□■
■□□□□□□□□□■□■
■□■■■■■■■□■□■
■□■□□□□□■□■□■
■□■□■■■□■□■□■
■□■□■□□□■□■□■
■□■□■■■■■□■□■
■□■□□□□□□□■□■
■□■■■■■■■■■□■
■□□□□□□□□□□□■
■■■■■■■■■■■■■

781:１３２人目の素数さん
18/10/11 17:11:17.49 +nerrO/K.net
不思議な現象に遭遇したけど、よくわからないのでみんなの知恵を借りたい。
a1,a2,…を不定元とし、σをその添字を１だけ大きくする作用素とする。
次で有理式の列{F[n]; n=0,1,2,…}を定める：
F[0] = 1, F[n] = (F[n-1] + σF[n-1])/(a1+a2+…+an) (n≧1)。
F[1] = (1 + 1)/(a1) = 2/a1,
F[2] = (2/a1 + 2/a2)/(a1+a2) = 2/a1a2,
F[3] = (2/a1a2 + 2/a2a3)/(a1+a2+a3) = 2(a1+a3)/a1a2a3(a1+a2+a3),
F[4] = (2(a1+a3)/a1a2a3(a1+a2+a3) + 2(a2+a4)/a2a3a4(a2+a3+a4))/(a1+a2+a3+a4)
　　 = 2(a1a2+a2a3+a3a4)/a1a2a3a4(a1+a2+a3)(a2+a3+a4)
のようになるが、既約分数表示での分母を見ると偶数項の因数は約分で消え、奇数項の因数しか現れていない。
PCで調べるとF[8]まではそうなっている。
なので「F[n]を既約分数で表したとき分母には奇数項の因数しか現れない」と予想するが、
これは正しいだろうか？
また関連しそうなことがあったら教えてください。

782:１３２人目の素数さん
18/10/12 20:40:52.47 PScjLvUl.net
1/a(a+b)(a+b+c)…(a+b+c+…+z) を [a,b,c,…,z] と書くことにする。
[] = 1,[a] = 1/a, [a,b] = 1/a(a+b) など。
次を示せ。
(1) [a][b] = [a,b] + [b,a]
(2) [a,b][x] = [a,b,x] + [a,x,b] + [x,a,b]
(3) [a,b][x,y] = [a,b,x,y] + [a,x,b,y] + [a,x,y,b] + [x,a,b,y] + [x,a,y,b] + [x,y,a,b]
(4) [a][b][c] = [a,b,c] + [a,c,b] + [b,a,c] + [b,c,a] + [c,a,b] + [c,b,a]
また、一般にどのようなことがいえるだろうか？
（>>763 を考えた背景にあるもの）

783:１３２人目の素数さん
18/10/14 10:12:53.96 Rg/i5zok.net
E, A, B を同じ型の正方行列とし、Eを単位行列とする。
E-ABが逆行列Cをもつとき、E-BAが正則であることを示し、その逆行列をE, A, B, Cを用いて表せ。

784:１３２人目の素数さん
18/10/14 11:38:51.05 8dVZheoh.net
>>765
C = (E-AB)^-1 = E + AB + (AB)^2 + … とおもえば
(E-BA)^-1 = E + BA + (BA)^2 + … = E + BA + B(AB)A + B (AB)^2 C + … = E + BCA と予想できて、
あとは計算で (E-BA)(E+BCA) = (E+BCA)(E-BA) = E。

785:１３２人目の素数さん
18/10/14 11:48:27.04 8dVZheoh.net
A,Bがn次行列のとき、ABとBAの固有値は等しいことを示せ。

786:１３２人目の素数さん
18/10/14 18:47:55.39 RPfJW+Db.net
係数環がZで証明できれば十分。
よってさらにCで証明できれば十分。
Aが正則のときABA^(-1)とBの固有多項式が等しく故成立。
一般の場合は等式 ch AB = ch BA がザリスキ開集合 det A≠0 で成立する故一般に成立。

787:１３２人目の素数さん
18/10/14 20:07:46.18 KkBlRZKF.net
■ニャンティホール問題
□□□　　∧,,∧ 　　 ∧,,∧　　　
□□□　 (,,・∀・) 　ﾐ,,・∀・ﾐ　
□□□～(_ｕ,ｕﾉ　＠ﾐ_ｕ,,ｕﾐ　

788:１３２人目の素数さん
18/10/15 11:53:39.52 Cs8TUMYb.net
>>763
それ無理じゃね？
全変数に１をいれるとF[n] = 2^n/n!なので十分大きいnでv_2(F[n]) < 0。
一方でa1 = 1、残りに２をいれると全てのnでF[n]は２進整数。
よって分母に必ず項の数が偶数の因子が出てくると思う。

789:１３２人目の素数さん
18/10/15 12:43:35.59 i7/FRo1V.net
>>770
> 全変数に１をいれるとF[n] = 2^n/n!なので十分大きいnでv_2(F[n]) < 0。
v_2は2進付値だよね。だったら、
v_2(n!) = Σ[k=1,∞] floor(n/2^k) ≦ Σ[k=1,∞] n/2^k ≦ n だから
v_2(F[n]) ≧ 0 だよ。

790:１３２人目の素数さん
18/10/15 14:26:48.59 ArZ1mDJT.net
>>771
あ、ホントだ。
失礼しました。

791:１３２人目の素数さん
18/10/15 17:00:40.06 I979f5xZ.net
平川-松村の定理

792:１３２人目の素数さん
18/10/15 18:23:54.97 Pc4lKaBY.net
p1, p2, Pは素数かつ、
p1 ≧ 3, p2 ≧ 3, P ≧ 7で、
p1 + p2 = ( P + 1 )
が成り立つときの
p1, p2, P がみたす性質って何かありますか？

793:１３２人目の素数さん
18/10/15 18:33:36.53 7e+ZqB9F.net
>>774
mod

794:１３２人目の素数さん
18/10/15 23:27:34.88 TBaDGY4B.net
>>767
Aが正則でないとき…
Eをn次の単位行列、yは実数とする。
|A+yE| はyのn次式だから、|A+yE| = 0 を満たすyの個数は高々n個である。
|A+yE|≠0 となるyに対しては
　|xE - (A+yE)B| = |xE - B(A+yE)|,
が成り立つ。|A+yE| = 0 の解をうまく避けながら y→0 とすれば、
　|xE-AB| = lim_{y→0} |xE - (A+yE)B| = lim_{y→0} |xE - B(A+yE)| = |xE-BA|,
∴ |xE-AB| = |xE-BA|.
A,B∈Ｍ_n(Ｃ)に対して ABとBAの固有多項式が同じになることを証明せよ。
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
任意のn次正方行列A,Bについて ABとBAの固有多項式が同じになることの証明
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)

795:１３２人目の素数さん
18/10/15 23:28:12.32 vAwE2iKE.net
777☆

796:１３２人目の素数さん
18/10/16 10:47:22.37 9Iy8NhYm.net
nを自然数として、a_1=3,a_n=n(a_(n-1)-1)+2 (n≧2)でa_nを定める。
ここK村の人口はa_n人で、増えることも減ることもない。
さて、K村から任意の2人を選んだ時、その2人はある｢関係｣を持っているとする。そして、その｢関係｣はn種類にわたって存在する。
この時、どの2人を選んでも同じ｢関係｣で結ばれているような3人組が必ず存在することを示せ。
オリジナルです
考え方自体は既出だと思う

797:１３２人目の素数さん
18/10/16 11:06:57.32 XgKYsVQ3.net
イミフ

798:１３２人目の素数さん
18/10/16 15:17:31.18 pXbAMmW4.net
a[1]=3人だと1種類
a[2]=6人だと2種類
a[3]=17人だと3種類
・・・

799:１３２人目の素数さん
18/10/16 15:31:09.15 4hIfQunY.net
>>778
よく分からんけど、ラムゼー数（ URLﾘﾝｸ(ja.wikipedia.org) ）
R_n(3,3,…,3) ≦ a[n] を示せってことか？

800:１３２人目の素数さん
18/10/16 15:51:55.66 xW+nW6TE.net
>>778
正確に言葉を使え
高卒か？

801:１３２人目の素数さん
18/10/16 16:25:15.98 59lKj0WN.net
>>778が >>781の意味ならそのままwikiに書いてある漸化式で解けちゃうね。R(…)の中の2は自動的に落ちてしまう

802:１３２人目の素数さん
18/10/16 17:30:56.90 5jr9jBpY.net
清書
Claim 1)
R(k1,…,kn)≦R(k1-1,k2,…,kn) + R(k1,k2-1,…,kn) + … + R(k1-1,k2,…,kn-1) - n + 2
(∵) R(k1-1,k2,…,kn) + R(k1,k2-1,…,kn) + … + R(k1-1,k2,…,kn-1) - n + 2個の点からなる完全グラフから1点v を選び、そこから残りの点への辺を1～nに彩色する。
このとき、色1に塗られている辺の個数がR(k1-1,k2,…,kn)以上かまたは…�

803:Fnに塗られている辺の個数がR(k1-1,k2,…,kn-1)以上である。最初の場合（残りの場合も同じように議論できる）、色1に塗られている辺の向かう先の点の個数がR (k -1, k2,…,kn)以上だから、それらの点からk1 -1個の点の、色1のみからなる完全グラフか、ki個の点の色iのみからなる完全グラフがある。前者の場合、v とあわせればk1 個の点の色1のみからなる完全グラフが得られる。 Claim2) R(k1,…,kn,2) = R(k1,…,kn) (∵) R(k1,…,kn)個以上の頂点からなる完全グラフをn+1色に塗り分ける時、色n+1が使われていればその辺のみからなるグラフが2点完全グラフである。 n+1がつかわれていなければR(k1,…,kn)の定義からいずれかの色 i のみで塗られた完全 ki グラフを含む。以上により R(3,3,…,3) ≦ a_n。

804:１３２人目の素数さん
18/10/17 12:18:06.75 73t+PGbH.net
>>782
これで理解できへんのはアウトやろ

805:１３２人目の素数さん
18/10/17 12:26:37.27 0tcTzRCF.net
この問題文はあかん

806:１３２人目の素数さん
18/10/17 15:01:02.00 I9IpbIiP.net
問題文かは鳩ノ巣かなと思ってた

807:１３２人目の素数さん
18/10/17 15:40:39.54 0tcTzRCF.net
わかスレの問題改題。
数列 (c[n], d[n]) を
　c[n] = (2n-1)c[n-1] + c[n-2]、c[1] = 0、c[2] = 1、
　d[n] = (2n-1)d[n-1] + d[n-2]、d[1] = 1、d[2] = 0
で定める時 lim[n→∞] c[n]/(2n-1)!!、lim[n→∞] d[n]/(2n-1)!! を求めよ。

808:１３２人目の素数さん
18/10/17 18:50:29.46 PUvZuus0.net
>>788
c[n]の方は組合せ的意味(ｽﾚﾘﾝｸ(math板:494番),510,623)を考えれば、
c[n] = Σ[r=0,n] (-1)^r binomial(2n-r,r) (2n-2r)! / (n-r)!2^(n-r) が分かって、
α(n,r) := n!(2n-r)!2^r/(2n)!(n-r)! が
0 < α(n,r+1) < α(n,r), α(n,r)→1 (n→∞) となるのを使えば
lim[n→∞] c[n]/(2n-1)!! = lim[n→∞] Σ[r=0,n] ((-1)^r/r!)α(n,r) = e^(-1)。

809:１３２人目の素数さん
18/10/17 19:18:42.08 LxNRGIwD.net
やっと二重階乗がでてきたのか

810:１３２人目の素数さん
18/10/17 21:40:01.85 RJVJEgsX.net
>>289
おお、なるほど。
素晴らしい。
それなら前スレででてきたベッセル関数もへったくれもなしに証明できますね。
今の所用意している解答はベッセル関数もへったくれもある解答です。
d[n]の方もそんな感じでできるかもしれないですね。

811:１３２人目の素数さん
18/10/17 21:53:46.92 LxNRGIwD.net
ジョーカーを除いたトランプ５２枚を外からは中が
確認できない５２個の箱の中に表を見ないで一枚ずつ入れた
そして、５２個の箱の中から適当に三つの箱を選んで三枚の
カードを取り出すと三枚ともダイヤであった
このあと残りの４９個の箱の中からどの箱を選んでも
箱の中のダイヤの確率は１０／４９である

812:１３２人目の素数さん
18/10/18 03:38:50.93 k/D5nzuI.net
a,b (1≦a≦b) を整数とする。
b階建てビルのエレベーターは1階からb階までを移動している。
a階でエレベータを待つとき、上からやってくる確率を求めよ。

813:１３２人目の素数さん
18/10/18 04:25:18.54 ybZLuwXw.net
>>793
何が同様に確からしいのかわかんねー

814:１３２人目の素数さん
18/10/18 12:33:59.38 EWu4uTz9.net
縦3マス、横4マスの12マスのうちランダムに選ばれた2マスにそれぞれ宝が眠っている。
AEIBFJ…の順で縦に宝を探していく方法をとるP君と、ABCDEFGH…の順で横に宝を探していく方法をとるQ君が、同時に地点Aから探索を開始した。
どっちの方が有利？
ABCD
EFGH
I JK L

815:１３２人目の素数さん
18/10/18 13:16:58.60 7YqgJU0i.net
>>795
移動時間とかなんにも条件ないならイーブン。

816:１３２人目の素数さん
18/10/18 13:36:41.89 7YqgJU0i.net
>>795
以外に自明じゃないけど結局イーブン
P : AEIBFJCGKDHL
Q : ABCDEFGHIKKL
部屋　　 : ABCDEFGHIKKL
先に入る：△QQQPPQQPPP△

817:１３２人目の素数さん
18/10/18 13:40:36.12 S3KlGNXW.net
ABCDEFGHIJKLとBCDEFGHIJKLAの争いがえぐい

818:１３２人目の素数さん
18/10/18 13:54:02.75 7YqgJU0i.net
ETFJKをP部屋と呼ぶ。Pはこの部屋にQより先にこの順に入室する。
BCDGHをQ部屋とよぶ。Qはこの部屋にPより先にこの順に入室する。
Aに宝があれば同着でイーブン。
Aに宝がなくLに宝があれば残りがP部屋か、Q部屋かによるのでイーブン。
２つともP部屋ならP勝ち、２つともQ部屋ならQ勝ちでその確率はイーブン。
のこり２５通りは
　EIFJK
B△
C　△
D　　△
G　　　△
H　　　　△
と５×５マスからひとつ選ぶ場合だけど△の組み合わせなら同着、
上半分ならQ勝ち、下半分ならP勝ちでイーブン。
以外に思ったより自明じゃないなぁ。

819:１３２人目の素数さん
18/10/18 14:19:20.33 EWu4uTz9.net
>>795
追記。問題文にあるように、ABCDEFGH…とAEIBFJ…という探索方法をとっています。P君はQ君が先にBを調べていても4ターン目にちゃんと調べることになってますよ。
要するに、相手が調べ終わった部屋も重複して調べる場合が出てきます。

820:１３２人目の素数さん
18/10/18 14:20:35.68 lUFq+UnC.net
>>797
いや完全に自明だろｗ
全ての箱等価なんだから
くじ引きと同じだぞ

821:１３２人目の素数さん
18/10/18 14:23:30.73 EWu4uTz9.net
>>801
全く自明じゃないよ、1マスにしか宝がないなら自明だが2マスあれば自明じゃない。
結論はネタバレになるから言わないけど案外面白い結果になる。

822:１３２人目の素数さん
18/10/18 14:29:52.71 lUFq+UnC.net
>>802
壮絶なバカだなあ
マスを箱と考える。
箱のセットをコピーして、A～Lのセットを2つ用意する
アタリとなっているの箱の文字はどちらも同じ。
P : AEIBFJCGKDHL
Q : ABCDEFGHIJKL
PQはどの順番でハコを開けていくか？が同じだけ。
ハコの中身がランダムで未知なのに開ける順番で差がつきうるとかお笑いだなｗ

823:１３２人目の素数さん
18/10/18 14:30:20.02 BOAck/eY.net
勝利条件が書いてないのだが

824:１３２人目の素数さん
18/10/18 14:30:35.44 lUFq+UnC.net
盛大に誤字ったｗ
どの順番でハコを開けていくか？が違うだけ　が正しい

825:１３２人目の素数さん
18/10/18 14:50:03.58 4ou2qq4A.net
>>803
＞箱のセットをコピーして、A～Lのセットを2つ用意する
それ違う問題だろ。
本問の場合片方が先に見つけたお宝は他方の手には入らない
それを踏まえた上で
P：ABCDEFGHIJKL
Q：BCDEFGHIJKLA
これでもイーブンだと思う？

826:１３２人目の素数さん
18/10/18 15:00:10.11 EWu4uTz9.net
>>804
あーごめん、完全に自分のミスです
先に宝を見つけた方が勝ちです。
いずれか1人が(あるいは同時に2人が)宝を見つけた時点でゲームは終了です。すいません。

827:１３２人目の素数さん
18/10/18 15:02:08.47 lUFq+UnC.net
>>806
100％イーブンだろｗｗｗｗ
頭悪いんだなｗ
お前の言ってるのは
「クジ引きで後に引くのは不利、先に当たりひかれちゃうかもしれないから！」
これと完全に同レベルな

828:１３２人目の素数さん
18/10/18 15:04:29.78 lUFq+UnC.net
>>806
マジで分からないのか？
お前の言ってるのは
「どれが当たりか全く分からない12個の箱を、開ける順番を変えるだけで
当たり引くまでの回数の期待値を変えられる」
ってことだぞ？
本気で言ってんならヤバいよｗ

829:１３２人目の素数さん
18/10/18 15:06:30.41 4ou2qq4A.net
>>808
P：ABCDEFGHIJKL
Q：BCDEFGHIJKLA
この順に部屋を調べるとして、1個だけのお宝が
A～Lにある10の場合それぞれについて
P、Q のどちらが勝つかわかる？
Aにある場合→Pが先に調べるからの勝ち
Bにある場合→同様にPの勝ち
...
のように

830:１３２人目の素数さん
18/10/18 15:08:01.09 4ou2qq4A.net
>>810
＞Aにある場合→Pが先に調べるからPの勝ち
＞Bにある場合→Qが先に調べるからQの勝ち
の間違いだった

831:１３２人目の素数さん
18/10/18 15:12:01.94 EWu4uTz9.net
>>809
2マスに宝がそれぞれ置いてあるんですよ？？もちろん1マスにしかないならイーブンですが、2マスに宝がある場合、この2つの宝は互いに独立して配置されるわけではないんですよ。
要するに、宝が1マスに重複して置かれることがないから｢宝Aがあるマスに配置された瞬間、宝Bはそのマス以外に配置されることになる｣わけで、その期待値で考える理屈は通用しませんよね。

832:１３２人目の素数さん
18/10/18 15:15:24.25 4ou2qq4A.net
>>809
1つの当たりが10個の箱に入っているとして、
P：ABCDEFGHIJKL
Q：BCDEFGHIJKLA
このように片方が開ける順よりも1つ先の箱を開けることによって、
Qが当たりを引くまでの手数は
1/10の確率でPより9増える (当たりがAの場合)
9/10の確率でQより1減る
双方の当たりを引くまでの手数の期待値は変わらないが、
他方より1でも少なければ勝ちなのでQが勝つ確率は9/10となる

833:１３２人目の素数さん
18/10/18 15:16:18.29 4ou2qq4A.net
>>813
＞9/10の確率でQより1減る
Pより1減る、の間違いだな
なんかグダグダ

834:１３２人目の素数さん
18/10/18 15:17:46.47 BOAck/eY.net
宝が一つの場合でも >>810 >>811みたいなのを考えると単純な期待値の問題にはならないんじゃ？

835:１３２人目の素数さん
18/10/18 15:19:27.15 EWu4uTz9.net
>>815
その場合は｢相手が調べ終わっている箱を確かめる｣回数が多い方が負けるでしょうね、、

836:１３２人目の素数さん
18/10/18 15:36:38.92 7YqgJU0i.net
あれ？>>799で終わったと思ってるんだけど？
間違ってる？

837:１３２人目の素数さん
18/10/18 15:55:19.98 7YqgJU0i.net
コレ、直感的には自明にイーブンに見えるけど、ちゃんと考えると少なくとも自明じゃないのが面白い。
けど結局イーブンだからなぁ。
縦横でも
P:AEIJFBCGKLHD
Q:ABCDHGFEIJKL
とかにしてイーブンじゃない設定の方が良かったかも。

838:１３２人目の素数さん
18/10/18 16:15:00.24 7YqgJU0i.net
いや、嘘書いた。>>799の残り25通りイーブンじゃないやん。
BEが宝箱ならQ部屋のBにQが入室すらのが2ターン目、EにPが入室するのが6ターン目だからQの勝ち。
同様にして勝敗を埋めて行くと
EIFJK
B QQQQQ
C QQQQQ
D QQQQQ
G PPQQQ
H PPPPQ
となってQの勝ちですね。
直感に反してて面白い。

839:１３２人目の素数さん
18/10/18 16:25:38.90 7YqgJU0i.net
あかん、まだ嘘書いてる。
残りは50事象だ。

840:１３２人目の素数さん
18/10/18 16:31:58.81 7YqgJU0i.net
いや、合ってる。
やっぱり頭の中だけで考えるとダメだ。
ALは無視して残り10部屋で45通り。
P部屋五部屋のみから選ぶのが10通り。
Q部屋五部屋のみから選ぶのが10通り。
残りは25通り、Q勝ちの方が多い。

841:１３２人目の素数さん
18/10/18 19:14:50.26 y4R+MJMW.net
なるほどねえ
確かにQの方が微妙に先に見つける場合が多いな
Pが先に見つけるのは以下の26通り
CE,DE,DI,EF,EG,EH,EI,EJ,EK,EL,FG,FH,FI,FJ,FK,FL,GI,GJ,HI,HJ,IJ,IK,IL,JK,JL,KL
Qが先に見つけるのは以下の27通り
BC,BD,BF,BG,BH,BI,BJ,BK,BL,CD,CF,CG,CH,CJ,CK,CL,DF,DG,DH,DJ,DK,DL,GH,GK,GL,HK,HL
同時に見つけるのは以下の13通り
AB,AC,AD,AE,AF,AG,AH,AI,AJ,AK,AL,BE,CI

842:１３２人目の素数さん
18/10/18 19:46:16.03 AIa0HjDX.net
何を数え上げているのさっぱりわからんが、12C2=121なので121通りないとおかしい。
イーブンだぞ。

843:１３２人目の素数さん
18/10/18 19:50:19.73 Z/pf1+wY.net
>>788,789,791
e[n] = Σ[r=0,n] binomial(2n-r,r) (2n-2r)! / (n-r)!2^(n-r) と置くと、c[n], d[n]と同じ漸化式
e[n] = (2n-1)e[n-1] + e[n-2] が成り立ち、e[1]=2, e[2]=7 であるから d[n] = (e[n]-7c[n])/2。
>>789 と同様にして lim[n→∞] e[n]/(2n-1)!! = lim[n→∞] Σ[r=0,n] (1/r!)α(n,r) = e であるから
lim[n→∞] d[n]/(2n-1)!! = (e-7e^(-1))/2。
c[n]などはいろいろな表し方がある：
c[n] = Σ[r=0,n] (-1)^(n-r) binomial(n+r,2r) (2r)! / r!2^r
　　 = Σ[r=0,n] (-1)^(n-r) binomial(n+r,2r) (2r-1)!! （ただし (-1)!!=1 とする。）
0以下に延長すると:
e[-5]=266, e[-4]=37, e[-3]= 7, e[-2]=2, e[-1]= 1, e[0]= 1, e[1]=2, e[2]=7, e[3]=37, e[4]=266,
c[-5]=-36, c[-4]=-5, c[-3]=-1, c[-2]=0, c[-1]=-1, c[0]= 1, c[1]=0, c[2]=1, c[3]= 5, c[4]= 36,
d[-5]=259, d[-4]=36, d[-3]= 7, d[-2]=1, d[-1]= 4, d[0]=-3, d[1]=1, d[2]=0, d[3]= 1, d[4]= 7.

844:１３２人目の素数さん
18/10/18 19:58:07.26 y4R+MJMW.net
>>823
12C2 = 12! / (2! x 10!) = 12x11 / 2 = 66

845:１３２人目の素数さん
18/10/18 20:01:25.73 AIa0HjDX.net
>>825
俺の頭が湧いてるのか？
12x11/2 = 11x11＝121

846:１３２人目の素数さん
18/10/18 20:02:07.31 AIa0HjDX.net
>>825
ごめん湧いてたwwwwwww

847:１３２人目の素数さん
18/10/18 23:36:54.15 ZLom+Usi.net
わからない、教えて
抽選ボックスが2つ、どちらかから1つからボールを1つだけ引き当選の有無を確認する。
抽選ボックスAはボールが3コ、ボックスBは7コ。
一等は1本、2等は2本、計3本がどちらかのボックスに偏っているとする。
この時どちらのボックスを引くのが良いか？または同じか？

848:１３２人目の素数さん
18/10/18 23:48:24.44 7YqgJU0i.net
>>828
> 一等は1本、2等は2本、計3本がどちらかのボックスに偏っているとする。
コレは
X : Aに一等1.二等2.Bは全部ハズレ
Y : Bに一等1,二等2,ハズレ4,Aは全部ハズレ
のいずれかであるという意味？
XとYが同様に確からしいとか、なんか条件ないと答えでないんじゃね？
同様に確からしいなら明らかに Aの方がお得だけど。

849:１３２人目の素数さん
18/10/19 00:05:07.75 qhs5NzN0.net
>>829
同様に確かと言えるのは3/10が当たりということとどちらかに偏ることは確かだとしか聞いてない
A:1/2 ×3/10=3/20
B:1/2 ×3/7/10=5/7
でBの方がお得になるんだけど感覚として
Aは1/2 ×1/3=1/6で当たり引けるから混乱してる

850:１３２人目の素数さん
18/10/19 00:11:17.55 vrUAL2J1.net
ランダムに分けるんだけど結果偏っていたという場合の考察
全ての分け方: 10C3通り
うちAに当たりが偏った分け方 : 1通り
うちBに当たりが偏った分け方 : 7C3通り

851:１３２人目の素数さん
18/10/19 00:12:23.88 vrUAL2J1.net
>>830
＞A:1/2 ×3/10=3/20
この10はどこから出てきたw

852:１３２人目の素数さん
18/10/19 00:18:34.12 qhs5NzN0.net
>>832
10個からボール1つを選ぶけどAは3個しかない

853:１３２人目の素数さん
18/10/19 00:33:44.91 0SW2jqO2.net
(a) A に偏っている場合
3つのボックスのどれかを開ければ1/3の確率で1等、2/3の確率で2等
1等、2等のいずれかが当たる確率は100%
(b) B に偏っている場合
7つのボックスのどれかを開ければ1/7の確率で1等、2/7の確率で2等
1 等、2等のいずれかが当たる確率は3/7≒43%
Aに偏っているかBに偏っているかが同様に確からしい
(それぞれ1/2の確率)ならA の箱を開ければ1/2の確率で当たりをひける。
じゃなくて「ランダムに分けたんだけどなんか偏っちゃった！」だと
そもそもAに偏ってる(＝当たりが入っている)確率自体がとても低いのでAを選ぶのは危険

854:１３２人目の素数さん
18/10/19 00:52:26.09 qhs5NzN0.net
>>834
そうかー
そのランダムなんだけどAってどれくらいの確率なの？

855:１３２人目の素数さん
18/10/19 01:11:58.87 qhs5NzN0.net
1/10c3か?そりゃ低いや
大きい箱の方に引っ張られるのかね

856:１３２人目の素数さん
18/10/19 01:24:07.41 5btDxqP5.net
ボックスAに一等が入っているなら
ボックスBに二等が二つ
ボックスBに一等が入っているなら
ボックスAに二等が二つ入っている
という意味だよ

857:BLACKX
18/10/19 01:29:47.49 yLZt/D6J.net
ごちゃごちゃする前に出題者です。
たとえ話でその後の回答ないので私の方から回答しに来ました。
一般的な確率でなくLOTOを計算しております。
10個のボールの中で前提が1等が1個だけで抽選をし、1等の箱が決まった時点でその箱の中で2等が決まるため同じ箱に偏るとしました。
なので834さんがお答えの通りかなり低いです。1等が3つのボールの箱に入らなければ2等はありませんから。
箱自体に当たりのある確率で３０：７０です。

858:１３２人目の素数さん
18/10/19 01:35:33.67 OCs/EBNC.net
>>824
正解です。素晴らしい。
ちなみに用意の解答
―-
f(n,x) = (-1/x d/dx)^n (exp x/x)
とおけば
x^2 f(n,x) = (2n-1)f(n-1,x) + f(n-2,x)。
とくに p[n] = f(n,1)、q[n] = f(n,-1)とおけば
p[n] = (2n-1)p[n-1] + p[n-2]、q[n] = (2n-1)q[n-1] + q[n-2]。
これとp[1] = 0、p[2] = e、q[1] = -2/e、q[2] = -7/eにより
c[n] = p[n]/e、d[n] = (-7p[n]/e + 2e q[n])2。
一方で (-1/x d/dx)^n (exp x/x)をマクローリン展開して lim[n→∞] f(n,±1)/(2n)!! = ±1。
以上により
lim[n→∞] c[n]/(2n)!! = 1/e、lim[n→∞] d[n]/(2n)!! = (-7/e+e)/2。
―
前わかスレに出てた変形ベッセル関数による表示を利用しています。
(本来のベッセル関数だとx=-1を代入できないのでちょっと一工夫してますが。)

859:１３２人目の素数さん
18/10/19 01:39:41.07 T5g/T+ww.net
それなら
Aに1等が入っている確率3/10
Aから選んで1等を当てる確率3/10x1/3＝1/10、2等になる確率3/10x2/3＝2/10
Bに1等が入っている確率7/10
Bから選んで1等を当てる確率7/10x1/7＝1/10、2等になる確率7/10x2/7＝2/10
となるからA、Bのどちらの箱を開けても損得はない
偏りがある。当たる確率は1/10。
流石LOTOどちらも満たしてるね。

860:１３２人目の素数さん
18/10/19 01:42:14.19 OCs/EBNC.net
あ、>>839の分母の (2n)!! の所 (2n-1)!! です。

861:１３２人目の素数さん
18/10/19 02:07:40.86 qhs5NzN0.net
>>838
>>840
回答ありがとうございます。納得しました
あー確率的に同じで偏りがあるから低くなるのか

862:１３２人目の素数さん
18/10/19 02:13:58.97 gzQJ/Bd2.net
・a[1]=2
・a[n+1]=a[n]/(1+a[1]+a[2]+…+a[n])
・b[1]=2
・b[n+1]=b[n]/{a[n]+(b[1]+b[2]+…+b[n])/n}
である数列{a[n]}および{b[n]}について以下の問いに答えよ。
（1）極限　lim[n→∞] a[n]　を求めよ。
（2）極限　lim[n→∞] b[n]　を求めよ。

863:１３２人目の素数さん
18/10/19 03:59:50.81 UmCMoNsS.net
(1)
エジプトのシエネという町では、年に一度、夏至の日の正午にだけ深い井戸の底まで太陽の光が差し込む。
シエネの北緯は何度か。
hint: 地球の自転軸は公転軸から 23．4°傾いている。
(2)
エジプト第２の都市アレキサンドリアはシエネのほぼ北にあり、その距離は 925 km である。
天文観測から、緯度の差が約 7．2°と分かった。
地球の半径（m）を概算せよ。
なお、経度の差は小さいので無視してよい。
(実際のアレキサンドリアの緯度　31．22ﾟN、緯度の差 7．82°)
(距離の単位は　スタジア = 185 m が使われていた。)
(3)
司天台（浅草天文台）は伊能忠敬の住居（隠宅）のほぼ北にあり、その距離を測量したところ 2482 m だった。
天文観測から、2ヵ所の緯度の差は約0．025°であることが分かった。
地球の半径（m）を概算せよ。
なお、経度の差は小さいので無視してよい。
(実際の緯度差は 0．02690°、距離は 3025 m、方位角 9．4ﾟW）
(距離の単位は町、間が使われている。）

864:１３２人目の素数さん
18/10/19 04:04:12.21 UmCMoNsS.net
>>844
伊能忠敬の住居（隠宅）は
　〒135-0048 江東区門前仲町１丁目18-3先
　緯度　35．67452ﾟN
　経度　139．79422ﾟE
司天台（浅草天文台）は
　〒111-0053 台東区浅草橋３丁目20-12
　緯度　35．70142ﾟN
　経度　139．78876ﾟE
にあった。
・おもしろ地図と測量
URLﾘﾝｸ(www5a.biglobe.ne.jp) →　史跡所在リスト

(4) 地球を「GRS80楕円体」として、この2ヵ所の距離と方位角を計算せよ。
・GRS80楕円体
　長半径（赤道半径）a = 6378137（m）
　扁平率　f = 1/298．257222101
・測量計算（距離と方位角の計算）- 国土地理院
URLﾘﾝｸ(vldb.gsi.go.jp) →　十進法度単位

865:１３２人目の素数さん
18/10/19 07:22:50.64 UmCMoNsS.net
そうだったのか…
伊能氏が身を削るようにして日本各地の正確な緯度・経度を決めていったのは
地面が曲がっている影響を補正することで、天文予測の精度を画期的に向上するためだった。
日本地図はオマケだった。

866:１３２人目の素数さん
18/10/19 07:46:11.79 UmCMoNsS.net
>>846
毎日新聞・夕刊
URLﾘﾝｸ(mainichi.jp)没後２００年・伊能忠敬を歩く
URLﾘﾝｸ(mainichi.jp)セカンドステージ
URLﾘﾝｸ(mainichi.jp)セカンドステージ/1

867:１３２人目の素数さん
18/10/19 09:33:43.48 hAbKt7Ps.net
>>795
この問題でQの方が有利になるならば、横長い形をしたマス目のうち2マスに宝を埋めた場合縦に沿って探すより横に沿って探した方が勝ちやすいことが一般の場合にも言えるであろうことが容易に想像出来るわけだけど、その証明は出来るだろうか？

868:１３２人目の素数さん
18/10/19 09:34:04.80 hAbKt7Ps.net
分かスレに提出した方がいいかもしれないな

869:１３２人目の素数さん
18/10/19 14:19:39.14 rredQkJV.net
高校数学で解けるであろう問題を2つほど
次の定理を示せ
1. 任意の正の整数は連続しない(則ち,項番号が隣りあわない)フィボナッチ数の和として一意的に表される
2. L_(n+2)=L_(n+1)+L_n, L₁=1, L₂=3
を満たす数列(L_n)は任意の素数pに対してL_p≡1 modpを満たす
序でに1問目は「ゼッケンドルフの定理」,又2問目に出てくる数列は「フィボナッチ数列に付随するリュカ数列」(「ルカス数列」「ルーカス数列とも云う)なる名前が付いているらしい

870:１３２人目の素数さん
18/10/19 14:54:26.57 UmCMoNsS.net
>>843
S = 1 + Σ(k=1,∞) a[n] = 3.91202535564143
(1)
　a[n] ～ 11.12728469988 / S^n →　0　(n→∞)
(2)
　b[n+1] ≒ n･b[n]/{b[1]+b[2]+…+b[n]}　→　1,

871:１３２人目の素数さん
18/10/21 21:14:25.02 l2E3XuiN.net
>>795
シミュレーションしてみた。
1万回からPの方が先に見つける頻度を出すのを1万回繰り返したときの確率は
> summary(re)
Min. 1st Qu. Median Mean 3rd Qu. Max.
0.3749 0.3906 0.3939 0.3939 0.3972 0.4132
となって０．５より小さいのでQの方が有利という結果になった

Rでのスクリプトはこれ
x=c(1,1,rep(0,10))
is.P1st <- function(){
Q=sample(x)
z=matrix(Q,ncol=4,byrow=T)
P=as.vector(z)
which.max(P) < which.max(Q)
}
re=replicate(1e4,mean(replicate(1e4,is.P1st())))
summary(re)

872:１３２人目の素数さん
18/10/21 21:28:28.30 l2E3XuiN.net
>>852
シミュレーションにバグがある。
同時に見つける場合を考えてなかったわ

873:１３２人目の素数さん
18/10/21 21:45:15.93 l2E3XuiN.net
>>853
シミュレーションしたら　>822の通リになりました。
> x=c(1,1,rep(0,10))
> PQ <- function(){
+ Q=sample(x)
+ z=matrix(Q,ncol=4,byrow=T)
+ P=as.vector(z)
+ c( even=which.max(P) == which.max(Q),
+ p1st=which.max(P) < which.max(Q),
+ q1st=which.max(P) > which.max(Q))
+
+ }
> k=1e6
> re=replicate(k,PQ())
> mean(re['even',]) ; 13/(26+27+13)
[1] 0.197025
[1] 0.1969697
> mean(re['p1st',]) ; 26/(26+27+13)
[1] 0.393803
[1] 0.3939394
> mean(re['q1st',]) ; 27/(26+27+13)
[1] 0.409172
[1] 0.4090909

874:１３２人目の素数さん
18/10/22 02:11:35.13 iMyh9xwO.net
>795
縦ｍマス、横ｎマスのｍ＊ｎマスのうちランダムに選ばれたｋマスにそれぞれ宝が眠っている。
AEIBFJ…の順で縦に宝を探していく方法をとるP君と、ABCDEFGH…の順で横に宝を探していく方法をとるQ君が、同時に地点Aから探索を開始した。
どっちの方が有利？
という風に一般化してみた。
>822のカウントをRでやってみた。
例えば
縦５マス、横１０マス、宝３マスだと
P1st Q1st even
8832 9142 1626
（P1stはPが先に宝を発見する宝の配置の数）

Rのコードはここにおいた
Executeのクリックで実行（数値を変えて実行も可能）
URLﾘﾝｸ(tpcg.io)

875:１３２人目の素数さん
18/10/22 19:03:02.66 N2Ov4rc5.net
ある中学入試の問題だけど
方程式なしで小学生はどうやって解くのだろう？
　ある牧場では１００頭の羊を放すと１５日間で牧草がなくなり、１２０頭の羊を放すと１０日間で牧草が食べつくされました。　
この牧場で８０頭の羊を１０日間放した後、さらに何頭xかの羊を加えたところ、加えてから４日間で牧草は食べつくされました。　後から加えた羊は何頭ですか。
ただし、牧草は１日に一定量a生え、また、どの羊も１日で同じ量uの牧草を食べるものとします。
方程式を立てていいなら
1500u=15a + b
1200u=10a + b
a=60u
b=600u
80*14u + 4xu = 14a + b =14*60u + 600u
x=(14*60+600-14*80)/4
で俺でも答えられる。

876:１３２人目の素数さん
18/10/22 19:45:49.05 ScrwDgzM.net
>>856
線分図の左がはじめの草の量、
右がそれぞれ14回、9回分増えた草の量
(○の中の数字は1日に草の増える量)
(a) 100頭15日(のべ1500匹)├──┼───┤⑭増える
(b) 120頭10日(のべ1200匹)├──┼──┤⑨増える
するとのべ300匹で⑤だけの草を食べることができる
草を①だけ食べるには60匹必要
(b)を使うと、のべ1200匹が食べた草の総量は1200÷60で⑳と求まる
よってはじめの草の量は⑪
(c) 80頭10日(のべ800匹)├──┼──┤⑨増える
このうち、10日経った時点で(800/60)=(40/3)食べられるので
残りは⑳-(40/3)=(20/3)
あと4日間で全体は(20/3)+④=(32/3)になるので
これを食べるには、4日間でのべ60×32/3=640頭必要
1日あたり160頭必要ということだから、160-80=80頭増やしたことになる

877:１３２人目の素数さん
18/10/22 20:11:53.26 N2Ov4rc5.net
>>857
前日まで生えた分だけでなくその日にリアルタイムで生えているのも食べるから増えるのは15日と10日分では？

878:１３２人目の素数さん
18/10/22 20:20:13.50 ScrwDgzM.net
>>858
確かに
⑭は⑮に、⑨は⑩に訂正すると
はじめの草の量は⑩になって、あとは大丈夫そうですね

879:１３２人目の素数さん
18/10/22 20:55:25.42 N2Ov4rc5.net
>>859
(800/60)=(40/3)は80頭が10日で食べた量は40/3(13.33)日で生えた
草の量だが⑳-(40/3)=(20/3)の意味不明。
はじめあった草の量⑩も出てこないし。

880:１３２人目の素数さん
18/10/22 21:02:44.62 ScrwDgzM.net
>>860
(c)の図(10日目が終わった時点)で
はじめの草の量⑩に、10日間で増える草の量⑩を加えて⑳
80頭の羊はそのうち(40/3)を食べてるので、
10日目が終わった時点で残りの草の量は(20/3)
という意味です

881:１３２人目の素数さん
18/10/22 21:22:18.74 N2Ov4rc5.net
>>861
理解できました。
一匹の羊が1日に食べる量を１unitとして考えた方が易しくないかな。分数も出てこないし。
1日に60unit草が生える、最初の草量は600unit。

882:１３２人目の素数さん
18/10/22 21:24:56.34 UlyuzeXD.net
(100×15-120×10)/5 = 60 だからこの牧場はストック0でも自然増加分で60頭の羊が賄える。
最初のストックは容量を120-60=60頭超過した時10日で食い尽くす量だから600頭日分。
容量超過が80-60=20頭の時10日で減らしたストックは200頭日分だから残りストックは400頭日分。
それを4日で食べ尽くしたので最後の4日の容量超過は100頭。
増えた羊は80頭。

883:１３２人目の素数さん
18/10/22 22:12:55.60 E8LyAx4E.net
大量に入荷したアルヨ
　　　　　　 ε　⌒ﾍ⌒ヽﾌ
　　　　　　（　　( 　・ω・）
　　　　 ε　⌒ﾍ⌒ヽﾌ⌒ヽﾌ
　　　　（　　( 　・ω・） ω・）
　　ε　⌒ﾍ⌒ヽﾌ⌒ﾍ⌒ヽﾌ⌒ヽﾌ
　　（　　( 　・ω・） ( 　・ω・）ω・）
　 ε　⌒ﾍ⌒ヽﾌ⌒ﾍ⌒ヽﾌﾍ⌒ヽﾌ⌒ヽﾌ
　（　　( 　・ω・） ( 　・ω・）

884: ・ω・）ω・）　　しーし─Ｊしーし─Ｊし─Ｊ　─Ｊ

885:１３２人目の素数さん
18/10/23 00:57:47.42 REh3NVF5.net
■最初からある草の量をbとおく
１５a＋b＝１５００u……①
１０a＋b＝１２００u……②
②からb＝１２００u－１０aこれを①に代入して
１５a＋１２００u－１０a＝１５００u
５a＝３００u
a＝６０u
b＝６００u
８０頭の羊はx頭の羊を加えられた後も牧草を
食べつづけるので　８０ｘ１４u
x頭の羊は４日間牧草を食べるので　４ｘu
１４日間で消費される牧草の量は　１４a＋b
８０ｘ１４u＋４ｘu＝１４a＋b
４ｘu＝１４a＋b－８０ｘ１４u
　　　＝１４ｘ６０u＋６００u－８０ｘ１４u
　　　＝８４０u＋６００u－１１２０u
　　　＝１４４０u－１１２０u
　　　＝３２０u
∴ｘ＝３２０u／４u＝８０

886:１３２人目の素数さん
18/10/23 07:48:20.91 L2HgjxkJ.net
>>865
方程式は問題とともに既出なのだから
レスを重ねるなら別解か誤答でないと芸にならんぞｗ

887:１３２人目の素数さん
18/10/23 07:59:42.41 L2HgjxkJ.net
数字の１と２だけを使って整数を作り、小さい方から並べます。１，２，１１，１２，２１，２２・・・このとき、次の問に答えなさい。
（１）１２１２１２１２１２は小さい方から数えて何番目ですか。

888:１３２人目の素数さん
18/10/23 11:34:27.92 QCR0wRAh.net
任意の自然数nに対して、2005^n が、互いに素な２つの整数の平方和で表せることを示せ。

889:１３２人目の素数さん
18/10/23 12:02:39.33 3PnXS1dT.net
>>867
１３６４番め
digi = function(x){ # 1000 -> 4 , 999 -> 3
n=ceiling(log10(x))
ifelse(10^n==x,n+1,n)
}
n2a <- function(num){ # nmu to array 122 -> c(1,2,2)
N=10
r=num%%N
q=num%/%N
while(q>0){
r=append(q%%N,r)
q=q%/%N
}
return(r)
}
one2n <- function(x){ # 121 -> 13
a=n2a(x)
k=digi(x)
p=2^((k-1):0)
sum(a*p)
}
x=1212121212
> one2n(x)
[1] 1364

890:１３２人目の素数さん
18/10/23 12:10:36.27 3PnXS1dT.net
>>867
（２）１０００番目にくる数は何ですか？

891:１３２人目の素数さん
18/10/23 12:32:10.52 L2HgjxkJ.net
>>870
このプログラミングに難渋してる

892:１３２人目の素数さん
18/10/23 12:41:03.14 ow6G4yxf.net
Prelude Data.List> let xs = concat $ iterate (¥x->[1:n| n<-x] ++ [2:n|n<-x]) [[1],[2]]
Prelude Data.List> xs !! 999
[2,2,2,2,1,2,1,1,2]

893:１３２人目の素数さん
18/10/23 12:58:41.42 foOj88Cn.net
>>868
2005 = (20^2 + 1)(2^2 + 1) = 41^2 + 18^2 = 39^2 + 22^2,
下の公式により 2005^n は2つの平方の和。
互いに素となるかどうか…
〔公式〕
(aa+bb)(㏄+dd) = (ad-bc)^2 + (ac+bd)^2 = (ad+bc)^2 + (ac-bd)^2,
URLﾘﾝｸ(www.quora.com)

894:１３２人目の素数さん
18/10/23 13:00:38.96 3PnXS1dT.net
>>870
library(gtools)
perm=permutations(2,9,v=1:2,rep=T)
onetwo=function(x){
n=length(x)
sum(x*2^((n-1):0))
}
perm[which(apply(perm,1,onetwo)==1000),]
> perm[which(apply(perm,1,onetwo)==1000),]
[1] 2 2 2 2 1 2 1 1 2
と総当たりで出すには出せるが、全くエレガントでない　：（

895:１３２人目の素数さん
18/10/23 13:01:02.40 3PnXS1dT.net
>>872
ありがとうございました。

896:１３２人目の素数さん
18/10/23 13:16:16.58 ow6G4yxf.net
>>868
N(a+bi) = a^2 + b^2 として ((20+i)(2+i))^n = u + vi とおけば
2005^n = (N(20 + i)N(2+i))^n = N(((20+i)(2+i))^n) = u^2 + v^2
ここで (u,v) のZ[i] における素因子 p + qi をとれば p - qi | (u,v) | u + vi でもある。
しかし Z[i] は UFD だから p+qi = (20+i)i^e、(2+i)i^e とおける。
このときいずれにせよ p - qi = (20-i)(-i)^e、(2-i)(-i)^e は u + vi の素因子でないので矛盾。

897:１３２人目の素数さん
18/10/23 13:44:30.07 foOj88Cn.net
>>850
(1)
正整数nについての帰納法で。
・n≦3 のとき
　1 = F_2、2 = F_3、3 = F_4
*　「和」は1項だけの場合もある。
・n>3 のとき
　nを超えない最大のフィボナッチ数を F_m とする。　F_m ≦ n < F_{m+1}
もしも和が F_m を含まないなら、
　Σ(k=0，[(m-2)/2]) F_{m-1-2k} = Σ(k=0，[(m-2)/2]) ( F_{m-2k} - F_{m-2k-2} ) = F_m - 1 < F_m ≦ n,
となり矛盾する。よって、和は F_m を含む。
　帰納法の仮定により、n - F_m は連続しないフィボナッチ数の和である。
　n - F_m < F_{m+1} - F_m = F_{m-1}
∴ n - F_m に対する和は　F_{m-1} を含まないから　F_m と連続しない。
∴ nについても命題が成立する。

次ページ