甘志国

摘 要：文章给出了四个不定方程的部分解，其中重点是谈谈不定方程xy=ypx（x，y∈N，x≥2，y≥2，p是已知的质数）的解法.

关键词：莫斯科数学奥林匹克试题;不定方程;算术基本定理

中图分类号：G632文献标识码：A文章编号：1008-0333（2021）10-0073-02

题目 （1948年莫斯科数学奥林匹克试题）解不定方程.

xy=yx（x，y∈N*，x≠y）①

文献[1]证得了该题的答案是

（x，y）=（2，4），（4，2）.

下面谈谈与不定方程①类似的四个不定方程

xy=pyx（x，y∈N*，p是质数）②

xy=ypx（x，y∈N，x≥2，y≥2，p是已知的质數） ③

xy=ypx（x，y∈Q+，p是已知的质数）④

uu=vpy（u，v∈Q+，p是已知的质数）⑤

的解法，其中重点是③的解法.

定理1 方程②的解是（x，y）=（p，1）.

证明 若y=1，则x=p.

由xy=pyx，可得pxy，px.若y≥2，再由xy=pyx，可得py.因而可设x=pαa，y=pβb（α，β，a，b∈N*，p不整除a也不整除b），得

（pαa）pβb=p（pβb）pαa

由该等式两边p的指数相等，可得αpβb=βpαa+1，p1，这不可能！所以欲证结论成立.

引理 若n∈N*，则2n≥n+1（当且仅当n=1时取等号）.

证明 用数学归纳法、导数、二项式定理、或贝努利（Bernoulli）不等式均可获证，具体过程略去.

定理2 方程③的解（x，y）满足xy（可设y=ax（a∈N*）），且

xa-p=ap（x，a-p∈N*，a≥2，x≥2，p是已知的质数） ⑥

证明 设（x，y）=d（d∈N*），可再设x=bd，y=ad（a，b，d∈N*），（a，b）=1.再由xy=ypx，可得

bada=apbdpb⑦

若a=pb，由⑦可得a=b，所以a=pb=b，p=1，与p是质数矛盾！说明此时不成立.

若a<pb，由⑦可得ba=apbdpb-a，aba.再由（a，b）=1，可得a=1，所以b=dpb-1.若b=1，可得pb-1=p-1>0，所以d=1，因而x=bd=1，与题设x≥2矛盾！所以b≥2，d≥2，再由引理可得b=dpb-1≥22b-1>2b，这不可能！说明此时不成立.

所以a>pb，由⑦可得bada-pb=apb.再由（a，b）=1，可得b=1，所以x=d，y=ad=ax（a∈N*），进而可得欲证结论成立.

猜想1 方程③解的组数有限.

定理3 在方程③中：

（1）若x是质数，则（p，x，y）=（2，2，16），（3，3，27）;

（2）若x=q2（q是质数），则（p，x，y）=（2，4，16），（2，9，27）;

（3）若x=qi（q是质数，i=3或4），则方程③均无解;

（4）若x=q5（q是质数），则（p，x，y）=（5，32，256）;

（5）若x是两个互异质数之积，则p是奇质数且（x，y）=（2p，4p2）;

（6）若x=12或18，则方程③均无解.

证明 （1）由定理2知，可设y=ax（a∈N*）.

在方程⑥中可设a=xα（α∈N*），得方程⑥即xxα-p=xpα，xα-p=pα，所以p=x，pα-1=α+1（α≥2），进而可得（p，α）=（2，3），（3，2），从而可得欲证结论成立.

（2）～（6）略.

注 由定理3可知，当x=2，3，4，…，23时，已求得方程③的解.

定理4 若pyx，则方程③的解为（x，y）=（2p，4p2）或（p，x，y）=（2，2，16），（3，3，27）.

证明 由定理2，可得pyx即……