1. Necesitamos demostrar que D, A, F son co-lineales.
Dado que AF y AD son las bisectrices externas del ángulo A, tenemos:
ángulo (FAC) = ángulo (DAB) = [ángulo (B) + ángulo (C)] / 2
=> ángulo (FAC) + ángulo (A) + ángulo (DAB) = A + B + C = 180 (QED)
2. Es fácil ver que CD y BF son la bisectriz de los ángulos C y B, respectivamente.
Como CD y CF son bisectrices del ángulo C, tenemos un ángulo (DCF) = 90.
Del mismo modo, ángulo (DBF) = 90.
Juntos tenemos D, F, C y B se encuentra en un círculo con el centro es el punto medio de DF. Desde este punto, si podemos probar que IB = IC, podemos concluir ID = IF.
Como A, B, C e I se encuentran en el círculo con el centro H, tenemos:
ángulo (ICB) = ángulo (IAB) = ángulo (DAB)
ángulo (IBC) = ángulo (CAF).
Como ángulo (DAB) = ángulo (CAF) (probado en 1.), tenemos:
ángulo (ICB) = ángulo (IBC) => el triángulo IBC es isósceles => IB = IC (QED)
- ¿Qué es una parábola?
- ¿Cuál es la línea tangente a una curva?
- ¿Qué elementos debo incluir al hacer una vía de tren de madera para que los trenes puedan viajar en cualquier dirección a lo largo de cualquier tramo de la vía?
- ¿Qué cuadrado toca cuál?
- Dado un conjunto de puntos P en dos dimensiones, ¿cuál es el algoritmo más eficiente para determinar el punto más cercano en P a una línea dada L?
P / S: Yo tampoco soy hablante nativo.