Angle trisection

Last updated
Angles may be trisected via a neusis construction using tools beyond an unmarked straightedge and a compass. The example shows trisection of any angle th >
.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num{display:block;line-height:1em;margin:0.0em 0.1em;border-bottom:1px solid}.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0.1em 0.1em}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);clip-path:polygon(0px 0px,0px 0px,0px 0px);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}
3p/4 by a ruler with length equal to the radius of the circle, giving trisected angle ph =
th/3. Neusis-trisection.svg
Angles may be trisected via a neusis construction using tools beyond an unmarked straightedge and a compass. The example shows trisection of any angle θ > /4 by a ruler with length equal to the radius of the circle, giving trisected angle φ = θ/3.

Angle trisection is a classical problem of straightedge and compass construction of ancient Greek mathematics. It concerns construction of an angle equal to one third of a given arbitrary angle, using only two tools: an unmarked straightedge and a compass.

Contents

In 1837, Pierre Wantzel proved that the problem, as stated, is impossible to solve for arbitrary angles. However, some special angles can be trisected: for example, it is trivial to trisect a right angle.

It is possible to trisect an arbitrary angle by using tools other than straightedge and compass. For example, neusis construction, also known to ancient Greeks, involves simultaneous sliding and rotation of a marked straightedge, which cannot be achieved with the original tools. Other techniques were developed by mathematicians over the centuries.

Because it is defined in simple terms, but complex to prove unsolvable, the problem of angle trisection is a frequent subject of pseudomathematical attempts at solution by naive enthusiasts. These "solutions" often involve mistaken interpretations of the rules, or are simply incorrect. [1]

Background and problem statement

Bisection of arbitrary angles has long been solved. Bisection construction.gif
Bisection of arbitrary angles has long been solved.

Using only an unmarked straightedge and a compass, Greek mathematicians found means to divide a line into an arbitrary set of equal segments, to draw parallel lines, to bisect angles, to construct many polygons, and to construct squares of equal or twice the area of a given polygon.

Three problems proved elusive, specifically, trisecting the angle, doubling the cube, and squaring the circle. The problem of angle trisection reads:

Construct an angle equal to one-third of a given arbitrary angle (or divide it into three equal angles), using only two tools:

  1. an unmarked straightedge, and
  2. a compass.

Proof of impossibility

Rulers. The displayed ones are marked -- an ideal straightedge is un-marked Lineale.jpg
Rulers. The displayed ones are marked — an ideal straightedge is un-marked
Compasses Zirkel.jpg
Compasses

Pierre Wantzel published a proof of the impossibility of classically trisecting an arbitrary angle in 1837. [2] Wantzel's proof, restated in modern terminology, uses the concept of field extensions, a topic now typically combined with Galois theory. However, Wantzel published these results earlier than Évariste Galois (whose work, written in 1830, was published only in 1846) and did not use the concepts introduced by Galois. [3]

The problem of constructing an angle of a given measure θ is equivalent to constructing two segments such that the ratio of their length is cos θ. From a solution to one of these two problems, one may pass to a solution of the other by a compass and straightedge construction. The triple-angle formula gives an expression relating the cosines of the original angle and its trisection: cos θ = 4 cos3θ/3 − 3 cos θ/3.

It follows that, given a segment that is defined to have unit length, the problem of angle trisection is equivalent to constructing a segment whose length is the root of a cubic polynomial. This equivalence reduces the original geometric problem to a purely algebraic problem.

Every rational number is constructible. Every irrational number that is constructible in a single step from some given numbers is a root of a polynomial of degree 2 with coefficients in the field generated by these numbers. Therefore, any number that is constructible by a sequence of steps is a root of a minimal polynomial whose degree is a power of two. The angle π/3 radians (60 degrees, written 60°) is constructible. The argument below shows that it is impossible to construct a 20° angle. This implies that a 60° angle cannot be trisected, and thus that an arbitrary angle cannot be trisected.

Denote the set of rational numbers by Q. If 60° could be trisected, the degree of a minimal polynomial of cos 20° over Q would be a power of two. Now let x = cos 20°. Note that cos 60° = cos π/3 = 1/2. Then by the triple-angle formula, cos π/3 = 4x3 − 3x and so 4x3 − 3x = 1/2. Thus 8x3 − 6x − 1 = 0. Define p(t) to be the polynomial p(t) = 8t3 − 6t − 1.

Since x = cos 20° is a root of p(t), the minimal polynomial for cos 20° is a factor of p(t). Because p(t) has degree 3, if it is reducible over by Q then it has a rational root. By the rational root theorem, this root must be ±1, ±1/2, ±1/4 or ±1/8, but none of these is a root. Therefore, p(t) is irreducible over by Q, and the minimal polynomial for cos 20° is of degree 3.

So an angle of measure 60° cannot be trisected.

Angles which can be trisected

However, some angles can be trisected. For example, for any constructible angle θ, an angle of measure 3θ can be trivially trisected by ignoring the given angle and directly constructing an angle of measure θ. There are angles that are not constructible but are trisectible (despite the one-third angle itself being non-constructible). For example, 3π/7 is such an angle: five angles of measure 3π/7 combine to make an angle of measure 15π/7, which is a full circle plus the desired π/7.

For a positive integer N, an angle of measure 2π/N is trisectible if and only if 3 does not divide N. [4] [5] In contrast, 2π/N is constructible if and only if N is a power of 2 or the product of a power of 2 with the product of one or more distinct Fermat primes.

Algebraic characterization

Again, denote the set of rational numbers by Q.

Theorem: An angle of measure θ may be trisected if and only if q(t) = 4t3 − 3t − cos(θ) is reducible over the field extension Q(cos(θ)).

The proof is a relatively straightforward generalization of the proof given above that a 60° angle is not trisectible. [6]

Other numbers of parts

For any nonzero integer N, an angle of measure 2πN radians can be divided into n equal parts with straightedge and compass if and only if n is either a power of 2 or is a power of 2 multiplied by the product of one or more distinct Fermat primes, none of which divides N. In the case of trisection (n = 3, which is a Fermat prime), this condition becomes the above-mentioned requirement that N not be divisible by 3. [5]

Other methods

The general problem of angle trisection is solvable by using additional tools, and thus going outside of the original Greek framework of compass and straightedge.

Many incorrect methods of trisecting the general angle have been proposed. Some of these methods provide reasonable approximations; others (some of which are mentioned below) involve tools not permitted in the classical problem. The mathematician Underwood Dudley has detailed some of these failed attempts in his book The Trisectors. [1]

Approximation by successive bisections

Trisection can be approximated by repetition of the compass and straightedge method for bisecting an angle. The geometric series 1/3 = 1/4 + 1/16 + 1/64 + 1/256 + ⋯ or 1/3 = 1/21/4 + 1/81/16 + ⋯ can be used as a basis for the bisections. An approximation to any degree of accuracy can be obtained in a finite number of steps. [7]

Using origami

Trisection, like many constructions impossible by ruler and compass, can easily be accomplished by the operations of paper folding, or origami. Huzita's axioms (types of folding operations) can construct cubic extensions (cube roots) of given lengths, whereas ruler-and-compass can construct only quadratic extensions (square roots).

Using a linkage

Sylvester's Link Fan Sylvester's Link Fan.svg
Sylvester's Link Fan

There are a number of simple linkages which can be used to make an instrument to trisect angles including Kempe's Trisector and Sylvester's Link Fan or Isoklinostat. [8]

With a right triangular ruler

Bieberbach's trisection of an angle (in blue) by means of a right triangular ruler (in red) 01-Dreiteilung-des-Winkels-Bieberbach.svg
Bieberbach's trisection of an angle (in blue) by means of a right triangular ruler (in red)

In 1932, Ludwig Bieberbach published in Journal für die reine und angewandte Mathematik his work Zur Lehre von den kubischen Konstruktionen. [9] He states therein (free translation):

"As is known ... every cubic construction can be traced back to the trisection of the angle and to the multiplication of the cube, that is, the extraction of the third root. I need only to show how these two classical tasks can be solved by means of the right angle hook."

The construction begins with drawing a circle passing through the vertex P of the angle to be trisected, centered at A on an edge of this angle, and having B as its second intersection with the edge. A circle centered at P and of the same radius intersects the line supporting the edge in A and O.

Now the right triangular ruler is placed on the drawing in the following manner: one leg of its right angle passes through O; the vertex of its right angle is placed at a point S on the line PC in such a way that the second leg of the ruler is tangent at E to the circle centered at A. It follows that the original angle is trisected by the line PE, and the line PD perpendicular to SE and passing through P. This line can be drawn either by using again the right triangular ruler, or by using a traditional straightedge and compass construction. With a similar construction, one can improve the location of E, by using that it is the intersection of the line SE and its perpendicular passing through A.

Proof: One has to prove the angle equalities and The three lines OS, PD, and AE are parallel. As the line segments OP and PA are equal, these three parallel lines delimit two equal segments on every other secant line, and in particular on their common perpendicular SE. Thus SD' = D'E, where D' is the intersection of the lines PD and SE. It follows that the right triangles PD'S and PD'E are congruent, and thus that the first desired equality. On the other hand, the triangle PAE is isosceles, since all radiuses of a circle are equal; this implies that One has also since these two angles are alternate angles of a transversal to two parallel lines. This proves the second desired equality, and thus the correctness of the construction.

With an auxiliary curve

There are certain curves called trisectrices which, if drawn on the plane using other methods, can be used to trisect arbitrary angles. [10] Examples include the trisectrix of Colin Maclaurin, given in Cartesian coordinates by the implicit equation

and the Archimedean spiral. The spiral can, in fact, be used to divide an angle into any number of equal parts. Archimedes described how to trisect an angle using the Archimedean spiral in On Spirals around 225 BC.

With a marked ruler

Trisection of the angle using a marked ruler Trisecting angles three.svg
Trisection of the angle using a marked ruler

Another means to trisect an arbitrary angle by a "small" step outside the Greek framework is via a ruler with two marks a set distance apart. The next construction is originally due to Archimedes, called a Neusis construction , i.e., that uses tools other than an un-marked straightedge. The diagrams we use show this construction for an acute angle, but it indeed works for any angle up to 180 degrees.

This requires three facts from geometry (at right):

  1. Any full set of angles on a straight line add to 180°,
  2. The sum of angles of any triangle is 180°, and,
  3. Any two equal sides of an isosceles triangle will meet the third side at the same angle.

Let l be the horizontal line in the adjacent diagram. Angle a (left of point B) is the subject of trisection. First, a point A is drawn at an angle's ray, one unit apart from B. A circle of radius AB is drawn. Then, the markedness of the ruler comes into play: one mark of the ruler is placed at A and the other at B. While keeping the ruler (but not the mark) touching A, the ruler is slid and rotated until one mark is on the circle and the other is on the line l. The mark on the circle is labeled C and the mark on the line is labeled D. This ensures that CD = AB. A radius BC is drawn to make it obvious that line segments AB, BC, and CD all have equal length. Now, triangles ABC and BCD are isosceles, thus (by Fact 3 above) each has two equal angles.

Hypothesis: Given AD is a straight line, and AB, BC, and CD all have equal length,

Conclusion: angle b = a/3.

Proof:

  1. From Fact 1) above, °.
  2. Looking at triangle BCD, from Fact 2) °.
  3. From the last two equations, .
  4. Therefore, .

and the theorem is proved.

Again, this construction stepped outside the framework of allowed constructions by using a marked straightedge.

With a string

Thomas Hutcheson published an article in the Mathematics Teacher [11] that used a string instead of a compass and straight edge. A string can be used as either a straight edge (by stretching it) or a compass (by fixing one point and identifying another), but can also wrap around a cylinder, the key to Hutcheson's solution.

Hutcheson constructed a cylinder from the angle to be trisected by drawing an arc across the angle, completing it as a circle, and constructing from that circle a cylinder on which a, say, equilateral triangle was inscribed (a 360-degree angle divided in three). This was then "mapped" onto the angle to be trisected, with a simple proof of similar triangles.

With a "tomahawk"

A tomahawk trisecting an angle. The tomahawk is formed by the thick lines and the shaded semicircle. Tomahawk2.svg
A tomahawk trisecting an angle. The tomahawk is formed by the thick lines and the shaded semicircle.

A "tomahawk" is a geometric shape consisting of a semicircle and two orthogonal line segments, such that the length of the shorter segment is equal to the circle radius. Trisection is executed by leaning the end of the tomahawk's shorter segment on one ray, the circle's edge on the other, so that the "handle" (longer segment) crosses the angle's vertex; the trisection line runs between the vertex and the center of the semicircle.

While a tomahawk is constructible with compass and straightedge, it is not generally possible to construct a tomahawk in any desired position. Thus, the above construction does not contradict the nontrisectibility of angles with ruler and compass alone.

As a tomahawk can be used as a set square, it can be also used for trisection angles by the method described in § With a right triangular ruler.

The tomahawk produces the same geometric effect as the paper-folding method: the distance between circle center and the tip of the shorter segment is twice the distance of the radius, which is guaranteed to contact the angle. It is also equivalent to the use of an architects L-Ruler (Carpenter's Square).

With interconnected compasses

An angle can be trisected with a device that is essentially a four-pronged version of a compass, with linkages between the prongs designed to keep the three angles between adjacent prongs equal. [12]

Uses of angle trisection

An animation of a neusis construction of a heptagon with radius of circumcircle
O
A
-
=
6
{\displaystyle {\overline {OA}}=6}
, based on Andrew M. Gleason, using angle trisection by means of the tomahawk 01-Siebeneck-Tomahawk-Animation.gif
An animation of a neusis construction of a heptagon with radius of circumcircle , based on Andrew M. Gleason, using angle trisection by means of the tomahawk

A cubic equation with real coefficients can be solved geometrically with compass, straightedge, and an angle trisector if and only if it has three real roots. [13] :Thm. 1

A regular polygon with n sides can be constructed with ruler, compass, and angle trisector if and only if where r, s, k ≥ 0 and where the pi are distinct primes greater than 3 of the form (i.e. Pierpont primes greater than 3). [13] :Thm. 2

See also

Related Research Articles

<span class="mw-page-title-main">Circle</span> Simple curve of Euclidean geometry

A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. The distance between any point of the circle and the centre is called the radius.

<span class="mw-page-title-main">Constructible number</span> Number constructible via compass and straightedge

In geometry and algebra, a real number is constructible if and only if, given a line segment of unit length, a line segment of length can be constructed with compass and straightedge in a finite number of steps. Equivalently, is constructible if and only if there is a closed-form expression for using only integers and the operations for addition, subtraction, multiplication, division, and square roots.

<span class="mw-page-title-main">Straightedge and compass construction</span> Method of drawing geometric objects

In geometry, straightedge-and-compass construction – also known as ruler-and-compass construction, Euclidean construction, or classical construction – is the construction of lengths, angles, and other geometric figures using only an idealized ruler and a pair of compasses.

<span class="mw-page-title-main">Archimedean spiral</span> Spiral with constant distance from itself

The Archimedean spiral (also known as Archimedes' spiral, the arithmetic spiral) is a spiral named after the 3rd-century BC Greek mathematician Archimedes. The term Archimedean spiral is sometimes used to refer to the more general class of spirals of this type (see below), in contrast to Archimedes' spiral (the specific arithmetic spiral of Archimedes). It is the locus corresponding to the locations over time of a point moving away from a fixed point with a constant speed along a line that rotates with constant angular velocity. Equivalently, in polar coordinates (r, θ) it can be described by the equation with real number b. Changing the parameter b controls the distance between loops.

<span class="mw-page-title-main">Doubling the cube</span> Ancient geometric construction problem

Doubling the cube, also known as the Delian problem, is an ancient 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. As with the related problems of squaring the circle and trisecting the angle, doubling the cube is now known to be impossible to construct by using only a compass and straightedge, but even in ancient times solutions were known that employed other methods.

<span class="mw-page-title-main">Cubic equation</span> Polynomial equation of degree 3

In algebra, a cubic equation in one variable is an equation of the form in which a is not zero.

<span class="mw-page-title-main">Squaring the circle</span> Problem of constructing equal-area shapes

Squaring the circle is a problem in geometry first proposed in Greek mathematics. It is the challenge of constructing a square with the area of a given circle by using only a finite number of steps with a compass and straightedge. The difficulty of the problem raised the question of whether specified axioms of Euclidean geometry concerning the existence of lines and circles implied the existence of such a square.

The Huzita–Justin axioms or Huzita–Hatori axioms are a set of rules related to the mathematical principles of origami, describing the operations that can be made when folding a piece of paper. The axioms assume that the operations are completed on a plane, and that all folds are linear. These are not a minimal set of axioms but rather the complete set of possible single folds.

<span class="mw-page-title-main">Heptagon</span> Shape with seven sides

In geometry, a heptagon or septagon is a seven-sided polygon or 7-gon.

<span class="mw-page-title-main">Constructible polygon</span> Regular polygon that can be constructed with compass and straightedge

In mathematics, a constructible polygon is a regular polygon that can be constructed with compass and straightedge. For example, a regular pentagon is constructible with compass and straightedge while a regular heptagon is not. There are infinitely many constructible polygons, but only 31 with an odd number of sides are known.

<span class="mw-page-title-main">Poncelet–Steiner theorem</span> Universality of construction using just a straightedge and a single circle with center

In the branch of mathematics known as Euclidean geometry, the Poncelet–Steiner theorem is one of several results concerning compass and straightedge constructions having additional restrictions imposed on the traditional rules. This result, related to the rusty compass equivalence, states that whatever can be constructed by straightedge and compass together can be constructed by straightedge alone, provided that a single circle and its centre are given:

<span class="mw-page-title-main">Cissoid of Diocles</span> Cubic plane curve

In geometry, the cissoid of Diocles is a cubic plane curve notable for the property that it can be used to construct two mean proportionals to a given ratio. In particular, it can be used to double a cube. It can be defined as the cissoid of a circle and a line tangent to it with respect to the point on the circle opposite to the point of tangency. In fact, the curve family of cissoids is named for this example and some authors refer to it simply as the cissoid. It has a single cusp at the pole, and is symmetric about the diameter of the circle which is the line of tangency of the cusp. The line is an asymptote. It is a member of the conchoid of de Sluze family of curves and in form it resembles a tractrix.

<span class="mw-page-title-main">Tomahawk (geometry)</span> Tool for trisecting angles

The tomahawk is a tool in geometry for angle trisection, the problem of splitting an angle into three equal parts. The boundaries of its shape include a semicircle and two line segments, arranged in a way that resembles a tomahawk, a Native American axe. The same tool has also been called the shoemaker's knife, but that name is more commonly used in geometry to refer to a different shape, the arbelos.

In number theory, a Pierpont prime is a prime number of the form for some nonnegative integers u and v. That is, they are the prime numbers p for which p − 1 is 3-smooth. They are named after the mathematician James Pierpont, who used them to characterize the regular polygons that can be constructed using conic sections. The same characterization applies to polygons that can be constructed using ruler, compass, and angle trisector, or using paper folding.

In geometry, a quadratrix is a curve having ordinates which are a measure of the area of another curve. The two most famous curves of this class are those of Dinostratus and E. W. Tschirnhaus, which are both related to the circle.

<span class="mw-page-title-main">Neusis construction</span> Geometric construction used in Ancient Greek mathematics

In geometry, the neusis is a geometric construction method that was used in antiquity by Greek mathematicians.

In algebra, casus irreducibilis is one of the cases that may arise in solving polynomials of degree 3 or higher with integer coefficients algebraically, i.e., by obtaining roots that are expressed with radicals. It shows that many algebraic numbers are real-valued but cannot be expressed in radicals without introducing complex numbers. The most notable occurrence of casus irreducibilis is in the case of cubic polynomials that have three real roots, which was proven by Pierre Wantzel in 1843. One can see whether a given cubic polynomial is in the so-called casus irreducibilis by looking at the discriminant, via Cardano's formula.

<span class="mw-page-title-main">Limaçon trisectrix</span> Quartic plane curve

In geometry, a limaçon trisectrix is the name for the quartic plane curve that is a trisectrix that is specified as a limaçon. The shape of the limaçon trisectrix can be specified by other curves particularly as a rose, conchoid or epitrochoid. The curve is one among a number of plane curve trisectrixes that includes the Conchoid of Nicomedes, the Cycloid of Ceva, Quadratrix of Hippias, Trisectrix of Maclaurin, and Tschirnhausen cubic. The limaçon trisectrix a special case of a sectrix of Maclaurin.

<span class="mw-page-title-main">Quadratrix of Hippias</span> Curve where spinning and moving lines cross

The quadratrix or trisectrix of Hippias is a curve which is created by a uniform motion. It is one of the oldest examples for a kinematic curve. Its discovery is attributed to the Greek sophist Hippias of Elis, who used it around 420 BC in an attempt to solve the angle trisection problem. Later around 350 BC Dinostratus used it in an attempt to solve the problem of squaring the circle.

Geometric Constructions is a mathematics textbook on constructible numbers, and more generally on using abstract algebra to model the sets of points that can be created through certain types of geometric construction, and using Galois theory to prove limits on the constructions that can be performed. It was written by George E. Martin, and published by Springer-Verlag in 1998 as volume 81 of their Undergraduate Texts in Mathematics book series.

References

  1. 1 2 Dudley, Underwood (1994), The trisectors, Mathematical Association of America, ISBN   978-0-88385-514-0
  2. Wantzel, P M L (1837). "Recherches sur les moyens de reconnaître si un problème de Géométrie peut se résoudre avec la règle et le compas" (PDF). Journal de Mathématiques Pures et Appliquées. 1. 2: 366–372. Archived (PDF) from the original on 2022-10-09. Retrieved 3 March 2014.
  3. For the historical basis of Wantzel's proof in the earlier work of Ruffini and Abel, and its timing vis-a-vis Galois, see Smorynski, Craig (2007), History of Mathematics: A Supplement, Springer, p. 130, ISBN   9780387754802 .
  4. MacHale, Desmond. "Constructing integer angles", Mathematical Gazette 66, June 1982, 144–145.
  5. 1 2 McLean, K. Robin (July 2008). "Trisecting angles with ruler and compasses". Mathematical Gazette. 92: 320–323. doi:10.1017/S0025557200183317. S2CID   126351853. See also Feedback on this article in vol. 93, March 2009, p. 156.
  6. Stewart, Ian (1989). Galois Theory. Chapman and Hall Mathematics. pp. g. 58. ISBN   978-0-412-34550-0.
  7. Jim Loy (2003) [1997]. "Trisection of an Angle". Archived from the original on February 25, 2012. Retrieved 30 March 2012.
  8. Yates, Robert C (1942). The Trisection Problem (PDF). The National Council of Teachers of Mathematics. pp. 39–42. Archived (PDF) from the original on 2022-10-09.
  9. Ludwig Bieberbach (1932) "Zur Lehre von den kubischen Konstruktionen", Journal für die reine und angewandte Mathematik, H. Hasse und L. Schlesinger, Band 167 Berlin, p. 142–146 online-copie (GDZ). Retrieved on June 2, 2017.
  10. Jim Loy "Trisection of an Angle". Archived from the original on November 4, 2013. Retrieved 2013-11-04.
  11. Hutcheson, Thomas W. (May 2001). "Dividing Any Angle into Any Number of Equal Parts". Mathematics Teacher. 94 (5): 400–405. doi:10.5951/MT.94.5.0400.
  12. Isaac, Rufus, "Two mathematical papers without words", Mathematics Magazine 48, 1975, p. 198. Reprinted in Mathematics Magazine 78, April 2005, p. 111.
  13. 1 2 3 Gleason, Andrew Mattei (March 1988). "Angle trisection, the heptagon, and the triskaidecagon" (PDF). The American Mathematical Monthly. 95 (3): 185–194. doi:10.2307/2323624. JSTOR   2323624. Archived from the original (PDF) on November 5, 2014.

Further reading

Other means of trisection