MathLabs

第6题

设 a,b,ca,b,c 为三角形的边长。证明 a2b(a−b)+b2c(b−c)+c2a(c−a)≥0a^2b(a-b)+b^2c(b-c)+c^2a(c-a)\ge0,并确定等号成立的条件。
第 1/5 步:作 Ravi 换元
a=y+z,b=z+x,c=x+y,x,y,z>0a=y+z,\qquad b=z+x,\qquad c=x+y,\qquad x,y,z>0
详细分析

严格三角形不等式等价于存在正数 x,y,zx,y,z 使 a=y+z,b=z+x,c=x+ya=y+z,b=z+x,c=x+y。这参数化了所有非退化三角形。