1≦n≦88として


tan(n+1)゜=加法定理からtann゜であらわせる。したがって


tan1゜が有理数と仮定すると帰納的にtann゜も有理数だがtan30゜は無理数だから矛盾


よってtan1゜は無理数


だめ?