关于不定方程x^2＋4^n=y^11.pdfVIP

第32卷第 1期 重庆工商大学学报(自然科学版) 2015年 1月 V01．32 NO．1 JChongqingTechnolBusinessUniv．(NatSciEd) Jan．2015 doi：10．16055／j．issn．1672—058X．2015．0001．005 关于不定方程 2+4凡= l1 唐 维 彬 (西南大学 数学与统计学院，重庆400715) 摘 要：利用代数数论的方法，证明了不定方程 2+4=y“，当 Z／：3和n=4时无整数解，n=5时有整数 解(，Y)=(±32，2)． 关键词：不定方程；整数解；代数数论 中图分类号：O156 文献标识码 ：A 文章编号：1672-058X(2015)01—0015—04 设A，B∈Z ，A无平方因子，关于不定方程 A +B=Y，X，Y∈Z ，Z／∈z，三 1(mod2)，n1 (1) 的解的讨论是代数数论中的～类重要课题．当A=1，B=1时，LEDESGUE证明了式(1)无整数解；NAGELL证 明了当A=2，B=1，n：5时，式 (1)仅有整数解 (，Y)=(±11，3)；对于A=1，B=4 或4，7／,=5，7时的情况文献 [1—7]均已讨论过；李中恢，张四保 引证明了关于不定方程 。+16=y“无整数解；而对于A=1，n=11，B=4， 4 或4时的情况未曾讨论．因此，此处讨论了当A=1，=11，B=4，4或4时的情况． 引理 1 设 是唯一分解整环，正整数 k≥2，以及 Ot，卢∈z，(Ot，)=1，那么若 = ，3／∈M，则有 O／= 1x／，卢= 22／，，2／EM，其中 1，2是 中的单位元素，并且 12= ，为单位元素． 定理 1 不定方程 +4 =Y“ (2) 无整数解． 证明 这里分 ；1(mod2)，；0(mod2)两种情况进行讨论． 1)先假设 1(mod2)，在Z[i]中，方程 (2)可以写为 (+2i)( 一2i)=Y“，，Y ∈Z 设6=(x+2。i，一2i)，由 I(2，2i)=2，知道 只能是 1，1+i，2．由 ；1(mod2)知道 ，x+2i暑1(mod2)， 所以8#2；如果6=1+i，则N(1+i)lN(x+2i)，可知2l+4。，这与 兰1(rood2)矛盾，所以6=1．由此知 + 2i=(a+bi)“，，0，b∈Z，因而有 = 0 ¨ 一 55a9b2+330a7b 一462a6 + 165~g36 一1lab。 (3) 2 =b(11口加一165a8b。+462a6b4—330a4b6+55a2b 一b0) (4) 从式 (4)中可以得到 b=±1，±2(1≤ ≤2)，±2． 当b=±1时，1±2=11(0m一15a。+42a一30a+5a)，等式两边 同时取模 11，得到9；0(rood11)或者 4三O(mod11)，这是矛盾的． 当b=±2(1≤￡≤2)，±2～=1la加一165a。b+462ab一330ab+55ab一bm，两边同时取模 2，得到 0三 加(rood2)，从而 必为偶数，然后再由 =口“一55ab +330a6一462a6+165ab 一1lab知 也为 收稿 日期：2014-06-09；修回日期：2014-07—09． 作者简介 ：唐维彬(1990一)，男，重庆南岸人 ，硕士研究生，从事计算数论研究 重庆工商大学学报(自然科学版) 第32卷 偶数，这与假设 ；1(mod2)矛盾． 当b：2时，1+2∞=1la 一165a。6+462ab4