丢番图逼近与佩尔方程
求解 Pell P e l l 方程,我们的想法是取两个使 x2−Dy2 x 2 − D y 2 具有相同数值的数对并“将它们相除”
举个例子,取
D=13
D
=
13
,如果我们知道数对
(x1,y1)=(11,3)
(
x
1
,
y
1
)
=
(
11
,
3
)
和
(x2,y2)=(14159,3927)
(
x
2
,
y
2
)
=
(
14159
,
3927
)
都是方程
x2−13y2=4
x
2
−
13
y
2
=
4
的解。计算
则 pell p e l l 方程 x2−13y2=1 x 2 − 13 y 2 = 1 有一个整数解 (x,y)=(649,180) ( x , y ) = ( 649 , 180 )
为什么由数对 (11,3) ( 11 , 3 ) 和 (14159,3927) ( 14159 , 3927 ) 能成功得到整数解呢?
因为 11≡14159 (mod 4) 11 ≡ 14159 ( m o d 4 ) , 3≡3927 (mod 4) 3 ≡ 3927 ( m o d 4 )
Pell方程定理 设
D
D
是一个正整数,且不是完全平方数,则佩尔方程
总有正整数解。如果 (x1,y1) ( x 1 , y 1 ) 是使 x1 x 1 最小的解,则每个解 (xk,yk) ( x k , y k ) 可通过取幂得到:
证明 具体见书。第一个目标是证明 pell p e l l 方程至少有一个解。第二个目标是证明每个解可以通过对 x1+y1D−−√ x 1 + y 1 D 取幂得到。
课后习题
如果 (x0,y0) ( x 0 , y 0 ) 是方程 x2−Dy2=M x 2 − D y 2 = M 的一个解,而 (x1,y1) ( x 1 , y 1 ) 是佩尔方程 x2−Dy2=1 x 2 − D y 2 = 1 的一个解,证明 (x0x1+Dy0y1,x0y1+y0x1) ( x 0 x 1 + D y 0 y 1 , x 0 y 1 + y 0 x 1 ) 也是方程 x2−Dy2=M x 2 − D y 2 = M 的一个解。