tan1°は無理数であることを証明せよ
(某国立大学)