Maths Olympiad Prep

Library / /36 of 63

Geometry Difficulty 7.0 National olympiad Prove it Japan

Let ABCABC be an isosceles triangle with AB=AC=5AB = AC = 5. Let DD be a point on side ABAB satisfying AD=3AD = 3, and let EE be a point on side BCBC (excluding the endpoints BB and CC). Let ω\omega be the circle passing through EE and tangent to line ABAB at BB. Suppose that ω\omega is tangent to the circumcircle of triangle ADEADE. Let FF be the intersection point of ω\omega and line AEAE, other than EE. When CF=10CF = 10, find the length of side BCBC.

Solution

146513\frac{14\sqrt{65}}{13}

By the alternate segment theorem and the assumption AB=ACAB = AC, we have EFB=EBA=ACB\angle EFB = \angle EBA = \angle ACB. Therefore, the four points AA, BB, FF, CC are concyclic.

Let XX be any point on the tangent to ω\omega at EE, lying on the same side of line AFAF as BB. Then, by the alternate segment theorem, we have
DEB=DEX+XEB=DAE+EFB=DAE+EBA=CEA. \angle DEB = \angle DEX + \angle XEB = \angle DAE + \angle EFB = \angle DAE + \angle EBA = \angle CEA.
Since DBE=ACE\angle DBE = \angle ACE, we conclude that triangles DEBDEB and AECAEC are similar. Therefore, we have EB:EC=DB:AC=2:5EB : EC = DB : AC = 2 : 5. Hence, we may write EB=2xEB = 2x and EC=5xEC = 5x with some x>0x > 0.

Since AA, BB, FF, CC are concyclic, triangles EBAEBA and EFCEFC are similar. Therefore, we have
EB:EF=EA:EC=AB:CF=5:10=1:2, EB : EF = EA : EC = AB : CF = 5 : 10 = 1 : 2,
and hence, we have EF=4xEF = 4x and EA=52xEA = \frac{5}{2}x. By the power of a point theorem, we have
25=AB2=AEAF=52132x. 25 = AB^2 = AE \cdot AF = \frac{5}{2} \cdot \frac{13}{2}x.

Solving this equation with the condition x>0x > 0, we get x=26513x = \frac{2\sqrt{65}}{13}. Thus, we conclude that

BC = BE + EC = 7x = 146513.\frac{14\sqrt{65}}{13}.

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.