Posts tagged with √2

## 1729 is not a number

SOURCE: Barry Mazur, When Is One Thing Equal to Some Other Thing?

Anyone who writes a number in the form 1729 implies a method of calculation: one thousand, plus seven hundreds, plus two tens, plus nine ones.

$\dpi{200} \bg_white & \underline{\texttt{1729}} \\ & \ 1 \cdot 1000 \\ + & \ 7 \cdot 100 \\ + & \ 2 \cdot 10 \\ + & \ 9 \cdot 1 \\$

Different than writing tick-marks |||||||||||||||||||||||…¹⁷²⁹ which would imply

$\dpi{200} \bg_white \underbrace{1 + 1 + 1 + 1 + 1 + 1 + 1+ \ldots}_{\text{1729 times}}$

Different than Roman numerals MDCCXXIX,

$\dpi{200} \bg_white & \ \; \underline{\texttt{M\!\;\!D\!\;\!C\!\;\!C\!\;\!X\!\;\!X\!I\!X}} \\ & \ \; 1 \cdot 1000 \\ + & \ \; 1 \cdot 500 \\ + & \ \;2 \cdot 100 \\ + & \ \; 2 \cdot 10 \\ - & \ \; 1 \cdot 1 \\ + & \ \; 1 \cdot 10$

$\dpi{200} \bg_white & \ \; \underline{\texttt{6C1}} \\ & \ \; 6 \cdot 256 \\ + & \ \; 12 \cdot 16 \\ + & \ \; 1 \cdot 1 \\$

or the most agnostic way to write a number, via its prime factorization ”the fourth prime ⨯ the sixth prime ⨯ the eighth prime”.

$\dpi{200} \bg_white p_4 \cdot p_6 \cdot p_8 \text{ \ \ i.e., \ } 7 \cdot 13 \cdot 19$

They’re all ways of calculating the number, but they’re not the number itself.

### Daphne

We could agree to call this number some agreed-upon name, like ”Daphne” and use a symbol ₯ for shorthand. 1729 is no more her name than is 6C1.

Or we could refer to Daphne by property without implying a particular calculation: “the smallest sum of two cubes, which can be written two different ways”.

Or we could denote Daphne by equation:

• ₯ = 9^3 + 10^3, or
• Daphne ₯ is the number that solves the equation 12^3 - ₯ = 1^3.

It’s the same way with the square root of two. Its name is no more √2 than ⨿2 or ¶2.

Just like 1729√2 is merely a notation. What makes √2 be √2 is the property it has.

### Numbers aren’t numerals, they’re … uh … things.

All of the above is meant to drive a wedge between numbers as written on paper and numbers as they “exist” abstractly.

Numbers don’t need numerals. And you can talk about numbers without knowing how to write them. Just agree on some symbol like π and use π whenever you want to talk about the number you don’t know how to write.

It sounds trivial talking about an integer, but the difference between

• properties of numbers,
•  ways to calculate numbers, and
• the numbers themselves

is good to keep in mind when you’re thinking deeply about

## sqrt10

1.0110101000001001111001100110011111110011101111001100100100001000101100101111101100010011011001101110101010010101011111010011111000111010110111101100000101110101000100100111011101010000100110011101101000101111010110010000101100000110011001110011001000101010100101011111100100000110000010000111010101110001010001011000011101010001011000111111110011011111101110010000011110110110011100100001111011101001010100001011110010000111001110001111011010010100111100000000100100001110011011000111101111110100010011101101000110100100010000000101110100001110100001010101111000111110100111001010011000001011001110001100000000100011011110000110011011110111100101010110001101111001001000100010110100010000100010110001010010001100000101010111100011100100010111101111100010011100011001111000110110101011010100010100011100010111011011111101001110111001100101100101010011000110100001100110001111100111100100001001101111101010010111100010010000011111000001101101110010110000010111011101010101001001010000010001001100100000100000011001010010010101000000100111001010010101011011011011000111111010000111011111101111101001101001110100000001011001110101111001001001111100000110001000010011001001101101010111100110101010010100010110110010100011011100011001111001101000001101101101111100000100011011011000111000000010000010011011100000000011111111000110010001101010010111100110011001010100101111010011111011110111101101000011110101111111111011010100001101111100011111111001010001000100001001100000111110111101010000001100010010000011111011110101010100000011100001011000001111111001011110111011110101000101111011111011100001100110001100010000011100010100010111010101111111101011111001110110010110100100100111101001010011101100011111110101100101110001000001011111101111111100001011100001111110100111011000111110111100000001111100110101100110011100100000101111001011111110010100000000101110000100100011001111000010111101001001010010101011100000010001101011111110011111000111101111011110010100011111010100011001110110100110101111100011000001010010111100110001100111110001111100001010010000101111100111011010010010100110110000010101111000110000010000101101011000010011111011010010000111110010010010010011110101101101110001111110000010110111001101001010010000001101100000100111011110111010001001000100101001100000111101010011101010101011010000111011101010001100100001111101110100100010011111010001101010011111101001000000110000101111100010000011111011011101101001010011101111101101011000110010011001100001001100110111010111000010100001110110101001000001000101110000111101000100110011101000000110100001000010001111010110111000111000001100000011110110010000000110111010100111011010001101000111011001101000010001111001011011000101110011010101100101110010110111000000111111110011010101000000110000110100000100101001010000101101011001000000011000010000000111101111011011111100011011011110100100010001010010100010101101001111001001001000110001101000100111000110000000001011101101000000101010001011010101101011000001000001111111010101110111100110111000001101110100001100011001101101010010000011000111111110011111111111111101010111010101111110010001110001000010011000000011001101101111010101110000100110100001001000010111011010010111101001000110110011111000101111001000000101101101110010011100100101101110010111000111010110000010100001111110001000100011110000100010100000101001101110000100000000110011001110110111000010110011100101101111011001100010101110111001110001111001000010111000100110100011010011011110100110000001110010111100100010000000100011010001100001001111111111110000100010010001010011010000111001111010101001011110101001100110011011011011001001111000111100111001110001111110010100110101100000100100101010110011100001001000001010101110001110010101010000111000001101010101010001000101101000100001100011000101110111100011001111011000000011010100001101000000101111111010000101111100101001111011001000101111100101110001110010101110000000011110101111010101110111000110111000001001011011001100001010000011100111100000110111011010101001000111000000100011000110101001111111000011111000111100110010001110110011011000101000000111010010001001010110100010011100000010110101101010000010000001000111110110111001100010011111011000111010100010100110010011101000010100011001101111000000110100001100000111100010001000101000000001001000010011011001010011110100111110011011101100111101010010110011000111010100100010011101011101010010001100011011010111000110001100111100010010000000110010010110101111100101010010011011111101011101100101100110011110001011010011010010110001001101110110101000011001111011110110001110010010000000001010011111111010101000110010000001011100110101011001111100001010111010001111010011110011101001110111111110000010111101000110110100110111010111011100010001011110000000010101111011011010010101101101111110101011110001101100000101110000100010110010001101010111111110111010111101000001110111111111101100100101101101101110001111011101111000111111000001110000101011101110111100111000011011010010011110101111110101101011110100010001100000100010000010100101011000101011011101000000011100101001111111000110110110101111000000101101111110110000011011110001101110000010100110111011011011110001100111111110000101101100100111010011100000100001100001101100111010000100110111010101110001101100010110010101001001100001110011110100100001000111000110101010101110011010011101100000000001111001010111100101000100010110111100011000001010001111100000101001001111110110001001011010001110101101111001010010111101110001110000001011010110100101000101110110101001010010110000010010100100010000001100101010111100100101000011100001111100001111010010011011111101000011110011101111101000101011110110001100000101101001010011101000010111011100101000100010101100101000010011111110110100000001101100100110000010100100010101110110000011101110100000110100110101010110001101100000011101110100010001010110011110100101100100001111101010101000100111111010110111011101010111101000100000010100101001011101011011011011110100101010001000100111100011110100001001001010111011000111000110100001010100100000001101110000101110100110011001010001111011001101110010110111101101101000000101111000100001100100101111100101011011000110111001001001100101000100101011010000000100110000110011000110000001110101100100101000110101100110101000100110110110111110001000011001001111001111010101011101010011000110010011010110011010101000111000011000100101011110101001001110100101011110100101100101110111010101000111111110100000111101100000011011001100001100101110111010101000010011101111011100010000001111010010110100101101010101111011011011000001010100111010010111110011011111000010110001110111111111100010100100101000110100110010000110110010100101000111000011101010111001000001010110001011001111001110110111000110010010101101111000011110010000110001101000010011100010111011011110111110011100110000010110110100011011110111111111100000101111000111010101001111111100111110110000000100001010111101110010000101101100110010010110011001011001010010001010101000011110111000011001000011111000111101000101111000011100001111100011000010010110110101100101111000000001100000110101010101101110000010111111010100111011010011111100111110000101011000100100101011010110110101001000110110000110000010110010110010100000110001111101000100110010100010011110101101000110100110011011111101010101101111110111000010100110100111110001111010100100111110010000100111100110101010000100101101010001100000101000001101010010010100100101011011011010111110010011011100011100111101110111111001011011101110100000001010100111011111110000100010110110001101001110000101111010100010111011001100100000000001110101110100000011000001100110010000110001111011111100101000010001011000010010000000010100100111101110111000101110101000000100001001110100100111011100001100001111111111110111100001001000011010011110111110010000110100111110000011110100001010101010111111101111011110010100110001111101110100101110101111110110111100001011011010111110111110110011100000001011100110010110111011011101111011100011111011101110001100110110110100101011011000111001001011100111101111000000011110001011001001000011111000000001101001110100100011111011001111101100001100100011100010111000100111110101100100011111011010101001000011011101100010101001100100101110011100011111010111010001010011010001001111110110110101000101101111110001010110111110100001111010101110011010101001010110000111010011111011010100000001111101101001101100010111101101100110101110000001110111111011101000010001111011010101001001000001010111010111111011100011111001010011111110010101100001011001010001101011101100100000100000010110000101111000000001011001100101101000000001011011101101001111100111011010011110010110111101100011001111001001110100010011111101101100000101110010110000111010111111100011010000000001101000110010111010011001110111010110101000100100011111100010011110010110000000001010001111110101110000001001100110010001101001100101010101001010001101010000000000001111111111100000100100001010101111111011110000101101100010100100101010001000000101000101100111101101000100100111101001010100110011001110110010110110001111001111011000110111001110100111000100011100100111001111100100010101011001101100001110010111101100101000001001111000101001111111000010111011100010111011110001000101000101101101110111001010101100001111011011101001010101010111010001001000111110010011111011101011100000001111011010011111001101001011010100100101110001110110000011110011001110000000111011111001111011011011100010101100111011101111101010001101101100111100011111001110001001101110010000101010101001011001100001001101010011011011100101010110000100101110110001010010100010100010010001011111110011110100001111011011001101110101011111110000101000001010000111111100001001001111111000100001100011110100101101100011000001110010000010010000010000000100010010110010001100101111001110001100010000000011001011110001110000111010101110001001011100011101110101001111011110010110011011011101100101110110000101001011101011101000110101111001011110100000100001001000101100011101010111001111110110110001001101111101000010100001100000011011001000001100111001110111010111010100110110111010111001010001001110010011101111010101011100101010001001101100110001011100010111100000101111011110011011100100001000110011111011111110101011011010110100111010000010001101000010101110001000010001100110101100000011001010010011100000011111010011010000010101000010000010111001000100101011001100001111110000111110110011010010101100101100000111110010010110111111001011010111010000111101001011011111011000100101111001111010101001110010001110011111110110001101111101011001100001011000011000101110010111100010100111010101000100101110110000001011111110000010000101010100011010001010001101001001011101101111001101100100101110010010100011001010000101000000101001111111011011011000101100110001111110010111101110001011001001101100011010001100000100001010001010010101110100100100010111011011100000100001011010001010011011010111011110001100101011110101101010110110000100010110111011111000101111101000010110010100100000110011101010101010001000101101011011000010110011100111001001011000011100110000101101101000110110100000110111010000110111011001111111100101110011001101011100001111111100010110010101011100010010100000101101001100111000110000111001111100110111111000010010100101100001000111100001000101110100011011111110101101110101010011001110101100110111011000010110001111000101001010100001000010100010110100100011111001101000101000101011110001111101001100101000011111010001101001110010011100011100010111101111100100000101010100001011000001110000010101001010011000110011010101001100100001101011011011001001001110001111010001011010111010001101001011111101100011000010001101010110110101111100010110101010001000011011001001000101011101100011011100101111111000110001101111010100000111111001100000110110101011110110011101000100000111111101000001110010010001101101100001000001110111100101110010101110100001000110000100001100010101011010000100101100111011010110001011110100110010110101000111111111001110100011111000011011110101010001100001111110001000001000111001000000111000000001111011001100001100001010001001100011110001010100110100111011100110110011110010011010000111010111101100101010110110011100001100110011000001100010101100011101110011000000100110011101100100011000111000110010101110111111111010101001000011110010000010000011010001000010001000100000011011101001111100000010110111111101011101010001101001000111001111001010011001101101010001110100101100010000110010110111110000010111011000110010010000001011010101010101000101011001011100000100000000001011111110000110000010101001100010010101000101001011000101000100011011101000110011100100001011001011101100011010011011110111000011011101001011111101111101001000110100110000001011110110001101010101101110110001110100011010010100001010000001010001010000100110100110100111111110100100000010001110101011101101111001101100001000000111000101010000101001101000010000001010100011000110110100100111011110000011111011111010100011110011000100111100100110111100011111001010110011111011000111101011101111001001110110001111001110000110011010010011010111101000111110111110010010010001001000001010010111111101000100011101010001100100100011011111101011010011111010000001001110010010110101110011011011011110000110100010100110100100001011011000111001100101101001110011010010101111010010000101110100101001010111111011000011000001000111001001000100111010000001101010111101000000100110110001001001111000011011101100100011110100110110001110011110000001111100111110101110111000010101011110011010000111001100011000110100111101011100010011110110101101010001101101001110101011110110101000011101111001110010111011111001111010000000010010101000100001101110101001101001001001111110010011100111010111100011111010011011001110110011011100110010000111000010011110101101111001010110011111010100100100111000101010110010000000100010010111101011110111110110011100000000100000010101011011111001100111001000111110000000100100001011110111011110010100000010101010110001101011111010010001111100001101110000011011011011011100000000010100110111100000011001111001011101011000000001111010010001000110010101100001011001111000110101111001100100100111101111110110001110110000011010010110001101001000100000100110011101011010001111010100100101010011000001010011111101101101011001110101000010100001110011100000110000011001011001100111000001010010110100011110110011101111111000100111001110010001010010111101010000100101011110001111001001010111101110101101001111101011110000010110011100110110000011101001000111110001000101001000001010001110111000011001001010101100101111010100100011011010000110111100010100110111001110110110000010110111111110000001000001010101000110010111000000011011000000010100101101101000101111100100010100010001001110011000001110000011100010110110111011000110010100100010010011101101101011111111110001111110110000001010100001111100110011001100100011011011101100010100101010111110110011000010111110010001101001001001101010010110011110010100010100000111010011011110111000100111010101101000011000101111000010000101010111111111111011110100011101111110110110000100011011010010111100110100001111000110100110101010001010110011110011101110001111111011101010010010000010101011110100010111011000001111010101000100100100110110110001111010101100111001001010110101111010101101011000011001100011011111100100101000001000111010100010010000111011100111100001111011101011011010101111100010101001110010111010011001010101101111010101101011111101001101111011011110100101110000101000001100010101011010001111110100111000100101000010111000111011011001111000010110100110110001110100110101111110011000100110011000111101001110110101111000110111011001100110101010011110100010001001100100011100100001001110111001101100011110100100101101010011110111101010110000111100010110100011010011000101111110000001011000110111010100110110000110000100001110000000111010111101111100011000111100001010000000110110010101011000010100001111010011000010100110101001110000101111101001101011101001000101111100000101111010000110001000000110111101010110100100101001010001110010111011110101000111110110100010111011101100100101101000110101111001101111101000110111001011101001011110110100001001000110100010101110000100010011111001110011001011000101100000010011101001010000011101101101000101110101000111101110001110110010100110001100000010011011111011101101100100001111100001100110110010111101111101000111011111100010000111001001000011000111110111001110110111010100010111110001110111011100001111000011001001011100110100011101000100000011010100111110010011100010100101011011111011010110110001001111100101101000011100001101010101011101100100101111011011001101010001101111010110100111010000111110110111111010100011011111110100001011010110001010001010000100100011100011100101001111001110011110111000100111111011101010101011111100000010101101100011110110111101100111011000101101111110010000010010100100011000100000000101010001000010101110111001011010001100011010010101010101101000100111011111000111111001111001000010010100101010110000000100001001100000100111101001101011111101011110101011101110110010111101001101011101010011100100001110101011010010001101011010011010110001000001110101010100111010101110001101011100011010010110110100010101100010110111001001001010001111110000111011011011110111110001000011110010100010101100101111100100111010111010001011100100011011011111110000011001100011100111111101010101011110111000100110001101110010011110100010010100010110111000001110001110000010011110100100001001100001110010101000110011110000111011010000101011001000010010110101011110111011000000110010000010101111100011010100101001101111011000001001000100011110101100111000101010100100110011100111100000101011101001001111111010011111110001001001100010010010101110010000011111101000000000101010001110101010000011010110100011111011100110000010010101001111011001010100101011101000010010100100000011101111000001111000101010100010001101001100010011000101000111001111010111000101110100100101001001011101000111100011100110000101111101110000111010000111000010100100110011100011011010010101101111110000101100001010110110000000100101100000011011010000011100101111000011010011110100101011110000110000000100101110100001000011011111011010000100101111000101010001000010000111011010100100100010100001001011011000010011011100000100001100110011101010100100100010101000100110011111101001001100101011001000111110111000100110101000010010101100000101001111101101101101011010111010101010100001010110001001001100111111010011010101000000000111110000000111101100101000010101101100001111000100100000111110010001101011110001110100111011010000101010100101000000110110110101110110101110101101111111010011001110000101010011101111111110100011011010010101111000010011011010100000111000011010110101011011101110001100111110100100110010010110110111000101011011100111011100101111110011100100101101111110011100101100101111100001001011010111010111101111100110101110100010010000011010101101010111100110000000100110011111111010

## Pythagorean Theorem

This is how I first really understood the Pythagorean Theorem.

The outer circle looks just a little bit larger than the inner circle. But actually, its area is twice as large.

Kind of like the difference between medium and large soda cups, or how a tiny house still requires kind of a lot of timber, for how much air it encloses. If you buy a slightly wider pizza or cake it will serve proportionally more people; and if an inverse-square force (sound, radio power, light brightness) expands a little bit more it will lose a lot of its energy.

Ideas involved here:

• scaling properties of squared quantities
(gravitational force, skin, paint, loudness, brightness)
• circumcircle & incircle
• √2

This is also how I first really understood √2, now my favourite number.

hi-res

## Pythagoras

visual proofs of the Pythagorean Theorem, a² + b² = c²

hi-res

Here’s the distribution of the first million digits of the square root of two’s decimal expansion.

Number of digits | is:   0's |  99 818  1's |  98 926  2's | 100 442  3's | 100 191  4's | 100 031  5's | 100 059  6's |  99 885  7's | 100 012  8's | 100 347  9's | 100 126

If each digit had a Bernoulli chance of coming up (like a 10-sided die), you’d expect to see 10 000 ± 30 times.  And going on with that same assumption, the chance of the least-frequent digit coming up less than 99 000 times would be something like one percent.

What does it mean?  I will meditate on this and expand √2 in different bases besides 10.

hi-res