Olimpiadas de Matemáticas
Página de preparación y problemas

Solución. Construimos puntos $P'$ y $Q'$ sobre la recta $PQ$ tales que $PD=P'D$ y $CQ=C'Q$. Supondremos que $P\neq P'$ y $Q\neq Q'$ a menos que $AD$ o $BC$ sean perpendiculares a $PQ$. Observamos que $pp'D$ y $QQ'C$ son isósceles, luego se tiene que $\angle APQ=\angle P'PD=\angle Q'P'D$ y $\angle BQP=\angle Q'QC=\angle P'Q'C$. Esta igualdad de ángulos junto con las proporciones dadas en el enunciado nos dicen que $ABQP$ y $DCQ'P'$ son cuadriláteros semejantes (indicados en rojo y verde en la figura. Por tanto, el ángulo que forman los pares de lados opuestos $AB$ y $PQ$ en $ABQP$ es el mismo que el que forman los lados homólogos $CD$ y $P'Q'$ en $DCQ'P'$. Dicho de otra forma, cuando prolongamos los estos lados, obtenemos triángulos semejantes $APX$ y $DP'Y$ (representados en azul), siendo $X$ la intersección de $PQ$ y $AB$ e $Y$ la intersección de $PQ$ y $CD$. Esto concluye la demostración ya que nos dice que $\angle AXP=\angle DYP$.

Solución. En primer lugar, hay que decir que $P$ no es otra cosa que el baricentro de $ABC$. Como el baricentro dista de un vértice el doble que del punto medio del lado opuesto, tenemos que $$MP=\frac{BM}{3}=\frac{\sqrt{2(a^2+c^2)-b^2}}{6},\quad NP=\frac{CN}{3}=\frac{\sqrt{2(a^2+b^2)-c^2}}{6},$$ donde hemos usado la conocida expresión para las medianas del triángulo en términos de las longitudes de los lados. Con esta información, tenemos que el cuadrilátero $ANMP$ tiene una circunferencia inscrita si, y solo si, sus lados opuestos tienen la misma suma. Podemos desarrollar \begin{eqnarray*} AM+NP=AN+MP&\Leftrightarrow&\frac{b}{2}+\frac{\sqrt{2(a^2+b^2)-c^2}}{6}=\frac{c}{2}+\frac{\sqrt{2(a^2+c^2)-b^2}}{6}\\ &\Leftrightarrow&\frac{b}{2}-\frac{c}{2}=\frac{\sqrt{2(a^2+c^2)-b^2}}{6}-\frac{\sqrt{2(a^2+b^2)-c^2}}{6}\\ &\Leftrightarrow&b-c=\frac{(2(a^2+c^2)-b^2)-(2(a^2+b^2)-c^2)}{3(\sqrt{2(a^2+c^2)-b^2}+\sqrt{2(a^2+b^2)-c^2})}\\ &\Leftrightarrow&b-c=\frac{c^2-b^2}{\sqrt{2(a^2+c^2)-b^2}+\sqrt{2(a^2+b^2)-c^2}} \end{eqnarray*} En los últimos pasos, hemos multiplicado por la expresión conjugada (para eliminar las raíces del numerador) y hemos simplificado. Ahora basta observar que si $b=c$, entonces se tiene la igualdad anterior. Sin embargo, si $b\neq c$, la igualdad no es cierta ya que los dos miembros tienen signos opuestos. Deducimos entonces, que si hay circunferencia inscrita, entonces tiene que ser $b=c$, es decir, el triángulo $ABC$ tiene que ser isósceles.