Dejemos que $P$ sea un punto dentro del triángulo $ABC$ , dejemos que $A_1$ , $B_1$ , $C_1$ son los vértices del triángulo pedal del punto P. Sea $X$ , $Y$ , $Z$ sean los incentros de los triángulos $AB_1C_1$ , $BA_1C_1$ y $CA_1B_1$ . ¿Es cierto que si $P$ es circuncentro de $XYZ$ entonces $P$ es el incentro de $ABC$ ?
He intentado utilizar la trigonometría y he recibido el siguiente sistema $$ \begin{cases} \frac{\sin^2 \beta_1}{\sin^2 \alpha_2}=\frac{1-\cos \beta_1 \cos \beta_2}{1-\cos \alpha_1 \cos \alpha_2} \\ \frac{\sin^2 \beta_2}{\sin^2 \gamma_1}=\frac{1-\cos \beta_1 \cos \beta_2}{1-\cos \gamma_1 \cos \gamma_2} \\ \frac{\sin^2 \alpha_1}{\sin^2 \gamma_2}=\frac{1-\cos \alpha_1 \cos \alpha_2}{1-\cos \gamma_1 \cos \gamma_2} \end{cases},$$ donde $\alpha_1 = \angle BCP$ , $\alpha_2 = \angle PAC$ y así sucesivamente. Pero no sé cómo demostrar que no hay ninguna solución excepto $\alpha_1=\alpha_2, ...$