Φ オイラーの関数 zero slash 漸化式 二重積分 確率数学の才能を持つコンビニ店員の若い男（健次郎）が，大学入試問題漏洩に関与させられたあげく殺されてしまった事件の謎を，杉下右京が解き明かすという話です．
漸化式の解法
健次郎がニセ学生となって講義を聴き，終了後，教授に質問をする場面です．
｢この証明，別の方法もあると思うんです．僕ちょっと考えたんですけど，まずですね，両辺を$(-1)^{n+1}$で割るんです．そうするとこれ，ただの等差数列になるんです．｣この場面では数学に関する台詞はこれだけでした．別解を考えついて正しいかどうかを確認しに来たものと思われます．これは漸化式の解法のひとつです．注意深く録画したビデオを見てみると，板書には，漸化式から一般項を推測し，それを数学的帰納法で証明する解答が書かれてありました．その板書の一部は次の通りです．
$a_1=1, \space \space a_{n+1}=-a_n+(-1)^n$
$a_1=1, \space \space a_2=-2, \space \space a_3=3, \space \space \cdot \cdot \cdot \cdot, \space \space a_n=n \cdot (-1)^{n+1}$実際にこの漸化式の両辺を$(-1)^{n+1}$で割ると，$\frac{a_{n+1}}{(-1)^{n+1}}=\frac{a_n}{(-1)^{n}}-1$となります．すると数列$\lbrace{\frac{a_n}{(-1)^{n}}}\rbrace$は，初項${\frac{a_1}{(-1)}}=-a_1=-1$，公差$-1$の等差数列となり，$\frac{a_n}{(-1)^{n}}=-1+(n-1)\cdot(-1)=-n$なので，一般項は$a_n=-n\cdot(-1)^n=n\cdot(-1)^{n+1}$と分かります．
受験生にはよく知られた解法ですが，仮に未習だったとしても，教授が｢驚きました．彼は，我々には考えつかないユニークな発想を持っていたんです．｣と言っていたのは少しオーバーな気がしました．
健次郎が二重積分の問題を解くシーンがありました．
$I=\displaystyle \int_0^{2a} dx \displaystyle \int_{\sqrt{2ax-x^2}}^{\sqrt{4ax}}f(x,y)dy$
の積分順序を交換せよこれは，$I=\displaystyle \int\int_D f(x,y)dydx$（Dは右図の放物線と円と直線x=2aで囲まれた領域）とも書けます．先にyで積分してx軸に垂直な切り口を求め，それをxで積分して，領域Dと曲面z=f(x,y)に挟まれた部分の体積を求める式ですが，積分順序の交換だけなので$f(x,y)$は何でもOKです．
この手順を交換するのですから，先にxで積分してy軸に垂直な切り口を求め，それをyで積分する式をつくるとこのようになります．
$\displaystyle \int_0^a\int_\frac{y^2}{4a}^{a-\sqrt{a^2-y^2}}f(x,y) dx dy+\displaystyle \int_0^a\int_{a+\sqrt{a^2-y^2}}^{2a} f(x,y) dx dy+\displaystyle \int_a^{2\sqrt{2}a}\int_\frac{y^2}{4a}^{2a}f(x,y) dx dy$
道順の確率
｢選択肢に正解がなかった｣という台詞が何度もありました．どんな問題だったのでしょう．録画したビデオからその問題が分かりました．
[問題4] xy平面上の点Aが，原点(0, 0)から点(n, n)（nは3以上の自然数）まで以下のルールで動く．調べてみたらこの出典は，東工大入試問題の1987年第5問の改題と分かりました．元の問題には選択肢がないので難しいですが，この改題なら，n=3の時の解，すなわちP(3, 2)を求め，選択肢にn=3を代入してこの値になるものを選べば良いわけです．(3, 3)へ行くには(3, 2)または(2, 3)を通るしかないので，対称性よりP(3, 2)=P(2, 3)=1/2となります．ところがn=3を選択肢①～⑤のどれに代入しても1/2になりません．なので｢選択肢に正解がなかった｣というわけです．
1. 点(k, l)にあり，k＜n，l＜nならば，点(k+1, l)か点(k, l+1)に1/2の確率で動く．
2. 点(n, l)（l＜n）なら点(n, l+1)へ，点(k, n)（k＜n）なら点(k+1, n)に確率1で動く．
このとき点Aが(n, 2)を通過する確率P(n, 2)は次のうちどれか．
①$(n+1)(\frac{1}{2})^{n+1}$ ②$(n^2+1)(\frac{1}{2})^{n+2}$ ③$(n^2+5n)(\frac{1}{2})^{n+3}$ ④$\frac{1}{(n^2-4n+1)^n}$ ⑤$\frac{n}{2^n+1}$
[Reference]
Math-Station 東工大入試研究
http://kubojie.net/titech.html
