Maths Olympiad Prep

Library / /31 of 32

Geometry Difficulty 7.0 National Olympiad Prove it Romania

Let II be the center of the inscribed circle of triangle ABCABC, with ABACAB \neq AC. Let MM be the midpoint of side BCBC, and DD the projection of II on BCBC. The circle with center MM and radius MDMD intersects line AIAI at PP and QQ. Show that BAC+PMQ=180\angle BAC + \angle PMQ = 180^\circ.
Laurențiu Ploscaru

Solution

Without loss of generality, we may assume that AB<ACAB < AC and AP<AQAP < AQ. We shall prove that angles BACBAC and PMQPMQ have parallel sides, which trivially implies the conclusion.

First approach. Consider the tangency points EACE \in AC and FABF \in AB on the inscribed circle. Let PP' and QQ' be the intersection points of line AIAI with DEDE and DFDF, respectively. We intend to prove that MPACMP' \parallel AC and MQABMQ' \parallel AB, and afterwards that PPP \equiv P' and QQQ \equiv Q'.
Notice that PIB=180AIB=9012ACB\angle P'IB = 180^\circ - \angle AIB = 90^\circ - \frac{1}{2}\angle ACB. As the triangle CEDCED is isosceles with base DEDE, we have PDC=9012ACB\angle P'DC = 90^\circ - \frac{1}{2}\angle ACB, so PIBPDC\overline{P'IB} \equiv \overline{P'DC}. Hence, the quadrilateral BDPIBDP'I is cyclic, so BPAIBP' \perp AI.
Let NN be the midpoint of ABAB. As PABP'AB is a right triangle, we have PN=NA=NBP'N = NA = NB, so APNPANPAC\overline{AP'N} \equiv \overline{P'AN} \equiv \overline{P'AC}, which leads to NPACNP' \parallel AC. Also, we have MNACMN \parallel AC, since MNMN is a midline of triangle ABCABC. It follows that the points M,N,PM, N, P' are collinear and MPACMP' \parallel AC. Hence DPMDECCDE\overline{DP'M} \equiv \overline{DEC} \equiv \overline{CDE} (because CDECDE is isosceles), so triangle MDPMDP' is also isosceles, with MD=MPMD = MP'.

Figure 1

A similar reasoning shows that MQABMQ' \parallel AB and MD=MQMD = MQ'. Therefore, MP=MQ=MDMP' = MQ' = MD, which means that MM is the circumcenter of triangle DPQDP'Q', which finishes our proof.

Another approach. Let RR be the foot of the bisector of angle BACBAC. Then MP=MQ=MD=a2(pb)=bc2MP = MQ = MD = \frac{a}{2} - (p-b) = \frac{b-c}{2}, so
PMAC=bc2b. \frac{PM}{AC} = \frac{b-c}{2b}.
On the other hand, RC=abb+cRC = \frac{ab}{b+c} and RM=RCMC=abb+ca2=a(bc)2(b+c)RM = RC - MC = \frac{ab}{b+c} - \frac{a}{2} = \frac{a(b-c)}{2(b+c)}, so
RMRC=bc2b=PMAC. \frac{RM}{RC} = \frac{b-c}{2b} = \frac{PM}{AC}.
Since the triangles RMPRMP and RCARCA have one common (obtuse) angle RR, the above relation shows that triangles RMPRMP and RCARCA are similar (side-side-angle), so PMACPM \parallel AC.
Analogously, we have RMRB=MQAB\frac{RM}{RB} = \frac{MQ}{AB}, and, since angles BAR\angle BAR and MQP\angle MQP are both acute, the side-side-angle case shows that triangles RMQRMQ and RABRAB are also similar, so QMABQM \parallel AB.

A third approach. Let PP' be the projection of BB on line AIAI and SS the intersection point of lines BPBP' and ACAC. Since APAP' is both bisector and altitude of triangle ABSABS, it follows that PP' is the midpoint of BSBS. Then MPMP' is the midline of triangle BCSBCS, so MPACMP' \parallel AC. Also, if QQ' is the projection of CC on line AIAI, a similar reasoning leads to MQABMQ' \parallel AB.
Next, we shall prove that MP=MQ=MDMP' = MQ' = MD, which assure us that P=PP = P', Q=QQ = Q' and leads to conclusion.

The quadrilateral BIPDBIP'D is inscribed in the circle of diameter AIAI, so DPQ=IBD=12B\angle DP'Q' = \angle IBD = \frac{1}{2} \angle B. Then
DPM=DPQ+QPM=12B+12A \angle DP'M = \angle DP'Q' + \angle Q'P'M = \frac{1}{2} \angle B + \frac{1}{2} \angle A
Since PMD=C\angle P'MD = \angle C, considering the triangle DPMDP'M it results that
PDM=180PMDDPM=180C12(A+B)=12(A+B)=DPM, \begin{aligned} \angle P'DM &= 180^\circ - \angle P'MD - \angle DP'M = 180^\circ - \angle C - \frac{1}{2}(\angle A + \angle B) \\ &= \frac{1}{2}(\angle A + \angle B) = \angle DP'M, \end{aligned}
so MP=MDMP' = MD. Similarly, one can prove that MQ=MDMQ' = MD.

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.