Let A, B, C, A′, B′, C′ be distinct points on the plane satisfying ABC≅A′B′C′ and the point G be the centroid of the triangle ABC. If the circle of center A′ passing through G and the circle of diameter [AA′] intersect at point A1, the circle of center B′ passing through G and the circle of diameter [BB′] intersect at point B1, the circle of center C′ passing through G and the circle of diameter [CC′] intersect at point C1, show that AA12+BB12+CC12≤AB2+BC2+CA2.
Solution
Lemma: Let X, Y, Z, T be points on a plane. Then XY2+YZ2+YT2+TX2≥XZ2+YT2. Proof: Let x=XY, y=YZ, z=ZT. Note that XZ=x+y, YT=y+z and XT=x+y+z. Then XY2+YZ2+YT2+TX2−XZ2−YT2 is equal to x⋅x+y⋅y+z⋅z+(x+y+z)⋅(x+y+z)−(x+y)⋅(x+y)−(y+z)⋅(y+z)=x⋅x+z⋅z+2(x⋅z)=(x+z)⋅(x+z)≥0.
Let the point G′ be the centroid of the triangle A′B′C′. Applying the lemma for A, G′, A′, G gives AG′2+G′A′2+A′G2+GA2≥G′G2+AA′2. As AA′2=A′G2+AA12 we have AA12≤AG′2+G′A′2+GA2−G′G2.
By similar inequalities for B and C, we see that AA12+BB12+CC12 is less than or equal to AG′2+G′A′2+GA2+BG′2+G′B′2+GB2+CG′2+G′C′2+GC2−3G′G2.(∗) By the Leibniz's theorem we obtain that AG′2+BG′2+CG′2−3G′G2=GA2+GB2+GC2. It is well known that GA2+GB2+GC2=31(AB2+BC2+CA2). As ABC≅A′B′C′, we also have G′A′2+G′B′2+G′C′2=31(AB2+BC2+CA2). These three results conclude that (∗) is equal to AB2+BC2+CA2 and we are done.
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 and solution reproduced as published; topic and difficulty added by this site.