iを虚数単位とする。
kを自然数、p,qを相異なる素数とし、数列
a[n] = {k+(k+1)i}(p+qi)^n
を考える。
全てのnに対してa[n]は実数でないことを証明せよ。