Equal triangles which are on the same base and on the same side are also in the same parallels.
Let
,
be equal triangles which are on the same base
and on the same side of it;
[I say that they are also in the same parallels.]
And [For] let
be joined;
I say that
is parallel to
.
For, if not, let
be drawn through the point
parallel to the straight line
, [Prop. 1.31]
and let
be joined.
Therefore the triangle
is equal to the triangle
;
for it is on the same base
with it and in the same parallels. [Prop. 1.37]
But
is equal to
;
therefore
is also equal to
, [C.N. 1]
the greater to the less: which is impossible.
Therefore
is not parallel to
.
Similarly we can prove that neither is any other straight line except
;
therefore
is parallel to
.
Therefore etc.
Q.E.D.