arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2007.15670math.NTmath.CO
收藏

三次丢番图方程的自动求解

Automatic Solving of Cubic Diophantine Equations Inspired by Ramanujan

Shalosh B. Ekhad, Doron Zeilberger

摘要:

在拉马努金的《失落的笔记本》中,有一个惊人的恒等式,它列举了无穷多个三次费马大定理的“几乎是反例”,却没有任何迹象表明他是如何发现它的。1995年,迈克尔·赫希霍恩(Michael Hirschhorn)以一种辉煌的方式解释了拉马努金可能是如何做到这一点的,基于四个立方之和的某个多项式恒等式。更早的时候,Eri Jabotinsky在1946年发表的一篇文章中(在一本青少年数学杂志上)解释了拉马努金是如何发现赫希霍恩方法所需的多项式恒等式的。在这里,我们结合这两个辉煌的想法(这可能是或可能不是拉马努金如何做到这一点),自动化,并推广,通过开发一个算法来解决一大类三次丢番图方程。我们对这个问题的兴趣在读了艾米·阿尔兹瑙尔的(b)之后重新燃起。安德鲁斯)令人愉快的儿童书籍“梦想无限的男孩”(蜡烛芯出版社),2020年,拉马努金的身份出现在其中一个插图中。

英文摘要:

In Ramanujan's Lost Notebook there is an amazing identity that furnishes infinitely many "almost counterexamples" to the cubic Fermat's Last Theorem, with no indication whatsoever how he discovered it. In 1995, Michael Hirschhorn explained, in a brilliant way, how Ramanujan may have done it, based on a certain polynomial identity for a sum of four cubes. Much earlier, Eri Jabotinsky, in an article published in 1946 (in a mathematics journal for teenagers) explained how Ramanujan may have discovered these polynomial identities needed for Hirschhorn's approach. Here we combine these two brilliant ideas (that may or may not have been how Ramanujan did it), automate it, and generalize, by developing an algorithm to solve a large class of cubic diophantine equations. Our interest in this problem was rekindled after reading Amy Alznauer's (b. Andrews) delightful children book "The Boy Who Dreamed of Infinity" (Candlewick Press), 2020, where Ramanujan's identity appears in one of the illustrations.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑