Maths Olympiad Prep

Library / /8 of 31

Geometry Difficulty 6.1 National Olympiad Prove it Italy

Problem:

In triangle ABCABC suppose we have a>ba > b, where a=BCa = BC and b=ACb = AC. Let MM be the midpoint of ABAB, and let α\alpha and β\beta be the circles inscribed, respectively, in triangles ACMACM and BCMBCM. Let AA^{\prime} and BB^{\prime} be the points of tangency of α\alpha and β\beta with CMCM. Prove that AB=ab2A^{\prime}B^{\prime} = \frac{a-b}{2}.

Solution

Solution:

Let us call x=MAx = MA^{\prime}, y=MBy = MB^{\prime}, r=CAr = CA^{\prime}, s=CBs = CB^{\prime}. It is clear that
AB=xy=sr. A^{\prime}B^{\prime} = x - y = s - r.
Let us denote by A2A_{2} and A3A_{3} the points of tangency of ABAB and ACAC with α\alpha, and by B2B_{2} and B3B_{3} the points of tangency of ABAB and BCBC with β\beta.

Figure 1

Now let us repeatedly use the fact that, drawing the tangents from a point XX external to a circle γ\gamma, and calling MM and NN the points of tangency, we have XM=XNXM = XN.
We have that x=MA2x = MA_{2}, y=MB2y = MB_{2}, r=CA3r = CA_{3}, s=CBs = CB^{\prime}. Let us then set
t=AA2=AA3,u=BB2=BB3. t = AA_{2} = AA_{3}, \quad u = BB_{2} = BB_{3}.
Since MM is the midpoint of ABAB, we have x+t=y+ux + t = y + u. On the other hand, t=brt = b - r, u=asu = a - s, from which x+br=y+asx + b - r = y + a - s and therefore
(xy)+(sr)=ab. (x - y) + (s - r) = a - b.
Since ab>0a - b > 0, in (1) the ++ sign holds and the claim is proved.

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 it; metadata (topic, difficulty) added by this project.