n=kのとき、π^kが無理数であると仮定する。
n=k+1のとき、
π^(k+1)=π^k × π・・・①
いま、π^kは無理数であり、πも仮定から無理数である。
πは超越数である事実を用いれば、①も無理数である。