>>178
n=kにおいて、Σ[a=1,k]F_a = (F_k+2)-1 が成り立つと仮定すると
Σ[a=1,k+1]F_a=(F_k+2)-1+(F_k+1)=(F_k+3)-1
よってn=k+1 のときも成り立つ。