D PROPOSITION XXIII. (Argument ad absurdum.) Theorem. On the same straight line, and on the same side of it, there cannot be two similar segments of circles not coinciding with each other. A B Steps of the Demonstration. Suppose that the segments ACB, ADB are similar, and on the same right line Al, and the same side of it, without coinciding with each other, and prove, on that supposition, 1. that one segment must fall within the other, 2. that _ ACB = X ADB, i. e., ext. Z of A ACD = int. L, which is impossible, and :: the supposition is false. PROPOSITION XXIV. Theorem. Similar segments of circles upon equal straight lines are equal to one another. F Steps of the Demonstration. Conceive the segments applied as directed, and Prove, 1. that AB coincides with cd, 2. that :: (by last Prop.) segment AEB = sey ment CFD. PROPOSITION XXV. Problem. A segment of a circle being given, to describe the circle of which it is the segment. To show that DA, DB, DC = each other; and .. a O described with centre d and one of these lines as distance, will pass through the extremities of the other two. Steps of the Demonstration to Case 2nd, In which _ ABD + BAD. 1. Prove that AE = EB, 2. that in AS ADE, CDE) base AE = base EC, 3. that :: AE, EB, EC = each other; and :: a O described with centre E and one of these lines as distance, will pass through the extremities of the other two *. The remark, in Euclid, that if _ ABD > Z BAD the segment ABC would be < O; and if _ ABD > Z BAD, the segment ABC would be > į O, is not necessary to the Demon stration, but may be considered as a corollary to it. PROPOSITION XXVI. Theorem. In equal circles, equal angles stand upon equal circumferences, whether they be at the centres or circumferences. Steps of the Demonstration. 1. Prove that (in As BGC, EHF) base BC = base EF, 2. that segment Bac is similar to segment EDF, 3 that :: segt. BAC = segt. EDF, by xxiv. III. 4. that BKC = ELF. PROPOSITION XXVII. ( Argument ad absurdum). Theorem. In equal circles, the angles which stand upon equal circumferences are equal to each other, whether they be at the centres or circumferences. Steps of the Demonstration. State that if _ BGC = L EHF, the < BAC must = _ EDF, by xx. III. Then suppose that _ BGC + _ EHF; and that bgc is the greater; and that < BGK = _ EHF: and prove, on that supposition, 1. that BK = EF, 2. that bk = BC; i. e., less = greater, which shows the supposition to be false, 3. that .. _ BGC = EHF, 4. that X BAC = Z EDF. PROPOSITION XXVIII. Theorem. In equal circles, equal straight lines cut off equal circumferences, the greater equal to the greater, and the less to the less. Steps of the Demonstration. 1. Prove that (in As BCK, EFL) < BKC = _ ELF, 2. that :: BGC = EHF, by xxvi. III. 3. that BAC = EDF. PROPOSITION XXIX. In equal circles, equal circumferences are subtended by equal straight lines. Steps of the Demonstration. 1. Prove that BKC = _ ELF, 2. that (in AS BKC, ELF) base bc=base EF. PROPOSITION XXX. D B Problem. To bisect a given circumference, that is, to divide it into two equal parts. Steps of the Demonstration. 1. Prove that (in As ACD, BCD,) base AD = base DB 2. that :. AD = DB. D PROPOSITION XXXI. Theorem. In a circle, the angle in a semicircle is a right angle; but the angle in a segment greater than a semicircle is less than a right angle; and the angle in a segment less than a semicircle is greater than a right angle. |