■tan1°は超越数か?(その2)
[Q]tan1°は超越数か?
論法はいささか趣きが異なるが,数学的帰納法で証明する,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°は代数的数である.
===================================
[雑感]
tan30°でもtan60°でもいけない理由がおわかりいただけたであろうか.
tan45°=1の最小多項式は1次であるから,t=1のときはf1(x)=1,g1(x)=xとすればよく,そうすれば
ft+1(x)=ft(x)−xgt(x)
gt+1(x)=xft(x)+gt(x)
よりf2(x)は2次,g2(x)は1次,f3(x)は2次,g3(x)は3次となる.
したがって,
g45(x)−f45(x)
の最小多項式は高々45次,tan1°は高々45次の代数的数である.
===================================