Maths Olympiad Prep

Library / /110 of 155

Geometry Difficulty 6.6 National olympiad Prove it Saudi Arabia

Let ABCABC be a triangle with AA is an obtuse angle. Denote BEBE as the internal angle bisector of triangle ABCABC with EACE \in AC and suppose that AEB=45\angle AEB = 45^{\circ}. The altitude ADAD of triangle ABCABC intersects BEBE at FF. Let O1,O2O_1, O_2 be the circumcenter of triangles FED,EDCFED, EDC. Suppose that EO1,EO2EO_1, EO_2 meet BCBC at G,HG, H respectively. Prove that GHGB=tanα2\frac{GH}{GB} = \tan \frac{\alpha}{2}.

Solution

Denote OO as the projection of BB on ACAC and BKBK is the diameter of (O,OB)(O, OB). It is easy to see that E(O)E \in (O). We have
BCA=AEBCBE=OBEABE=OBA=OKA. \angle BCA = \angle AEB - \angle CBE = \angle OBE - \angle ABE = \angle OBA = \angle OKA.
This implies that ODCKODCK is the inscribed quadrilateral and KDC=90\angle KDC = 90^{\circ}. Hence, K,A,DK, A, D are collinear and D(O)D \in (O).
Triangle CBKCBK is isosceles then CECE is the angle bisector of BCK\angle BCK. Note that DEDE is the angle bisector of ADC\angle ADC. Then EE is the incenter of triangle KDCKDC.

Figure 1

So O2O_2 is the midpoint of minor arcCD\operatorname{arc} CD of the circumcircle of KDCKDC, then K,E,O2K, E, O_2 are collinear.
We have
BADKCDBDBA=KDKC. \triangle BAD \sim \triangle KCD \Rightarrow \frac{BD}{BA} = \frac{KD}{KC}.
Based on the property of bisector in triangle, we have
FDFA=BDBA=KDKC=HDHC. \frac{FD}{FA} = \frac{BD}{BA} = \frac{KD}{KC} = \frac{HD}{HC}.
Hence, FHACFH \parallel AC. We have O1O_1 is the midpoint of FHFH also is the circumcenter of quadrilateral DFEHDFEH.
From this, we can conclude that EGEG is the angle bisector in triangle BEHBEH and
GHGB=EHEB=tanB2=tanα2. \frac{GH}{GB} = \frac{EH}{EB} = \tan \frac{B}{2} = \tan \frac{\alpha}{2}.

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 and solution reproduced as published; topic and difficulty added by this site.