Maths Olympiad Prep

Library / Saudi Arabian Mathematical Competitions /319 of 395

Saudi Arabian Mathematical Competitions

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 E∈ACE \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=∠AEB−∠CBE=∠OBE−∠ABE=∠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 arc⁡CD\operatorname{arc} CD of the circumcircle of KDCKDC, then K,E,O2K, E, O_2 are collinear.
We have
△BAD∼△KCD⇒BDBA=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, FH∥ACFH \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=tan⁡B2=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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.