An
= 2^n( J( an , bn )-an^2I( an , bn ) ) ( n = 0 , 1 , 2 , 3 , ・・・)
と置く.
J( an , bn )
= 2J( an+1 , bn+1 )-anbnI( an , bn )
I( an , bn )
= I( a0 , b0 )
と使うと
An
= J( a0 , b0 )
-( a0^2-Σ2^( k-1 )ck^2 ( k = 0 〜 n-1 ) )I( a0 , b0 )
が出て来る.
ところが
2^ncn^2
→ 0 ( n → ∞ )
⇒
An
→ 0 ( n → ∞ )
なので
J( a0 , b0 ) = J( a , b )
= ( ( a0^2-Σ2^( k-1 )ck^2 ( k = 0 〜 ∞ ) )I( a0 , b0 )
= ( ( a^2-Σ2^( n-1 )cn^2 ( n = 0 〜 ∞ ) )I( a , b )
こんな事をGaussは1799年頃やっている・・・・・・・
森友特例４連発！
何でそうなるの・・・・・・・
証明ではないけど説明責任は大事やねー