Maths Olympiad Prep

Library / /60 of 397

Geometry Difficulty 5.1 AIME, harder Prove it Taiwan

There is a point OO inside ABC\triangle ABC. Let the extensions of AOAO, BOBO, COCO meet BCBC, CACA, ABAB at A1A_1, B1B_1, C1C_1 respectively. Prove that OO lies inside the medial triangle of A1B1C1\triangle A_1B_1C_1. (The medial triangle refers to the triangle formed by joining the midpoints of each side.)

Solution

Let AA1AA_1, BB1BB_1, CC1CC_1 meet the sides of A1B1C1\triangle A_1B_1C_1 at A2A_2, B2B_2, C2C_2 respectively.
Let AC1C1B=xy\frac{AC_1}{C_1B} = \frac{x}{y}, BA1A1C=yz\frac{BA_1}{A_1C} = \frac{y}{z} (x,y,z>0x, y, z > 0), then by Ceva's Theorem CB1B1A=zx\frac{CB_1}{B_1A} = \frac{z}{x}. Thus the center of mass of the system of mass points
A(yz)A(yz), B(zx)B(zx), C(xy)C(xy)
is at OO. (Since yzzx=C1BAC1\frac{yz}{zx} = \frac{C_1B}{AC_1}, the center of mass of A(yz)A(yz) and B(zx)B(zx) is C1C_1, so the center of mass of the whole system lies on CC2CC_2; by the same reasoning it also lies on BB1BB_1, so it must be their intersection point OO.)
On the other hand, since the center of mass of A(yz2)A(\frac{yz}{2}) and B(zx2)B(\frac{zx}{2}) is also C1(A1,B1)C_1(A_1, B_1), similarly OO is also the center of mass of the system of mass points
A1(zx+xy2)A_1(\frac{zx + xy}{2}), B1(xy+yz2)B_1(\frac{xy + yz}{2}), C1(yz+zx2)C_1(\frac{yz + zx}{2}).
Suppose for contradiction that OO does not lie inside the medial triangle of A1B1C1A_1B_1C_1. Then it lies in one of the other three small triangles near A1A_1, B1B_1, C1C_1; without loss of generality assume it is the one near A1A_1, so that OA2OA1OA_2 \ge OA_1. But since OO is the center of mass of the system of mass points
A1(zx+xy2)A_1(\frac{zx + xy}{2}), B1(xy+yz2)B_1(\frac{xy + yz}{2}), C1(yz+zx2)C_1(\frac{yz + zx}{2}),
the center of mass of B1(xy+yz2)B_1(\frac{xy+yz}{2}) and C1(yz+zx2)C_1(\frac{yz+zx}{2}) must lie on the line OA1OA_1, and can only be
A2A_2. And OO is the center of mass of A1(zx+xy2)A_1(\frac{zx+xy}{2}) and A2(xy+yz2+yz+zx2)A_2(\frac{xy+yz}{2} + \frac{yz+zx}{2}). Since
xy+yz2+yz+zx2>zx+xy2 \frac{xy + yz}{2} + \frac{yz + zx}{2} > \frac{zx + xy}{2}
we have OA2<OA1OA_2 < OA_1, a contradiction!

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 translated into English from zh; metadata (topic, difficulty) added by this project.