PROP. XXIX.—Theorem.
In equal circles (ACB, DFE), equal arcs (AGB, DCK) are subtended by equal chords.
Dem.—Let O, H be the centres (see last fig.). Join AO, OB, DH, HE; then because the circles are equal, the angles AOB, DHE at the centres, which stand on the equal arcs AGB, DKE, are equal [xxvii.]. Again, because the triangles AOB, DHE have the two sides AO, OB in one respectively equal to the two sides DH, HE in the other, and the angle AOB equal to the angle DHE, the base AB of one is equal to the base DE of the other.
Observation.—Since the two circles in the four last Propositions are equal, they are congruent figures, and the truth of the Propositions is evident by superposition.
PROP. XXX.—Problem.
To bisect a given arc ACB.
Sol.—Draw the chord AB; bisect it in D; erect DC at right angles to AB, meeting the arc in C; then the arc is bisected in C.
Dem.—Join AC, BC. Then the triangles ADC, BDC have the side AD equal to DB (const.), and DC common to both, and the angle ADC equal to the angle BDC, each being right. Hence the base AC is equal to the base BC. Therefore [xxviii.] the arc AC is equal to the arc BC. Hence the arc AB is bisected in C.
Exercises.
1. ABCD is a semicircle whose diameter is AD; the chord BC produced meets AD produced in E: prove that if CE is equal to the radius, the arc AB is equal to three times CD.
2. The internal and the external bisectors of the vertical angle of a triangle inscribed in a circle meet the circumference again in points equidistant from the extremities of the base.