Olympiad Maths Prep

Track / Stage 6 / 377 of 400 #1377 of 2000

Problem 1377

National olympiad, first round
Geometry Difficulty 6.8 Prove it

The diagonals of a convex quadrilateral ABCDABCD intersect in the point EE. Let UU be the circumcenter of the triangle ABEABE and HH be its orthocenter. Similarly, let VV be the circumcenter of the triangle CDECDE and KK be its orthocenter. Prove that EE lies on the line UKUK if and only if it lies on the line VHVH.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

To prove that EE lies on the line UKUK if and only if it lies on the line VHVH, we will proceed with the following steps:

1. **Assume U,E,KU, E, K are collinear:**
- Since UU is the circumcenter of ABE\triangle ABE, UU lies on the perpendicular bisector of ABAB and BEBE.
- Since KK is the orthocenter of CDE\triangle CDE, KK lies on the altitudes of CDE\triangle CDE.

2. **Show that UKCDUK \perp CD:**
- If U,E,KU, E, K are collinear, then UKUK is a straight line passing through EE.
- Since UU is the circumcenter of ABE\triangle ABE, UEB=90A\angle UEB = 90^\circ - \angle A.
- Since KK is the orthocenter of CDE\triangle CDE, DEK=90D\angle DEK = 90^\circ - \angle D.
- Therefore, UEB=DEK\angle UEB = \angle DEK implies A=D\angle A = \angle D.

3. **Prove that quadrilateral ABCDABCD is cyclic:**
- Since A=D\angle A = \angle D, the opposite angles of quadrilateral ABCDABCD are equal.
- Hence, quadrilateral ABCDABCD is cyclic.

4. **Prove that H,E,VH, E, V are collinear:**
- Since ABCDABCD is cyclic, the circumcenter VV of CDE\triangle CDE lies on the perpendicular bisector of CDCD and DEDE.
- The orthocenter HH of ABE\triangle ABE lies on the altitudes of ABE\triangle ABE.
- By similar angle chasing, we can show that HEV=90C\angle HEV = 90^\circ - \angle C.
- Therefore, H,E,VH, E, V are collinear.

5. Conclude the proof:
- We have shown that if EE lies on the line UKUK, then EE also lies on the line VHVH.
- Conversely, if EE lies on the line VHVH, then EE also lies on the line UKUK.
- Therefore, EE lies on the line UKUK if and only if it lies on the line VHVH.

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.