Maths Olympiad Prep

Track / Stage 5 / 146 of 400 #1386 of 2604

Problem 1386

AIME late
Geometry Difficulty 5.2 Prove it HMMT Spring Team Round · United States · 2021

In triangle ABCA B C, let MM be the midpoint of BCB C and DD be a point on segment AMA M. Distinct points YY and ZZ are chosen on rays CA→\overrightarrow{C A} and BA→\overrightarrow{B A}, respectively, such that ∠DYC=∠DCB\angle D Y C = \angle D C B and ∠DBC=∠DZB\angle D B C = \angle D Z B. Prove that the circumcircle of △DYZ\triangle D Y Z is tangent to the circumcircle of △DBC\triangle D B C.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solutions — 2

Solution 1

Solution:

We first note that the circumcircles of DBZD B Z and YDCY D C are tangent to BCB C from our angle criteria. By power of a point, we obtain that MM lies on the radical axis of the two circles and clearly DD does as well. Therefore, we find that AA lies on the radical axis so AY⋅AC=AB⋅AZA Y \cdot A C = A B \cdot A Z implying that BYZCB Y Z C is a cyclic quadrilateral.

Next, by Reim's Theorem on (BYZC)(B Y Z C) and (DYZ)(D Y Z), we get that (DYZ)(D Y Z) intersects AB,ACA B, A C at B′,C′B^{\prime}, C^{\prime} where BC,B′C′B C, B^{\prime} C^{\prime} are parallel. Then a negative homothety maps BB to B′B^{\prime} and CC to C′C^{\prime}, so (DBC)(D B C) gets mapped to (DB′C′)\left(D B^{\prime} C^{\prime}\right), and we have tangent circles.

Solution 2

Solution:

Let (DYZ)(D Y Z) intersect ABA B and ACA C at B′B^{\prime} and C′C^{\prime}, respectively. We see that ∡YC′B′=∡YZB′=∡YZB=∡YCB\measuredangle Y C^{\prime} B^{\prime} = \measuredangle Y Z B^{\prime} = \measuredangle Y Z B = \measuredangle Y C B. Thus, BC∥B′C′B C \parallel B^{\prime} C^{\prime}. This means that there exists a negative homothety taking BB to B′B^{\prime} and CC to C′C^{\prime} which will map (DBC)(D B C) to (DB′C′)\left(D B^{\prime} C^{\prime}\right) which is also (DYZ)(D Y Z).

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.