■エジプト三角形(その12)

 京都大学の入試問題(2006年)に

[Q]tan1°は有理数か? 無理数か?

という問題が出題されているそうである.

  [参]吉田信夫「極限的数論入門」現代数学社

によるとtan30°=1/√3(無理数)なので,tan1°は無理数であるとのことであるが,もう少し考えてみよう.

===================================

 背理法で証明する,正接の加法定理

  tan(x+y)=(tanx+tany)/(1−tanx・tany)

において,tanxとtanyの両者が有理数ならばtan(x+y)も有理数である.

 tan1°が有理数と仮定すると,tan2°も有理数である.tan2°が有理数と仮定すると,tan3°も有理数である.この操作を繰り返すとtan30°も有理数となるが,実際は無理数であるから矛盾する.(もちろん,tan60°も有理数となるから矛盾であるとしてもよい.)

===================================

[Q]tan1°は代数的数か? 超越数か?

  [参]吉田信夫「極限的数論入門」現代数学社

によると,tan45°=1なので,同様の論法によりtan1°は高々45次の代数的数である(少し考えてみてほしい).

===================================