先齐次化,a->A/D,b->B/D,c->C/D，原式=(4A+D)(9A+B)(4B+C)(9C+D)/ABCD
然后配平，3A->p,B->q,3C/4->r,D/4->s，得到
原式=4*(3p+q)(3q+r)(3r+s)(3s+p)/pqrs>=1024

最后一步可以用卡尔松不等式，或许还有更常用的定理，反正应该有很多方法可以推。
【 在 misskiss (月华霜重) 的大作中提到: 】
:  [upload=1][/upload]
: #发自zSMTH@Honor V10
--
修改:zxf FROM 117.89.89.*
FROM 117.89.89.*