勾股数组一个性质的证明

在《圆和二次方程》一书中,给出了任何一组勾股数组a、b、c都可由公式a=m~2-n~2,b=2m~n,c=m~2+n~2表示(这里m、n-奇-偶,m>n,m、n均为自然数),同时指出“abc一定能被60整除”,因为它的证明“已经超出你们的知识范围,这里就不谈了”。为此,笔者给出一种浅显的证明。下面先证两个引理。引理1。任何自然数p若不能被3整除,则p~2-1能被3整除。证明:因为任何不能被3整除的自然数p均可表示勾:p=3k±1(这里k为自然数)而p~2=(3k±1)~2=9k~2±6k+1=3(3k~2±2k)+1,所以p~2-1能被3整除。引理2.任何自然数q若不能被5整除,则q~4-1能被5整除。证明:因为任何不能被5整除的自然数q可表示为q=5l±1,或q=5l±2 (这里l为自然数) 而当q=5l±1时,q-1或q+1能被5整除;当q=5l±2时,q~2=(5l±2)~2