Angle trisection is a classical problem of compass and straightedge constructions 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.
The problem as stated is generally impossible to solve, as shown by Pierre Wantzel in 1837. Wantzel's proof relies on ideas from the field of Galois theory—in particular, trisection of an angle corresponds to the solution of a certain cubic equation, which is not possible using the given tools. Note that the fact that there is no way to trisect an angle in general with just a compass and a straightedge does not mean that there is no trisectible angle: for example, it is relatively straightforward to trisect a right angle (that is, to construct an angle of measure 30 degrees).
It is, however, 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 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. The "solutions" often involve mistaken interpretations of the rules, or are simply incorrect.^{[1]}
Contents

Background and problem statement 1

Proof of impossibility 2

Angles which can be trisected 3

Algebraic characterization 3.1

Other methods 4

Approximation by successive bisections 4.1

Using origami 4.2

With an auxiliary curve 4.3

With a marked ruler 4.4

With a string 4.5

With a "tomahawk" 4.6

With interconnected compasses 4.7

Generalization 5

See also 6

References 7

Additional references 8

External links 9

Other means of trisection 9.1
Background and problem statement
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 onethird of a given arbitrary angle (or divide it into three equal angles), using only two tools:

an unmarked straightedge and

a compass.
Proof of impossibility
Pierre Wantzel published a proof of the impossibility of classically trisecting an arbitrary angle in 1837.^{[2]} The problem of constructing an angle of a given measure \theta is equivalent to constructing two segments such that the ratio of their length is \cos\theta, because one may pass from one solution to the other by a compass and straightedge construction. 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 — since by the tripleangle formula, \cos\theta=4\cos^3(\theta/3)3\cos(\theta/3). This allows us to reduce the original geometric problem to a purely algebraic problem.
One can show that every rational number is constructible and that every irrational number which is constructible in one 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 which is constructible by a series of steps is a root of a minimal polynomial whose degree is a power of 2. Note also that \pi/3 radians (60 degrees, written 60°) is constructible. We now show 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 \mathbb{Q}. If 60° could be trisected, the degree of a minimal polynomial of cos(20°) over \mathbb{Q} would be a power of two. Now let y = cos(20°).
Note that cos(60°)= \cos(\pi/3) = 1/2. Then by the tripleangle formula, \cos(\pi/3)= 1/2 = 4y^{3}  3y and so 4y^{3}  3y  1/2 = 0. Thus 8y^{3}  6y  1 = 0, or equivalently (2y)^{3}  3(2y)  1 = 0. Now substitute x = 2y, so that x^{3}  3x  1 = 0 . Let p(x) = x^{3}  3x  1.
The minimal polynomial for x (hence cos(20°)) is a factor of p(x). Because p(x) is degree 3, if it is reducible over by \mathbb{Q} then it has a rational root. By the rational root theorem, this root must be 1 or −1, but both are clearly not roots. Therefore p(x) is irreducible over by \mathbb{Q}, and the minimal polynomial for cos(20°) is of degree 3.
So an angle of 60° = (1/3)π radians cannot be trisected.
Many people (who presumably are unaware of the above result, misunderstand it, or incorrectly reject it) have proposed methods of trisecting the general angle. 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.^{[3]}
Angles which can be trisected
However, some angles can be trisected. For example, for any constructible angle \theta, the angle 3\theta can be trivially trisected by ignoring the given angle and directly constructing an angle of measure \theta. There are angles which are not constructible, but are trisectible despite the onethird angle itself being nonconstructible. For example, 3\pi/7 is such an angle: five copies of 3\pi/7 combine to make an angle of measure 15\pi/7, which is a full circle plus the desired \pi/7.
For a positive integer N, an angle of measure 2\pi/N is trisectible if and only if 3 does not divide N.^{[4]}^{[5]} In contrast, 2\pi/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 rational numbers as \mathbb{Q}:
Theorem: The angle \theta may be trisected if and only if q(t) = 4t^{3}3t\cos(\theta) is reducible over the field extension \mathbb{Q}(\cos(\theta)).
The proof is a relatively straightforward generalization of the proof given above that a 60degree angle is not trisectible.^{[6]}
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.
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 more powerful operations of paper folding, or origami. Huzita's axioms (types of folding operations) can construct cubic extensions (cube roots) of given lengths, whereas rulerandcompass can construct only quadratic extensions (square roots).
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.^{[8]}
With a marked ruler
Basic triangle's angle properties
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 unmarked 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):

Any full set of angles on a straight line add to 180°,

The sum of angles of any triangle is 180°, and,

Any two equal sides of an isosceles triangle will meet the third in the same angle.
Trisection of the angle using marked ruler
Let l be the horizontal line in the diagram on the right. 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 are all equal length,
Conclusion: angle b = (1/3) a .
Proof:

From Fact 1) above, e + c = 180°.

Looking at triangle BCD, from Fact 2) e + 2b = 180°.

From the last two equations, c = 2b.

From Fact 2), d + 2c = 180°, thus d = 180°  2c , so from last, d = 180°  4b.

From Fact 1) above, a + d + b = 180°, thus a + (180°  4b) + b = 180°.
Clearing, a  3b = 0 , or a = 3b , 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^{[9]} 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 360degree 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 handle forms one trisector and the blue line shown forms the other.
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.
Note that 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.
The tomahawk produces the same geometric effect as the paperfolding 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 LRuler (Carpenter's Square).
With interconnected compasses
An angle can be trisected with a device that is essentially a fourpronged version of a compass, with linkages between the prongs designed to keep the three angles between adjacent prongs equal.^{[10]}
Generalization
For integer N, the angle of measure 2\pi/N 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 where 3 is a Fermat prime), this condition becomes the abovementioned requirement that N not be divisible by 3.^{[5]}
See also
References

^ Steven Dutch. "Why Trisecting the Angle is Impossible". University of Wisconsin  Green Bay.

^ 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. Retrieved 3 March 2014.

^ Dudley, Underwood, The Trisectors, Mathematical Association of America, 1994.

^ MacHale, Desmnd. "Constructing integer angles", Mathematical Gazette 66, June 1982, 144–145.

^ ^{a} ^{b} McLean, K. Robin, "Trisecting angles with ruler and compasses", Mathematical Gazette 92, July 2008, 320–323. See also Feedback on this article in vol. 93, March 2009, p. 156.

^

^ Jim Loy (2003) [1997]. "Trisection of an Angle". Archived from the original on February 25, 2012. Retrieved 30 March 2012.

^ Trisection of an Angle

^ Hutcheson, Thomas W. (May 2001). "Dividing Any Angle into Any Number of Equal Parts". Mathematics Teacher 94 (5): 400–405.

^ Isaac, Rufus, "Two mathematical papers without words", Mathematics Magazine 48, 1975, p. 198. Reprinted in Mathematics Magazine 78, April 2005, p. 111.
Additional references

Courant, Richard, Herbert Robbins, Ian Stewart, What is mathematics?: an elementary approach to ideas and methods, Oxford University Press US, 1996. ISBN 9780195105193.

Raghavendran, K. "Tripedal dividers of angles", Proceedings of Third International Measurement Conference (IMEKOIII), Stockholm, Sept. 1964.
External links

MathWorld site

Geometric problems of antiquity, including angle trisection

Some history

One link of marked ruler construction

Another, mentioning Archimedes

A long article with many approximations & means going outside the Greek framework

Geometry site
Other means of trisection
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.