Parallelograms which are on the same base and in the same parallels equal one another. | ||
Let ABCD and EBCF be parallelograms on the same base BC and in the same parallels AF and BC.
I say that ABCD equals the parallelogram EBCF. | ||
Since ABCD is a parallelogram, therefore AD equals BC. | I.34 | |
For the same reason EF equals BC, so that AD also equals EF. And DE is common, therefore the whole AE equals the whole DF. | C.N.1 C.N.2 | |
But AB also equals DC. Therefore the two sides EA and AB equal the two sides FD and DC respectively, and the angle FDC equals the angle EAB, the exterior equals the interior. Therefore the base EB equals the base FC, and the triangle EAB equals the triangle FDC. | I.34 | |
Subtract DGE from each. Then the trapezium ABGD which remains equals the trapezium EGCF which remains. | C.N.3 | |
Add the triangle GBC to each. Then the whole parallelogram ABCD equals the whole parallelogram EBCF. | C.N.2 | |
Therefore parallelograms which are on the same base and in the same parallels equal one another. | ||
Q.E.D. |
Euclid's proof specifically treats the case when the point D lies between A and E in which case subtraction of a triangle is necessary. There are other cases to consider, for instance, when E lies between A and D. In that case the point G is irrelevant and the trapezium BCED may be added to the congruent triangles ABE and DCF to derive the conclusion. Euclid often supplies a proof for only one case, although occasionally he gives proofs for two or three cases. |
These are the same kinds of cut-and-paste operations that Euclid used on lines and angles earlier in Book I, but these are applied to rectilinear figures. In later books cut-and-paste operations will be applied to other kinds of magnitudes such as solid figures and parts of circumferences of circles.