■tan1°・cos1°・sin1°(その15)
[Q]tan1°は代数的数か? 超越数か?
[A]論法はいささか趣きが異なるが,数学的帰納法で証明する.
tant°が整数係数の多項式ft(x),gt(x)を用いて,
tant°=gt(tan1°)/ft(tan1°)
と表せるものとする.
tan(t+1)°
=(tan1°+tant°)/(1−tan1°・tant°)
=(tan1°+gt(tan1°)/ft(tan1°))/(1−tan1°・gt(tan1°)/ft(tan1°))
=(tan1°ft(tan1°)+gt(tan1°))/(ft(tan1°)−tan1°gt(tan1°))
したがって,
ft+1(x)=ft(x)−xgt(x)
gt+1(x)=xft(x)+gt(x)
とおくことによって
tan(t+1)°=gt+1(tan1°)/ft+1(tan1°)
と表すことができる.
数学的帰納法により
tan45°=g45(tan1°)/f45(tan1°)=1
であるから,tan1°は整数係数の代数方程式
g45(tan1°)−f45(tan1°)=0
の解となる.よって,tan1°は代数的数である.
===================================