これは間違いだよね。

質問

いまa[n+1] = ∫[上a[n] ,下-1] f(x)dx と定義します。

また∫「上1,下-1」f(x)dx = 1とします。

∫[上1,下 a[n]]f(x)dx = 1- a[n+1]を示します。

-----
∫[上1,下 a[n]]f(x)dx = 1- a[n+1]　⇔ ∫[上1,下 a[n]]f(x)dx + a[n+1] = 1
⇔　∫[上1,下 a[n]]f(x)dx + ∫[上a[n] ,下-1] f(x)dx = ∫[上1 ,下-1] f(x)dx = 1より示せた

これって最初の出発点が証明すべき式で始まっているから、誤りですよね。

回答No.1

f272

証明すべき式と同値な式を求めていくと，与えられていた式になったと言うことでしょう。
「最初の出発点が証明すべき式で始まっているから、誤り」ということはない。