Trisecting the Angle/Neusis Construction

From ProofWiki
Jump to: navigation, search

Theorem

Let $\alpha$ be an angle which is to be trisected.

This can be achieved by means of a neusis construction.


Construction

Let there be a neusis ruler $S$ marked by two points $p$ and $q$.

TrisectionOfAngle.png

Let the vertex of $\alpha$ be labelled $B$.

Let $A$ be the point of one of the branches of $\alpha$ such that the distance $AB$ equals $pq$.

Let the other branch of $\alpha$ be extended past $B$ through $D$.

Let a circle be drawn with center at $B$ with radius $AB$.

Let the straightedge $S$ be placed so that:

$S$ passes over $A$
$p$ lies on the circle at $C$
$q$ lies on the straight line $BD$ at $D$.

Then the angle $3 \angle CBD = \alpha$

Thus $\alpha$ has been trisected.


Proof

We have that $\angle BCD + \angle ACB$ make a straight angle.

As $CD = AB$ by construction, $CD = BC$ by definition of radius of circle.

Thus $\triangle BCD$ is isosceles.

By Isosceles Triangle has Two Equal Angles:

$\angle CBD = \angle CDB$

From Sum of Angles of Triangle equals Two Right Angles:

$\angle BCD + 2 \angle CBD$ equals two right angles.

Thus:

$2 \angle CBD = \angle ACB$

Similarly, by Isosceles Triangle has Two Equal Angles:

$\angle ACB = \angle CAB$

and again from Sum of Angles of Triangle equals Two Right Angles:

$\angle ABC + 2 \angle ACB$ equals two right angles.

and so:

$\angle ABC + 4 \angle CBD$ equals two right angles.

But $\alpha + \angle ABC + \angle CBD$ make a straight angle.

Thus:

$\alpha + \angle ABC + \angle CBD = \angle ABC + 4 \angle CBD$

and so:

$\alpha = 3 \angle CBD$

$\blacksquare$


Also see


Sources