square of GH; but the squares of HE, EG are equal (47. 1.) to the square of GH; therefore the rectangle BE, EF together with the square of EG, is equal to the squares of HE, EG : take away the square of EG, which is common to both ; and the remaining rectangle BE, EF is equal to the square of EH: but the rectangle contained by BE, EF is the parallelogram BD, because EF is equal to ED; therefore BD is equal to the square of EH; but BD is equal to the rectilineal figure A ; therefore the rectilineal figure A is equal to the square of EH : wherefore a square has been made equal to the given rectilineal figure A, viz. the square described upon EH. Which was to be done. perpendicular falls, is said to be farther other, which meet, but do not Straight lines are said to be equally distant from the centre of a circle, when the THE OF EUCLID. I. EQUAL circles are those of which the diameters are equal, or from the centres of which the straight lines to the circumferences are equal. This is not a definition, but a theorem, the truth of which is evident ; for, if the circles be applied to one another, so that their centres coincide, the circles must likewise coincide, since the straight lines from the centre are equal.' II. A straight line is said to touch a circle , when it meets the circle, and being produced does not cut it. III. perpendiculars drawn to them from the cen V. cut one another. tre are equal. from the centre. VI. tained by a straight line and the circum- VII. VIII. tained by two straight lines drawn from IX. the circumference intercepted between X. by two straight lines drawn from the cen- XI. those in which the angles are PROP. I. PROB. To find the centre of a given circle.* Let ABC be the given circle; it is required to find its centre. Draw within it any straight line AB, and bisect (10. 1.) it in D; from the point Ď draw (11.1.) DC at right angles to AB, and produce it to E, and bisect CE in F: the point F is the centre of the circle ABC. See Note. For, if it be not, let, if possible, G be the centre, and join GA, GD, GB: then, because DA is equal to DB, and DG common to the two triangles ADG, BDG, с the two sides AD, DG are equal to the two BD, DG, each to each; and the base GA is equal to the base GB, because they are drawn from the centre G :* therefore 6 the angle ADG is equal (8. 1.) to the an F gle GĎB: but when a straight line standing upon another straight line makes the adjacent angles equal to one another, each A B D of the angles is a right angle: (10. def. 1.) therefore the angle GDB is a right an E gle: 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 C 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, D and produce DF, any straight line meeting the circumference AB, to E: then beCause DA is equal to DB, the angle DAB F is equal (5. 1.) to the angle DBA ; and because À E, a side of the triangle DAE; A E B * N. B. Whenever the expression “straight lines from the centre," or "drawn from the centre," occurs, it is to be understood that they are drawn to the circumference. 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 C E "В But let ČD 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, |