第22卷 2002拄 第2期 5月 高师理科学刊 Journal of Science of Teaches Coflege and Umversity Vo1.22 No.2 May 2002
文章编号:1007—9831(2002)02—0001—02
关于丢番图方程 2+27 y2=4
崔继贤 ,龚晓岚2
(1.齐齐哈尔大学数学系,黑龙江齐齐哈尔161006;2.齐齐哈尔铁路运输职工大学,黑龙江齐齐哈尔161000)
摘要:分类讨论了方程 +27y =4p解的存在性,给出其有解的一个充要条件
关键词:丢番图方程;整数解;模;素数 中图分类号:O156.7 文献标识码:A
引理1( ) 设素数P>3,那么丢番图方程 +3、l2=P (1)
有解的充要条件是P为6走+1型素数. 引理2 设素数P>3,则当且仅当P三1(mod6)时,丢番图方程
X2一 v+3,2=P (2)
有解.
证
对方程(2),恒等变形为[ 一 ] +3 ̄f 3 :P (3)
由引理1知,当且仅当P三1(mod 6)时,方程(3)有解,即当且仅当P三1(mod 6)时,方程(2)有解
定理1 若P为素数,则丢番图方程
. +27y2=4P (4)
必有整数解的充要条件是P三1(mod 6).
证 由4( 2一xy+Y2)=( +Y)2+3( 一 )2
=(2x— ) +3y
:(2Y— ) +3 下证4( 一xy+Y )必可表成 +273r 的形式.
(i)若 、v至少有一个为3走型整数时: 不妨令 =3x1,贝《4(z 一xy+ )
(2y— ) +3x =(25'一3 1.) +27x;. (I.)若 、 都为3走+1型整数时:
不妨令 :3x1+1 :3y1+1 贝《
4( 2一xy+y2)=( + )2+3( — )2:(3x1+3y1+2)2+27( 1一 1)2.
(m)若 、.)l都为3走+2型整数时,同理(I.)可证 4( 2一x3r+y2)=( + )2+3( — )2=(3x1+3y1+4)2+27( 1一 1)2.