Maths Olympiad Prep

Library / /15 of 65

Geometry Difficulty 5.2 AIME, harder Prove it Romania

Triangle ABCABC has the property that there exists a unique point XX on the line segment BCBC such that AX2=BXCXAX^2 = BX \cdot CX. Prove that AB+AC=BC2AB + AC = BC\sqrt{2}.

Solution

Let TT be the reflection of AA with respect to XX. By the converse of the Power of a Point Theorem, it follows that the quadrilateral ABTCABTC is cyclic. If the line parallel to BCBC through TT intersects the circumcircle of ABCABC again at UU, and lines AUAU and BCBC meet at YY, then Y[BC]Y \in [BC] and BYCY=AYUY=AY2BY \cdot CY = AY \cdot UY = AY^2, thus, in order for the point XX to be unique, it is necessary that T=UT = U, i.e. TT is the midpoint of the arc BCBC, in other words XX is the foot of the angle bisector from AA.

From here one can finish the proof in several ways. One can use the formula for the length of the angle bisector in a triangle, or Stewart's Theorem.

If AX=lAX = l, BX=xBX = x, CX=yCX = y, then b2x+c2y=l2a+axyb^2x + c^2y = l^2a + axy. It is known that x=acb+cx = \frac{ac}{b+c}, y=abb+cy = \frac{ab}{b+c}. It follows that
l2=xyb2x+c2y=2axy(b+c)2=2a2b+c=a2. l^2 = xy \Leftrightarrow b^2x + c^2y = 2axy \Leftrightarrow (b+c)^2 = 2a^2 \Leftrightarrow b+c = a\sqrt{2}.

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.