OME Local |
OME Andaluza |
OME Nacional |
OIM |
IMO |
EGMO |
USAMO |
ASU |
OMCC |
Retos UJA |
En cuanto al apartado (b), calculamos el área del triángulo de dos formas distintas. Por un lado, $S=\frac{1}{2}(a+b+c)r$ y por otro $S=\frac{1}{2} ah_a$, siendo $h_a$ la altura relativa al vértice $A$. Sustituyendo $a=\frac{b+c}{2}$ en ambas expresiones e igualándolas, se llega directamente a que $h_a=3r$.
Finalmente, para el apartado (c) usaremos la fórmula $abc=4RS$ y la fórmula de Herón, de forma que \begin{align*} R-r&=\frac{abc}{4S}-\frac{2S}{a+b+c}=\frac{abc(a+b+c)-8S^2}{4(a+b+c)S}\\ &=\frac{abc(a+b+c)-\frac{1}{2}(a+b+c)(-a+b+c)(a-b+c)(a+b-c)}{4(a+b+c)S}\\ &=\frac{2abc-(-a+b+c)(a-b+c)(a+b-c)}{8S}=\frac{(b+c)bc-\frac{b+c}{2}(\frac{-b+3c}{2})(\frac{3b-c}{2})}{8S}\\ &=\frac{(b+c)(3b^2-2bc+3c^2)}{64S}=\frac{abc\cos(A)}{4S}=R\cos(A). \end{align*} Si $O$ es el circuncentro y $M$ el punto medio de $BC$, entonces el triángulo $BOM$ es rectángulo y tiene $\angle COM=A$ ya que este es la mitad del ángulo central. Por tanto, en este triángulo rectángulo se cumple que $\cos(A)=\frac{OM}{OB}$, es decir, $OM=OB\cos(A)=R\cos(A)$ y hemos terminado.
Nota. Probablemente, la demostración del apartado (c) no sea la más elegante, pero es sistemática en el sentido de que expresamos $R-r$ en función únicamente de los lados $a,b,c$. Luego se puede expresar también $OM$ en términos de estos lados y usando la condición $a=\frac{b+c}{2}$ se tiene que conseguir probar el enunciado. En la solución propuesta, se ha introducido además el área y el coseno de $A$ como atajo para evitar más cálculos.