证明费马大定理

朱明君

zengyong 发表于 2019-9-23 00:51
4,  a+b>c，a^n+b^nc, n≤a,
则a^n+b^n＜c^n
注:从大于转为小于,转折点是n≤a

你现在还那么执着，我猜你的意思是：
1）要么a^n+b^n＜c^n,
2）要么a^n+b^n>c^n,
从大于转为小于,转折点是n≤a。
但是，你没有证明第三种情况不存在。
即a^n+b^n=c^n 的情况不存在。

因为:a≤b＜c, a+b>c,所以第三种情况不存在。
即当n>2时,a^n+b^n=c^n 的情况不存在。

zengyong

4^3+5^3=64+125=189,
6^3=216
a+b>c, n<a;

4^4+5^4=256+625=881,
6^4=216=1296
a+b>c, n=a

4^6+5^6=4096+15625=19271,
6^6=216=46656
a+b>c, n>a

这里并没有什么转换啊，始终是 a^n+b^n<c^n。

朱明君

a<b<c     n≤a
4+5>6,   
4^2+5^2>6^2
4^3+5^3>6^3
4^4+5^4<6^4

zengyong

"a< b<c     n≤a
4+5>6,   
4^2+5^2>6^2
4^3+5^3>6^3
4^4+5^4<6^4"

a< b<c     n≤a
5<7<8,   
5^2+7^2>8^2
5^3+7^3<8^3
5^4+7^4<8^4
5^5+7^5<8^5

没有在n<=a 转换啊

zengyong

一会是：
“设:a≤b＜c, a+b>c, n≤a,
则a^n+b^n＜c^n
注:从大于转为小于,转折点是n≤a”

这里又是：
“设:a≤b＜c, a+b>c, n≤a,
则a^n+b^n＜c^n
注:从大于转为小于,转折点是n≥a.”

总之，这些只是陈述，不足以证明大定理。

我的看法不一定对。就言到此吧。

朱明君

zengyong  发表于 2019-9-23 10:14 |
a< b<c     n≤a
5<7<8,   
5^2+7^2>8^2
5^3+7^3<8^3
5^4+7^4<8^4
5^5+7^5<8^5

没有在n<=a 转换啊


a<b<c     n≤a
5+7>8,   
5^2+7^2>8^2
5^3+7^3<8^3
3<5,     n<a,

zengyong

数学证明是必须有严格的数学逻辑语言来表达的。而不能仅用一些简单的语言叙述就
能完成证明。
除非一些命题或推断是公理，或很明显的逻辑关系。

用少数例子可以推翻一个命题。但大多数情况下不能代替证明一个命题。
例如：
你能找到一个
A^n+B^n=C^n,  (n>=3)
的例子，就能推翻了费马大定理。

但你举多少个
A^n+B^n>C^n,  (n>=3)
或
A^n+B^n<C^n,  (n>=3)
的实例，
都不能证明费马大定理没有正整数解。不知你是否懂得这些原则。

朱明君

zengyong 发表于 2019-9-24 07:35
数学证明是必须有严格的数学逻辑语言来表达的。而不能仅用一些简单的语言叙述就
能完成证明。
除非一些命 ...

在费马定理中自然数组a，b，c按n=1时，分为二类:

一,a+b≤c , 这一类的数组,当n>2时,已证明没有等式解
二,a+b>c,   
     1，a+b>c，a^2+b^2=c^2,   这一类的数组,当n>2时,已证明没有等式解
     2,  a+b>c，a^2+b^2>c^2,   这一类的数组,当n>2时,已证明没有等式解
     3,  a+b>c，a^n+b^n<c^n,   这一类的数组,当n>2时,已证明没有等式解

以上数组函盖全部自然数组a，b，c
所以不存在有A^n+B^n=C^n,  (n>=3)的解

朱明君

设:a≤b＜c, a+b>c, n≤a,
则a^n+b^n＜c^n
证明了从大于转为小于,转折点是n≤a.没有等式解


(a+b)-c之差是1的数组，转折点n=2,
(a+b)-c之差是N的数组，转折点n≤N,       (其中N≥2)

费尔马1

这是朱老师的证明过程:
一,a+b≤c , 这一类的数组,当n>2时,已证明没有等式解
二,a+b>c,   
     1，a+b>c，a^2+b^2=c^2,   这一类的数组,当n>2时,已证明没有等式解
     2,  a+b>c，a^2+b^2>c^2,   这一类的数组,当n>2时,已证明没有等式解
     3,  a+b>c，a^n+b^n<c^n,   这一类的数组,当n>2时,已证明没有等式解
学生我提个问题请老师审核:
朱老师的证明提纲应改成如下:
一,a+b≤c , 这一类的数组,当n≥2时,很明显没有正整数等式解（证明从略）；
二,a+b>c,   
     1，a^2+b^2=c^2,   这一类的数组,当n>2时,已证明没有正整数等式解 （证明从略）；
     2,  a^2+b^2＜c^2, 这一类的数组,当n>2时已证明没有正整数等式解 （证明从略）；
     3,  a^2+b^2＞c^2，这一类的数组,当n>2时还没证明没有正整数等式解。