一个著名代数恒等式应用.doc

一个著名代数恒等式的应用 　　数学上，把可以构成一个直角三角形三边的一组正整数，称为勾股数.对于勾股数问题，从古至今人们从未停止过探究活动.已知勾边或股边利用整数的性质，容易求出对应的勾股数，但若已知弦边，如何探求勾股数呢？这是一个具挑战性的问题，这里利用一个著名代数恒等式给出一种初等的解决办法，与大家分享. 　　1一个著名代数恒等式 　　1.1恒等式：（a2+b2）（c2+d2） 　　=（ac-bd）2+（ad+bc）2（1） 　　=（ac+bd）2+（ad-bc）2.（2） 　　证明：（1）右边=（ac-bd）2+（ad+bc）2 　　=a2c2-2abcd+b2d2+a2d2+2abcd+b2c2 　　=a2（c2+d2）+b2（d2+c2） 　　=（a2+b2）（c2+d2）=左边. 　　对于等式（2）同理可证.上述等式数学上称为婆萝?笈多─斐波那契恒等式. 　　推论：（a2+b2）2=（a2-b2）2+（2ab）2. 　　证明：利用恒等式（1），得（a2+b2）2=（a2+b2）（a2+b2）=（a2-b2）2+（2ab）2. 　　运用两数和、两数差的完全平方公式转换，同样可证. 　　代数意义：这个恒等式说明了如果有两个数都能表示为两个平方数的和，则这两个数的积也可以表示为两个平方数的和. 　　1.2恒等式的运算特性 　　1.21对于恒等式（1）分别运用乘法交换律、乘法结合律，得 　　①（a2+b2）（c2+d2）（e2+f2） 　　=[（ac-bd）2+（ad+bc）2]（e2+f2） 　　=（ace-bde-adf-bcf）2+（acf-bdf+ade+bce）2.（Ⅰ） 　　（a2+b2）[（c2+d2）（e2+f2）] 　　=（a2+b2）[（ce-df）2+（cf+de）2] 　　=（ace-adf-bcf-bde）2+（acf+ade+bce-bdf）2.（Ⅱ） 　　比较（Ⅰ）（Ⅱ）两式运算结果，不仅值相等，而且表达式中同类项分别相等. 　　②由于（c2+d2）（a2+b2）=（ac-bd）2+（bc+ad）2，与（2）式比较，不仅值相等，而且表达式中同类项分别相等. 　　1.22对于恒等式（2）运用乘法交换律、乘法结合律，得 　　①（a2+b2）（c2+d2）（e2+f2） 　　=[（ac+bd）2+（ad-bc）2]（e2+f2） 　　=（ace+bde+adf-bcf）2+（acf+bdf-ade+bce）2.（Ⅲ） 　　（a2+b2）[（c2+d2）（e2+f2）] 　　=（a2+b2）[（ce+df）2+（cf-de）2] 　　=（ace+adf+bcf-bde）2+（acf-ade-bce-bdf）2.（Ⅳ） 　　比较（Ⅲ）（Ⅳ）两式运算值，值相等，但其表达式中同类项有的相等、其余的互为相反数； 　　②由于（c2+d2）（a2+b2）=（ac+bd）2+（bc-ad）2，与（2）式比较，结果相等，但其同类项有的相等、其余的互为相反数. 　　2两个重要结论 　　结论1已知弦边k，方程x2+y2=k2（*）有正整数解的充要条件是k中含有4n+1型质因数. 　　证明充分性：设k=R（4n+1），其余非4n+1型质因子的积为R.由文[1]中结论知：由于形为4n+1型的素数可唯一表示为两个整数的平方和. 　　设4n+1=x21+y21，由推论，（4n+1）2=（x21-y21）2+（2x21y21）2，则k2=R2（4n+1）2=[R（x21-y21）]2+（2Rx21y21）2，得正整数解（x，y）=（R|x21-y21|，2Rx21y21）. 　　必要性：设x2、y2是x2+y2=k2的一个正整数解. 　　若（x2，y2）=1，则x2、y2一奇一偶，k必为奇数.由文[2]知：一切勾股数的基本组（即互质）可用下述公式表示：2mn，m2-n2，m2+n2.其中m、n为正整数且mn，（m，n）=1，一奇一偶.所以一定存在这样的正整数m、n，使x2=2mn，y2=m2-n2，k=m2+n2.下面用反证法证明：假设k中不含有4n+1型的素因数，根据数学家欧拉1747年证明的：奇质数能表示为两个平方数之和的充分必要条件是该素数被4除余1.那么k不能表示为m2+n2型的两数平方和，这与k=m2+n2矛盾，所以k中必含有4n+1型的素因数. 　　若（x2，y2）=d≠1，设x2=dx3，y2=dx3，则（x3，y3）=1，得到x23+y23=（kd）2，转化为上述情形证之. 　　结论2方程（*）满足0xy的解数，记为S（k），k中4n+1型质因数的积记为P，则S（k）=S（p）. 　　根据结论1，将k分解质因数，记4n+1型质因数