3項間の漸化式をつくり，数学的帰納法を用いてa_nが自然数であることを示します．(4)はユークリッドの互除法を用います．