Pell方程x2aby21有解的一个判别法则.pdfVIP

2012年 12月 重庆文理学院学报 (自然科学版) Dee．．20l2 第 31卷 第6期 JournalofChongqingUniversityofArtsandSciences(NaturalScienceEdition) VolJ3l No．6 Pell方程 2— 6 =一1有解的一个判别法则 杜先存 ，赵金娥 (1．红河学院教师教育学院，云南 蒙 自 661199；2．红河学院数学系，云南 蒙 自 661199) [摘 要]Pell方程 一Dy =一1(D不是完全平方数)可解性的判别是一个非常有意义的问 题．本文给出形如aN,一by =±1(a；b(mod4)；0，b为互异素数)型Pell方程有整数解的一 个判别法则． [关键词]Pell方程；正整数解；素数；同余 [中图分类号]0156．1 [文献标志码]A [文章编号]1673—8012(2012)06—0010—02 通常的Pell方程指形如 一Dy =±1， 2 定理的证明 4-4(，Y∈Z，D是一个非完全平方的正整数)的 不定方程，广义的Pell方程是上述形式的推广， 证明 设 (。，Y。)是 它具有 以下两种基本形式： 一 aby =1(a=b(mod4)；口，b为互异素数) 一 Dy =C(，Y，C∈Z，D是一个非完全 (1) 平方的正整数)；ax一by =±1，±2，±4(，Y∈ 的基本解． Z，a，b∈z ，ab是非完全平方的正整数)． 因为a，b为素数，则a，b ±1(mod4)． 关于广义Pell方程 一Dy ：±1(D0，且 又 a；b(mod4)，则 a b一1(mod4) 不是完全平方数)的解的问题，陈克瀛 用初等 或a b一一1(rood4)，故ab 1(mod4)， 数论和代数数论的方法定出了使方程 一By 或 a；b；一1(mod4)，故 ab；1(mod4)， = 一 1(P 1(mod8))有解的一类素数．管训 所以 一ab 一1(mod4)． 贵 运用初等数论的方法证明了方程 一5py 若Y。为偶数，则 Yo ；0(mod4)，此 时 = 一 1(P3，P是费马素数)有正整数解．杜先存 一 aby0 i0(rood4)； 等 3在文献 [2]的基础上得出了Pell方程 一 若Y。为奇数，则 Yo ； 1(mod4)，此 时 5(5n±2)y2=一1(n；一1(mod4))有正整数解． 一 aby0 E一1(mod4)． 郑惠、杨仕春 给出了Pell方程 一Oy2=一1可 若 。为偶数，则 。；0(mod4)，此时(1) 解性的一个判别条件．杜先存、赵金娥等 给出 式左边 ‰ 一aby。 一1，0(mod4)，而(1)式右 了关于Pell方程 一(4n+2)Y =一1的解的几 边为1兰1(rood4)，显然矛盾．故 。只能为奇数， 个判别方法．杜先存等 得出了几种特殊情形下 则 ‰ ；1(mod2)． Pell方程 一Dy2=1的最小解计算公式． 所以2l(。一1)，2l(。+1)，。一1 定理 0(m。d4)，故 ∈N， ∈z． 定理 若 Pell方程 0 一by =±1(a 3Lx0