一个涉及Fermat点的不等式

命题　设△ ABC的三边和面积为 a,b,c及△ .F是△ ABC内的 Fermat点 ,延长 AF、BF、CF分别交对边于 A′,B′,C′.记 AA′=fa,BB′=fb,CC′=fc.则　　 f2a f2b f 2c ≥ 33△ . ( 1 )等号当且仅当△ ABC为正三角形时成立 .证明　设 AF =x,BF =y,CF =z,则AA′=AF A′F =x 2 yzy zcos 6 0°=xy yz zxy z ,BB′=xy yz zxz x ,CC′=xy yz zxx y .又由面积公式易知xy yz zx =43△ .所以由上述式子易知 ( 1 )式 (以下用 ∑ 表示三元循环和 ,如∑x =x y z)等价于∑xy .∑ 1( y z) 2 ≥ 94 　…