Angle Trisection

DOWNLOAD Mathematica Notebook TrisectionAngle

Angle trisection is the division of an arbitrary angle into three equal angles. It was one of the three geometric problems of antiquity for which solutions using only compass and straightedge were sought. The problem was algebraically proved impossible by Wantzel (1836).

Trisection

Although trisection is not possible for a general angle using a Greek construction, there are some specific angles, such as pi/2 and pi radians (90 degrees and 180 degrees, respectively), which can be trisected. Furthermore, some angles are geometrically trisectable, but cannot be constructed in the first place, such as 3pi/7 (Honsberger 1991). In addition, trisection of an arbitrary angle can be accomplished using a marked ruler (a Neusis construction) as illustrated above (Courant and Robbins 1996).

An angle can also be divided into three (or any whole number) of equal parts using the quadratrix of Hippias or trisectrix.

AngleTrisectionSteinhaus

An approximate trisection is described by Steinhaus (Wazewski 1945; Peterson 1983; Steinhaus 1999, p. 7). To construct this approximation of an angle A having measure alpha, first bisect A and then trisect chord BE (left figure above). The desired approximation is then angle DAB having measure t (right figure above). To connect t with alpha/3, use the law of sines on triangles DeltaDAB and DeltaEAD gives

 (sint)/(DB)=(sinx)/(AD)=(sinbeta)/(ED),
(1)

so sint=2sinbeta. Since we also have beta=(alpha/2)-t, this can be written

 sint=2[sin(1/2alpha)cost-sintcos(1/2alpha)].
(2)

Solving for t then gives

 t=tan^(-1)((2sin(1/2alpha))/(1+2cos(1/2alpha))).
(3)
AngleTrisectionError

This approximation is with 1 degrees of alpha/3 even for angles alpha as large as 120 degrees, as illustrated above and summarized in the following table (Petersen 1983), where angles are measured in degrees.

alpha ( degrees)alpha/3 ( degrees)t ( degrees)s ( degrees)
103.3333333.3338043.332393
206.6666666.6704376.659126
3010.00000010.0127659.974470
4013.33333313.36372713.272545
5016.66666716.72637416.547252
6020.00000020.10390919.792181
7023.33333323.49973723.000526
8026.66666726.91751126.164978
9030.00000030.36119329.277613
9933.00000033.48623432.027533

t has Maclaurin series

 t=1/3alpha+1/(648)alpha^3+1/(31104)alpha^5+...
(4)

(OEIS A158599 and A158600), which is readily seen to a very good approximation to alpha/3.

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.