代数的整数論 005
■ このスレッドは過去ログ倉庫に格納されています
0094Kummer ◆g2BU0D6YN2
2007/04/05(木) 17:29:03α = [k_0, . . . , k_(r-1), . . . ] が長さ r の純循環(>>92)とする。
したがって, k_0 ≧ 1 である。
>>93 より α = (p_(r-1)α + p_(r-2))/(q_(r-1)α + q_(r-2))
ここで、q_0 = 1 とする。
α(q_(r-1)α + q_(r-2) = p_(r-1)α + p_(r-2)
q_(r-1)α^2 + (q_(r-2) - p_(r-1))α - p_(r-2) = 0
よって α は2次の無理数である。
f(x) = q_(r-1)x^2 + (q_(r-2) - p_(r-1))x - p_(r-2) とおく。
f(0) = -p_(r-2) < 0
f(-1) = q_(r-1) - q_(r-2) + p_(r-1) - p_(r-2)
>>44 より
r ≧ 3 のとき
q_(r-1) = q_(r-2)k_(r-1) + q_(r-3)
q_(r-1) - q_(r-2) = (k_(r-1) - 1)q_(r-2) + q_(r-3) ≧ q_(r-3) > 0
r = 2 なら
q_(r-1) - q_(r-2) = q_1 - q_0 = k_1 - 1 ≧ 0
r ≧ 3 のとき
p_(r-1) = p_(r-2)k_(r-1) + p_(r-3)
p_(r-1) - p_(r-2) = (k_(r-1) - 1)p_(r-2) + p_(r-3) ≧ p_(r-3) > 0
r = 2 なら
p_(r-1) - p_(r-2) = p_1 - p_0
= k_0k_1 + 1 - k_0 ≧ (k_1 - 1)k_0 + 1 > 0
以上から f(-1) = q_(r-1) - q_(r-2) + p_(r-1) - p_(r-2) > 0
よって α の共役 β は -1 < β < 0 である。
■ このスレッドは過去ログ倉庫に格納されています