Maths Olympiad Prep

Library / /505 of 520

Geometry Difficulty 4.6 AIME Prove it

Let ABCABC be a triangle with incenter II, incircle γ\gamma and circumcircle Γ\Gamma. Let M,N,PM,N,P be the midpoints of sides BC\overline{BC}, CA\overline{CA}, AB\overline{AB} and let E,FE,F be the tangency points of γ\gamma with CA\overline{CA} and AB\overline{AB}, respectively. Let U,VU,V be the intersections of line EFEF with line MNMN and line MPMP, respectively, and let XX be the midpoint of arc BACBAC of Γ\Gamma.
(a) Prove that II lies on ray CVCV.
(b) Prove that line XIXI bisects UV\overline{UV}.

Solution

(a)
Solution 1: We will prove this via contradiction: assume that line ICIC intersects line MPMP at QQ and line EFEF and RR, with RR and QQ not equal to VV. Let x=A/2=IAEx = \angle A/2 = \angle IAE and y=C/2=ICAy = \angle C/2 = \angle ICA. We know that MPAC\overline{MP} \parallel \overline{AC} because MPMP is a midsegment of triangle ABCABC; thus, by alternate interior angles (A.I.A) MVE=FEA=(1802x)/2=90x\angle MVE = \angle FEA = (180^\circ - 2x) / 2 = 90^\circ - x, because triangle AFEAFE is isosceles. Also by A.I.A, MQC=QCA=y\angle MQC = \angle QCA = y. Furthermore, because AIAI is an angle bisector of triangle AFEAFE, it is also an altitude of the triangle; combining this with QIA=x+y\angle QIA = x + y from the Exterior Angle Theorem gives FRC=90xy\angle FRC = 90 - x - y. Also, VRQ=FRC=90xy\angle VRQ = \angle FRC = 90 - x - y because they are vertical angles. This completes part (a).
Solution 2: First we show that the intersection VV'of MPMP with the internal angle bisector of CC is the same as the intersection VV'' of EFEF with the internal angle bisector of C.C. Let DD denote the intersection of ABAB with the internal angle bisector of C,C, and let a,b,ca,b,c denote the side lengths of BC,AC,AB.BC, AC, AB. By Menelaus on V,F,E,V'', F, E, with respect to ADC,\triangle ADC, AFFDDVVCCEEA=1\frac{AF}{FD}\cdot \frac{DV''}{V''C}\cdot \frac{CE}{EA}=-1
DVVC=bca+b+abc2a+bc2=bab+a.\frac{DV''}{V''C}=-\frac{\frac{bc}{a+b}+\frac{a-b-c}{2}}{\frac{a+b-c}{2}}=\frac{b-a}{b+a}. Similarly, BPPDDVVCCMMB=1\frac{BP}{PD}\cdot \frac{DV'}{V'C}\cdot \frac{CM}{MB}=-1 DVVC=aca+bc2c2=bab+a.\frac{DV'}{V'C}=-\frac{\frac{ac}{a+b}-\frac{c}{2}}{\frac{c}{2}}=\frac{b-a}{b+a}. Since VV' and VV'' divide CDCD in the same ratio, they must be the same point. Now, since bab+a>1,\frac{b-a}{b+a}>-1, II lies on ray CV.CV. \blacksquare
Solution 3: By the Iran Lemma, we know CI,EF,MPCI, EF, MP concur, so Part A\text{A} follows easily.
(b)
Solution 1: Using a similar argument to part (a), point U lies on line BIBI. Because MVC=VCA=MCV\angle MVC = \angle VCA = \angle MCV, triangle VMCVMC is isosceles. Similarly, triangle BMUBMU is isosceles, from which we derive that VM=MC=MB=MUVM = MC = MB = MU. Hence, triangle VUMVUM is isosceles.
Note that XX lies on both the circumcircle and the perpendicular bisector of segment BCBC. Let DD be the midpoint of UVUV; our goal is to prove that points XX, DD, and II are collinear, which equates to proving XX lies on ray IDID.
Because MDMD is also an altitude of triangle MVUMVU, and MDMD and IAIA are both perpendicular to EFEF, MDIA\overline{MD} \parallel \overline{IA}. Furthermore, we have VMD=UMD=x\angle VMD = \angle UMD = x because APMNAPMN is a parallelogram. (incomplete)
Solution 2: Let IAI_A, IBI_B, and ICI_C be the excenters of ABCABC. Note that the circumcircle of ABCABC is the nine-point circle of IAIBICI_AI_BI_C. Since AXAX is the external angle bisector of BAC\angle BAC, XX is the midpoint of IBICI_BI_C. Now UVUV and IBICI_BI_C are parallel since both are perpendicular to the internal angle bisector of BAC\angle BAC. Since IXIX bisects IBICI_BI_C, it bisects UVUV as well.
Solution 3: Let XX' be the antipode of XX with respect to the circumcircle of triangle ABCABC. Then, by the Incenter-Excenter lemma, XX' is the center of a circle containing BB, II, and CC. Because XXXX' is a diameter, XBXB and XCXC are tangent to the aforementioned circle; thus by a well-known symmedian lemma, XIXI coincides with the II-symmedian of triangle IBCIBC. From part (a); we know that BVUCBVUC is cyclic (we can derive a similar argument for point UU); thus XIXI coincides with the median of triangle VIUVIU, and we are done.
Solution 4: Let Mb,McM_b, M_c be the midpoints of arcs CA,ABCA, AB respectively, and let TaT_a be the tangency point between the AA-mixtilinear incircle of ABCABC and Γ\Gamma. It's well-known that TaXIT_a \in XI, TaXT_aX bisects MbMcM_bM_c, AIEFAI \perp EF, and AIMbMcAI \perp M_bM_c.
Now, it's easy to see EFMbMcEF \parallel M_bM_c, so IUVIUV and IMbMcIM_bM_c are homothetic at II. But TaXIXT_aX \equiv IX bisects MbMcM_bM_c, so Part B\text{B} follows directly from the homothety.
~ ike.chen

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.