Maths Olympiad Prep

Library / /166 of 264

Geometry Difficulty 6.1 National Olympiad Prove it Romania

Consider a triangle ABCABC, such that B=90\angle B = 90^\circ. Denote by II the in-center and let FF, DD and EE be the points where the incircle touches sides [AB][AB], [BC][BC], and [AC][AC] respectively. If CIEF={M}CI \cap EF = \{M\} and DMAB={N}DM \cap AB = \{N\}, show that:

a) AI=NDAI = ND;

b) FM=EIEMECFM = \frac{EI \cdot EM}{EC}.

Solution

a. Triangle AFEAFE is isosceles with AE=AFAE = AF, and AIFEAI \perp FE, hence AEF=90A/2\angle AEF = 90^\circ - \angle A/2. In the same way from the isosceles triangle CDECDE we get DEC=90C/2\angle DEC = 90^\circ - \angle C/2. As a consequence MED=180AEFDEC=180(180(A^+C^)/2)=45\overline{MED} = 180^\circ - \overline{AEF} - \overline{DEC} = 180^\circ - (180^\circ - (\hat{A} + \hat{C})/2) = 45^\circ. (*)

As MDCMEC\triangle MDC \equiv \triangle MEC, we obtain MD=MEMD = ME (**). By () and (*), the triangle MED\triangle MED is right angled and isosceles. As a consequence DNEFDN \perp EF and, because AIEFAI \perp EF, we obtain DNAIDN \parallel AI. As ANIDAN \parallel ID we conclude that the quadrilateral ANDIANDI is a parallelogram, so AI=NDAI = ND.

b. We have EFD=180AFEBFD=(A^+B^)/2=90C^/2=DIC\overline{EFD} = 180^\circ - \overline{AFE} - \overline{BFD} = (\hat{A} + \hat{B})/2 = 90^\circ - \hat{C}/2 = \overline{DIC} so FMDIDC\triangle FMD \sim \triangle IDC. We conclude FMID=MDDC\frac{FM}{ID} = \frac{MD}{DC} which implies
FM=IDMDDC=EIEMEC. FM = \frac{ID \cdot MD}{DC} = \frac{EI \cdot EM}{EC}.

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.