数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
查看: 3273|回复: 2

从互质理论证明费马大定理

[复制链接]
发表于 2022-11-23 06:25 | 显示全部楼层 |阅读模式
费马方程a^n+b^n≠c^n,n>2
假设a^n+b^n=c^n,则a、b、c互质
c^n-b^n=(c-b)[c^(n-1)+c^(n-2)b+c^(n-3)b^2+……+cb^(n-2)+b^(n-1)]
∵b、c互质
∴(c-b)不能再分解因式
又∵[c^(n-1)+c^(n-2)b+c^(n-3)b^2+……+cb^(n-2)]与b^(n-1)互质
∴[c^(n-1)+c^(n-2)b+c^(n-3)b^2+……+cb^(n-2)+b^(n-1)]也不能再分解
c^n-b^n只能分解为两个因式的积
当(c-b)是一个n次幂时,由二项式定理可知,
[c^(n-1)+c^(n-2)b+c^(n-3)b^2+……+cb^(n-2)+b^(n-1)]不是一个n次幂
故c^n-b^n≠a^n
 楼主| 发表于 2022-11-23 07:18 | 显示全部楼层
本帖最后由 费尔马1 于 2022-11-23 12:09 编辑

费马方程a^n+b^n≠c^n,n>2
假设a^n+b^n=c^n,则a、b、c互质
c^n-b^n=(c-b)[c^(n-1)+c^(n-2)b+c^(n-3)b^2+……+cb^(n-2)+b^(n-1)]
∵b、c互质
∴(c-b)不能再分解因式
又∵[c^(n-1)+c^(n-2)b+c^(n-3)b^2+……+cb^(n-2)]与b^(n-1)互质
∴[c^(n-1)+c^(n-2)b+c^(n-3)b^2+……+cb^(n-2)+b^(n-1)]也不能再分解
c^n-b^n只能分解为两个因式的积
当(c-b)是一个n次幂时,由二项式定理可知,
[c^(n-1)+c^(n-2)b+c^(n-3)b^2+……+cb^(n-2)+b^(n-1)]不是一个n次幂
故c^n-b^n≠a^n
再,若c^n-b^n能分解为n个相同的因式的乘积,则费马方程有解,但是,由于
(c-b)与[c^(n-1)+c^(n-2)b+c^(n-3)b^2+……+cb^(n-2)+b^(n-1)]也是互质的,
所以c^n-b^n不能分解为n个因式的乘积,换句话说,(c^n-b^n)只能是一个一次幂,
她连一个平方数都不是,更何况是一个n次幂呢!
所以,(c^n-b^n)不是任何大于1次的次幂(注意,必须是c与b互质,n 大于2)
故,费马大定理成立。
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-6-29 05:56 , Processed in 0.090702 second(s), 16 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表