Ya que\((AB)\parallel (CD)\), el Teorema 7.2.1 implica que\((CD)\) es un reflejo de\((AB)\) través\(M\). Dado que no\(\square ABCD\) es degenerado, se deduce que\(D\) es un reflejo de\(B\) través\(M\)...Ya que\((AB)\parallel (CD)\), el Teorema 7.2.1 implica que\((CD)\) es un reflejo de\((AB)\) través\(M\). Dado que no\(\square ABCD\) es degenerado, se deduce que\(D\) es un reflejo de\(B\) través\(M\); en otras palabras,\(M\) es el punto medio de\([BD]\). Mostrar que el paralelogramo\(ABCD\) es un rectángulo si y solo si\(AC = BD\). Mostrar que el paralelogramo\(ABCD\) es un rombo si y solo si\((AC) \perp (BD)\).
