Circuncentros equidistantes

Problema 289 de la Gaceta de la Real Sociedad Matemática Española. Propuesto por Cristóbal Sánchez Rubio, I. E. S. Penyagolosa, Castellón. “En el triángulo ABC, la bisectriz interior del ángulo A corta al lado opuesto en el punto D. Los puntos O, O1 y O2 son los centros de las circunferencias circunscritas a los triángulos ABC, ABD y ACD, respectivamente. Probar que OO1 = OO2.
Resolución: Los ángulos ∠OO1O2 y ∠BAD son iguales o suplementarios, pues sus lados son perpendiculares. Otro tanto ocurre con ∠OO2O1 y ∠CAD = ∠BAD. Entonces ∠OO1O2 = ∠OO2O1, ya que no pueden ser suplementarios por ser ángulos de △OO1O2. Por tanto este triángulo es isósceles y OO1 = OO2. Una consecuencia interesante es que los puntos A, O1, O y O2 son concíclicos: Sean E y F los puntos medios de AB y AC respectivamente, y E' y F' los puntos medios de los arcos AB y CA, exteriores al triángulo, de las circunferencias circunscritas a △ABD y △ACD respectivamente. Si △ABC es isósceles, ∠ADB = ∠ADC = 90° y O1 y O2 coinciden con F y G respectivamente. En ese caso ∠AO1O = ∠AO2O = 90° y los cuatro puntos son concíclicos, siendo AO un diámetro. Si △ABC no es isósceles uno de los ángulos en D es agudo, sea por ejemplo el ∠ADC. Por ser ángulos inscrito y central abarcando el mismo arco, ∠AO2C = 2∠ADC ⇒ ∠AO2F = ∠ADC. Por el mismo motivo, ∠AO1D = ∠AE'B = 180° - ∠ADB = ∠ADC = ∠AO2F. Como △EAO1 y △FAO2 son rectángulos, sus otros ángulos también son iguales, ∠O1AE = ∠O2AF. Por tanto ∠O1AO2 = ∠EAF = 180° - ∠O2OO1 y los puntos A, O1, O y O2 son concíclicos. Los triángulos isósceles △AO1B y △AO2C tienen dos pares de ángulos iguales, por lo que son semejantes, sus lados son proporcionales y los triángulos △AO1O2 y △ABC son igualmente semejantes. Sus bisectrices AO y AD forman el mismo ángulo que los lados respectivos, ∠OAD = ∠O1AB = ∠O2AC.