设是一个素数。证明:方程
没有整数解。
证:
1.简化问题
考虑复数单位根。设 是
次单位根,那么
。
2.代数数的表示
考虑多项式。
注意这里的根是 。我们把
替换为
。
3.多项式的性质
考虑多项式
注意到 是一个有理系数多项式,因为它的根是共轭的成对出现。根据对称性,
。
4.特殊值的代入
现在我们考虑的形式。假设有整数解,那么
。
5.排除整数解的可能性
注意到所有的都是不同的值,并且它们都是代数数。我们现在假设
和
是整数,使得
。
如果是整数,那么这些整数必须能整除
(因为乘积等于
)。但是,这些
的值不同,因此
不可能全部是整数(因为
在
之间)。
6.乘积性质
我们需要证明这样的整数 和
不存在。假设存在这样的整数
和
,使得
。
考虑这些值的范围。由于 在
之间,
也在
之间。要使这个乘积等于
,这些值必须是
或
的形式。
7.矛盾的产生
由于 的值不同,
不可能都是整数。如果
是整数,那么这些整数的乘积等于
,这是不可能的,因为它们的不同值的组合不能整除
。
综上,方程没有整数解
和
。