素数p与勾股定理x^2＋y^2=r^2.pdfVIP

第24卷第4期 阜阳师范学院学报(自然科学版) Vo1．24．No．4 2007年12月 Journal of Fuyang Teachers College(Natural Science) Dee．2007 素数P 与勾股定理 2+ 2一 2 王美艳 ，齐恩风 (1．…东工商学院数学与信息科学学院，山东烟台 264005：2．菏泽学院数学系，山东菏泽 274015) 摘 要：利用素数二次剩余的基本性质，得到了一个重要结论：设素数P一4n一1，则Pla +b ，当且仅当户l口，PIb． 在此结论基础上。结合一些已知结论，给出了方程z +y =r 有非零整数解的充要条件为r含有形如4”+1的素 因子． 关键词：素数；勾股定理；整除；二次剩余；二次非剩余 中图分类号：0156 文献标识码：A 文章编号：1004—4329(2007)04—0043—02 l 引言与预备知识 三一 1(modp)。 引理2 (i)设素数P一4 一1．若k为模P的 勾三股四弦五，是我们所熟知的，也是我们中华 二次剩余，则一k为模P的二次非剩余． 民族的骄傲．它表明一个直角三角形，若斜边长度为 (ii)设素数P一4 +1，若k为模P的二_二次剩余， 5，则其两直角边的长度可分别为3和4．也就是说 则一k亦为模P的二次剩余． 斜边长度为5的直角三角形，可以在整数范围内找 证明 (i)设素数P一4n一1，k为模P的二次 到其直角边的解3和4．并且易知，斜边长度为2或3 剩余，于是 的直角三角形，却在整数范围内找不到直角边的 走 三 1(mod )， 解．本文主要讨论勾股定理在整数范围内有解的充 要条件． 又(一1) 一一1三一1(modp)，所以 首先，我们给出与此相关的定义与结论． (一 愚) 一 (一 1) 愚 三 一 1(roodp)， 任一整数均可表示为 一1，4 4 +1，4 +2 从而，根据引理1，一k是模P的 二次非剩余． 其中的某一种的形式，于是奇素数均为4 ±1的形 (ii)设素数 一4 +1，k为模P的二次剩余． 式． 于是 定义1 设素数P2，d是整数，且P斗d，如 愚 三 1(modp)， 果同余方程z。三d(modp)有解，则称d为模P的二 (一 愚) 一 (一 1) 愚 三 一 1(modp)， 次剩余；若无解，则称d为模P的二次非剩余． 从而，根据引理1，一k是模P的二次剩余． 例如，当P一3时，2。三1。三1(mod3)，故d三 1(mod3)是模的二次剩余．由于任一整数均可表示 2 主要结论 为3 ，3 ±1的形式，而(3n)。；0(mod3)，(3n±1)。 定理1 设素数P=4n一1，则P I( 。十与 )，当 一 9n。±6n+1三1(mod3)，于是z。三一1(mod3)