代数的整数論 005
■ このスレッドは過去ログ倉庫に格納されています
0064Kummer ◆g2BU0D6YN2
2007/03/31(土) 10:11:29(x_0, x_1)' = A_0(x_1, x_2)' となる。
ここで (x_0, x_1)' は 行ベクトル (x_0, x_1) を転置した列ベクトル
を表す。
同様に
(x_(n-1), x_n)' = A_(n-1)(x_n, x_(n+1))'
(x_n, x_(n+1))' = A_n(x_(n+1), 0)'
となる。
x_0 = a
x_1 = b だったから
(a, b)' = A_0A_1. . . A_n (d, 0)' となる。
B_n = A_0A_1. . . A_n とおけば、
(d, 0)' = (B_n)^(-1)(a, b)'
>>62 より
(B_n)^(-1) = (-1)^(n+1)(q_(n-1), -p_(n-1))/(-q_n, p_n)
よって
(-1)^(n+1)d = q_(n-1)a - p_(n-1)b
これによって一次不定方程式 d = ax + by が解けたことになる。
■ このスレッドは過去ログ倉庫に格納されています