摘要:运用同余理论、代数数论等方法对不定方程x2+4096=4y13的整数解问题进行研究,发现不定方程x2+4096=4y13无整数解.
1、引言
不定方程也常称为丢番图方程,早在公元3世纪古希腊丢番图就已经开始了对不定方程研究,到如今不定方程的内容已经十分丰富[1,2,3,4].
设C,D,E∈N,C为无平方因子,关于不定方程
Cx2+D=Eyn(x,y,n∈N,n≥2)
的求解问题是数论中的一个重要问题,许多研究者发现若是用代数数论的方法解决这类不定方程,会取得较好的结果[5,6,7,8,9,10,11],本文运用同余理论以及代数数论等方法证明了不定方程x2+4096=4y13无整数解.
2、主要引理
引理1[4]设M是唯一分解整环,α,β∈M,(α,β)=1,若αβ=γk,γ∈M,正整数k≥2则,
α=ε1μk,β=ε2νk,μν∈M
其中ε1,ε2是M中的单位元素,并且ε1ε2=εk,ε为单位元素.
引理2[10]不定方程
x2+1024=y13
无整数解.
3、定理及证明定理不定方程
x2+4096=4y13(1)
没有整数解.
证明下面分为x≡1(mod2),x≡0(mod2)两种情况讨论.
(1)当x≡1(mod2)时,在Z[i]中,(1)式可写为(x+64i)(x-64i)=4y13,x,y∈Z
设δ=(x+64i,x-64i),由δ|(2x,128i)=2,可知δ只能取1,1+i,2;由于x≡1(mod2),所以x+64i≡1(mod2),因此δ≠2;如果δ=1+i,则N(1+i)|N(x+64i),即2|X2+4096;然而这与x≡1(mod2)矛盾;所以δ=1.因而由引理1可知
x+64i=4(a+bi)13,x,a,b∈Z
因此
x=4(a13-78a11b2+715a9b4-1716a7b6+1287a5b8-286a3b10+13ab12)
64=4b(13a12-286a10b2+1287a8b4-1716a6b6+715a4b8-78a2b10+b12)(2)
所以易得b=±1,±2,±4,±8,±16.
b=1时,由(2)式可知
15=13(a12-22a10+99a8-132a6+55a4-6a2)
上式若要成立,那么必须有13|15,矛盾,因此b≠1.
b=-1时,由(2)式可知
-17=13(a12-22a10+99a8-132a6+55a4-6a2)
上式若要成立,那么必须有13|-17,矛盾,因此b≠-1.
b=2时,由(2)式可知
8-212=13(a12-88a10+1584a8-8448a6+14080a4-6144a2)
上式若要成立,那么必须使得13|8-212,矛盾,因此b≠2.
b=-2时,由(2)式可知
-8-212=13(a12-88a10+1584a8-8448a6+14080a4-6144a2)
上式若要成立,那么必须使得13|-8-212,矛盾,因此b≠-2.
当b=4时,由(2)式可知
4-412=13(a12-352a10+25344a8-540672a6+3604480a4-6291456a2)
上式若要成立,那么必须使得13|4-412,矛盾,所以b≠4.
当b=-4时,由(2)式可知
-4-412=13(a12-352a10+25344a8-540672a6+3604480a4-6291456a2)
上式若要成立,那么必须使得13|-4-412,矛盾,所以b≠-4.
当b=8时,由(2)式可知
2-812=13(a12-22a1082+99a884-132a686+55a488-6a2810)
上式若要成立,那么必须使得13|2-812,矛盾,所以b≠8.
当b=-8时,由(2)式可知
-2-812=13(a12-22a1082+99a884-132a686+55a488-6a2810)
上式若要成立,那么必须使得13|-2-812,矛盾,所以b≠-8.
当b=16时,由(2)式可知
1−1612=13(a12−22a10162+99a8164−132a6166+55a4168−6a21610)− 21651921285435=a12−352a10+25344a8−540672a6+3604480a4− 6291456a2−21651921285435=−32×5×7×17×97×41683601= a2(a10−22a8162+99a6164−132a4166+55a2168−6×1610)
上式若要成立,则a=±1或a=±3.
当a=±1时,代入上式得
a2(a10-22a8162+99a6164-132a4166+55a2168-6×1610)=
-6363054675527≠-21651921285435
矛盾,所以a≠±1.
当a=±3时,代入上式得
a2(a10-22a8162+99a6164-132a4166+55a2168-6×1610)=
-41811750382095≠-21651921285435
矛盾,所以a≠±3.
所以b≠16.
当b=-16时,由(2)式可知
-1-1612=13(a12-22a10162+99a8164-132a6166+55a4168-6a21610)
上式若要成立,那么必须使得13|-1-1612,矛盾,所以b≠-16.
所以当x≡1(mod2)时,不定方程(1)无整数解.
(2)当x≡0(mod2)时,设x=2x1,x1∈Z,代入(1)时可得
x12+1024=y13
由引理2的结果可以知x12+1024=y13无整数解,即x≡0(mod2)时,方程(1)没有整数解.
综上可以得到,不定方程x2+4096=4y13无整数解.
参考文献:
[1]闵嗣鹤,严士健.初等数论[M].北京:高等教育出版社,2003.
[2]柯召,孙琦.谈谈不定方程[M].上海:上海教育出版社,1980.
[3]曹珍富.不定方程及其应用[M].上海交通大学出版社,2000.
[4]潘承洞,潘承彪.代数数论[M].山东:山东大学出版社,2004.
[7]高丽,马永刚.关于不定方程x2+16=y7的解的讨论[J].西南民族大学学报(自然科学版),2008,34(1):27-29.
[8]安晓峰.关于不定方程x2+64=y11的解的讨论[J].重庆工商大学学报(自然科学版),2014,31(10):16-17.
[9]孙树东.不定方程x2+64=y13的整数解[J].吉林师范大学学报(自然科学版),2015,36(3):78-80.
[10]尚旭.关于不定方程x2+4n=y13(n=4,5,6)的整数解[J].纯粹数学与应用数学,2017,33(4):377-391.
[11]郑璐,高丽,郭梦媛.关于不定方程x2+1024=y11的整数解[J].贵州师范大学学报(自然科学版),2018,36(4):77-79.
[12]申江红,高丽,郑璐.关于不定方程x2+1024=4y9的整数解[J].延安大学学报(自然科学版),2018,37(2):18-20.
高丽,姜美杨.关于不定方程x~2+4096=4y~(13)的整数解[J].云南师范大学学报(自然科学版),2020,40(03):20-22.
基金:国家自然科学基金资助项目(11471007);陕西省科技厅科学技术研究发展计划资助项目(2013JQ1019);延安大学研究生教改研究重点资助项目(YDYJG2018022)
分享:
2008年应用Kuromoto-like模型对电网进行了深入的研究,同时得到了有效的电网动力学模型,并且得出:电网必须保持同步,很小的扰动会引起级联故障,导致大规模停电事故发生,这就表明电网的控制尤为重要.本文中,笔者基于反馈控制的思想,实现了对电网同步能力的改变,分析了反馈增益的取值对同步能力的影响.
2020-09-091、数论函数方程φ(φ(n))=S(n15)的可解性2、一个含有伪Smarandache函数的方程3、10的倍数分拆素数和的“1-9猜想”及思考4、有关数论函数φ(m)的一方程整数解的讨论5、纽结理论在数论中的应用6、用易经诠释考拉兹猜想7、数论函数方程φ2(n)=S(SL(nk))的可解性8、大学生就业当中的数学原理及其应用9、含混合型简数根函数的两个数论函数方程的解
2020-08-11纽结理论看似与数论[1]毫不相干,但已有不少纽结方面的结果是用数论来表达的,例如文献[2]。本文将给出反向的情形,即利用纽结理论证明数论的2个结果: 定理1若m,n是互素的整数,则24整除(m2-1)(n2-1)。 定理2若m,n是互素的整数,则12整除(m-1)(n-1)(2mn-m-n-1)。 容易举例说明,若m,n不是互素,则定理就不成立。
2020-08-10素数的判定算法是对输入的整数判定是素数还是合数,分为概率算法和确定算法。素数构造算法是输入小素数,经过若干次循环构造出大的素数。对已有的素数构造和判定算法进行梳理,给出算法的描述并编程实现Miller-Rabin素数测试算法、基于莱梅定理的素数构造算法、AKS素数测试算法及变体算法,对上述算法的效率进行比较。
2020-06-28对于某些特殊的数学问题,即使只是简单地回答“知道”或者“不知道”,也有可能传送出一些有用的信息。考官C从区间[2,99]中选出两个整数n和m,将这两个数的和p=n+m与积q=n×m的数值分别告诉参加测试的智者B与智者A。C要求B与A说出n与m是多少,但不能将自己知道的p与q的值告诉对方。
2020-06-28哥德巴赫猜想:任何大于4的偶数都可以用2个素数之和表示.本文对根据增殖算法得到的素数分布规律进行了深入的探讨,并在此基础上创建了素数周期循环分布表,计算出两个相邻素数的最大间隙不超过420,找出了105个位缺带对称群,并用位缺带全方位多重对称性证明了哥德巴赫猜想.
2020-06-28文献[1,2]分别介绍了分解因子法与递归序列法在不定方程中的应用,本文介绍另一种初等方法——幂比较法,在不定方程中的应用.所谓幂比较法,是指在不定方程两边比较某因数的最高方幂,以此来导致矛盾的方法.本文利用幂比较法证明了以下定理1和定理2,并同时得到推论1、推论2和推论3.
2020-06-28本文将研究包含了伪Smarandache函数Z(n)、简数根函数与p次幂原数函数Sp(n)的复合数论函数方程Z(n)=Sp(sim(n))(其中p=2,3,5)的可解性,并分别给出每个方程的全部解.并推广了一个关于计算p次幂原数函数Sp(n)值在n>p时,更加简易的计算公式以及证明该公式所用的方法.
2020-06-28初等数论是小学教育专业的一门专业必修课,这门课程与中小学的联系比较紧密,学生开始学习第一章(整数的可除性)时,都觉得简单易懂,但从第二章(不定方程)开始,大部分学生就感觉上课基本能听懂,但一做练习就错,其实出现这种现象的原因就是学生没有真正理解初等数论中的数学思想方法。所以,研究初等数论的教学方法是数论教师必须要研究的一项重要课题。
2020-06-28整数是数学研究的一个方向。组合数学中就有关于正整数在不同分部量下分拆数的研究。对于一个给定的不定方程(或方程组),它是否有解,如果有解,解是不是唯一的,能不能求出它的所有解,这是数论的一个研究方向。对每一个有基础解的方程,求解得出它的基础解,由这些基础解可以计算得到方程的多个整数解。
2020-06-28人气:3073
人气:2319
人气:2183
人气:2167
人气:2149
我要评论
期刊名称:数学进展
期刊人气:2664
主管单位:中国科学协术协会
主办单位:中国数学会
出版地方:北京
专业分类:科学
国际刊号:1000-0917
国内刊号:11-2312/O1
邮发代号:2-503
创刊时间:1955年
发行周期:双月刊
期刊开本:16开
见刊时间:一年半以上
影响因子:0.553
影响因子:0.322
影响因子:0.352
影响因子:0.000
影响因子:0.000
400-069-1609
您的论文已提交,我们会尽快联系您,请耐心等待!
你的密码已发送到您的邮箱,请查看!