Maths Olympiad Prep

Library / Czech and Slovak Mathematical Olympiad /38 of 70

Czech and Slovak Mathematical Olympiad

Geometry Difficulty 6.2 National Olympiad Prove it Czech Republic

Let ABCABC be a triangle. The AA-angle bisector intersects BCBC at DD. Let EE, FF be the circumcenters of triangles ABDABD, ACDACD, respectively. Given that the circumcenter of triangle AEFAEF lies on BCBC, find all possible values of ∠BAC\angle BAC. (Patrik Bak)

Solution

Let OO be the circumcenter of triangle AEFAEF and denote α=∠BAC\alpha = \angle BAC. Since ∠BAD\angle BAD and ∠CAD\angle CAD are acute (Fig. 2), points EE, FF lie in the half-plane BCABCA and the Inscribed angle theorem yields
∠BED=2⋅∠BAD=α=2⋅∠DAC=∠DFC. \angle BED = 2 \cdot \angle BAD = \alpha = 2 \cdot \angle DAC = \angle DFC.

Figure 1

Fig. 2

The isosceles triangles BEDBED and DFCDFC are thus similar and we easily compute that ∠EDF=α\angle EDF = \alpha and that BCBC is the external DD-angle bisector in triangle DEFDEF.

Point OO lies on BCBC and on the perpendicular bisector of EFEF. Framed with respect to triangle DEFDEF, it lies on the external DD-angle bisector and on the perpendicular bisector of the opposite side EFEF. Thus it is the midpoint of arc EDFEDF and ∠EOF=∠EDF=α\angle EOF = \angle EDF = \alpha.
Quadrilateral AEDFAEDF is a kite, hence ∠EAF=α\angle EAF = \alpha. Moreover, line EFEF separates points AA and OO, thus the Inscribed angle theorem implies that the size of the reflex angle EOFEOF is twice the size of the convex angle EAFEAF. This yields 360∘−α=2⋅α360^\circ - \alpha = 2 \cdot \alpha and α=120∘\alpha = 120^\circ.

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.