🔢 mathematics

Vieta jumping and small norms in quadratic number fields

This article elucidates the mathematical link between the renowned IMO 1988 problem and the existence of elements with small norms in quadratic number fields that possess parametrized units, utilizing the technique of Vieta jumping.

Original authors: Franz Lemmermeyer

Published 2026-01-22

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Franz Lemmermeyer

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

Imagine you are a detective trying to solve a mystery left by a group of math students at a global competition in 1988. The mystery is a simple-looking puzzle: If you take two whole numbers, $a$ and $b$ , and mix them in a specific recipe ( $a^2 + b^2$ divided by $ab + 1$), the result is always a perfect square number (like 1, 4, 9, 16).

The author of this paper, Franz Lemmermeyer, wants to show us why this happens. He doesn't just want to prove it's true; he wants to show us the hidden machinery behind it. He uses two main tools: a clever trick called "Vieta Jumping" and a map of a strange, invisible landscape called "Quadratic Number Fields."

Here is the story of the paper, broken down into simple concepts.

1. The Magic Bouncing Ball (Vieta Jumping)

The first tool is the "Vieta Jump." Imagine you are standing on a bouncy trampoline shaped like a curved hill (a mathematical curve called a conic). You have a ball in your hand.

The Rule: If you drop the ball at a specific spot (a point with whole number coordinates), the laws of physics (algebra) say the ball will bounce to a new spot that also has whole number coordinates.
The Jump: This is the "jump." You can jump from point A to point B. But here is the magic: you can also jump backwards.
The Descent: The author shows that if you start with a huge, complicated pair of numbers, you can keep jumping backwards. Each jump makes the numbers smaller. Eventually, you can't jump anymore because you hit the "ground" (the origin or a very small number).
The Conclusion: Since every big number pair comes from a small number pair via these jumps, and we know the small pairs always result in perfect squares, then the big pairs must also result in perfect squares. It's like saying, "If every river flows back to a clean spring, then the water in the ocean must be clean too."

2. The Lattice of Invisible Cities (Quadratic Number Fields)

The second part of the paper takes us deeper. The author says, "Let's stop looking at just numbers and start looking at a landscape."

Imagine a vast, invisible city built on a grid. In this city, every building has a "weight" (called a Norm).

The Goal: The original math problem is actually asking: "Can we find buildings in this city that have a very specific, tiny weight?"
The Units (The Elevators): In this city, there are special elevators called Units. If you get on an elevator, you can travel to a new building, but your weight stays exactly the same. You can ride these elevators up and down forever.
The Connection: The author explains that the "bouncing ball" (Vieta Jumping) is actually just a way of riding these elevators. When you jump from one number pair to another, you are essentially taking a step on a ladder made of these elevators.

3. The "Richaud-Degert" Neighborhoods

The paper focuses on a specific type of neighborhood in this invisible city. These neighborhoods have a special rule: the elevators (units) are very predictable and easy to find.

The author proves that in these specific neighborhoods, if you find a building with a very small weight (a small norm), that weight must be a perfect square.

The Analogy: Imagine a rule in this city: "If you find a house with a weight less than 10 pounds, it must be made of gold bricks (a perfect square)." The author checks the blueprints of these neighborhoods and confirms this rule holds true.
The Result: Because the original math problem fits into this specific neighborhood, the rule applies. Therefore, the answer to the 1988 problem is always a perfect square.

4. Expanding the Map

The author doesn't stop at the original puzzle. He uses these tools to solve other similar riddles:

He changes the recipe slightly (changing the numbers in the equation) and asks, "Does the rule still hold?"
He finds that for some recipes, the answer is still a perfect square.
For others, the answer might be "twice a perfect square" or something else, depending on the shape of the invisible city.
He also discovers that for some recipes, there are no solutions at all (the city is empty in those spots).

Summary

The paper is a tour guide explaining that a famous math puzzle isn't just a random trick. It is a reflection of a deeper, orderly structure in mathematics.

Vieta Jumping is the method of walking backward from a big problem to a simple one.
Quadratic Number Fields are the map showing us the terrain where these numbers live.
The Conclusion is that the "small norms" (the tiny weights of the buildings) in this specific terrain are forced to be perfect squares, which solves the mystery of the 1988 Olympiad problem and many others like it.

The author's main message is that this "jumping" technique isn't just for math competitions; it's a powerful way to understand the architecture of numbers themselves.

Technical Summary: Vieta Jumping and Small Norms in Quadratic Number Fields

Introduction and Problem Statement
This article investigates the connection between the famous International Mathematical Olympiad (IMO) 1988 problem and the arithmetic of quadratic number fields, specifically focusing on elements of small norms. The central problem addressed is: Let $a$ and $b$ be positive integers such that $ab + 1$ divides $a^2 + b^2$ . Prove that $\frac{a^2 + b^2}{ab + 1}$ is a perfect square.

By setting $\frac{a^2 + b^2}{ab + 1} = k$ , the problem is reformulated as proving that if the conic $C_k: a^2 - kab + b^2 = k$ possesses an integral point, then $k$ must be a perfect square. The author, Franz Lemmermeyer, aims to demonstrate that Vieta jumping is a technique applicable beyond the scope of olympiad problems, linking it to parametrized units in quadratic fields of Richaud-Degert type.

Methodology: Vieta Jumping
The primary tool employed is "Vieta jumping," a descent method used to analyze integral points on conics.

Generation of Points: Starting from a known integral point (e.g., $(m, 0)$ on the curve $C_{m^2}$ ), the method treats the conic equation as a quadratic in one variable. By Vieta's formulas, if one root is an integer, the second root is also an integer. This allows the construction of new integral points from existing ones via operations such as $(a, b) \to (m^2b - a, b)$ and $(a, b) \to (a, m^2a - b)$ .
Descent: The technique involves reversing this process. Given an arbitrary integral point $(a, b)$ with positive coordinates, one can generate a new point $(a', b')$ with a smaller sum of coordinates ( $a' + b' < a + b$ ). Repeated application of this descent leads to a "fundamental" solution near the origin (specifically points where one coordinate is zero).
Classification: For the case where the quotient is a perfect square ( $k=m^2$ ), the author classifies all integral points on $C_{m^2}$ as belonging to specific sequences generated by these jumps from trivial solutions like $(\pm m, 0)$ .

Key Contributions and Results

Proof of the IMO Problem: The paper provides three distinct proofs for the IMO 1988 problem:
1. Elementary Descent: Using Lemma 4, the author shows that if $k$ is not a square, one can descend to a point $(A, 0)$ or $(0, A)$ , implying $k = A^2$ , a contradiction if $k$ was assumed non-square.
2. Pell Conic Action: The integral points on $C_k$ are viewed as a principal homogeneous space under the action of the associated Pell conic. The action of units in the quadratic field moves integral points into a bounded region near the origin, allowing for a classification of possible values of $k$ .
3. Quadratic Number Fields: The problem is translated into finding elements of small norm in real quadratic fields. By utilizing bounds on the coefficients of elements $\xi \eta$ (where $\eta$ is a unit), the author proves that if the norm $\nu$ is small relative to the field parameters, $\nu$ must be a perfect square (or related to one).
Generalizations and Families of Equations:
- Theorem 6: Generalizes the result to the equation $x^2 - pxy + y^2 = q$ . It is proven that if $p > 2$ and $0 < q \le p + 1$ , then $q$ must be a perfect square for integral solutions to exist. The bound is shown to be sharp, as $q = p + 2$ admits infinite solutions.
- Theorem 7: Addresses the case where $q < 0$ . It is shown that for $p > 0$ and $3 - p \le q < 0$ , no integral solutions exist, except for specific boundary cases (e.g., $q = 2 - p$ ) which yield solutions related to Fibonacci numbers (Proposition 8).
- Richaud-Degert Type Fields: The paper analyzes equations of the form $|x^2 - my^2| = \nu$ where $m = n^2 - 1$ , $m = n^2 - 4$ , or $m = n^2 + 2$ . Propositions 13, 14, and 15 establish conditions under which small norms $\nu$ must be perfect squares or related to squares, utilizing the fundamental units of these specific quadratic fields.

Significance and Scope
The paper claims that its primary significance lies in illustrating that Vieta jumping is not merely a heuristic for competition mathematics but a robust technique with deep connections to algebraic number theory. Specifically, it bridges the gap between elementary Diophantine analysis and the arithmetic of quadratic fields, particularly regarding elements of small norms.

The author notes that while many similar problems can be solved using the presented methods (including computer-discovered variations), others may require new ideas. The work does not propose experimental applications or future theoretical extensions beyond the scope of the proven theorems and generalizations presented. The focus remains on providing rigorous proofs for the IMO problem and its generalizations, thereby contextualizing a famous olympiad problem within the broader framework of number theory.

1. The Magic Bouncing Ball (Vieta Jumping)

2. The Lattice of Invisible Cities (Quadratic Number Fields)

3. The "Richaud-Degert" Neighborhoods

4. Expanding the Map

Summary

More like this