Demasiado largo para un comentario.
Ponga $X=4R^2\cos A\cos B \cos C$ .
Tenemos que demostrar que $$-\frac 1{\sqrt{2}}>\cos (HIO)=\frac{HI^2+OI^2-OH^2}{2\cdot HI\cdot OI}.$$
Puesto que se supone que $2\cdot HI\cdot OI>0$ tenemos que demostrar que
$$OH^2- HI^2-OI^2>\sqrt{2}\cdot HI\cdot OI$$
$$2Rr-2r^2-X>\sqrt{2(2r^2-X)(R^2-2Rr)}$$
Desde $HI^2>0$ y $OI^2>0$ , $2r^2>X$ y $R>2r$ Así que $2Rr-2r^2-X>0$ . Así pues, tenemos que demostrar que
$$(2Rr-2r^2-X)^2>2(2r^2-X)(R^2-2Rr)$$
$$X^2+2XR^2+4Xr^2+4r^4>8RrX$$
La ecuación cuadrática correspondiente para $X$ tiene un discriminante $D=(R-2r)^2R(R-4r)$ y raíces $X_1=4Rr-2r^2-R^2-\sqrt{D}$ y $X_2=4Rr-2r^2-R^2+\sqrt{D}$ . Así que si $R<4r$ entonces $D<0$ y se demuestra la desigualdad.
Por lo demás, he intentado evaluar $X$ en términos de $R$ y $r$ . Según los ejercicios de la página 23 de "Topics in Inequalities - Theorems and Techniques" de Hojoo Lee ( versión 25 de febrero de 2006 ), tenemos $X=s^2-(2R+r)^2$ . Además, en W. J. Blundon (véase el problema E1935, Amer. Math. Monthly 73 (1966), 1122) encontró las mejores desigualdades posibles de la forma $A(R,r)\le s^2\le B(R, r)$ donde $A(x, y)$ y $B(x, y)$ son formas cuadráticas reales $\alpha x^2+\beta xy+\gamma y^2$ a saber $$16Rr-5r^2\le s^2\le 4R^2+4Rr+3r^2.$$
Esto implica $$12Rr-4R^2-6r^2\le X\le 2r^2.$$
Por desgracia, esto no ayuda porque
$$12Rr-4R^2-6r^2\le X_1\le X_2\le 2r^2.$$
1 votos
¿Cuál es el origen y el contexto de este problema? Esta información podría ayudar a indicar el nivel de sofisticación esperado y/o sugerir estrategias de ataque adecuadas.
1 votos
@Azul . En realidad este es un problema que mi tutor de matemáticas anterior (que da clases a estudiantes de secundaria) me dio (porque estoy persiguiendo Estadísticas como mi rama principal). No sé de dónde sacó este problema. Lo siento. Si tengo oportunidad se lo preguntaré.