GeometryDifficulty 7.3National Olympiad, round 2Prove itHong Kong
Let a, b, c be the sides of a triangle, and T its area. Prove that a2+b2+c2≥43T+(a−b)2+(b−c)2+(c−a)2.
When does the equality hold?
Solution
Let s be the semiperimeter of the triangle, and let x=s−a, y=s−b and z=s−c. Note that x, y, z>0 by the triangle inequality. Now, ⇔⇔⇔⇔a2+b2+c2≥43T+(a−b)2+(b−c)2+(c−a)22ab+2bc+2ca≥43s(s−a)(s−b)(s−c)+a2+b2+c22cyc∑(y+z)(x+z)≥43(x+y+z)xyz+(y+z)2+(z+x)2+(x+y)24(xy+yz+zx)≥43(x+y+z)xyz(xy+yz+zx)2≥3((xy)(yz)+(yz)(zx)+(zx)(xy)).
This is a well-known inequality (for example, the difference of the left-hand side and the right-hand side is 21∑cyc(xy−yz)2). Equality holds when xy=yz=zx, i.e. a=b=c.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.