如何证明一组勾股数中必然有一个数是5的倍数?

勾股弦3组数满足x²+y²=z²
如果想x，y中无5的倍数x=5k±1或者5k±2
y=5m±1或者y=5m±2
分情况讨论：
（5m±1）²+（5k±1)²是被5除余2的数，一定不是完全平方数，所以≠z²，所以有一个是5的倍数
同理可证其余情况

勾股定理针对直角三角形，勾3股4玄5，勾指较短的直角边，股指较长的直角边，玄指斜边。如果把这个三角形按比例放大，那么它的斜边永远是5的倍数。

我们不妨设任一组勾股数：a,b,c,且令a^2+b^2=c^2
再引进两个整数p>q>0,令a=p^2-q^2,b=2pq,则c=p^2+q^2
假设a,b,c里边没有一个是5的倍数.
那么a=p^2-q^2=(p+q)(p-q),b=2pq,因此p,q,p+q和p-q都不是5的倍数.
于是,设任意非负整数m,n
p和q的组成形式只有：
1.p=5m+1,q=5n+2(或p=5m+2,q=5n+1)
2.p=5m+1,q=5n+3(或p=5m+3,q=5n+1)
3.p=5m+2,q=5n+4(或p=5m+4,q=5n+2)
4.p=5m+3,q=5n+4(或p=5m+4,q=5n+3)
因此对于c=p^2+q^2
1.c=(5m+1)^2+(5n+2)^2=25m^2+10m+25n^2+20n+5【或c=(5m+2)^2+(5n+1)^2=25m^2+20m+25n^2+10n+5】,是5的倍数.
对于2.3.4情况同理.
与假设矛盾.
故a.b.c中必然有一个为5的倍数.
即一组勾股数中必然有一个数是5的倍数.
得证.