Proposition 35

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.

java applet or image
I.34

Since ABCD is a parallelogram, therefore AD equals BC.

C.N.1
C.N.2

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.

I.34
I.29
I.4

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.

C.N.3

Subtract DGE from each. Then the trapezium ABGD which remains equals the trapezium EGCF which remains.

C.N.2

Add the triangle GBC to each. Then the whole parallelogram ABCD equals the whole parallelogram EBCF.

Therefore parallelograms which are on the same base and in the same parallels equal one another.

Q.E.D.

Guide

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.
java applet or image

Rectilinear figures as magnitudes

We see how Euclid treats figures as magnitudes by adding as subtracting them. The triangles EAB and FDC are shown directly to be equal. Then the triangle DGE, which is contained in each, is subtracted from each, and Euclid concludes that the remaining trapezia ABGD and EGCF are therefore equal. These trapezia are not congruent, but they do have the same area. Next, the triangle GBC is added to each trapezium to conclude the two parallelograms ABCD and EBCF are equal.

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 arcs of circles.

Use of Proposition 35

This proposition is used in the next two propositions and in XI.31.