>>251
リンデマンの定理使えば簡単
もっと初等的にも出来るだろうが