代数的整数論 005
■ このスレッドは過去ログ倉庫に格納されています
0062Kummer ◆g2BU0D6YN2
2007/03/31(土) 09:06:50θ = A_0A_1. . . A_n(θ_(n+1))
よって
θ_(n+1) = (B_n)^(-1)(θ) である。
ここで B_n = A_0A_1. . . A_n である。
>>44 より
B_n = (p_n, p_(n-1))/(q_n, q_(n-1))
>>57 より
det(B_n) = p_nq_(n-1) - q_np_(n-1) = (-1)^(n+1)
よって
(B_n)^(-1) = (-1)^(n+1)(q_(n-1), -p_(n-1))/(-q_n, p_n)
よって
θ_(n+1) = (-1)^(n+1) (q_(n-1)θ - p_(n-1))/(-q_nθ + p_n)
なお、
(B_n)^(-1) = (A_n)^(-1) . . . (A_0)^(-1)
= (0, 1)/(1, -k_n) . . . (0, 1)/(1, -k_0)
よって
(0, 1)/(1, -k_n) . . . (0, 1)/(1, -k_0)
= (-1)^(n+1)(q_(n-1), -p_(n-1))/(-q_n, p_n)
■ このスレッドは過去ログ倉庫に格納されています