Doubling the cube

Doubling the cube, also known as the Delian problem, is an ancient^[1] geometric problem. Given the edge of a cube, the problem requires the construction of the edge of a second cube whose volume is double that of the first, using only the tools of a compass and straightedge. As with the related problems of squaring the circle and trisecting the angle, doubling the cube is now known to be impossible.

The Egyptians, Indians, and particularly the Greeks^[2] were aware of the problem and made many futile attempts at solving what they saw as an obstinate but soluble problem.^[3]^[4] However, the nonexistence of a solution was finally proven by Pierre Wantzel in 1837, applying the contemporary development of abstract algebra by Galois.

In algebraic terms, doubling a unit cube requires the construction of a line segment of length $x$ , where $x 3 = 2$ ; in other words, $x = 3 \sqrt 2$ . This is because a cube of side length 1 has a volume of 1³ = 1, and a cube of twice that volume (a volume of 2) has a side length of the cube root of 2. The impossibility of doubling the cube is therefore equivalent to the statement that $3 \sqrt 2$ is not a constructible number. This is a consequence of the fact that the coordinates of a new point constructed by a compass and straightedge are roots of polynomials over the field generated by the coordinates of previous points, of no greater degree than a quadratic. This implies that the degree of the field generated by a constructible point must be a power of 2. The field generated by $3 \sqrt 2$ , however, is of degree 3.

Proof of impossibility

We begin with the unit line segment defined by points (0,0) and (1,0) in the plane. We are required to construct a line segment defined by two points separated by a distance of $3 \sqrt 2$ . It is easily shown that compass and straightedge constructions would allow such a line segment to be freely moved to touch the origin, parallel with the unit line segment - so equivalently we may consider the task of constructing a line segment from (0,0) to ( $3 \sqrt 2$ , 0), which entails constructing the point ( $3 \sqrt 2$ , 0).

Respectively, the tools of a compass and straightedge allow us to create circles centred on one previously defined point and passing through another, and to create lines passing through two previously defined points. Any newly defined point either arises as the result of the intersection of two such circles, as the intersection of a circle and a line, or as the intersection of two lines. An exercise of elementary analytic geometry shows that in all three cases, both the $x$ - and $y$ -coordinates of the newly defined point satisfy a polynomial of degree no higher than a quadratic, with coefficients that are additions, subtractions, multiplications, and divisions involving the coordinates of the previously defined points (and rational numbers). Restated in more abstract terminology, the new $x$ - and $y$ -coordinates have minimal polynomials of degree at most 2 over the subfield of $ℝ$ generated by the previous coordinates. Therefore, the degree of the field extension corresponding to each new coordinate is 2 or 1.

So, given a coordinate of any constructed point, we may proceed inductively backwards through the $x$ - and $y$ -coordinates of the points in the order that they were defined until we reach the original pair of points (0,0) and (1,0). As every field extension has degree 2 or 1, and as the field extension over $ℚ$ of the coordinates of the original pair of points is clearly of degree 1, it follows from the tower rule that the degree of the field extension over $ℚ$ of any coordinate of a constructed point is a power of 2.

Now, $p (x) = x 3 -- 2 = 0$ is easily seen to be irreducible over $ℤ$ – any factorisation would involve a linear factor $(x - k)$ for some $k \in ℤ$ , and so $k$ must be a root of $p (x)$ ; but also $k$ must divide 2, that is, $k = 1, 2, -1$ or $-2$ , and none of these are roots of $p (x)$ . By Gauss's Lemma, $p (x)$ is also irreducible over $ℚ$ , and is thus a minimal polynomial over $ℚ$ for $3 \sqrt 2$ . The field extension $ℚ(3 \sqrt 2):ℚ$ is therefore of degree 3. But this is not a power of 2, so by the above, $3 \sqrt 2$ is not the coordinate of a constructible point, and thus a line segment of $3 \sqrt 2$ cannot be constructed, and the cube cannot be doubled.

History

The problem owes its name to a story concerning the citizens of Delos, who consulted the oracle at Delphi in order to learn how to defeat a plague sent by Apollo.^[5] According to Plutarch^[6] it was the citizens of Delos who consulted the oracle at Delphi, seeking a solution for their internal political problems at the time, which had intensified relationships among the citizens. The oracle responded that they must double the size of the altar to Apollo, which was a regular cube. The answer seemed strange to the Delians and they consulted Plato, who was able to interpret the oracle as the mathematical problem of doubling the volume of a given cube, thus explaining the oracle as the advice of Apollo for the citizens of Delos to occupy themselves with the study of geometry and mathematics in order to calm down their passions.^[7]

According to Plutarch, Plato gave the problem to Eudoxus and Archytas and Menaechmus, who solved the problem using mechanical means, earning a rebuke from Plato for not solving the problem using pure geometry (Plut., Quaestiones convivales VIII.ii, 718ef). This may be why the problem is referred to in the 350s BC by the author of the pseudo-Platonic Sisyphus (388e) as still unsolved.^[8] However another version of the story (attributed to Eratosthenes by Eutocius of Ascalon) says that all three found solutions but they were too abstract to be of practical value.^[9]

A significant development in finding a solution to the problem was the discovery by Hippocrates of Chios that it is equivalent to finding two mean proportionals between a line segment and another with twice the length.^[10] In modern notation, this means that given segments of lengths $a$ and $2 a$ , the duplication of the cube is equivalent to finding segments of lengths $r$ and $s$ so that

\frac{a}{r} = \frac{r}{s} = \frac{s}{2a} .\

In turn, this means that

r=a\cdot\sqrt[3]{2}

But Pierre Wantzel proved in 1837 that the cube root of 2 is not constructible; that is, it cannot be constructed with straightedge and compass.

Solutions via means other than compass and straightedge

Menaechmus' original solution involves the intersection of two conic curves. Other more complicated methods of doubling the cube involve the cissoid of Diocles, the conchoid of Nicomedes, or the Philo line. Archytas solved the problem in the fourth century B.C. using geometric construction in three dimensions, determining a certain point as the intersection of three surfaces of revolution.

False claims of doubling the cube with compass and straightedge abound in mathematical crank literature (pseudomathematics).

Origami may also be used to construct the cube root of two by folding paper.

Using a marked ruler

There is a simple neusis construction using a marked ruler for a length which is the cube root of 2 times another length.^[11]

Mark a ruler with the given length, this will eventually be GH.
Construct an equilateral triangle ABC with the given length as side.
Extend AB an equal amount again to D.
Extend the line BC forming the line CE.
Extend the line DC forming the line CF
Place the marked ruler so it goes through A and one end G of the marked length falls on CF and the other end of the marked length falls on ray CE. Thus GH is the given length.

The AG is the given length times ³√2.

References

↑ It shows up in Plato's Republic (c. 380 BC) VII.530
↑ Lucye Guilbeau (1930). "The History of the Solution of the Cubic Equation", Mathematics News Letter 5 (4), pp. 8–12.
↑ Stewart, Ian. Galois Theory. p. 75.
↑ Plato's Republic Book VII "if any whole city should hold these things honourable and take a united lead and supervise, they would obey, and solution sought constantly and earnestly would become clear."
↑ L. Zhmud The origin of the history of science in classical antiquity, p.84, quoting Plutarch and Theon of Smyrna
↑ Plutarch, De E apud Delphos 386.E.4
↑ Plutarch, De genio Socratis 579.B
↑ Carl Werner Müller, Die Kurzdialoge der Appendix Platonica, Munich: Wilhelm Fink, 1975, pp. 105-106
↑ Knorr, Wilbur Richard (1986), The Ancient Tradition of Geometric Problems, Dover Books on Mathematics, =Courier Dover Publications, p. 4, ISBN 9780486675329 .
↑ T.L. Heath A history of Greek mathematics, Vol. 1]
↑ Heinrich Dörrie (1965). 100 Great Problems of Elementary Mathematics. Dover. p. 171. ISBN 0486-61348-8.

External links

Hazewinkel, Michiel, ed. (2001), "Duplication of the cube", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Doubling the cube. J. J. O'Connor and E. F. Robertson in the MacTutor History of Mathematics archive.
To Double a Cube – The Solution of Archytas. Excerpted with permission from A History of Greek Mathematics by Sir Thomas Heath.
Delian Problem Solved. Or Is It? at cut-the-knot.

Algebraic numbers

Algebraic integer Chebyshev nodes Constructible number Conway's constant ³√2 Eisenstein integer Gaussian integer $φ$ Perron number Pisot–Vijayaraghavan number Quadratic irrational ℚ Root of unity Salem number $δ$ _$S$ √2 √3 √5 ¹²√2		ℚ

Ancient Greek mathematics

Mathematicians	Anaxagoras Anthemius Archytas Aristaeus the Elder Aristarchus Apollonius Archimedes Autolycus Bion Boethius Bryson Callippus Carpus Chrysippus Cleomedes Conon Ctesibius Democritus Dicaearchus Diocles Diophantus Dinostratus Dionysodorus Domninus Eratosthenes Eudemus Euclid Eudoxus Eutocius Geminus Heron Hipparchus Hippasus Hippias Hippocrates Hypatia Hypsicles Isidore of Miletus Leon Marinus Menaechmus Menelaus Metrodorus Nicomachus Nicomedes Nicoteles Oenopides Pappus Perseus Philolaus Philon Porphyry Posidonius Proclus Ptolemy Pythagoras Serenus Simplicius Sosigenes Sporus Thales Theaetetus Theano Theodorus Theodosius Theon of Alexandria Theon of Smyrna Thymaridas Xenocrates Zeno of Elea Zeno of Sidon Zenodorus

Treatises	Almagest Archimedes Palimpsest Arithmetica Conics (Apollonius) Elements (Euclid) On the Sizes and Distances (Aristarchus) On Sizes and Distances (Hipparchus) On the Moving Sphere (Autolycus) The Sand Reckoner

Problems	Problem of Apollonius Squaring the circle Doubling the cube Angle trisection

Centers	Cyrene Library of Alexandria Platonic Academy

Timeline of Ancient Greek mathematicians

Authority control	GND: 4149044-7

This article is issued from Wikipedia - version of the Tuesday, February 02, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.