Steiner's Theorem
Steiner's Theorem states that in a trapezoid with
and
, we have that the midpoint of
and
, the intersection of diagonals
and
, and the intersection of the sides
and
are [[collinear].
Proof
Let be the intersection of
and
,
be the midpiont of
,
be the midpoint of
, and
be the intersection of
and
. We now claim that
. First note that, since
and
[this is because
], we have that
. Then
, and
, so
. We earlier stated that
, so we have that
from SAS similarity. We have that
,
, and
are collinear, and since
and
are on the same side of line
, we [will continue later]