问题
5 x 2 − 14 y 2 = 11 z 2 求 不 定 方 程 的 所 有 整 数 解 5x^2-14y^2=11z^2求不定方程的所有整数解 5x2−14y2=11z2求不定方程的所有整数解
解析
对等式两边mod7，可得：
5
x
2
≡
11
z
2
(
m
o
d
7
)
5x^2≡11z^2(mod 7)
5x2≡11z2(mod7)
−
2
x
2
≡
4
z
2
(
m
o
d
7
)
-2x^2≡4z^2(mod7)
−2x2≡4z2(mod7)
x
2
≡
−
2
z
2
(
m
o
d
7
)
x^2≡-2z^2(mod7)
x2≡−2z2(mod7)
x
2
≡
5
z
2
(
m
o
d
7
)
x^2≡5z^2(mod7)
x2≡5z2(mod7)
这里我们用到反证法。
假设：7不整除x
易得，此时7不整除z
此时必然有：
z
≡
±
1
，
±
2
，
±
3
（
m
o
d
7
）
z≡±1，±2，±3（mod7）
z≡±1，±2，±3（mod7）
由于当正整数n不定时，不管z除以7余几，都必然会有6种可能
n
z
≡
±
1
,
±
2
,
±
3
(
m
o
d
7
)
nz≡±1,±2,±3(mod7)
nz≡±1,±2,±3(mod7)
所以，必然存在一个正整数k，使得
z
k
≡
1
(
m
o
d
7
)
zk≡1(mod7)
zk≡1(mod7)
故考虑数：
（
x
k
)
2
（xk)^2
（xk)2
此时，
(
x
k
)
2
=
x
2
k
2
≡
5
z
2
k
2
≡
5
(
m
o
d
7
)
(xk)^2=x^2k^2≡5z^2k^2≡5(mod7)
(xk)2=x2k2≡5z2k2≡5(mod7)
但是我们发现取任意正整数a,即
a
≡
0
,
±
1
,
±
2
,
±
3
(
m
o
d
7
)
a≡0,±1,±2,±3(mod7)
a≡0,±1,±2,±3(mod7)
此时我们发现
a
2
≡
0
,
1
,
4
,
2
(
m
o
d
7
)
a^2≡0,1,4,2(mod7)
a2≡0,1,4,2(mod7)
所以可以判断任意一个完全平方数除以7不余5，所以我们考虑的数是不存在的，与题设相违背，所以得出结论7|x
此时易得7|z，带入原式，得
5
x
2
−
14
y
2
=
11
z
2
≡
0
(
m
o
d
49
)
5x^2-14y^2=11z^2≡0(mod49)
5x2−14y2=11z2≡0(mod49)
7
y
2
≡
0
(
m
o
d
49
)
7y^2≡0(mod49)
7y2≡0(mod49)
y
2
≡
0
(
m
o
d
7
)
，
即
7
∣
y
y^2≡0(mod7)，即7|y
y2≡0(mod7)，即7∣y
故易得7|x，7|y，7|z，根据费尔马递降法（无穷递降法），易得原方程只有整数解x=y=z=0，即唯一解（0，0，0）。
无穷递降法详：由于7|x，7|y，7|z，所以设
p
=
x
7
,
q
=
y
7
,
r
=
z
7
p=\dfrac{x}{7},q=\dfrac{y}{7},r=\dfrac{z}{7}
p=7x,q=7y,r=7z
将p，q，r分别代替x，y，z代入原方程，原方程仍然成立，故又有7|p，7|q，7|r
由此无穷递归下去，则
p
=
7
m
i
,
q
=
7
n
j
,
r
=
7
w
l
p=7^mi,q=7^nj,r=7^wl
p=7mi,q=7nj,r=7wl
故
只
能
x
=
y
=
z
=
0
故只能x=y=z=0
故只能x=y=z=0
说明
由于系数关系，对原式模2，5，7，11都是合理的，但是尝试后只有模7有效果。
398
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
