证明x*x+y*y=z*z有正整数解,即存在自然数满足x*x+y*y=z*z.特别申明要用数论推理来证明,不是举例
来源：学生作业帮助网 编辑：六六作业网 时间：2024/12/19 18:51:51
证明x*x+y*y=z*z有正整数解,即存在自然数满足x*x+y*y=z*z.特别申明要用数论推理来证明,不是举例
证明x*x+y*y=z*z有正整数解,即存在自然数满足x*x+y*y=z*z.特别申明要用数论推理来证明,不是举例
证明x*x+y*y=z*z有正整数解,即存在自然数满足x*x+y*y=z*z.特别申明要用数论推理来证明,不是举例
已知a^2+b^2=c^2,a,b,c均为正整数,求a,b,c满足的条件.
结论1：从题目中可以看出,a+b>c （1）,联想到三角形的成立条件容易得出.
结论2：a^2=c^2-b^2=(c+b)*(c-b) （2）
从（2）中可以看出题目的关键是找出a^2做因式分解的性质,令X=c+b,Y=c-b
所以：a^2=X*Y,(X>Y,a>Y) （3）
首先将Y做分解,设Y的所有因子中能写成平方数的最大的一个为k=m^2,所以Y=n*m^2 （4）
又（3）式可知a^2=X*n*m^2 （5）
比较(5)式两边可以a必能被m整除,且n中不可能存在素数的平方因子,否则与（4）中的最大平方数矛盾.
同理可知a^2=Y*n'*m'^2 （6）,X=n'*m'^2,且 n'为不相同素数的乘积
将（5）式与（6）式相乘得a^2=(m*m')^2*n'*n,（n,n'为不相同素数的乘积） （7）
根据（7）知n*n'仍然为平方数,又由于n',n均为不相同素数乘积知n=n'(自行证明,比较简单）
可知a=m'*m*n
c=(X+Y)/2=(n*m^2+n*m'^2)/2=n*(m^2+m'^2)/2
b=(X-Y)/2=n*(m'^2-m^2)/2
a=m*n*m'
xx=a
yy=b
zz=c
1/ab+1/bc+1/ac=1
不妨设
a>=b>=c
3/cc>=1/ab+1/bc+1/ac=1
cc<=3
c=zz是整数
c=1
1/ab+1/b+1/a=1
a>=b
1＋a+b＝ab
1＋b=a(1-b)>=b(b-1)
b=yy正是整数
b=1,2
b=yy完全平方
b=1
2＋a=2a
a=2
a=xx矛盾
无解