tan1°が無理数であることの証明すら面倒くせえのに一体どんな回答を求めているんだ