aを有理数、αを無理数とするとき
a^αが無理数になることを証明せよ