The First Six Books of the Elements of Euclid

by Euclid; John Casey

5. If two opposite sides of a quadrilateral be parallel but not equal, and the other pair equal but not parallel, its opposite angles are supplemental.

6. Construct a triangle, being given the middle points of its three sides.

7. The area of a quadrilateral is equal to the area of a triangle, having two sides equal to its diagonals, and the contained angle equal to that between the diagonals.

PROP. XXXV.—Theorem.
Parallelograms on the same base (BC) and between the same parallels are equal.

Dem.—1. Let the sides AD, DF of the parallelograms AC, BF opposite to the common base BC terminate in the same point D, then [xxxiv.] each parallelogram is double of the triangle BCD. Hence they are equal to one another.

2. Let the sides AD, EF (figures (α), (β)) opposite to BC not terminate in the same point.

Then because ABCD is a parallelogram, AD is equal to BC [xxxiv.]; and since BCEF is a parallelogram, EF is equal to BC; therefore (see fig. (α)) take away ED, and in fig. (β) add ED, and we have in each case AE equal to DF, and BA is equal to CD [xxxiv.]. Hence the triangles BAE, CDF have the two sides BA, AE in one respectively equal to the two sides CD, DF in the other, and the angle BAE [xxix.] equal to the angle CDF; hence [iv.] the triangle BAE is equal to the triangle CDF; and taking each of these triangles in succession from the quadrilateral BAFC, there will remain the parallelogram BCFE equal to the parallelogram BCDA.

Or thus: The triangles ABE, DCF have [xxxiv.] the sides AB, BE in one respectively equal to the sides DC, CF in the other, and the angle ABE equal to the angle DCF [xxix., Ex. 8]. Hence the triangle ABE is equal to the triangle DCF; and, taking each away from the quadrilateral BAFC, there will remain the parallelogram BCFE equal to the parallelogram BCDA.