关于方程(x(x-1)/2)~2=y(y-1)/2的初等解法

1946年,Ljunggren用p-adic方法证明了Diophantus方程(x(x-1))/2]~2=(y(y-1))/2,(1)仅有正整数解(x,y)=(1,1),(2,2)和(4,9).由于Ljunggren的证明是一个“复杂的”证明,故在1965年,Cassels利用四次域Q-2(~1/4)]的性质又给出了一个较为简单的证明.但Ljunggren与Cassels的证明均不是初等的.1989年,我们指出,利用递归序列的初等方