最后,重要的一点:
对x>1的情形 :等式左边,未被其系数整除尽分母c的分式,整理为分母次数由低向高排例,且分子小于分母的样式:
± [i'/c^(i)-j'/c^(j)+f'/c^(f)-t'/c^(t)……± k'x^(n-2)/hc^(k)]
可以证明:
这些分式最终的和不会是整数。
设 :
± [i'/c^(i)-j'/c^(j)+f'/c^(f)-t'/c^(t)……k'x^(n-2)/hc^k] =s (s为整数)
且最后一项与c通约后的系数k'与c互质。
则:
± [i'hc^(k-i)-j'hc^(k-j)+f'hc^(k-f)……±k'x^(n-2)] = shc^k
则:k'x^(n-2)= shc^k ± [i'hc^(k-i)-j'hc^(k-j)+f'hc^(k-f)……]
k' x^(n-2)= shc^k ± c^(k-f)[i'hk^(f-i)-j'hc^(f-j)+f'h……]
则:
k'x^(n-2)/c^(k-f)= shc^(k-f) ± [i'hk^(f-i)-j'hc^(f-j)+f'h……]
因等式左边的分子与分母互质,不会被通约或整除,等式左右两边会产生矛盾。
所以:
这些分式最终的和不会是整数!
x=1的情形也可用相似的方法证明。
费马大定理得到充分的证明!


雷达卡
京公网安备 11010802022788号







