RECTAS PERPENDICULARES
Al construir rectas perpendiculares y utilizar el compás para hacer verificaciones, nos damos cuanta de que se forman dos pares de ángulos adyacentes congruentes. Esto nos lleva a la siguiente definición:
Dos rectas son perpendiculares si forman un par de ángulos adyacentes congruentes.
Si la recta \(l\) es perpendicular a la recta \(m\), escribiremos: \(\Large l \perp m\).
La mediatriz de un segmento es una recta perpendicular al segmento que pasa por su punto medio.
En los ejercicios propuestos estudiaremos algunas demostraciones utilizando estas dos nuevas definiciones. Como ejemplo veamos un teorema muy importante y su demostración.
Teorema rectas perpendiculares.
Si dos rectas so perpendiculares, forman cuatro ángulos rectos.
Ejemplo 1: Demostremos el teorema de rectas perpendiculares.
Figura 1. Reformulación y demostración del teorema de rectas perpendiculares.
PREGUNTA: \(D\) es punto medio de \(\overline{AB}\) en la figura 2 y \(\overline{DC} \perp \overline{AB}\) ¿Qué es \(\overline{DC}\) de \(\overline{AB}\)?