Maths Olympiad Prep

Library / /287 of 520

Geometry Difficulty 6.6 National olympiad Prove it

13. (GRE 3) IMO5{ }^{\mathrm{IMO5}} In a right-angled triangle ABCA B C, let ADA D be the altitude drawn to the hypotenuse and let the straight line joining the incenters of the triangles ABD,ACDA B D, A C D intersect the sides AB,ACA B, A C at the points K,LK, L respectively. If EE and E1E_{1} denote the areas of the triangles ABCA B C and AKLA K L respectively, show that EE12\frac{E}{E_{1}} \geq 2.

Solution

13. Let AB=c,AC=b,CBA=β,BC=a A B = c, A C = b, \angle C B A = \beta, B C = a , and AD=h A D = h . Let r1 r_{1} and r2 r_{2} be the inradii of ABD A B D and ADC A D C respectively and O1 O_{1} and O2 O_{2} the centers of the respective incircles. We obviously have r1r2=cb \frac{r_{1}}{r_{2}} = \frac{c}{b} . We also have DO1=2r1 D O_{1} = \sqrt{2} r_{1} , DO2=2r2 D O_{2} = \sqrt{2} r_{2} , and O1DA=O2DA=45 \angle O_{1} D A = \angle O_{2} D A = 45^{\circ} . Hence O1DO2=90 \angle O_{1} D O_{2} = 90^{\circ} and DO1DO2=cb \frac{D O_{1}}{D O_{2}} = \frac{c}{b} from which it follows that O1DO2BAC \triangle O_{1} D O_{2} \sim \triangle B A C . ! We now define P P as the intersection of the circumcircle of O1DO2 \triangle O_{1} D O_{2} with DA D A . From the above similarity we have DPO2=DO1O2=β=DAC \angle D P O_{2} = \angle D O_{1} O_{2} = \beta = \angle D A C . It follows that PO2AC P O_{2} \parallel A C and from O1PO2=90 \angle O_{1} P O_{2} = 90^{\circ} it also follows that PO1AB P O_{1} \parallel A B . We also have PO1O2=PO2O1=45 \angle P O_{1} O_{2} = \angle P O_{2} O_{1} = 45^{\circ} ; hence LKA=KLA=45 \angle L K A = \angle K L A = 45^{\circ} , and thus AK=AL A K = A L . From O1KA=O1DA=45,O1A=O1A \angle O_{1} K A = \angle O_{1} D A = 45^{\circ}, O_{1} A = O_{1} A , and O1KA=O1DA \angle O_{1} K A = \angle O_{1} D A we have O1KAO1DA \triangle O_{1} K A \cong \triangle O_{1} D A and hence AL=AK=AD=h A L = A K = A D = h . Thus
EE1=ah/2h2/2=ah=a2ah=b2+c2bc2. \frac{E}{E_{1}} = \frac{a h / 2}{h^{2} / 2} = \frac{a}{h} = \frac{a^{2}}{a h} = \frac{b^{2} + c^{2}}{b c} \geq 2.
Remark. It holds that for an arbitrary triangle ABC,AK=AL A B C, A K = A L if and only if AB=AC A B = A C or BAC=90 \measuredangle B A C = 90^{\circ} .

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.