13. (GRE 3) IMO5 In a right-angled triangle ABC, let AD be the altitude drawn to the hypotenuse and let the straight line joining the incenters of the triangles ABD,ACD intersect the sides AB,AC at the points K,L respectively. If E and E1 denote the areas of the triangles ABC and AKL respectively, show that E1E≥2.
Solution
13. Let AB=c,AC=b,∠CBA=β,BC=a, and AD=h. Let r1 and r2 be the inradii of ABD and ADC respectively and O1 and O2 the centers of the respective incircles. We obviously have r2r1=bc. We also have DO1=2r1, DO2=2r2, and ∠O1DA=∠O2DA=45∘. Hence ∠O1DO2=90∘ and DO2DO1=bc from which it follows that △O1DO2∼△BAC. ! We now define P as the intersection of the circumcircle of △O1DO2 with DA. From the above similarity we have ∠DPO2=∠DO1O2=β=∠DAC. It follows that PO2∥AC and from ∠O1PO2=90∘ it also follows that PO1∥AB. We also have ∠PO1O2=∠PO2O1=45∘; hence ∠LKA=∠KLA=45∘, and thus AK=AL. From ∠O1KA=∠O1DA=45∘,O1A=O1A, and ∠O1KA=∠O1DA we have △O1KA≅△O1DA and hence AL=AK=AD=h. Thus E1E=h2/2ah/2=ha=aha2=bcb2+c2≥2. Remark. It holds that for an arbitrary triangle ABC,AK=AL if and only if AB=AC or ∡BAC=90∘.
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.