0608名無しさん@1周年
2018/04/01(日) 12:56:46.36なれないよ。簡単すぎ。進学校なら中学生でもできる
1.背理法
有理数 2*b/aと置く
つまり、π/2 = b/a
2.準備(定義)
I(n, x) = <-1から1までdz積分> (1-z**2)**n * cos xz
なお、nは自然数とする)
3.矛盾の導出
(1)結論A
n**(2n+1)/n! I(n, π/2)を計算すると整数となるのは定義どおり積分すれば明らか
(2)結論B
nを十分大きくすると
n**(2n+1)/n! I(n, π/2)=n**(2n+1)/n! I(n, b/a) < 1
へ収束する(なお、nが十分大きいのでこの値が 0 より大きいことも明らか)
(3)結論Aと結論Bで、計算値は整数なのに1より小さくゼロより大きい
これは矛盾
すなわち、πは有理数では表現できない=無理数