指数丢番图方程的有关解.pdfVIP

维普资讯 2004年12月 应用数学与计算数学学报 第 18卷第2期 Dec．，2004 COMM．ONAPPL．MATH ． ANDCOMPUT Vb1．18 No．2 指数丢番图方程的有关解 金士伟 上海立信会计学院，上海，200235 摘要t本文运用计算机证了指数丢番图方程xi3--丁1=譬}的例外解(z，，n)，满 足n≥27， 2n-3，z2旦 ，n≠2， ∈Ⅳ ． 关键词：指数丢番图方程，例外解，计算机，MATLAB． 1．引 言 指数丢番图方程 z3 — 1 Y 一1 ～ = ·--·—·—--_一 一 1 Y一1 其中 ，Y，n∈N，Y1，n3，来源于方程 一 l Y 一 l ～ 1 Y一 1 其中 ，Y，m，n∈N，Y1，nm 3．显然 (，Y，m，n)=(5，2，3，5)和 (，Y，m，n)=(90，2，3，13) 是方程 (2)的两组解．要找出方程 (2)的全部解是一个还未解决的数论问题． 一 般，我们将方程 (1)的除了(3)以外且满足n为奇数的解称为例外解． 文献 [1】论证了方程 (1)的例外解满足 佗 25，Y2n-3 , 2 ，n≠2k，k∈N 这一结论给出了方程 (1)的例外解的上界的较为精确的估计． 本文运用计算机论证了(4)式中的n≠25．即有下面的定理 定理：指数丢番图方程： 一 1 Y 一 1 一 1 Y一 1 其中 ，Y，n∈N，zY1，n3的例外解满足 n 27，Y2n一3 2旦 ， ，n≠2k，k∈N． 定理的证明仅用微机就能完成，并且结果还可作适当的推广． 本文2004年4月20日收到． 维普资讯 2期 金士伟：指数丢番图方程的有关解 91 计算机论证的算法 对方程 (1)，当n=25时，有2 Y2。一。：4194304．因此只要对2—4194304中 的每一个Y值，精确计算出对应的4194303个z值均非整数，即证得了定理的结论． 由于Y的最大值为4194304，相应的z的最大值小于1083，即运算时z的有效位数 应达85位，同时若能判别出85位有效位数中均含有非零小数即能充分说明 是非整 数． 先对方程 (1)进行变形，当佗=25时，有 1 1 z 一 2+ 由于计算有效位数要达到85位，因此运算时，