回復 1# JingLai 的帖子
之前做過,我覺得我的做法不太好
2. 歸謬法、計算 \( \lim\limits_{n\to\infty} au_{n+1} - bu_{n} =0 \)
(1) \( au_{n+1}-bu_{n}=\frac{(b-1)a^{n+1}+(1-a)b^{n+1}+a-b}{(a^{n+1}-1)(a^{n}-1)} \)
觀察分子,易論證 \( n \) 夠大時,分子為負,故 \( au_{n+1} - bu_n \neq 0\)
(2) 承 (1) 的通分式,分子拆開,可得 \( \lim\limits_{n\to\infty} au_{n+1} - bu_{n} =0 \)
(3) 設 \( u_n \) 皆為正整數,當 \( n \) 夠大時,
由 (1) 及(3)的假設可得 \( au_{n+1} - bu_n \) 為非 0 整數,故\( |au_{n+1} - bu_n | \geq 1 \)
與 (2) 中結論矛盾,故存在正整數 \( n \) 使得 \( u_n \) 不為正整數
3. 基本上就是要仿照2的構造一個輔助式,印象不難做
4. 如果一直構造下去的話,會得到除了 1. 以外,都能找到正整數 \( n \),使得 \( u_n \) 不是正整數
但...那個構造,我沒找到簡潔的式子可以一直構造下,也就是沒完成證明
[ 本帖最後由 tsusy 於 2020-5-19 22:29 編輯 ]