- 94 名前：Kummer ◆g2BU0D6YN2 [2007/04/05(木) 17:29:03 ]
- r ≧ 2 とし、
α = [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
よって α は２次の無理数である。
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 である。
|
 |
