### The Square Root of Two

June 6, 2016 As an undergraduate, I encountered quite a few interesting people from among both students and professors. There was the economics professor who wore the same necktie with a graph paper motif every day. There was the physics graduate student teaching assistant who began our first session by placing a trash can on his desk and saying, "elephant." He explained that was his way of ensuring that he would be remembered. He was right. One of my student acquaintances was so comical, he should have made a career as a late night television host, and not as an engineer. One of his routines was to mimic the lectures of a certain professor. He would write furiously on a blackboard, stop, tap the chalk on a particular equation, look towards his audience, and exclaim, "Take square root... Take square root!" The square root of two (1.4142135623..., sequence no. A002193 in the On-Line Encyclopedia of Integer Sequences) is an irrational number; that is, it can't be expressed as a ratio of integers. The integers include the natural numbers. Early mathematicians considered negative numbers to be absurd. For that reason, all their fractions involved ratios of natural numbers, only. While the word, "absurd," means irrational, "surd" is actually a mathematics term relating to the roots of equations.*Thales (624-546 BC, top) and Pythagoras (570-495 BC, bottom) were among the earliest mathematicians.Thales is known for Thales' theorem that any angle inscribed in a semicircle is a right angle. He is also reported to have measured the height of the Egyptian pyramids using the concept of 45° similar triangles.Pythagoras is known, of course, for the Pythagorean theorem. He invented the geometrical object known as the Tetractys.(Thales image (top), and Pythagoras image (bottom), from the Nuremberg chronicle, via Wikimedia Commons.)*

Natural numbers are called that for the simple reason that they are the counting numbers. What can be more natural than looking out a window and thinking, "One tree, two trees, three trees...?" The German mathematician Leopold Kronecker, who is known to scientists and engineers for his Kronecker delta function, and among mathematicians for giving Georg Cantor such a hard time, once said that "God made the integers, all else is the work of man."[1] Pythagoras made the discovery that musical instrument strings having integral fraction lengths were most harmonious. Instruments with Pythagorean tuning have tones anchored at a perfect fifth in which the G-note string in a C-major scale is 2/3 the length of the C-string. The modern evolution of this concept is just intonation, where all the notes are ratios of small natural numbers, as seen in the table.

C | D | E | F | G | A | B | |||||||

1/1 | 9/8 | 5/4 | 4/3 | 3/2 | 5/3 | 15/8 |

*Hippasus of MetapontumNot much is known about Hippasus, other than his being a Pythagorean.The years of his birth and death are not known, although it's likely that he lived in the 5th century BC, about a century after Pythagoras.(Engraving, circa 1820, by G. Boccanera, via Wikimedia Commons.)*

The method of proof employed by Hippasus is known as

*reductio ad absurdum*. In this method, a proposition is shown to have two incompatible qualities, such as a number being both odd and even. This proof in the context of Hippasus's triangle is tedious, so it won't be explained here. You can read it on Wikipedia. I'll give a proof in modern notation, which is easier to understand. First, we suppose that the square root of two really is rational, so it can be written as the ratio of two integers,

**p**and

**q**. We suppose the fraction has been reduced by canceling all common factors of

**p**and

**q**.

We then square both sides of the equation.

Rearranging the equation, we see that

**p**must be an even number.

^{2}If

**p**is even, then

^{2}**p**is even. You can see that this is true, since having a 1, 3, 5, 7, or 9 as the last digit of

**p**would give 1, 9, 5, 9, or 1 as the last digit of

**p**. If

^{2}**p**is even, then

**p**is divisible by four, so

^{2}**q**and

^{2}**q**must be even. Now comes the

*reductio ad absurdum*part. We showed that both

**p**and

**q**are even, which contradicts our requirement that the initial fraction was properly reduced. Since our analysis gives this false result, then our initial assumption that the square root of two is rational is also false. The date for the Greek proof of the irrationality of the square root of two is about 450 BC. The Greeks, however, weren't the only people doing mathematics in antiquity. As I wrote in a recent article (Mathematical Astronomy in Babylon, March 10, 2016), the Babylonians were adept at the use of mathematics in astronomy from a very early date. Benjamin M. Altschuler of the The Fieldston School (Bronx, New York), and Eric L. Altschuler of the Lewis Katz School of Medicine at Temple University (Philadelphia, Pennsylvania), have just presented evidence that a clay tablet from the Old Babylonian Empire (20th - 16th centuries BC) may contain a geometrical construction leading to a proof of the irrationality of the square root of two similar to that of Hippasus.[2] This tablet, known as BM 15285,[3] contains 41 geometrical area problems. Problem twelve, as shown in the figure, has the following associated text: "The side of the square is 60 rods. Inside it [I drew]16 wedges [triangles]. What are their areas?"[2] The figure does not accompany an explicit proof of the irrationality of the square root of two, but the authors explain that its essential elements are there. See the arXiv paper for details.[2]

*Problem xii of tablet BM15285.The shaded area is a missing part of the tablet.(Drawn using Inkscape.)*

### References:

- "Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk."
- Benjamin M. Altschuler and Eric L. Altschuler, "Proof of the Irrationality of the Square Root of Two in Babylonian Geometry Problem Tablets," arXiv, March 22, 2016.
- Images of Babylonian tablet BM15285, PDF file at the University of Helsinki.

*Permanent Link to this article*

Linked Keywords: Undergraduate; student; professor; economics; necktie; graph paper; motif; physics; postgraduate education; graduate student; teaching assistant; waste container; trash can; desk; elephant; comedy; comical; career; late night television host; engineer; sketch comedy; routine; impressionist; mimic; lecture; blackboard; chalk; equation; audience; square root; square root of two; A002193; On-Line Encyclopedia of Integer Sequences; irrational number; ratio; integer; natural numbers; mathematician; negative number; absurd; surd; Thales; Pythagoras; Thales' theorem; angle; semicircle; right angle; Egyptian pyramids; similar triangles; Pythagorean theorem; geometry; geometrical; Tetractys; Nuremberg chronicle; Wikimedia Commons; counting numbers; nature; natural; window; tree; German; Leopold Kronecker; scientist; engineer; Kronecker delta function; Georg Cantor; God; man; musical instrument; string; fraction; harmony; harmonious; Pythagorean tuning; musical note; tone; perfect fifth; G-note string; C-major scale; just intonation; musical note C; musical note D; musical note E; musical note F; musical note G; musical note A; musical note B; Pythagoreanism; Pythagorean; universe; Hippasus (c. 450 BC); hypotenuse; isosceles triangle; right triangle; legend; deity; god; drowning; drown; sea; punishment; Metapontum; 5th century BC; century; mathematical proof; reductio ad absurdum; number; odd; even; Ancient Greece; irreducible fraction; reduce; factorization; common factors; square; divisor; divisible; Babylonia; Babylonians; The Fieldston School (Bronx, New York); Eric L. Altschuler; Lewis Katz School of Medicine at Temple University (Philadelphia, Pennsylvania); clay tablet; Old Babylonian Empire; area; square; rod; arXiv; Inkscape.

### Google Search

Free Downloads:

STEM artwork

for your holiday gifts

Latest Books by Dev Gualtieri

Thanks to Cory Doctorow of BoingBoing for his favorable review of Secret Codes!

Other Books

- High Energy Cosmic Rays - November 13, 2017

- Advanced Aluminum Alloys - November 6, 2017

- Joseph Polchinski - October 30, 2017

- Our Magnetic Universe - October 23, 2017

- Cavitation - October 16, 2017

- Pell Numbers - October 9, 2017

- Miniature Antennas - October 2, 2017

- Fizzy Graphene - September 25, 2017

- The First Angiosperm - September 18, 2017

- Noise Thermometry and the Boltzmann Constant - September 11, 2017

- Walking in the Rain - September 4, 2017

- Agitated Atoms - August 28, 2017

- Partial Solar Eclipse at New Jersey - August 24, 2017

- Magnetocapacitive Tunnel Junctions - August 21, 2017

- Tardigrades - August 14, 2017

- Roman Concrete - August 7, 2017

- Solar Spicules - July 31, 2017

- Schroeder Diffuser - July 24, 2017

- Rough Microparticles - July 17, 2017

- Robot Musicians - July 10, 2017

- Walter Noll (1925-2017) - July 6, 2017

- cosmogony - July 3, 2017

- Crystal Prototypes - June 29, 2017

- Voice Synthesis - June 26, 2017

- Refining Germanium - June 22, 2017

- Granular Capillarity - June 19, 2017

- Kirchhoff–Plateau Problem - June 15, 2017

- Self-Assembly - June 12, 2017

- Physics, Math, and Sociology - June 8, 2017

- Graphene from Ethylene - June 5, 2017

- Crystal Alignment Forces - June 1, 2017

- Martian Brickwork - May 29, 2017

- Carbon Nanotube Textile - May 25, 2017

- The Scent of Books - May 22, 2017

- Patterns from Randomness - May 18, 2017

- Terpene - May 15, 2017

- The Physics of Inequality - May 11, 2017

- Asteroid 2015 BZ509 - May 8, 2017

- Fuzzy Fibers - May 4, 2017

- The Sofa Problem - May 1, 2017

### Deep Archive

Deep Archive 2006-2008

**Blog Article Directory on a Single Page**