OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Para probar la otra desigualdad, prolongamos $AP$ hasta un punto $Q$ en $BC$. La desigualdad triangular en el triángulo $BPQ$ nos dice que $BP\leq PQ+BQ$ y en el triángulo $ACQ$ también nos dice que $AQ\leq AC+QC$. Entonces, podemos escribir $$AP+BP\leq AP+PQ+BQ=AQ+BQ\leq AC+QC+BQ=AC+BC.$$ De la misma forma, se prueba que $AP+CP\leq AB+BC$ y $BP+CP\leq AB+AC$. Sumando estas tres desigualdades, llegamos a que $AP+BP+CP\leq p$.
Nota. Si buscamos constantes $m$ y $M$ tales que $mp\leq AP+BP+CP\leq Mp$ (que no dependen del punto $P$ ni del triángulo $ABC$), tomar $m=\frac{1}{2}$ es una elección óptima ya que la igualdad se da en el caso límite en que $A=P$ son el punto medio del segmento $BC$. En cambio, la constante $M=1$ del enunciado no es óptima, por lo que puede que otra demostración dé de hecho una constante mejor. La obtención del valor óptimo de $M$ es un problema más difícil que puede resolverse usando el punto de Fermat del triángulo (que es el que minimiza la suma de distancias a los tres vértices).
Consideremos el círculo que pasa por $O$, $A$ y $B$, el círculo que pasa por $O$, $B$ y $C$ y el círculo que pasa por $O$, $A$ y $C$. Si $P\neq O$, entonces $P$ estará en el exterior en uno de estos tres círculos (ya que no tienen puntos interiores común al pasar todos por $O$). Pongamos que $P$ está en el exterior del círculo que pasa por $O$, $A$ y $B$ sin perder generalidad. Las propiedades del arco capaz y del ángulo central nos dicen que $\angle APB\lt \angle AOB=2\angle ACB$, luego no se da la igualdad y hemos terminado.
Nota. Supongamos que $P$ es un punto que se encuentra en el mismo semiplano que $O$ respecto de la recta $AB$. Hemos usado la propiedad de que si $P$ está en el exterior del círculo que pasa por $O$, $A$ y $B$, entonces $\angle APB\lt \angle AOB$. Si, por el contrario, el punto $P$ está en el interior del círculo, entonces $\angle APB\gt \angle AOB$. La igualdad $\angle APB=\angle AOB$ se da únicamente cuando $P$ es parte de la circunferencia.
Ahora bien, el área de $ABC$ se puede calcular como $S=\frac{1}{2}(a+b+c)r$ y también como $S=\frac{1}{2}ah$. Igualando estas dos fórmulas, tenemos que $r=\frac{1}{3}h$ si, y sólo si, $\frac{1}{6}(a+b+c)h=\frac{1}{2}ah$ y esto a su vez equivale a que $b+c=2a$. Obtenemos así que la condición buscada es que la longitud de un lado sea la media aritmética de las longitudes de los otros dos.
Nota. La condición de que el triángulo no sea equilátero es para que el baricéntro y el incentro no sean el mismo punto. ¿Sabrías demostrar por qué?
Los triángulos $BEC$ y $AED$ son congruentes, luego $r_4=r_2$. Los triángulos $AEB$ y $CED$ son semejantes ya que $AB$ y $CD$ son paralelas y están en proporción $2-x$ a $x$. En consecuencia, tenemos que $r_1=\frac{2-x}{x}r_3$, lo que nos permite reescribir la condición del enunciado como: $$\frac{1}{r_1}+\frac{1}{r_3}=\frac{1}{r_2}+\frac{1}{r_4}\ \Leftrightarrow\ r_2=(2-x)r_3.$$ Sea $P$ el pie de la perpendicular por $D$ al lado $AB$. El teorema de Pitágoras en el triángulo $APD$ nos dice que $1=AP^2+DP^2=(1-x)^2+DP^2$ y en el triángulo $BDP$ nos dice que $BD^2=DP^2+BP^2=DP^2+1$. De estas dos ecuaciones, se deduce que $DP^2=1+2x-x^2$, luego se tiene por la semejanza entre $CED$ y $AEB$ que \[DE=\frac{x}{2}DP=\frac{x}{2}\sqrt{1+2x-x^2},\qquad BE=\frac{2-x}{2}DP=\frac{2-x}{2}\sqrt{1+2x-x^2}.\] Para obtener la relación entre $r_2$ y $r_3$, usamos que el área de un triángulo es igual al semiperímetro por el radio inscrito en los triángulos $BEC$ y $CED$, que tienen por altura común $h$ a la perpendicular por $C$ a $DB$. En el triángulo $BEC$, tenemos que \[\tfrac{1}{2}(1+\sqrt{1+2x-x^2})r_2=\tfrac{1}{2}BE\cdot h=\frac{2-x}{4}\sqrt{1+2x-x^2}\cdot h,\] mientras que en el triángulo $CED$ obtenemos \[\tfrac{1}{2}(x+x\sqrt{1+2x-x^2})r_3=\tfrac{1}{2}DE\cdot h=\frac{x}{4}\sqrt{1+2x-x^2}\cdot h.\] Despejando e igualando $h$ en ambas fórmulas, se tiene que $r_2=(2-x)r_3$, como queríamos demostrar.