Kitap 3
28
And the whole circle ABC is also equal to the whole circle DEF; therefore the circumference ACB which remains is also equal to the circumference DFE which remains.
28
Therefore etc. Q. E. D.
PROPOSITION 29.
29
In equal circles equal circumferences are subtended by equal straight lines.
29
Let ABC, DEF be equal circles, and in them let equal circumferences BGC, EHF be cut off; and let the straight lines BC, EF be joined; I say that BC is equal to EF.
29
For let the centres of the circles be taken, and let them be K, L; let BK, KC, EL, LF be joined.
29
Now, since the circumference BGC is equal to the circumference EHF, the angle BKC is also equal to the angle ELF. [III. 27]
29
And, since the circles ABC, DEF are equal, the radii are also equal; therefore the two sides BK, KC are equal to the two sides EL, LF; and they contain equal angles; therefore the base BC is equal to the base EF. [I. 4]
29
Therefore etc.
PROPOSITION 30.
30
To bisect a given circumference.
30
Let ADB be the given circumference; thus it is required to bisect the circumference ADB.
30
Let AB be joined and bisected at C; from the point C let CD be drawn at right angles to the straight line AB, and let AD, DB be joined.
30
Then, since AC is equal to CB, and CD is common, the two sides AC, CD are equal to the two sides BC, CD; and the angle ACD is equal to the angle BCD, for each is right; therefore the base AD is equal to the base DB. [I. 4]
30
But equal straight lines cut off equal circumferences, the greater equal to the greater, and the less to the less; [III. 28] and each of the circumferences AD, DB is less than a semicircle; therefore the circumference AD is equal to the circumference DB.
30
Therefore the given circumference has been bisected at the point D. Q. E. F.
PROPOSITION 31.
