jacent angles equal to one another, each of the angles is a right angle: (10. def. 1.) therefore the angle GDB is a right angle: but FDB is likewise a right angle; wherefore the angle FDB is equal to the angle GDB, the greater to the less, which is impossible: therefore G is not the centre of the circle ABC: in the same manner it can be shown, that no other point but F is the centre; that is, F is the centre of the circle ABC. Which was to be found. COR. From this it is manifest, that if in a circle a straight line bisect another at right angles, the centre of the circle is in the line which bisects the other. PROP. II. THEOR. If any two points be taken in the circumference of a circle, the straight line which joins them shall fall within the circle. Let ABC be a circle, and A, B any two points in the circumference; the straight line drawn from A to с B shall fall within the circle. For, if it do not, let it fall, if possible, without, as AEB; find (1. 3.) D the centre of the circle ABC, and join AD, DB, and produce DF, any straight line meeting the circumference AB, to E: then because DA is equal to DB, the angle DAB is equal (5. 1.) to the angle DBA; and because AE, a side of the triangle DAE, is produced to B, the angle DEB is greater (16. 1.) than А . Е В the angle DAE: but DAE is equal to the angle DBE: therefore the angle DEB is greater than the angle DBE: but to the greater angle the greater side is opposite (19. 1.); DB is therefore greater than DE: but DB is equal to DF; wherefore DF is greater than DE, the less than the greater, which is impossible: therefore the straight line drawn from A to B does not fall without the circle. In the same manner it may be demonstrated that it does not fall upon the circumference; it falls therefore within it. Wherefore, if any two points, &c. Q. E. D. PROP. III. THEOR. If a straight line drawn through the centre of a circle bisect a straight line in it which does not pass through the centre, it shall cut it at right angles, and, if it cuts it at right angles, it shall bisect it. Let ABC be a circle; and let CD, a straight line drawn through the centre, bisect any straight line AB, which does not pass through the centre, in the point F: it cuts it also at right angles. Take (1. 3.) E the centre of the circle, and join EA, EB. Then, because AF is equal to FB, and FE common to the two triangles AFE, BFE, there are two sides in the one equal to two sides in the other, and the base EA is equal to the base EB: therefore the angle AFE is equal (8. 1.) to the angle BFE: but when a straight line standing upon another makes the adjacent angles equal to one another, each of them is a right (10 def.) angle: therefore each of the angles AFE, BFE is a right angle; wherefore the straight line CD, drawn through the centre bisecting another AB that does not pass A through the centre, cuts the same at right angles. Let CD cut AB at right angles : CD also bisects it, that is, AF is equal to FB. The same construction being made, because EA, EB from the centre are equal to one another, the angle EAF is equal (5. 1.) to the angle EBF: and the right angle AFE is equal to the right angle BFE: therefore, in the two triangles, EAF, EBF, there are two angles in one equal to two angles in the other, and the side EF, which is opposite to one of the equal angles, in each, is common to both; therefore the other sides are equal (26. 1.): AF therefore is equal to FB. Wherefore, if a straight line, &c. Q. E. D. B PROP. IV. THEOR. If in a circle two straight lines cut one another which do not both pass through the centre, they do not bisect each other. Let ABCD be a circle, and AC, BD two straight lines in it which cut one another in the point E, and do not both pass through the centre: AC, BD do not bişect one another. For, if it is possible, let AE be equal to EC, and BE to ED; if one of the lines pass through the centre, it is plain that it cannot be bisected by the other which does not pass through the centre; but, if neither of them pass through the centre, take, (1. 3.) F the centre of the circle, and join D 'EF: and because FE, a straight line through the centre, bisects another AC A which does not pass through the centre, it shall cut it at right (3. 3.) angles ; wherefore FEA is a right angle: again, B C because the straight line FE bisects the straight line BD which does not pass through the centre, it shall cut it at right (3. 3.) angles; wherefore FEB is a right angle, and FEA was shown to be a right angle; therefore FEA E is equal to the angle FEB, the less to the greater, which is impossible; therefore AC, BD do not bisect one another. Wherefore, if in a circle, &c. Q. E. D. PROP. V. THEOR. If two circles cut one another, they shall not have the same centre. C Let the two circles ABC, CDG cut one another in the points B, C; they have not the same centre. For, if it be possible, let E be their centre: join EC, and draw any straight line EFG meeting them in F and G; and because E is the centre of the circle ABC, CE is equal to EF : again, because E is the centre of the circle CDG, CE is equal to EG: but CE was shown to be equal to EF; ID L therefore EF is equal to EG, the less A to the greater, which is impossible: therefore E is not the centre of the cir. cles ABC, CDG. Wherefore, if two circles, &c. Q. E. D. PROP. VI. THEOR. If two circles touch one another internally, they shall not have the same centre. Let the two circles ABC, CDE touch one another internally in the point C: they have not the same centre. For, if they can, let it be F; join FC, and draw any straight line FEB meeting them in E and B; and because F is the centre of the circle ABC, CF is equal to FB; also, because F is the centre of the circle CDE, CF is equal to FB: and CF was shown equal to FB; therefore FE is equal to FB, the less to a ΑΙ the greater, which is impossible: wherefore F is not the centre of the circles ABC, CDE. Therefore, if two circles, &c. Q. E. D. PROP. VII. THEOR. If any point be taken in the diameter of a circle, which is not the centre, of all the straight lines which can be drawn from it to the circumference, the greatest is that in which the centre is, and the other part of that diameter is the least; and, of any others, that which is nearer to the line which passes through the centre is always greater than one more remote; and from the same point there can be drawn only two straight lines that are equal to one another, one upon each side of the shortest line. Let ABCD be a circle, and AD its diameter, in which let any point E be taken which is not the centre; let the centre be E; of all the straight lines FB, FC, FG, &c. that can be drawn from F to the circumference, FA is the greatest, and FD, the other part of the diameter AD, is the least: and of the other, FB is greater than FC, and FC than FG. Join BE, CE, GE; and because two sides of a triangle are greater (20. 1.) than the third, BE, EF are greater than BF; but AE is equal to EB; therefore AE, EF, that is, AF, is А greater than BF: again, because BE is equal B to CE, and FE common to the triangles BEF, CEF, the two sides BE, EF are equal to the two CE, EF; but the angle BEF is! greater than the angle CEF; therefore the base BF is greater (24. 1.) than the base FC: for the same reason CF, is greater than GF: again, because GF, FE, are greater (20. 1.) than EG, and EG is equal to ED; GF, FE are greater than ED: take away the DH common part FE, and the remainder GF is greater than the remainder FD: therefore FA is the greatest, and FD the least of all the straight lines from F to the circumference; and BF is greater than CF, and CF than GF. Also there can be drawn only two equal straight lines from the point F to the circumference, one upon each side of the shortest line FD: at the point E, in the straight line EF, make (23. 1.) the angle FEH equal to the angle GEF, and join FH: then because GE is equal to EH, and EF common to the two triangles GEF, HEF; the two sides GE, EF are equal to the two HE EF; and the angle GEF is equal to the angle HEF; therefore the base FG is equal (4. 1.) to the base FH: but, besides FH, no other straight line can be drawn from F to the circumference equal to FG, for, if there can, let it be FK ; and because FK is equal to FG, and FG to FH, FK is equal to FH: that is, a line nearer to that which passes through the centre, is equal to one which is more remote : which is impossible. There. fore, if any point be taken, &c. Q. E, D. G PROP. VIII. THEOR. If any point be taken without a circle, and straight lines be drawn from it to the circumference, whereof one passes through the centre, of those which fall upon the concave circumference, the greatest is that which passes through the centre, and, of the rest, that which is nearer to that through the centre is always greater than the more remote: but of those which fall upon the convex circumference, the least is that between the point without the circle and the diameter; and, of the rest, that which is nearer to the least is always less than the more remote: and only two equal straight lines can be drawn from the point into the circumference, one upon each side of the least. Let ABC be a circle, and D any point without it, from which let the straight lines DA, DE, DF, DC be drawn to the circumference, whereof DA passes through the centre. Of those which fall upon the concave part of the circumference AEFC, the greatest is AD, which passes through the centre; and the nearer to it is always greater than the more remote, viz. DE than DF, and DF than DC; but of those which fall upon the convex circumference HLKG, the least is DG between the point D and the diameter AG; and the nearer to it is always less than the more remote, viz. DK than DL, and DL than DH. Take (1. 3.) M the centre of the circle ABC, and join ME, MF, MC, MK, ML, MH: and because AM is equal to ME, add MD to each, therefore AD is equal to EM, MD; but EM, MD are greater (20. 1.) than ED; therefore also AD is greater than ED: again, because ME is equal to MF, and MD common to the triangles EMD, FMD: EM, MD are equal to FM, MD; but the angle EMD is greater than the angle FMD; therefore the base ED is greater (24. 1.) than the base FD: in like manner it may be shown that FD is greater than CD : therefore DA is the greatest : and DE greater than ilmi GB DF, and DF than DC: and because 71T i N MK, KD are greater (20. 1.) than MD, and MK is equal to MG, the remainder KD is greater (4 Ax.) than i the remainder GD, that is, GD is less than KD: and because MK, DK, Care drawn to the point K within the triangle MLD, from M, D, the ex- i tremities of its side MD; MK, KD are less, (21. 1.) than ML, LD whereof F MK is equal to ML; therefore the remainder DK is less than the remainder DL: in like manner it may be shown that DL is less than DH; therefore DG is the least, and DK less than DL, and DL than DH ; also there can be drawn only two equal straight lines from the point D to the circumference, one upon each side of the least; at the point M, in the straight line MD, make the angle DMB equal |