呐,现在来模仿 P.1024 中的计爷的恒等式,我们有:
\begin{align*}
& 25 \bigl((a + b + c)^2 (2 a + 5 b + 10 c) - 144 a b c\bigr) \\
={} & 50 a (3 b - 4 c)^2 + (2 a + 5 b + 20 c) (4 a - 5 b)^2 + (2 a + 25 b + 10 c) (3 a - 5 c)^2,
\end{align*}
即得
\[a + b + c\geqslant \sqrt{\frac{144abc}{2a+5b+10c}}=12.\]
装逼效果还阔以吧?