constructible angles with integer values in degrees
The aim is to characterize all constructible angles with straightedge and compass whose value is an integer number of degrees (like or ). From now on, every time we refer to the measurement of an angle, it is meant to be in degrees, not radians.
We need two short lemmas:
Lemma 1
If an angle measuring degrees can be constructed, then angles measuring
can be constructed.
Notice that we are not stating all of them have integer values, only constructibility. The proof follows almost inmediately by knowing any angle can be bisected with ruler and compass.
Lemma 2
If you can construct , you can construct again an adjacent angle with the same value and you will have constructed an angle measuring . Repeat the procedure and you get .
Now, a theorem.
Theorem 1
The angle measuring can be constructed.
It is well known that both regular pentagon and equilateral triangle can be built with ruler and compass. That allows us to construct angles measuring and .
By first lemma we can construct then
and also we can construct
But if we can construct and we can then construct their difference, which is exactly .
Alternative (J. Pahikkala): Since and can be constructed, can be also constructed. Bisecting gives and bisecting again shows that can be constructed.
Theorem 2
We can construct any angle measuring an integer multiple of .
The proof follows directly from the second Lemma.
Theorem 3
The only constructible angles measuring an integer number of degrees are precisely the multiples of .
We are only left to prove we cannot construct any other integer value. We will work by contradiction.
Suppose we are able to construct with ruler and compass an angle measuring with integer and not multiple of .
Since does not divide and is prime, it follows that and are coprime, that is, .
But then, by Euclid’s algorithm we can find integers so that ( or could be negative).
By the second lemma, we can construct both and , so we can construct their sum (or difference), which would prove is constructible, and therefore any angle equal to an integer number of degrees could be constructed with ruler and compass.
However, the standard proof of the impossibility of trisecting an arbitrary angle goes by proving cannot be constructed with ruler and compass, this contradicts what we just showed, and therefore only angles being an integer multiple of can be constructed.
Q.E.D.
For a more general proof for other real values besides integers, see the theorem on constructible angles.
Title | constructible angles with integer values in degrees |
Canonical name | ConstructibleAnglesWithIntegerValuesInDegrees |
Date of creation | 2013-03-22 14:16:36 |
Last modified on | 2013-03-22 14:16:36 |
Owner | PrimeFan (13766) |
Last modified by | PrimeFan (13766) |
Numerical id | 9 |
Author | PrimeFan (13766) |
Entry type | Theorem |
Classification | msc 11S20 |
Classification | msc 11R32 |
Classification | msc 51M15 |
Classification | msc 13B05 |
Synonym | constructible angle |
Related topic | ExactTrigonometryTables |
Related topic | TheoremOnConstructibleAngles |
Related topic | ClassicalProblemsOfConstructibility |