初等数论四-夏子厚幻灯片.ppt

第五节 勒让德符号与二次互反律 定理 2 (高斯二次互反律) 若p和q是不同的两个奇质数, 则有: （7） 第五节 勒让德符号与二次互反律 平方剩余的概念最早出现于Euler1754年发表的论文中，Euler对二次互反律的提法并不是这样，这是Legendre和Guass分别独立地发现二次互反律的提法。定理1的证明是Guass在1796年（19岁）时首先给出的，Guass共给出了七种不同的证法（有人统计此定理的证明目前已超过150种）。 第五节 勒让德符号与二次互反律 二次互反律是18世纪数论中最富于创造精神的伟大发现。高斯称反转定律是数论的酵母。二次互反律以各种角度的推广，构成了近代数论的一次重要内容。1900年，Hilbert在第二届世界数学家大会（巴黎）上提出了23个问题，其中第9个问题是：二次互反律应当如何推广？近代数论的许多重大成果都是在这个问题的重大进展，特别在2002年北京世界数学家大会上法国数学家洛朗·拉弗阁获得菲尔兹奖的工作。 第五节 勒让德符号与二次互反律 一般地，若p是质数，计算Legendre符号( )可按以下步骤进行： (ⅰ) 求出a0 ? a (mod p)，1 ? a0 ? p； (ⅱ) 将a0写成a0 = Q2q1q2?qk的形式，其中Q?Z，q1, q2,?, qk是互不相同的质数； (ⅲ) 若有某个qi = 2，用推论1.2判定 之值； 第五节 勒让德符号与二次互反律 (ⅳ) 若qi ? 2，利用定理1将 的计算转化为计算 ； (ⅴ) 重复以上步骤，直至求出每个 ； (ⅵ) 计算 。 第五节 勒让德符号与二次互反律 例2 已知563是质数，判定同余方程 x2 ? 429 (mod 563) 是否有解。 第五节 勒让德符号与二次互反律 解 利用已有的定理，有 故原同余方程有解。 第五节 勒让德符号与二次互反律 例3 求所有的质数p，使得 ?2?QR(p)。 解 若 ?2?QR(p)，则 = 1，因此， 第五节 勒让德符号与二次互反律 由第一组同余方程，得到 p ? 1 (mod 8)； 由第二组同余方程，得到 p ? 3 (mod 8)。 故所求的质数具有形式： p = 8k ? 1 或 p = 8k ? 3，k?Z。 第五节 勒让德符号与二次互反律 例4：若3是质数p的平方剩余，问p是什么形式的质数？ 第五节 勒让德符号与二次互反律 解：∵ 由二次互反律 注意到p3，p只能为p≡±1(mod 4)且 ∴ 只能下列情况 ∴ 或 第五节 勒让德符号与二次互反律 例5 设n是正整数，4n+3与8n+7都是质数，证明： 24n+3?1(mod 8n+7) 由此证明：23|（211-1）， 47|（223-1）， 503|（2251-1）。 第五节 勒让德符号与二次互反律 证明：由条件：设q=8n+7?-1(mod 8)，则 =1，即1≡ ?24n+3(mod q)。故24n+3?1(mod 8n+7)。 当n=2，n= 5，n=62时立得结论。 注：此题可这样表述：设p=4n+3是素数，证明当q=2p+1也是素数时，梅森数Mp=2p-1不是素数。 第五节 勒让德符号与二次互反律 思考与练习4.5 1、用本节的方法判断下列同余方程是否有解。 （i） （ii） （iii） 其中503，563，769，1013都是质数。 2、求出以-2为平方剩余的质数的一般表达式；以-2为平方非剩余的质数的一般表达式。 3、已知9901是素数，试证： 第六节 雅可比符号 我们看到，对于奇质数p，利用计算Legendre符号可以判定同余方程x2 ? a (mod p) 是否