代数的整数論 005
■ このスレッドは過去ログ倉庫に格納されています
0368Kummer ◆g2BU0D6YN2
2007/05/20(日) 10:24:42φ_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)
■ このスレッドは過去ログ倉庫に格納されています