El teorema de la bisectriz es un teorema clásico de la geometría del triángulo .
La bisectriz en el vértice de un triángulo divide el lado opuesto en partes proporcionales a los lados adyacentes. Es decir, si la bisectriz en el vértice del triángulo corta al lado en un punto, entonces
El teorema de la bisectriz está formulado en el sexto libro de los Elementos de Euclides (proposición III) [1] , en particular, en griego en un manuscrito bizantino [2] . Una cita temprana de este teorema según Euclides en fuentes en idioma ruso se encuentra en uno de los primeros libros de texto rusos de geometría: el manuscrito de principios del siglo XVII " Synodal No. 42 " (libro 1, parte 2, capítulo 21 ).
Hay varios métodos de prueba. Por ejemplo, por el método de las áreas o trazando desde otro vértice una recta paralela a la bisectriz, hasta cortarla con la continuación de uno de los lados.
Considere el triángulo ABC. Se deja caer una bisectriz AD desde el vértice A hasta el lado BC. Encuentra las áreas de los triángulos ABD y ACD:
Por otra parte,
Medio,
Considere el triángulo ABC con la bisectriz AD. Escribamos el teorema del seno para los triángulos ABD y ACD:
Pero en consecuencia,
Dividiendo la igualdad (1) por la igualdad (2), obtenemos:
Este método de prueba se basa en la extensión de la bisectriz hasta la intersección con ella de la perpendicular que cae sobre ella desde uno de los vértices.
Considere el triángulo ABC con la bisectriz AD. Dejemos caer las perpendiculares BK y CT a él y su prolongación, respectivamente. Los triángulos KBD y DCT son similares en dos ángulos, entonces
Los triángulos ABK y ACT también son similares en dos ángulos, lo que significa que la igualdad es verdadera:
Por lo tanto obtenemos que