x和y是一元二次方程 r^2 - 2r + 4 = 0 的两个根。

证明：当 p是素数且 p>3 时，有

x^p + y^p = 2^p

【即x和y的 p次幂的和，是2的p次幂。】

解：

解方程得到

x = 1+i3^(1/2)

y = 1-i3^(1/2)

写成指数形式

x=2e^(ia)

Y=2e^(-ia)

其中，a=pi/3=60度。

x^p + y^p = 2^p(2cos(pa))                    (1)

p被6除的余数只能是1或5，否则就能被2或3或6整除。所以

pa=360k +/- 60

cos(pa) = 0.5

代入(1)就得到

x^p + y^p = 2^p