关于不定方程组a2x2-a1y2=a2-a1;a3y2-a2z2=a3-a2* (1992年)

构造性地证明了:当自然数a1;a2;a3中任二数之积与1的和均为平方数时;标题所列之不定方程组常有异于平凡解x=y=z=1且合x2≡1(moda1)之正整解存在．一个等价的说法是;对任给合条件“任二数之积与1之和均为平方数”的三个自然数a1;a2;as;均可觅得一自然数a4;使得四数组(a1;a2;a3;a4)亦合前述条件。