Get AI summaries of any video or article — Sign up free
What happens if you just keep squaring? thumbnail

What happens if you just keep squaring?

Veritasium·
6 min read

Based on Veritasium's video on YouTube. If you like this content, support the original creators by watching, liking and subscribing to their content.

TL;DR

Squaring a number repeatedly can stabilize more and more trailing digits, leading to a 10-adic number n with n² = n.

Briefing

A simple “keep squaring” pattern leads to a number that is equal to its own square—an object with infinitely many digits to the left of the decimal point. Starting from 5, then 25, then 625, the last digits keep matching the previous number for longer stretches: squaring 390,625 preserves the final 5 digits, squaring the matching tail preserves more, and the shared suffix grows without end. That iterative stabilization behaves like a convergence, but in a different direction than ordinary real-number limits. The result is a 10-adic number n satisfying n² = n, meaning n is its own square.

The central payoff is that these “left-infinite” numbers are not mathematical nonsense; they live in a different number system—p-adic arithmetic—where distance and size are defined by how far two numbers agree in their base-p expansions. In 10-adics, addition and multiplication work digit-by-digit from the right, because each new digit depends only on digits already fixed to the right. This makes it possible to represent fractions without writing division symbols. For instance, multiplying a specific 10-adic number ending in 857142857143 by 7 yields 1, so that number equals 1/7. Similarly, 1/3 can be encoded as an infinite string of digits that, when multiplied by 3, produces a 1 in the units place and zeros everywhere else—an analogue of the familiar 0.999… = 1 argument, but flipped to the left.

The transcript then tackles why p-adics are powerful despite looking alien. In ordinary arithmetic, factoring relies on the idea that if a product is zero, at least one factor must be zero. That property fails in base 10 because 10 is composite (5×2), allowing nonzero 10-adic numbers to multiply to zero via digit-carry interactions. The fix is to switch to a prime base p. In p-adics, the “zero product” behavior returns: a product of nonzero p-adic numbers cannot be zero. This prime-base structure is what makes p-adics a reliable tool for solving equations.

A major example comes from Diophantine problems tied to Fermat’s Last Theorem. The transcript uses Kurt Hensel’s method: build solutions as expansions in increasing powers of a prime (like 3), determining coefficients one modulus at a time (mod 3, then mod 9, then mod 27, and so on). Applied to a “sum of squares” equation derived from Diophantus, the digit-by-digit lifting process produces a 3-adic solution whose base-3 expansion is an infinite string of 1s. Even though that expansion makes no sense as a real number, p-adic geometry interprets it correctly: the infinite series behaves like a geometric series with ratio 3, yet it still yields a finite p-adic value. The result corresponds to a rational solution—specifically, a rational x = -1/2 that generates a square-area identity.

Finally, the transcript connects the abstract machinery to real breakthroughs: Wiles’s proof of Fermat’s Last Theorem used p-adic methods and famously required a “three, five trick,” switching from prime 3 to prime 5 when the prime-3 approach hit obstacles. The takeaway is that p-adics reshape notions of size and closeness so drastically that problems impossible over the reals become tractable—turning “infinite left digits” into a practical computational framework for modern number theory.

Cornell Notes

A “keep squaring” digit pattern produces a number n with n² = n, but n is not a real number—it has infinitely many digits extending leftward. Those objects make sense inside 10-adic and, more generally, p-adic number systems, where addition and multiplication are performed digit-by-digit and “distance” depends on how many base-p digits two numbers share. In base 10, zero-product factoring fails because 10 is composite, so p-adics use a prime base to restore the key property that a product is zero only when one factor is zero. Using Hensel-style lifting (solving mod p, then mod p², then mod p³, etc.), the transcript constructs a 3-adic solution to a Diophantine “sum of squares” problem and interprets an infinite base-3 expansion as a finite p-adic value, yielding a rational solution. This framework later underpins major results such as Wiles’s proof of Fermat’s Last Theorem, including the “three, five trick.”

How does the “keep squaring” pattern lead to a number equal to its own square?

Starting with 5, squaring gives 25; squaring again gives 625; and each time the last digits match the previous number for longer stretches (5→…5, 25→…25, 625→…625). When squaring 390,625, the last 5 digits still match, so the shared suffix grows. Repeating the idea—square the part that matches the previous number and increase the number of shared digits—creates an object whose base-10 expansion stabilizes indefinitely. That stabilized left-infinite expansion corresponds to a 10-adic number n satisfying n² = n.

Why do 10-adic numbers allow fractions and negatives without writing division or minus signs?

In 10-adics, multiplication and addition are defined digit-by-digit from the right, so one can solve equations like “find x such that 7x = 1” by choosing digits so the product matches 1 in the units place and 0 in all higher places. The transcript gives an explicit 10-adic number ending in 857142857143 that times 7 equals 1, so it represents 1/7. For 1/3, the digits can be chosen so that multiplying by 3 yields 1 at the units digit and zeros above; the resulting left-infinite digit string corresponds to 1/3. Negatives also appear naturally: the 10-adic string of all 9s behaves like −1 because adding 1 triggers endless carries that turn every digit into 0.

What breaks in 10-adics that mathematicians rely on in ordinary factoring?

The usual “if a product is zero, one factor must be zero” property fails in base 10 because 10 is composite (5×2). The transcript illustrates that nonzero 10-adic numbers can multiply to produce a zero in the units place (e.g., 5×4 = 20 gives a units digit 0), and carries can be arranged so all digits become 0. That means equations like n(n−1)=0 no longer force n to be 0 or 1, allowing nontrivial idempotents such as the self-squaring number.

Why does switching to a prime base p fix the zero-product problem?

In p-adics, the base p is prime, so the digit-level multiplication constraints become stricter. The transcript argues that to get a zero digit in the product, one of the factors must already have a zero digit in the corresponding place, and this requirement propagates across all higher digits. As a result, a product of several p-adic numbers is zero only if at least one factor is itself zero—restoring the key factoring logic used in many algebraic arguments.

How does Hensel-style digit lifting turn modular solutions into a p-adic solution?

The method expands unknowns as infinite series in powers of p, with coefficients chosen from {0,1,…,p−1}. One solves the equation modulo p first to determine the lowest coefficient(s). Then one lifts to modulo p² to determine the next coefficient(s), and continues: modulo p³, modulo p⁴, and so on. Each step refines the expansion so that the equation holds to higher and higher powers of p, producing a consistent p-adic number.

How can an infinite geometric series with ratio 3 yield a finite p-adic value?

The transcript’s key point is that p-adic “size” and convergence are governed by agreement in digits, not by real magnitude. In the 3-adic world, terms multiplied by higher powers of 3 become smaller in the p-adic distance sense, so an infinite series that would diverge in real arithmetic can converge p-adically. That’s why an infinite base-3 string of 1s (a geometric series with ratio 3) can correspond to a finite 3-adic number, leading to a rational solution in the Diophantine problem.

Review Questions

  1. What digit-stabilization property of squaring produces the self-squaring 10-adic number, and why does it require infinitely many digits to the left?
  2. Explain why base 10 fails the “zero product implies a zero factor” principle, and how choosing a prime base p restores it.
  3. In Hensel lifting, what does solving the equation mod p, then mod p², then mod p³ accomplish in terms of determining coefficients?

Key Points

  1. 1

    Squaring a number repeatedly can stabilize more and more trailing digits, leading to a 10-adic number n with n² = n.

  2. 2

    10-adic arithmetic supports addition, subtraction, multiplication, and even fractions by constructing digit expansions that satisfy equations digit-by-digit.

  3. 3

    The 10-adic “zero product” property fails because 10 is composite (5×2), allowing nonzero factors to multiply to zero.

  4. 4

    Using a prime base p restores the crucial algebraic behavior: a product is zero only if at least one factor is zero.

  5. 5

    p-adic distance is determined by the lowest power of p where two numbers differ, reversing the real-number intuition about what “large” and “small” mean.

  6. 6

    Hensel lifting builds p-adic solutions by solving the equation modulo p, then p², then p³, refining coefficients one digit at a time.

  7. 7

    p-adic methods played a role in major number-theory breakthroughs, including Wiles’s Fermat’s Last Theorem proof and the “three, five trick.”

Highlights

The “keep squaring” process doesn’t converge in the usual real sense; it stabilizes digit patterns in a 10-adic system until n² = n.
In 10-adics, the infinite string of all 9s acts like −1 because adding 1 triggers endless carries that produce 0.
Factoring logic fails in base 10 because 10 is composite, but prime-base p-adics restore the rule that zero products require a zero factor.
Digit-by-digit lifting (mod p, mod p², mod p³, …) turns modular solutions into a p-adic number that can correspond to a rational solution.
Wiles’s Fermat’s Last Theorem proof relied on p-adic ideas and required switching primes via the “three, five trick.”

Topics

  • 10-Adic Numbers
  • p-Adic Arithmetic
  • Hensel Lifting
  • Diophantine Equations
  • Fermat's Last Theorem

Mentioned