>>850
リンデマンの定理より有理数q≠0に対して e^(iq) が超越数であることから従う