Euclid's Elements
Book VI
Proposition 33

Angles in equal circles have the same ratio as the circumferences on which they stand whether they stand at the centers or at the circumferences.
Let ABC and DEF be equal circles, and let the angles BGC and EHF be angles at their centers G and H, and the angles BAC and EDF angles at the circumferences.

I say that the circumference BC is to the circumference EF as the angle BGC is to the angle EHF, and as the angle BAC is to the angle EDF.

java applet or image
Make any number of consecutive circumferences CK and KL equal to the circumference BC, and any number of consecutive circumferences FM, MN equal to the circumference EF, and join GK and GL and HM and HN.
Then, since the circumferences BC, CK, and KL equal one another, the angles BGC, CGK, and KGL also equal one another. Therefore, whatever multiple the circumference BL is of BC, the angle BGL is also that multiple of the angle BGC. III.27
For the same reason, whatever multiple the circumference NE is of EF, the angle NHE is also that multiple of the angle EHF.
If the circumference BL equals the circumference EN, then the angle BGL also equals the angle EHN; if the circumference BL is greater than the circumference EN, then the angle BGL is also greater than the angle EHN; and, if less, less. III.27
There being then four magnitudes, two circumferences BC and EF, and two angles BGC and EHF, there have been taken, of the circumference BC and the angle BGC equimultiples, namely the circumference BL and the angle BGL, and of the circumference EF and the angle EHF equimultiples, namely the circumference EN and the angle EHN.

And it has been proved that, if the circumference BL is in excess of the circumference EN, the angle BGL is also in excess of the angle EHN; if equal, equal; and if less, less.

Therefore the circumference BC is to EF as the angle BGC is to the angle EHF. V.Def.5
But the angle BGC is to the angle EHF as the angle BAC is to the angle EDF, for they are doubles respectively. V.15
III.20
Therefore also the circumference BC is to the circumference EF as the angle BGC is to the angle EHF, and the angle BAC to the angle EDF.
Therefore, angles in equal circles have the same ratio as the circumferences on which they stand whether they stand at the centers or at the circumferences.
Q.E.D.

Guide

This proposition stands apart from the rest in this book since it depends on none of them, but it is like the first proposition VI.1 which established a proportion between lines and plane figures since it establishes a proportion between angles and portions of circumferences cut off by those angles.

This proposition is used in three consecutive propositions in Book XIII starting with XIII.8 to convert statements about arcs to statements about angles. Incidentally, all three have to do with regular pentagons inscribed in circles.


Book VI Introduction - Proposition VI.32 - Book VII Introduction.

© 1996
D.E.Joyce
Clark University