Adic Numbers and Infinite Digits: Veritasium Explains 3-Adics and Fermat's Last Theorem

Overview

Veritasium takes you on a journey from familiar arithmetic into the world of adic numbers, where digits can extend infinitely to the left of the decimal point. He starts with a curious pattern seen when squaring numbers that end with five, and builds up to a whole framework where such infinite expansions are meaningful. The video then contrasts base 10 with prime bases and introduces p-adics as a rigorous tool for solving problems in number theory.

3-4 Key Insights

• Infinite leftward digits form a consistent number system called p-adics, which changes our intuition about size and convergence.
• In 10-adics, you can represent negatives and fractions without extra symbols, but zero is not always a simple product factorization when the base is composite.
• Switching to prime bases (like 3-adics) restores desirable algebraic properties, enabling a useful notion of zero divisors and solvability of equations in new ways.
• Through modular lifting and p-adic expansions, Veritasium demonstrates how a Diophantine problem can lead to a concrete p-adic solution and how these ideas connect to Fermat's Last Theorem via p-adic methods.

This video weaves together historical anecdotes, modular arithmetic, geometric-series reasoning in p-adics, and the modern application of p-adics to Diophantine problems, all within the Veritasium style of approachable math storytelling.

Introduction to a New Number World

Veritasium opens by showing how squaring numbers with endings like 5 yield a pattern that seems to persist across iterations. He then pushes this pattern into the idea that you can extend digits to the left of the decimal point into an infinite sequence. This leads to the concept of tenadic numbers, where numbers are written with an infinite string of digits to the left. In this system, operations such as addition and multiplication still behave as expected in a digit-by-digit fashion, but with a different notion of convergence and size than in the usual real numbers.

He then contrasts tenadic arithmetic with p-adic arithmetic. In base 10 the base is composite, which means that the product of nonzero tenadic numbers can yield zero in certain complicated ways. To recover the familiar property that a product is zero only if one factor is zero, one can switch to a prime base, giving the prime adic numbers or p-adics. The video emphasizes that p-adics provide a robust framework where the same arithmetic rules apply, but the notion of distance and convergence is inverted compared to the real numbers. This leads to a new geometry that is more tree-like than linear, with the digits forming an infinite branching structure.

What Are p-Adic Numbers

In p-adic numbers, the last digit and digits to the left are determined by the numbers to the right. The presentation uses concrete examples, including a 3-adic construction where the units digit can be 0, 1, or 2, and higher digits refine the value using powers of 3. This modular, digit-by-digit buildup enables researchers to solve equations digit by digit, but now modulo successively larger powers of the base. The geometric intuition is that the early digits encode coarse information while higher digits make increasingly fine adjustments. The p-adic world is described as non-archimedean, meaning that large-scale intuition from the real line is reversed in some sense; the digits to the left can determine the closeness of numbers in surprising ways.

Solving Diophantine Problems with 3-Adics

The heart of the video centers on using a 3-adic expansion to tackle a Diophantine problem about sums of squares, a classical kind of challenge Diophantus explored. By working modulo 3, then modulo 9, and modulo 27, etc., the coefficients in the 3-adic expansion are determined iteratively. Veritasium shows that the first three coefficients in the expansion are all 1, and explains that if one continues this lifting process to higher moduli, one obtains an infinite sequence of coefficients all equal to 1. Interpreting this 3-adic expansion as an actual 3-adic number, the result corresponds to a rational solution to the original square-sum problem, arising from a geometric series with ratio 3. The sum converges in the 3-adic metric even though it diverges in the real metric, illustrating the striking difference between these number systems.

To make sense of this, the video introduces a three-adic tree visualization, where each level of the tree represents higher powers of 3. The infinite stack of cylinders or branches encodes a 3-adic integer, with deeper levels contributing finer corrections. This tree-like picture helps illustrate why two 3-adic numbers can be very close even if they differ far to the left on the traditional real line, because closeness is defined by agreement on large powers of the base rather than by absolute magnitude.

Absolute Values, Zeros, and the Role of Primes

A key part of the narrative is understanding what makes p-adics different from the ordinary real numbers. Veritasium defines a notion of a non-archimedean absolute value that satisfies three properties: positive definiteness, multiplicativity, and the triangle inequality. In the usual real numbers these properties lead to the standard absolute value, but in p-adics the metric changes the concept of distance and convergence. In particular, because the base is prime, there are no nontrivial zero divisors, which preserves the familiar zero-product property for nonzero factors that we rely on when solving equations. This harmony breaks down for composite bases such as 10, which is why p-adics are so powerful for certain number theoretic questions.

Convergence, Geometry, and the Power of Primes

The video emphasizes that p-adics do not exist on a conventional number line. Instead, they are best visualized using trees or hierarchical structures. The distance between two p-adic numbers is determined by the first place they disagree when read from the right, making larger common initial digits correspond to smaller distances. This inverted geometry makes some infinite series behave differently: a geometric series with ratio equal to the base can converge in the p-adic world even though it diverges in the real world. Veritasium uses this idea to show that a seemingly absurd infinite sum can produce a meaningful p-adic number, enabling a rational solution to a Diophantine problem and connecting to the broader theme of Fermat’s Last Theorem.

Fermat’s Last Theorem, Wiles, and the p-Adic Toolkit

The narrative then weaves Fermat’s Last Theorem into the p-adic story. Fermat claimed that the equation x^n + y^n = z^n has no nontrivial integer solutions for n > 2, a problem that resisted proof for centuries. In the modern era, Andrew Wiles proved the theorem, but not by the direct algebraic path Fermat hinted at. Instead, Wiles relied heavily on techniques from arithmetic geometry and p-adic number theory. The video discusses how different primes give rise to entirely different p-adic worlds, and the so-called 3 to 5 trick where a proof that works for one prime may fail for another but succeed for a different prime. This highlights how p-adics are not just a curiosity but a central tool in the modern number theorist's toolkit for tackling Diophantine problems at the heart of Fermat’s Last Theorem.

Philosophy, Tools, and Takeaways

Veritasium closes with a broader reflection on how these nonstandard number systems demonstrate that mathematics is not a single, monolithic view of the universe. Instead, different number systems provide different notions of size, distance, and convergence, all of which are consistent within their own frameworks. The discussion also touches on the historical development of p-adics, their role in the solution of Diophantine equations, and their significance in the work of modern Fields Medalists. The message is that there are star-like structures in mathematics beyond the familiar sun of real numbers, and p-adics are a robust, deeply useful way to explore those stars. The video invites curiosity about the future of mathematical discovery and points to additional resources for those who want to dive deeper into the world of p-adic numbers.

Note on Sponsorship

Content sponsors are acknowledged in the video, but sponsorship messages are not included in this summary.