Page:The Elements of Euclid for the Use of Schools and Colleges - 1872.djvu/33

This page has been validated.
BOOK I. 3, 4.
9

AB is the greater: it is required to cut off from AB the greater, a part equal to C the less.

From the point A draw the straight line AD equal to C; [I. 2.
and from the centre A, at the distance AD, describe the circle DEF meeting AB at E. [Postulate 3.
AE shall be equal to C.

Because the point A is the centre of the circle DEF, AE is equal to AD. [Definition 15.
But C is equal to AD. [Construction.
Therefore AE and C are each of them equal to AD.
Therefore AE is equal to C. [Axiom 1.

Wherefore from AB the greater of two given straight lines a part AE has been cut off equal to C the less. q.e.f.

PROPOSITION 4. THEOREM.

If two triangles have two sides of the one equal to two sides of the other, each to each, and have also the angles contained by those sides equal to one another, they shall also have their bases or third sides equal; and the two triangles shall be equal, and their other angles shall be equal, each to each, namely those to which the equal sides are opposite.

Let ABC, DEF be two triangles which have the two sides AB, AC equal to the two sides DE, DF, each to each, namely, AB to DE, and AC to DF, and the angle BAC equal to the angle EDF: the base BC shall be equal to the base EF, and the triangle ABC to the triangle DEF, and the other angles shall be equal, each to each, to which the equal sides are opposite, namely, the angle ABC to the angle DEF, and the angle ACB to the angle DFE.