对 技术员同志的 《我对费马问题的证明》 的否定证明

nlrte

由技术员同志的证明过程容易得到下面二个式子
G(x,y,n,a) = (x^n+y^n-1/a)^(1/n) - (x^n+y^n)^(1/n)   ----（1） （由原证明第16行得）
-b = [(x^n+y^n)^(1/n)] - (x^n+y^n)^(1/n)             ----（2） （由原证明第19、20行得）
由（1）、（2）知，
要令 G(x,y,n,a) >= -b 恒成立，
也就是要令 (x^n+y^n-1/a)^(1/n) >= [(x^n+y^n)^(1/n)]  ----（3）恒成立
这并不是通过调整a的值可以办到的
技术员同志认为“完全可以通过调整a值来满足  G(x,y,n,a) >= -b” 是不正确的
若无论 x,y,n 取任何整数值， (x^n+y^n)^(1/n) 都不为整数，那么存在 a>0 使得（3）式成立。
但若存在 x,y,n 使得 (x^n+y^n)^(1/n) 为整数，那么只有 1/a = 0，（3）式才成立
显然 1/a 不能等于0，也就是说，若存在 x,y,n 使得 (x^n+y^n)^(1/n) 为整数，则（3）式不能成立。
现在问题就回到了要证明无论 x,y,n 取任何整数值， (x^n+y^n)^(1/n) 都不为整数，也就是要证明费马定理。
而技术员同志显然并没有证明无论 x,y,n 取任何整数值， (x^n+y^n)^(1/n) 都不为整数，也就是说技术员同志并未证明其定理。

love-math

是滴。这就是问题症结。许多貌似简单的所谓证明，错就错在他所说的“显然”等之后。

EhomeS

没错啊 ~？

技术员

下面引用由nlrte在 2012/02/21 01:38pm 发表的内容： 由技术员同志的证明过程容易得到下面二个式子
G(x,y,n,a) = (x^n+y^n-1/a)^(1/n) - (x^n+y^n)^(1/n) ----（1） （由原证明第16行得）
-b = - (x^n+y^n)^(1/n) ----（2） （由原证明第19、20 ...

我打字很累，解释很麻繁，要是能当面解释就好了。