tan1°は有理数か
この問題の証明の仕方を教えてください