Maths Olympiad Prep

Library / Eleventh STARS OF MATHEMATICS Competition /3 of 5

Eleventh STARS OF MATHEMATICS Competition

Geometry Difficulty 6.3 National Olympiad Prove it Romania

Let ABCABC be an acute triangle in which AB<ACAB < AC. Let MM be the midpoint of the side BCBC and consider DD an arbitrary point of the line segment AMAM. Let EE be a point of the line segment BDBD and consider the point FF of the line ABAB such that lines EFEF and BCBC are parallel. If the orthocenter, HH, of the triangle ABCABC lies at the intersection point of lines AEAE and DFDF, prove that the angle bisectors of ∠BAC\angle BAC and ∠BDC\angle BDC meet on the line BCBC.

Solution

Let D′D' be the orthogonal projection of HH onto AMAM, E′E' the intersection point of the lines BD′BD' and AHAH, and let F′F' be the intersection point of the lines D′HD'H and ABAB. We prove that D′=DD' = D, E′=EE' = E, F′=FF' = F, hence HD⊥AMHD \perp AM.
Let H0H_0 and D0′D'_0 be the reflections across the point MM, of the points HH and D′D', respectively. It is well known that H0H_0 is the antipode of AA on the circumcircle of triangle ABCABC and, as ∠H0D0′A=∠HD′M=90∘\angle H_0D'_0A = \angle HD'M = 90^\circ, point D0′D'_0 also lies on the circumcircle of ABCABC. Thus, points B,C,H,D′B, C, H, D' all lie on the reflection of this circle across MM, i.e. the quadrilateral BHD′CBHD'C is cyclic. It follows that ∠HD′E′=∠HD′B=∠HCB=90∘−∠B=∠F′AH\angle HD'E' = \angle HD'B = \angle HCB = 90^\circ - \angle B = \angle F'AH, which means that the quadrilateral AF′E′D′AF'E'D' is cyclic. We obtain that ∠F′E′A=∠F′D′A=90∘\angle F'E'A = \angle F'D'A = 90^\circ, which means that lines E′F′E'F' and BCBC are parallel. If DD is between AA and D′D', then EE is between AA and E′E', and FF is between BB and F′F' (where FF is the intersection point of the lines DHDH and ABAB), hence EFEF can not be parallel to BCBC. Similarly in the case when DD is between D′D' and MM. It follows that it is necessary to have D=D′D = D', and then E=E′E = E', F=F′F = F'.
As ABD0′CABD'_0C is cyclic, we have ∠ABD0′=180∘−∠ACD0′\angle ABD'_0 = 180^\circ - \angle ACD'_0, and therefore sin⁡(∠ABD0′)=sin⁡(∠ACD0′)\sin(\angle ABD'_0) = \sin(\angle ACD'_0). But since MM is the midpoint of BCBC, triangles ABD0′ABD'_0 and ACD0′ACD'_0 have the same area surface, i.e. AB⋅BD0′sin⁡(∠ABD0′)=AC⋅CD0′sin⁡(∠ABD0′)AB \cdot BD'_0 \sin(\angle ABD'_0) = AC \cdot CD'_0 \sin(\angle ABD'_0), hence AB⋅BD0′=AC⋅CD0′AB \cdot BD'_0 = AC \cdot CD'_0, or AB⋅CD=AC⋅BDAB \cdot CD = AC \cdot BD, which means ABAC=DBDC\frac{AB}{AC} = \frac{DB}{DC}. The converse of the Angle Bisector Theorem proves the conclusion.

Figure 1

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.