25/09/16 16:46:50.94 IFp7hVjx.net
>>300
Σ _{k＝0,1,…,+∞}(1/(k!＋1)) が有理数であると仮定する
仮定から、或る互いに素な正の整数p,qが存在して
Σ _{k＝0,1,…,+∞}(1/(k!＋1))＝q/p であるから
(p!＋1)!Σ _{k＝0,1,…,+∞}(1/(k!＋1)) は正の整数である
また、(p!＋1)!Σ _{k＝0,1,…,p}(1/(k!＋1)) は正の整数である。よって、
A＝(p!＋1)!Σ _{k＝0,1,…,+∞}(1/(k!＋1))－(p!＋1)!Σ _{k＝0,1,…,p}(1/(k!＋1))
とおくと、Aは正の整数である。しかし、Aを上から評価すれば
A＝(p!＋1)!Σ _{k＝p+1,p+2,…,+∞}(1/(k!＋1))
＝(p!＋1)!Σ _{k＝p+1,p+2,…,+∞}(1/(k!＋1))
＝p!×(p!＋1)Σ _{k＝p+1,p+2,…,+∞}(1/(k!＋1))
＜p!Σ _{k＝p+1,p+2,…,+∞}(1/(k!＋1))
＝p!Σ _{k＝0,1,…,+∞}(1/(k＋p＋1)!＋1)
＜p!Σ _{k＝0,1,…,+∞}(1/(k＋p＋1)!)
＝p!Σ _{k＝1,2,…,+∞}(1/(k＋p)!)
＜Σ _{k＝1,2,…,+∞}(1/2)^k＝1
であるから、Aは正の整数ではない
これはAが正の整数であることに反し、矛盾が生じる
故に、背理法により、Σ _{k＝0,1,…,+∞}(1/(k!＋1)) は無理数である