Olympiad Maths Prep

Library / /4 of 5

Geometry Difficulty 7.3 National olympiad, round 2 Prove it Turkey

Let ABCABC be a triangle. Let DD, EE, FF be points on the sides BCBC, ACAC, ABAB respectively, such that
DEAB, DFAC and BDDC=AB2AC2. DE \parallel AB,\ DF \parallel AC \text{ and } \frac{BD}{DC} = \frac{AB^2}{AC^2}.
The circumcircle of the triangle AEFAEF meets ADAD at RR again and meets the line passing through AA and tangent to the circumcircle of the triangle ABCABC at SS again. Let the line EFEF intersect BCBC at LL and SRSR at TT. Prove that SRSR bisects ABAB if and only if BSBS bisects TLTL.

Solution

Figure 1
From the condition BD/DC=AB2/AC2BD/DC = AB^2/AC^2 we know that ADAD is the AA-symmedian of the triangle ABCABC. Let a,b,ca, b, c be the side lengths of the triangle, then we get AF/FB=CD/DB=b2/c2AF/FB = CD/DB = b^2/c^2 hence AF=b2c/(b2+c2)AF = b^2c/(b^2 + c^2) and similarly AE=c2b/(b2+c2)AE = c^2b/(b^2 + c^2). Using these we get AEAC=AFABAE \cdot AC = AF \cdot AB hence B,E,C,FB, E, C, F are concyclic. Let the circumcircle of the triangle ABCABC be Γ\Gamma and let the circumcircle of the triangle AEFAEF be ω\omega. Let ADAD meet Γ\Gamma for the second time at QQ and let ASBC=PAS \cap BC = P. Let the intersection of Γ\Gamma and ω\omega other than AA be MM. The radical axis of the circles Γ\Gamma, ω\omega and (BCEF)(BCEF) are concurrent, let this point be AMEFBC=LAM \cap EF \cap BC = L. Let the line passing through AA and parallel to BCBC intersect Γ\Gamma for the second time at AA'. Since C=AFE=EAA\angle C = \angle AFE = \angle EAA' we find that AAAA' and ω\omega are tangent to each other.

Let us consider the spiral similarity σ\sigma centred at MM and satisfying FB,ECF \to B, E \to C. It is in fact the spiral similarity that sends the circle ω\omega to the circle Γ\Gamma, thus σ\sigma also satisfies SA,AAS \to A, A \to A' and RQR \to Q. Since AQAQ is a symmedian, the tangent lines to Γ\Gamma passing through QQ and AA intersect on the line BCBC. Therefore, under σ\sigma, the tangent lines to ω\omega passing through RR and SS intersect on the line EFEF. In addition, simple angle chasing gives that BDF=C\angle BDF = \angle C and AEF=B,DEC=A\angle AEF = \angle B, \angle DEC = \angle A which means FED=C\angle FED = \angle C hence, circumcircle of the triangle DEFDEF and the line BCBC are tangent to each other. From here we find LD2=LELF=LBLCLD^2 = LE \cdot LF = LB \cdot LC, also since we know (P,D;B,C)=1(P,D;B,C) = -1 we obtain that LL is the midpoint of the segment PDPD. We found that the lines AAAA' and BCBC are parallel, therefore we have (AP;AD;AL,AA)=1(AP;AD;AL, AA') = -1 and projecting these lines to ω\omega we find that (S,R;M,A)=1(S,R;M,A) = -1, which means the tangent lines to ω\omega passing through S,RS, R intersect on the line AMAM. In this case, this intersection point was also on the line EFEF, it must be LL.

So, we find that the polar line of LL with respect to ω\omega is SRSR, and since AMEF=LAM \cap EF = L, from Brokard's Theorem in quadrilateral AMEFAMEF, the lines AFAF and EMEM intersect on the polar line SRSR. Hence ABAB, EMEM, SRSR are concurrent, and we also have (T,L;F,E)=1(T,L;F,E) = -1. Furthermore, on the circle ω\omega we have (S,Q;A,M)=1(S,Q;A,M) = -1 and under σ\sigma its image is (A,Q;M,A)=1(A,Q;M,A') = 1, hence the points A,M,PA', M, P are collinear. Let AMAQ=VA'M \cap AQ = V, then we obtain (P,V;M,A)=1(P,V;M,A') = -1. Finally, by definition we have AABCAA' \parallel BC and under σ\sigma it becomes

Now, we will work on the problem statement to finish the solution. We will prove that both conditions are equivalent to B=2C\angle B = 2\angle C or 180+B=2C180^\circ + \angle B = 2\angle C. Solution to both cases are identical, thus we only study the case where B>C\angle B > \angle C. First, we know that MA=BC\angle MA' = \angle B - \angle C and under σ\sigma we have SMA=BC\angle SMA = \angle B - \angle C. Also, we have AME=AFE=C\angle AME = \angle AFE = \angle C. B=2C\angle B = 2\angle C is equivalent to the following statements:
(1) B=2CSMA+AMB=BC+(180C)=180B,M,W,S are collinear. (1)\ \angle B = 2\angle C \Leftrightarrow \angle SMA + \angle AMB = \angle B - \angle C + (180^\circ - \angle C) = 180^\circ \Leftrightarrow B, M, W, S \text{ are collinear.}
(2) B=2CMA=BC=C=AMEP,M,E,A are collinear. (2)\ \angle B = 2\angle C \Leftrightarrow \angle MA' = \angle B - \angle C = \angle C = \angle AME \Leftrightarrow P, M, E, A' \text{ are collinear.}
From the first condition, BSBS bisecting [TL][TL] is equivalent to B=2C\angle B = 2\angle C. From the concurrency AB,SR,EMAB, SR, EM we find that SRSR bisecting [AB][AB] is equivalent to EMEM bisecting [AB][AB]. EMEM bisecting [AB][AB] is equivalent to the condition (EA,EB;EM,ED)=1(EA, EB; EM, ED) = -1, and reflecting these lines to the line BCBC shows that it is in fact equivalent to E,M,PE, M, P being collinear. From the second condition this is equivalent to B=2C\angle B = 2\angle C hence the required statement is proven.

Looking for a route rather than 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.