Có cosA.cosB.cosC=cosA.12[cos(B−C)+cos(B+C)]=12.cosA.[cos(B−C)−cosA](∗)
Vì cos(B−C)≤1
⇒(∗)≤12cosA(1−cosA)
Ap dụng BĐT cô-si
Có √cosA(1−cosA)≤cosA+1−cosA2=12
⇒cosA(1−cosA)≤(12)2=14
⇒(∗)≤12.14=18
Xét cos3A+cos3B+cos3C≥33√cos3A.cos3B.cos3C≥3.18=38(đpcm)