- 368 名前：Kummer ◆g2BU0D6YN2 [2007/05/20(日) 10:24:42 ]
- >>339 より
φ_FQ( ρ(a, b, c) ) = (1/θ - [1/θ], -sign(a))
よって
φ_FQ( ρ(f_n) ) = (1/θ_n - [1/θ_n], -sign(a_n))
よって
(θ_(n+1), sign(a_(n+1)) = (1/θ_n - [1/θ_n], -sign(a_n))
即ち
θ_(n+1) = 1/θ_n - [1/θ_n]
sign(a_(n+1) = -sign(a_n)
よって
sign(a_n) = (-1)^n sign(a_0)
