09/09/21 03:12:58
>>398(訂正版 >>404)
n=3のとき題意を充たすpが存在しないことを示せばよい。
(n=k≧4のときに存在すれば、p=a_{k-2}と置き直してa_3=3となる)
a_3=3となるには、a_2の各位の値は3が1つと残りは1でなければならない。
ところでa_2はpの各位の数の積なので、a_2の素因数としてありうるものは2、3、5、7。
素因数に2、5を含むとすると、a_2の1の位が偶数または5となり不適。
よってa_2=3^s・7^t(s、tは非負整数)とかける。
ここでa_2の1の位としてありうるものは1、3、7、9であるが、それらと3あるいは7との積の10の位は偶数であるから、
任意の(s,t)について、帰納的にa_2の10の位は偶数である。これとa_2が2桁以上の整数であることにより、a_3は偶数となる。
従ってa_3=3とはなりえないから、題意は示された。
帰納的に~あたりは端折りすぎというか、言葉遣いが間違ってる気がするが伝わるだろうか…。
あと、この議論だと1、7、9にもなりえない気が…。