帰無仮説 同じ誕生日の確率 素数の無限性 最適化問題 ハノイの塔 リーマン予想 フィボナッチ数 フェルマーの最終定理
理系大学院生の雪村心夜と氷室菖蒲が，お互いを好きなのかどうかをいろいろな実験を通して考察していくという話で，数学や理科の用語がたくさん出てきます．
[証明2] 理系が恋に落ちたので心拍数を測ってみた。
本編の後に「リケクマのなげやり理ア充用語解説コーナー」といいうのがあり，帰無仮説について分かり易く解説しています．
「カラスは黒い」を否定するような，ありえねー仮説を立ててみるクマ．「カラスは黒かレインボーの半々」とかクマ．これが帰無仮説クマ．
この時，100匹連続でカラスが黒い確率は，隕石が頭の上を1兆回落ちてくるより小さいクマ．だからこの帰無仮説はありえねークマ．
なら「カラスは黒が90%，他は蛍光ピンク」という帰無仮説はどうクマ? これでも，100匹連続でカラスが黒い確率は0.00265%くらいクマ．やっぱありえねークマ．
「カラスは97.1%が黒」あたりから，確率が5%以上になり，やっとギリありえる感じになるクマ．よって「全てのカラスは黒い」とは言えなくても「97.1%以上のカラスは黒い」ということは示せるクマ．以上の値を検証してみましょう．
「隕石が頭の上に落ちてくる確率」をネットで調べたら，160万分の1とか100憶分の1とか極端に異なる値が見つかりました．高い方の160万分の1としてもこれが同じ頭の上に1兆回落ちてくる確率は，160万分の1の1兆乗なので，限りなく０に近くなります．
100匹連続で黒いカラスになる確率は，
・黒とレインボーが半々のとき 0.5100=7.8886×10−31（極端に小さいですが，隕石が頭の上に1兆回落ちてくる確率より高いのではないでしょうか）
・黒が90%のとき 0.9100=2.6561×10−5（0.00265%くらい．上記の通り）
・黒が97.1%のとき 0.971100=5.27134×10−2（確率が5%以上．上記の通り）
｢やっとギリありえる感じ」を「確率が5%以上」としていますが，これを有意水準といい，1%とする場合もあります．
[証明3] 理系が恋に落ちたのを思い出してみた。
奏（かなで）「ハノイの塔の問題．漸化式で解いてみたんですけど，みてくれませんか．」
先生「そうです．2n−1．よく解けましたね，奏君．ここからが面白いんですよ．伝説の通り，n=64だとすると，264−1です．これを年数にすると500億年近く．終わるころには世界が滅亡して…」
円板がn枚の時，移すのに必要な手数をanとすると，漸化式はan+1=2an+1となり，これを解いてan=2n−1になります．
伝説の式を実際に計算してみると，1年は60×60×24×365秒ですから，264−160×60×24×365≈5.85×1011＝5850億なので，この先生の台詞「年数にすると500億年近く」は間違っているようです．
[番外編] 理系は誕生日に運命を感じない。
ある人数の中に同じ誕生日の人がいる確率は，小説「数学的にありえない」とドラマ「数学女子学園第7話」に登場しました．n人の中で少なくとも2人以上が同じ誕生日になる確率は、全員が異なる誕生日になる確率を1から引きます．全員が異なる誕生日になる確率は364365⋅363365⋅362365⋯365−(n−1)365=364Pn−1365n−1=365Pn365nなので，1−365Pn365nという式で求められます.
雪村心夜「30人の中に同じ誕生日の2人がいる確率は70.6%だ．」とありましたが，正確には「少なくとも2人以上」ですね．
[証明19] 理系が恋に落ちたので好きの証拠を集めてみた。
雪村心夜「安心しろ．素数を数えているうちに終わる」素数が無限に存在することの証明は背理法で簡単に証明できます．高校数学の教科書に掲載されている√2が無理数であることの証明よりもずっと簡単です．
氷室菖蒲「だめよ．素数は無限に存在しているもの」
有限であると仮定してすべての素数をp1, p2, ⋅⋅⋅ , pnとします．つまりpnが最大の素数です．それらすべての積に1を加えた数は割り切れないので，さらに大きな素数になってしまい，pnが最大の素数であることに矛盾します．よって，素数は無限に存在することがいえます．
因みに The Largest Known Primes によると，2018年1月までに発見されている最も大きな素数は277232917−1で，log10277232917=23249425桁まで来ています．
