Maths Olympiad Prep

Library /

Geometry Difficulty 8.6 Shortlist Prove it India

Suppose an acute scalene triangle ABCABC has incentre II and incircle touching BCBC at DD. Let ZZ be the antipode of AA in the circumcircle of ABCABC. Point LL is chosen on the internal angle bisector of BZC\angle BZC such that AL=LIAL = LI. Let MM be midpoint of arc BZCBZC, and let VV be the midpoint of IDID. Prove that IML=DVM\angle IML = \angle DVM.

Solutions — 4

Solution 1

Let NN be the midpoint of arc BACBAC. Note that Z,L,NZ, L, N are collinear; further, AMLZAM \parallel LZ because they are reflections in the circumcenter OO of ABC\triangle ABC. Therefore IML=MLZ\angle IML = \angle MLZ. So it is sufficient to prove that IVM=NLM\angle IVM = \angle NLM; in fact we will prove that IVMNLM\triangle IVM \sim \triangle NLM. Note that DIM=MAZ=MNZ\angle DIM = \angle MAZ = \angle MNZ because AZAZ and perpendicular from AA to BCBC are isogonal. Therefore it is sufficient to prove that
IVIM=NLNM \frac{IV}{IM} = \frac{NL}{NM}
Let r,Rr, R denote the inradius and circumradius of ABC\triangle ABC respectively. Note that IV=r2IV = \frac{r}{2}, NM=2RNM = 2R, and NL=AI2NL = \frac{AI}{2}. Also note that AIIMAI \cdot IM is the power of II w.r.t. (ABC)\odot(ABC), which is R2OI2=2rRR^2 - OI^2 = 2rR. Therefore
IVIM=r2IM=r22rRAI=AI4R=NLNM \frac{IV}{IM} = \frac{r}{2IM} = \frac{r}{2 \cdot \frac{2rR}{AI}} = \frac{AI}{4R} = \frac{NL}{NM}
as required. □

Solution 2

Let the incircle touch ABAB and ACAC at FF and EE respectively. Let XX be the reflection of FF across BB, and let YY be the reflection of EE across CC. Let IaI_a be the AA-excentre of ABCABC. Let X1X_1 and Y1Y_1 be the midpoints of AXAX and AYAY, and let NN be the midpoint of arc BACBAC. Let AA' be the reflection of AA across NN.
Claim 1 IaI_a is the circumcenter of XDYXDY
Proof. Since BD=BXBD = BX, the perpendicular bisector of DXDX is the angle bisector of XBDXBD or the line BIaBI_a. Similarly, CIaCI_a is the perpendicular bisector of DYDY. Thus the two perpendicular bisectors of DXDX and DYDY meet at IaI_a. □
Claim 2 AX=AYA'X = A'Y
Proof. Observe that BX1=AF/2=AE/2=CY1BX_1 = AF/2 = AE/2 = CY_1, so NX1BNY1C\triangle NX_1B \cong NY_1C and NX1=NY1NX_1 = NY_1. Dilating by 2 from AA gives us the desired result. As a corollary, observe that IaAI_aA' is perpendicular to XYXY. □
Claim 3 IDIa=π(EF,XY)\angle IDI_a = \pi - \angle (EF, XY)
Proof. Let DRDR and DSDS be the altitudes from DD to EFEF and XYXY. Observe that IDIa=CDIa+EDC+IDE=XDS+FDX+FDR=RDS\angle IDI_a = \angle CDI_a + \angle EDC + \angle IDE = \angle XDS + \angle FDX + \angle FDR = \angle RDS which gives the desired result. □
Claim 4 LL is the midpoint of IAIA'.
Proof. Observe that Z,L,NZ, L, N are collinear, and that NZNZ is the perpendicular bisector of AAAA'. This implies LA=LI=LALA = LI = LA', and that LL is the circumcentre of AIZAIZ. Since IAZ=π2\angle IAZ = \frac{\pi}{2}, LL is the midpoint of IZIZ. □
The key idea is that DVM=πIVM=πIDIa=(EF,XY)\angle DVM = \pi - \angle IVM = \pi - \angle IDI_a = \angle (EF, XY). On the other hand, we also have IIaEFII_a \perp EF and IaAXYI_aA' \perp XY, so IML=IIaZ=(EF,XY)\angle IML = \angle II_aZ = \angle (EF, XY). This proves the problem. □

Solution 3

WLOG assume AB<ACAB < AC. Let UU be the midpoint of AIAI. Then ULZM\square ULZM is clearly a rectangle, so
IML=UML=UZL=90UZM \angle IML = \angle UML = \angle UZL = 90^\circ - \angle UZM
Let IaI_a be the AA-excenter. Homothety with ratio 2 at II gives
DVM=180IaDI=90IaDC \angle DVM = 180^\circ - \angle I_aDI = 90^\circ - \angle I_aDC
Therefore it is sufficient to prove that UZM=IaDC\angle UZM = \angle I_aDC. We use complex numbers for this.
Let (ABC)\odot(ABC) be the unit circle, and let coordinates of A,B,CA, B, C be a2,b2,c2a^2, b^2, c^2 respectively. Then it is well known that coordinates of M,I,IaM, I, I_a are bc,abacbc,ab+acbc-bc, -ab-ac-bc, ab+ac-bc respectively. Coordinate of ZZ is a2-a^2 by reflection in the origin. Further, coordinate of UU is a2abacbc2\frac{a^2-ab-ac-bc}{2} by midpoint formula. By projection formula, we get the coordinate of DD as (bca2)(b+c)+a(b2+c2)2a\frac{(bc-a^2)(b+c)+a(b^2+c^2)}{2a}. Also, IaDC\angle I_aDC is the same as directed angle from IaDI_aD to BCBC, so we have to prove
MZUZ/CBIaDR \frac{M-Z}{U-Z} \bigg/ \frac{C-B}{I_a-D} \in \mathbb{R}
Putting the coordinates in, this is equivalent to proving bca2a(bc)R\frac{bc-a^2}{a(b-c)} \in \mathbb{R}. If we let yy be that quantity, we have
yˉ=1bc1a21ab1ac=bca2a(bc)=y \bar{y} = \frac{\frac{1}{bc} - \frac{1}{a^2}}{\frac{1}{ab} - \frac{1}{ac}} = \frac{bc - a^2}{a(b-c)} = y
Hence yRy \in \mathbb{R}, as needed. □

Solution 4

WLOG assume AB<ACAB < AC. Let NN be midpoint of arc BACBAC, and let MDMD intersect (ABC)\odot(ABC) again at DD'.
Claim 1 D,I,ZD', I, Z are collinear.
Proof. Consider an inversion with center MM and radius MBMB. B,C,IB, C, I are fixed since MB=MC=MIMB = MC = MI. The inversion interchanges line BCBC and (ABC)\odot(ABC), so DDD' \leftrightarrow D. Also note that MNIDMN \parallel ID and NZIMNZ \parallel IM, so
MDI=DIM=MMZ=MDZ \angle MD'I = \angle DIM = \angle MM'Z = \angle MD'Z
Hence D,I,ZD', I, Z are collinear. □
Let UU be the midpoint of AIAI.
Claim 2 MV and ZU intersect on (ABC)\odot(ABC).
Proof. We use phantom points and cross-ratios. Let MV,ZUMV, ZU intersect (ABC)\odot(ABC) at V,VV', V'' respectively. Since VV is midpoint of IDID, we have (I,D;V,P)=1(I, D; V, P_\infty) = -1 where PP_\infty is the point at infinity along IDID. Since MNIDMN \parallel ID, projecting from MM onto (ABC)\odot(ABC) we get (A,D;V,N)=1(A, D'; V', N) = -1. Similarly, since UU is midpoint of AIAI, we have (A,I;U,P)=1(A, I; U, P'_\infty) = -1 where PP'_\infty is the point at infinity along AIAI. Since ZNAIZN \parallel AI, projecting from MM onto (ABC)\odot(ABC) we get (A,D;V,N)=1(A, D'; V'', N) = -1.
    (A,D;V,N)=(A,D;V,N) \implies (A, D'; V', N) = (A, D'; V'', N)
Therefore V=VV' = V'', as required. □
Note that LZMU\square LZMU is a rectangle, and IDMNID \parallel MN, so
DVM=VMN=VMN=VZN=LZL=LML=IML \angle DVM = \angle VMN = \angle V'MN = \angle V'ZN = \angle L'ZL = \angle L'ML = \angle IML
as required. □

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.