triangles and parallels

../../../../_images/elem.1.prop.40.png

Equal triangles which are on equal bases and on the same side are also in the same parallels

===

Let ABC, CDE be equal triangles on equal bases BC, CE and on the same side.

I say that they are also in the same parallels.

For let AD be joined; I say that AD is parallel to BE.

For, if not, let AF be drawn through A parallel to BE [I.31], and let FE be joined.

Therefore the triangle ABC is equal to the triangle FCE; for they are on equal bases BC, CE and in the same parallels BE, AF. [I.38]

But the triangle ABC is equal to the triangle DCE;

  • therefore the triangle DCE is also equal to the triangle FCE, [I.c.n.1] the greater to the less: which is impossible. Therefore AF is not parallel to BE.

Similarly we can prove that neither is any other straight line except AD;

  • therefore AD is parallel to BE.

Therefore etc.

## References

[I.31]: /elem.1.31 “Book 1 - Proposition 31” [I.38]: /elem.1.38 “Book 1 - Proposition 38” [I.c.n.1]: /elem.1.c.n.1 “Book 1 - Common Notion 1”

## Footnotes