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]