数论模分析

　最近准备cet4,无心做题,抽空把《怎样解题》(不是波利亚那本英文原名叫<<The art and craft of problem solving>>),的数论部分看完.

===========================我是分界线==========================

　问题描述： 给定正整数m,求所有正整数的三元组(x,y,n)满足(x²+ y²)^m =  (xy)ⁿ  。(m,n互素)

　首先由基本不等式x²+ y²>= 2xy; 得到 (xy)ⁿ   >= 2^m(xy)^m

　马上得出 n>m(显然当且仅当m=0时取等号,而m已知为正), 目前这个结论好像没有用,但是推理到后面谁知道呢,那些容易推出的隐含条件,都不要放过.

　再进行奇偶分析:

　(x,y)都为奇数时, 左边为偶数,右边为奇数,显然不会成立.

　(x,y)一奇一偶,左边为奇数,右边为偶数,显然也不会成立.

　那么只可能同为偶数了.

　不妨设 x=2^ra ; y= 2^sb;其中a,b都是奇数.

　现在代入原式看看有神马变化.

　(2^2ra²+2^2sb²)^m=2^n(r+s)(ab)ⁿ

　这是我们会有种强烈的欲望要把左边2的幂都提出来......

　还需讨论2种情况:

　1. 　　r!=s

　不妨设 r>s

　2^2sm( 2^2(r-s)a²+b² )^m= 2^n(r+s)(ab)ⁿ

　这时我们发现正好把一个数分解成了奇数因子和偶数因子,于是必有

　2^2sm=2^n(r+s)  和 (2^2(r-s)a²+b² )^m  =(ab)ⁿ

　右边还比较复杂,但由左边知 2sm=n(r+s) 即 s(m-n) = rn - sm, 我们发现左边有因子(m-n), 利用第一步得到的n>m知道这是一个负因子,而右边

　r>s,n>m 所以 rn - sm>0,得到矛盾.

　因此在r>s时无解.

　2. 　　r==s

　 2^2sm( a²+b² )^m=2^2sn(ab)ⁿ

　再次考虑奇偶性, 左边( a²+b² )是一个偶数的m次幂和一个偶数因子 2^2sm, 右边则被分解成了奇数因子(ab)ⁿ 和偶数因子2^2sn。

　得到左边的偶数因子2^sm+m , 于是必有 2sm+m=2sn .

　可以尝试一下简单的情况 a=b=s=1 时, m=2,n=3;我们得到了一组解, 这貌似没什么用,但至少知道,这个问题是有解的,下面尝试去找出解的形式.

　回顾前面的推理,我们反复用到了奇偶分析,也就是说用到了等式两边因子2的个数,来讨论和排除各种情况.

　为什么不用其他的素数p来代替因子2,进行模p分析呢？

　进行同样的模p分析会发现x,y 也都必须同时有因子p,且p的个数相同.

　对所有素数p进行上述分析都会得到这样一个结果:x,y具有相同个数的p因子.

　那么只有可能x=y.(这几步太犀利了...T_T)

　于是:

　 2^mx^2m = x²ⁿ 

　即　　x^2n-2m = 2^m ,所以 x=2^t

　即　　t(2n-2m)=m, 即 2tn=(2t+1)m

　现在问题已经是最简的形式了,我们发现m,n互素的条件没有用到.
　因为2t与2t+1也互素,所以唯一的可能就是 n=2t+1,m=2t.

　至此问题已经完全解决.

　x=y=t;m=2t;n=2t+1;

 

转载于:https://www.cnblogs.com/eggeek/archive/2011/12/15/2289355.html