Todos los teoremas utilizados fueron correctos, por lo que el único lugar que podría salir mal es el diagrama. De hecho, el diagrama dibujado era incorrecto. Los triángulos dibujados con la bisectriz perpendicular no estarán ambos en el exterior del triángulo principal, uno se bisecará dentro del triángulo principal mientras que uno se bisecará afuera. Lo que se dibujó es que ambos se bisecan afuera, permitiendo así la “prueba”.
Editar: Aquí hay una prueba ilustrada ya que alguien la solicitó. El triángulo de la izquierda es el que se muestra en el video, sin las bisectrices perpendiculares (incorrectas).
Por las restricciones en los triángulos ABD y ACD, que son las dos longitudes comunes que comparten y el ángulo [matemático] \ alfa [/ matemático], vemos que solo hay dos casos posibles para los triángulos, que se muestra en la figura de la izquierda .
ABD y ACD obviamente no son congruentes (o AB = AC), y por lo tanto deben ser uno de los dos triángulos posibles que se muestran. (no pueden ser el mismo triángulo ya que no son congruentes) Por lo tanto, uno de los ángulos (x o y) debe ser mayor de 90 grados, mientras que el otro menor de 90 grados. La bisectriz perpendicular resultante a lo largo de la línea que atraviesa AB estará entonces fuera del ABC, mientras que la bisectriz perpendicular que atraviesa AC estará dentro de ABC. QED
Nota: Si bien x> y es cierto para el diagrama dibujado anteriormente, no importa en esta prueba, ya que independientemente de cuál sea mayor, uno debe ser> 90 grados y el otro <90 grados, y ese es el único hecho necesario para esta prueba
- ¿Es posible triseccionar un ángulo usando una brújula y un borde recto?
- ¿Qué se entiende por ángulos de elevación y depresión?
- ¿Cuántos puntos racionales (a, b) hay en la circunferencia de un círculo centrado en [matemáticas] (\ pi, e) [/ matemáticas]?
- ¿Hay alguna manera de saber en qué (sub) múltiple estamos viviendo?
- ¿Qué es una función hiperbólica?