Automatic Solving of Cubic Diophantine Equations Inspired by Ramanujan

Shalosh B. Ekhad,Doron Zeilberger

DOI: https://doi.org/10.48550/arXiv.2007.15670

2020-07-31

Abstract: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.

Number Theory,Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to automatically solve a specific type of cubic Diophantine equations, namely equations of the form \(aX^3 + aY^3 + bZ^3 = c\). Specifically, inspired by Ramanujan's infinite number of "almost counter - examples" for \(X^3 + Y^3 - Z^3 = 1\) proposed in his "Lost Notebook", the author aims to develop a symbolic computing algorithm to solve a broader class of cubic Diophantine equations.

### Main problems and methods

1. **Ramanujan's discovery**:
- Ramanujan proposed many "almost counter - examples" for \(X^3 + Y^3 - Z^3 = 1\) in his lost notebook. These examples provide an infinite number of near - counter - examples to Fermat's Last Theorem for \(n = 3\).
- Ramanujan did not explain how he discovered these formulas. However, through Michael Hirschhorn and Eri Jabotinsky's speculation on Ramanujan's thinking, the authors were able to understand and automate this process.

2. **Hirschhorn and Jabotinsky's contributions**:
- Hirschhorn proposed a polynomial identity and explained Ramanujan's discovery by solving the quadratic Diophantine equation \(A^2 - 9AB - B^2=\pm1\).
- Jabotinsky proposed a technique to generate new solutions from two known solutions, thus obtaining more parametric solutions.

3. **Automated solution**:
- The author combined Hirschhorn and Jabotinsky's methods to develop a symbolic computing algorithm based on the C - finite ansatz.
- This algorithm can automatically solve more general cubic Diophantine equations of the form \(aX^3 + aY^3 + bZ^3 = c\) and generate an infinite number of solutions.

### Sample theorem
For example, the author provided a similar theorem:

\[
\text{Define integer sequences } a_n, b_n, c_n, n\geq0, \text{ whose generating functions are}
\]
\[
\sum_{n\geq0}a_nt^n=\frac{293155t^2 + 888826t - 29}{(1 - t)(t^2 - 103682t + 1)},
\]
\[
\sum_{n\geq0}b_nt^n=\frac{- 237169t^2 + 550798t + 1}{(1 - t)(t^2 - 103682t + 1)},
\]
\[
\sum_{n\geq0}c_nt^n=\frac{90601t^2 - 878594t + 25}{(1 - t)(t^2 - 103682t + 1)},
\]
\[
\text{Then } a_n^3+2b_n^3 + 2c_n^3 = 6859.
\]

### Summary
The main goal of this paper is to solve a broader class of cubic Diophantine equations by automated methods, inheriting and expanding the work of Ramanujan, Hirschhorn and Jabotinsky. Through computer algebra systems (such as Maple), the author achieved this goal and generated a large number of similar theorems.