🔢 mathematics

On the Diophantine Equation $x_1^{3}-x_2^{2}x_1+1=0$ over $\mathbb{Q}(\sqrt{2})$

This paper proves that the Diophantine equation $x_1^{3}-x_2^{2}x_1+1=0$ has exactly two solutions in $\mathbb{Q}(\sqrt{2}) \times \mathbb{Z}[\sqrt{2}]$ , namely $(-1,0)$ and $(1,\sqrt{2})$ , and applies this result to show that the Mordell–Weil group of the elliptic curve $Y^{2}=X^{3}-m^{2}X+1$ over $\mathbb{Q}(\sqrt{2})$ contains no rational point of order two for any non-zero $m \neq \sqrt{2}$ .

Original authors: Pinki Khatun

Published 2026-07-30

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Pinki Khatun

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Great Number Hunt in a Twin-World

Imagine you are a detective, but instead of solving crimes, you are hunting for missing numbers. In the world of mathematics, there is a famous game called a "Diophantine equation." Think of it as a riddle where you have to find whole numbers (or numbers made from whole numbers) that make a specific math sentence true. Usually, these riddles are played on the standard number line we all know: 1, 2, 3, and so on. But sometimes, mathematicians decide to play the game in a "parallel universe" of numbers.

This paper takes place in one such parallel universe called $\mathbb{Q}(\sqrt{2})$ . If you imagine the standard number line as a straight road, this universe is like a road that has been stretched and twisted by a special ingredient: the square root of 2. In this world, numbers aren't just simple integers; they are built from regular numbers plus a little bit of this "root-2" spice. The mathematicians here are trying to solve a very specific, tricky riddle involving a cubic equation (a math sentence with a number multiplied by itself three times). They are looking for pairs of numbers that fit perfectly into the equation $x_1^3 - x_2^2x_1 + 1 = 0$ . Why does this matter? Because solving these riddles helps us understand the hidden structure of these number worlds, and it turns out these riddles are secretly connected to the shape and behavior of special curves called "elliptic curves," which are used in everything from pure math to modern cryptography.

The Search for the Perfect Fit

In this paper, the author, Pinki Khatun, acts as a detective in this root-2 universe. The mission is to find every single pair of numbers $(x_1, x_2)$ that can solve the equation $x_1^3 - x_2^2x_1 + 1 = 0$ . Here, $x_1$ must be a number from the root-2 universe, and $x_2$ must be a "whole" number from that same universe (specifically from the ring $\mathbb{Z}[\sqrt{2}]$ ).

The author doesn't just guess; she uses a powerful set of tools. First, she looks at the "building blocks" of this number world. In this universe, there are special numbers called "units" that act like the keys to the kingdom. The most important key is the number $1 + \sqrt{2}$ . The author shows that if you try to build a solution using these keys in a certain way, the math simply doesn't add up. She proves that if you try to mix these powers of $1 + \sqrt{2}$ to create a solution, you end up with a contradiction, like trying to fit a square peg into a round hole.

After ruling out all the complicated possibilities, the author finds that there are only two pairs of numbers that actually work. The first solution is $(-1, 0)$ , and the second is $(1, \sqrt{2})$ . The paper proves with absolute certainty that no other solutions exist. It's like searching a vast, infinite library and proving that only two specific books contain the answer to a question, while every other book is empty.

The Ripple Effect: Elliptic Curves

Why stop at just finding the numbers? The author uses this discovery to solve a bigger puzzle involving "elliptic curves." Imagine these curves as smooth, looping shapes drawn on a graph. A key feature of these shapes is whether they have "points of order two." In plain English, this asks: "Is there a spot on this curve that, if you do a specific math dance twice, brings you back to the starting point?"

The author shows that the equation she just solved is the secret code for finding these special spots. Because she proved that the equation only has those two specific solutions, she can now say something very strong about the curves. For almost every curve in a large family (specifically, for any parameter $m$ that isn't $0$ or $\sqrt{2}$ ), there are no points of order two. The curve simply doesn't have that specific type of symmetry.

The paper concludes that while the math used here is "elementary" (meaning it doesn't require the most advanced, futuristic tools), it is incredibly effective. It provides a clear, direct rule for knowing when these curves lack a specific feature. The author hopes that her methods can be used to solve similar riddles in other number universes, helping us map out the hidden landscapes of mathematics one equation at a time.

Technical Summary: On the Diophantine Equation $x_1^3 - x_2^2 x_1 + 1 = 0$ Over $\mathbb{Q}(\sqrt{2})$

Problem Statement
This paper investigates the solvability of the Diophantine equation $x_1^3 - x_2^2 x_1 + 1 = 0$ within the specific domain where $x_1 \in \mathbb{Q}(\sqrt{2})$ and $x_2 \in \mathbb{Z}[\sqrt{2}]$ . The primary objective is to determine the complete set of solutions for this cubic equation over the ring of integers of the real quadratic field $\mathbb{Q}(\sqrt{2})$ .

Methodology
The author employs elementary arithmetic techniques specific to the quadratic integer ring $\mathbb{Z}[\sqrt{2}]$ . The proof strategy relies on three main pillars:

Unit Group Structure: Utilizing the fact that $\mathbb{Z}[\sqrt{2}]$ is a Principal Ideal Domain (PID) and that its unit group is generated by the fundamental unit $1 + \sqrt{2}$ .
Divisibility and Norm Arguments: Establishing that any rational solution $x_1$ must actually be a unit in $\mathbb{Z}[\sqrt{2}]$ by analyzing the divisibility properties of the equation's terms when $x_1$ is expressed as a quotient of coprime integers.
Auxiliary Lemmas on Powers of Units: The core of the proof involves reducing the original equation to cases where $x_1$ is a unit. This leads to auxiliary equations involving powers of the fundamental unit $y = 1 + \sqrt{2}$ and its conjugate $z = 1 - \sqrt{2}$ . Specifically, the author proves that equations of the form $(1+\sqrt{2})^{4s} + (1+\sqrt{2})^{-2s} = m^2$ and $(1-\sqrt{2})^{4s} - (1-\sqrt{2})^{-2s} = m^2$ possess no solutions for natural numbers $s$ and non-trivial $m \in \mathbb{Z}[\sqrt{2}]$ . These lemmas are derived by analyzing the coefficients of $\sqrt{2}$ in binomial expansions and utilizing parity arguments.

Key Results
The paper establishes Theorem 1.1, which asserts that the solution set of the equation $x_1^3 - x_2^2 x_1 + 1 = 0$ in $\mathbb{Q}(\sqrt{2}) \times \mathbb{Z}[\sqrt{2}]$ consists of exactly two pairs:

$(x_1, x_2) = (-1, 0)$
$(x_1, x_2) = (1, \sqrt{2})$

The proof demonstrates that assuming any other solution leads to a contradiction regarding the parity of coefficients in the expansion of powers of the fundamental unit.

Application to Elliptic Curves
As a direct application of this Diophantine result, the paper analyzes the family of elliptic curves defined by $C_m: Y^2 = X^3 - m^2 X + 1$ , where $m \in \mathbb{Z}[\sqrt{2}]$ .

Points of order two on an elliptic curve correspond to the roots of the cubic polynomial $X^3 - m^2 X + 1$ .
Corollary 1.2 deduces that for every $m \in \mathbb{Z}[\sqrt{2}] \setminus \{0, \sqrt{2}\}$ , the Mordell–Weil group $C_m(\mathbb{Q}(\sqrt{2}))$ contains no rational point of order two.
The paper notes that for the excluded cases $m=0$ and $m=\sqrt{2}$ , points of order two do exist (specifically $(-1,0)$ and $(1,0)$ respectively).

Significance and Scope
The author positions this work as an elementary contribution to the study of Diophantine equations over quadratic integer rings, a field where fewer results are known compared to rational integers.

Modesty of Claims: The paper explicitly states that the techniques are "entirely elementary," relying solely on the arithmetic of $\mathbb{Z}[\sqrt{2}]$ without invoking advanced machinery.
Context: The results are presented as complementing the extensive study of torsion subgroups of elliptic curves over quadratic fields initiated by Kamienny and Kenku–Momose.
Future Directions: The author suggests that these methods could be applied to analogous equations over other real quadratic fields, equations with general integer parameters, or higher-order torsion points of the family $C_m$ , but does not claim to have solved these broader problems within this text.

The Great Number Hunt in a Twin-World

The Search for the Perfect Fit

The Ripple Effect: Elliptic Curves

Technical Summary: On the Diophantine Equation x13−x22x1+1=0x_1^3 - x_2^2 x_1 + 1 = 0x13​−x22​x1​+1=0 Over Q(2)\mathbb{Q}(\sqrt{2})Q(2​)

More like this

Technical Summary: On the Diophantine Equation $x_1^3 - x_2^2 x_1 + 1 = 0$ Over $\mathbb{Q}(\sqrt{2})$