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

Solución. Comenzaremos demostrando que si el triángulo $ABC$ es el de mayor perímetro, entonces $P$ es el incentro. Para ello, vamos a fijar los vértices $B$ y $C$ y mover el vértice $A$ entre todos los puntos de la circunferencia $\Gamma$ de centro $P$ y radio $r$ ($r$ será igual a $3$, $5$ o $7$). Por tanto, el lado $BC$ queda fijo y la suma de distancias $AB+AC$ será constante en cada elipse de focos $B$ y $C$ (por definición de elipse). Si consideramos todas estas elipses, como se muestra en la figura, existirá un punto $Q$ de $\Gamma$ con $QB+QC$ máximo, que se corresponderá con una elipse $E$ tangente en $Q$ a la circunferencia $\Gamma$, como puede verse en la figura (es decir, la elipse de mayor excentricidad que deja a $\Gamma$ en su interior). Observamos que $PQ$ es perpendicular a $\Gamma$ en $Q$ por tratarse de un radio, luego también es perpendicular a $E$ en $Q$ ya que $E$ y $\Gamma$ son tangentes en este punto. Ahora usamos la propiedad de que los segmentos que unen un punto de una elipse con el foco tienen por bisectriz la perpendicular en el punto (ver la nota). Por tanto, el punto $Q$ de $\Gamma$ que maximiza el perímetro cumple que $P$ está en la bisectriz interior del ángulo $A$. Si el triángulo $ABC$ maximiza el perímetro, entonces $P$ tiene que ser el incentro.

Puede parecer que lo anterior demuestra el enunciado, pero podría ocurrir que no hay ningún triángulo $ABC$ cuyo incentro $I$ dista $3$, $5$ y $7$ de los vértices. De hecho, no hemos usado estos tres números para el razonamiento anterior. Tomemos los puntos $P,Q,R$ de los lados $AB,BC,CA$, respectivamente, tales que $IP=IQ=IR=r$, el radio de la circunferencia inscrita. Como estos radios son perpendiculares a los correspondientes lados, en función de $r$, los $360º$ del ángulo completo en $I$ se pueden calcular como \begin{align*} 360º&=\angle AIQ+\angle AIR+\angle RIB+\angle BIP+\angle PIC+\angle CIQ\\ &=2\arccos(\tfrac{r}{3})+2\arccos(\tfrac{r}{5})+2\arccos(\tfrac{r}{7}). \end{align*} Es fácil ver que si esta ecuación se cumple, entonces se pueden construir los seis triángulos rectángulos en que se divide $ABC$ y al unirlos tenemos el triángulo $ABC$ con distancias $3$, $5$ y $7$ al incentro. Definimos entonces la función $f:[0,3]\to\mathbb{R}$ como \[f(r)=2\arccos(\tfrac{r}{3})+2\arccos(\tfrac{r}{5})+2\arccos(\tfrac{r}{7}).\] Esta función es continua y estrictamente decreciente con $f(0)=540^\circ$ y \[f(3)=2\arccos(\tfrac{3}{5})+2\arccos(\tfrac{3}{7})\lt 2\arccos(0)+2\arccos(0)=360^\circ.\] El teorema de Bolzano nos asegura que hay un valor de $r$ para el que $f(r)=360^\circ$.

Nota. La propiedad que hemos usado de las elipses es la que hace que, en una sala de planta elíptica, si hablamos en uno de los focos, otra persona oiga con claridad lo que decimos si se sitúa en el otro foco.

Por otro lado, el argumento para la existencia del triángulo no depende realmente de los números $3$, $5$ y $7$ (es decir, se podrían haber escrito otros tres números positivos cualesquiera).