perpendicular

SARRERA DESBERDINA:

Perpendicularidad

${\displaystyle a,b\in R:\quad a\bot b}$
${\displaystyle a\bot b\quad {\mbox{o}}\quad \bot (a,b)\quad {\mbox{o bien}}\quad (a,b)\in \bot }$
${\displaystyle \lnot (a\bot b)\quad {\mbox{o}}\quad \not \bot (a,b)\quad {\mbox{o bien}}\quad (a,b)\notin \bot }$
${\displaystyle \forall a\in P:\quad \lnot (a\bot a)}$
${\displaystyle \forall a,b\in P:\quad a\bot b\quad \longrightarrow \quad b\bot a}$
En geometría, la condición de perpendicularidad (del latín per-pendiculum «plomada») es cuando una línea recta intersecta con otra, formando un ángulo recto, el cual mide 90°. La perpendicularidad es una propiedad fundamental estudiada en geometría y trigonometría, por ejemplo en los triángulos rectángulos, que poseen 2 segmentos «perpendiculares».
La noción de perpendicularidad se generaliza a la de ortogonalidad.
La relación de perpendicularidad se puede dar entre:
Además, puede existir una relación de perpendicularidad entre los 4 elementos anteriores, tomados de dos en dos.
Si dos rectas al cortarse forman ángulos adyacentes congruentes, son perpendiculares. Por analogía, si dos planos al cortarse forman ángulos diedros adyacentes congruentes, son perpendiculares. Los lados de un ángulo diedro y sus semiplanos opuestos determinan dos planos perpendiculares.
Para todas las rectas perpendiculares del plano se cumple lo siguiente.
Dado el conjunto R de las rectas en el plano, diremos que dos rectas a, b de R son perpendiculares y lo notaremos:
Siendo correcta la notación:
Si dos rectas no son perpendiculares lo notaremos:
En un plano, por un punto perteneciente o exterior a una recta pasa una y solo una recta perpendicular.
Para construir una perpendicular a la línea AB a través del punto P usando regla y compás, se procede como sigue:
Para probar que PQ es perpendicular a AB, se utiliza el criterio de congruencia LLL para los triángulos QPA' y QPB' para demostrar que los ángulos OPA' y OPB' son iguales. Luego se usa el criterio LAL para los triángulos OPA' y OPB' para demostrar que los ángulos POA y POB son iguales.
Las rectas a, b del plano P, cumplen las siguientes propiedades:
Como se ve en la figura, si dos líneas (a y b) son perpendiculares a una tercera línea (c), todos los ángulos formados en la tercera línea son ángulos rectos. Por lo tanto, en Geometría euclidiana, cualquier par de líneas que son perpendiculares a una tercera línea son paralelas entre sí, debido al quinto postulado de Euclides. Por el contrario, si una línea es perpendicular a una segunda línea, también es perpendicular a cualquier línea paralela a la segunda línea.
En la figura, todos los ángulos naranjas son congruentes entre sí y todos los ángulos verdes son congruentes entre sí, porque los ángulos opuestos por el vértice son congruentes y los ángulos alternos interiores formados por un corte transversal de líneas paralelas son congruentes. Por lo tanto, si las líneas a y b son paralelas, cualquiera de las conclusiones siguientes conduce a todas las demás: