20. 予想の証明(つづき):
Case3: an = □□…□3△△…△ または
an = 3△△…△ という形のとき
(ただし,□はすべて3ではなく,△の少なくとも
どれか1つは9ではないとき)
an+1 = an +1.
(例: an =1394のとき, an+1 = 1395= an +1.)
21. 予想の証明(つづき):
Case4: an = □□…□399…9 またはan = 399…9
という形であって,□はすべて3ではないとき
an+1の末尾は400…0という形になる.これに3
を足せば末尾は40…03あるいは43となって,3
が現れるので,
an+1 = an +1+3 = an +4
である.
(例: an =399のとき, an+1 =403 = an+4.)