>>209
0<k<p　では 　pCk = 0 mod p より
　(a+bi)^p = a^p +b^p i^p mod p
p>2 より、pは奇数。よって、(a+bi)^pは実数ではない。