0006132人目の素数さん垢版 | 大砲2021/02/28(日) 00:54:28.22ID:Z0EvQi/R わかった bn=(12 an^2-(-2)^(n+1))/2^(n+1) とおくとbnは漸化式 b0=1,b1=2,b(n+2)=4b(n+1)-bn を満たす この時bnが4の倍数となるのはないので十分大きなnでanは整数ではない