数学奥赛辅导不定方程.docx

PAGE PAGE 10 / 12 数学奥赛辅导 第四讲 不定方程 知识、方法、技能 不定方程是指未知数的个数多于方程的个数，且未知数的取值范围是受某些限制（如整数、正整数或有理数）的方程.不定方程是数论的一个重要课题，也是一个非常困难和复杂的课题. Ⅰ. 几类不定方程 一次不定方程 在不定方程和不定方程组中，最简单的不定方程是整系数方程 ax ? by ? c ? 0, (a ? 0, b ? 0) 通常称之为二元一次不定方程. 一次不定方程解的情况有如下定理. 定理一：二元一次不定方程 ax ? by ? c, a, b, c 为整数. 有整数解的充分必要条件是(a, b) | c . ① 【证】必要性 设 x , y 是①的解，则有ax ? by ? c . 0 0 0 0 设 d ? (a, b),则有d | ax , d | by , 所以有d | c. 0 0 充分性 设d ? (a, b) 且 d | c ，有c ? c d .因d ? (a, b) ，则存在 x , y ，使得 1 0 0 d ? ax ? by ， 0 0 于是有c ? c 1 d ? a ? c x 1 0 b ? c y , 1 0 所以c x , c y 1 0 1 0 是①的解. 显然，当方程①有解时， d | c . 则用d 去除①的两端有 a x ? b 1 1 y ? c ② 1 此时， (a , b 1 1 ) ? 1且②与①同解，因此，我们只须讨论(a, b) ? 1时方程①的解. 定理二：若(a, b) ? 1,且x0 , y0 为①之一解，则方程①全部解为 x ? x ? bt, y ? y ? at . （t 为整数）. 0 0 【证】设 x , y 为①的一解，则有 0 0 ax ? by ? c ③ 0 0 设 x, y 是①的任一解. 用①式减去③式有 a(x ? x ) ? b( y ? y ) ? 0 . 0 0 因为(a, b) ? 1, 于是有 b | (x ? x ) ，即 x ? x ? bt. 从而有 x ? x ? bt. 将此结果代入上 0 0 0 式得 y ? y ? at .即方程任一解都可以表示为x ? x ? bt, y ? y ? at(t 为整数）. 0 0 0 反之，若 x , y 是①的解，则容易验证 x ? x ? bt, y ? y ? at 均是①的解. 从而定理得 0 0 0 0 证. 沛尔( pell) 方程 二元二次不定方程本质上归结为（双曲型）方程 x 2 ? dy 2 ? c ④ 的研究，其中d , c 都是整数， d ? 0 且非平方数，而c ? 0 .方程④的一个特殊情形 x 2 ? dy 2 ? 1 ⑤ d最为重要，也最为基础，这称为沛尔方程. 能够证明（本书不予讨论）方程⑤一定有无 d 穷多组正整数解；又设(x , y 1 1 ) 是⑤的正整数解(x, y) 中使 x ? y 最小的解，则⑤的全部 正整数解由 ?x ? ?  1 [(x ? 2  y )n  ? (x ?  dy )n ] d dn 1 1 1 1 d ? 1 ⑥ 2 2dd?? y ? [(x ? 2 2 d d ? ? n 1 y ) ? (x ? 1 1 y )n ] 1 给出.（n=1，2，?） 读者不难由⑥导出 x , y n n 满足的线性递推关系 ?x ? 2x ? n 1 x n?1 x , n?2 ⑦ ? y ? 2x y ? y n 1 n?1 n?2 沛尔方程在数学竞赛中主要用于证明问题有无穷多个解，实际上对具体的 d，可用尝试 法求出⑤的一组正整数解(x , y 1 1 )（因为方程一定有解！），无论(x , y 1 1 ) 是否为基本解，由⑥ 均给出方程的无穷多组解. 勾股方程 x 2 ? y 2 ? z 2 这是一个相当特殊的三元二次不定方程，它有鲜明的几何意义，并应用广泛. 这里只讨论勾股方程的正整数解，由方程不难看出，如果(x, y) ? d ，则d 2 | z 2 ，从而d | z ，这样可在勾股方程的两边约去d 2 . 所以我们只需讨论满足(x, y) ? 1的解，此时易知x, y, z 实际上两两互素. 这种 x, y, z 两两互素的正整数解(x, y, z) 称为方程的本原解，也称 为本原的勾股数. 将方程模 4，并注意(x, y) ? 1，可知x, y 一奇一偶，无妨设 y 为偶数，下面的结果给出了勾股方程的全部本原解. 定理三：方程 x 2 ? y 2 ? z 2 满足(x, y) ? 1， z | y 的全部正整数解(x, y, z) 可表为 x ? a 2 ? b2 , y ? 2a