0018132人目の素数さん
2020/04/02(木) 16:05:23.97ID:/ibIj00gと書けばよく分かる。
e^x - e = 0 をニュートン法で解いてるみたいな式だが・・・・
〔補題〕
x>0 のとき 0 < f(x) -1 < xx/2,
t>0 のとき exp(-t) < 1,
f(x) -1 = x -1 + exp(-x) = ∫[0,x] {1-exp(-t)} dt > 0,
∴ 0 < 1-exp(-t) < t, (t>0)
f(x) -1 = ∫[0,x] {1-exp(-t)} dt < ∫[0,x] t dt = xx/2,
0 < a[n+1] -1 = f(a[n]-1) -1 < (1/2)(a[n]-1)^2,
a[n] -1 ≦ 2 になると(正ではあるが)小さくなる。
a[1] -1 = -1,
a[2] -1 = e -2 = 0.718288183
a[3] -1 = e-3 +e^(2-e) = 0.20587113