2

Para obtener el máximo de cos A+cos B+cos C tenemos en cuenta la

fórmula de Carnot que puede encontrarse en mis Problemas Bonitos de
Geometrı́a con Métodos Elementales y la desigualdad de Chapple-Euler
(R > 2r).
R+r R + R2 3
6 = . cos A + cos B + cos C =
R R 2
Para obtener el máximo de cos A cos B cos C tenemos en cuenta que
si alguno de los ángulos A, B, C es obtuso su coseno va a ser negativo,
por lo que podemos considerar los tres cosenos positivos y en ese caso,
usando la desigualdad entre las medias aritmética y geométrica,
 3  3
cos A + cos B + cos C 1 1
cos A cos B cos C 6 6 = .
3 2 8
Usando esta desigualdad en la fórmula (3),
 
1 3 2 2 2
cos A + cos B + cos C > 1 − 2 · =
8 4
y ahora, usando esta desigualdad en (2),

3 2


3
cos4 A + cos4 B + cos4 C > 4
= .
3 16
Comentarios
1. Para confirmar el resultado con Mathematica usamos la instruc-
ción:
Minimize
4 4 4
Cos A + Cos B + Cos C ,

0 A ,0 B ,0 C , A+B+C , A, B, C


      

3
, A ,B ,C
16 3 3 3
2. Si en Mathematica ejecutamos las instrucciones
+ + + +
  

              

  

, ,
   
   
    

    

 

 

                 !  !     % &  !  '

" # $ $

s, s + +4


, 4 s
   


   
 

 


4 4 4
+ +
    (    !             

      ) &   !        (  


       !  

      *  '  ' !        (