- 74 名前：Kummer ◆g2BU0D6YN2 [2007/03/31(土) 21:17:17 ]
- >>73 より
p_2n/q_2n - p_(2n-2)/q_(2n-2) = k_2n/q_2nq_(2n-2) ＞ 0
よって
p_(2n-2)/q_(2n-2) ＜ p_2n/q_2n
よって数列 {p_2n/q_2n} は単調増加である。
同様にして数列 {p_(2n+1)/q_(2n+1)} は単調減少である。
>>71 より
p_2n/q_2n - p_(2n-1)/q_(2n-1) = -1/q_2nq_(2n-1) ＜ 0
よって
p_2n/q_2n ＜ p_(2n-1)/q_(2n-1)
以上から
p_0/q_0 ≦ p_2/q_2 ≦ . . . ≦ p_3/q_3 ≦ p_1/q_1
