Maths Olympiad Prep

Library / /18 of 46

Geometry Difficulty 5.7 AIME, harder Prove it Russia

In a parallelogram ABCDABCD, angle ABCABC is obtuse. Let ω\omega be the circumcircle of triangle ABCABC. Line ADAD intersects ω\omega at points AA and EE, and line CDCD intersects ω\omega at points CC and FF. Prove that the circumcenter of triangle DEFDEF lies on ω\omega. (T. Emelyanova)

Solution

Пусть ABC=ADC=EDF=α\angle ABC = \angle ADC = \angle EDF = \alpha; по условию, α>90\alpha > 90^\circ (см. рис. 7).

Так как BCADBC \parallel AD, то ABCEABCE — равнобокая трапеция, откуда ECF=BCEBCD=α(180α)=2α180\angle ECF = \angle BCE - \angle BCD = \alpha - (180^\circ - \alpha) = 2\alpha - 180^\circ.

Далее, пусть PP — центр описанной окружности ω1\omega_1 треугольника DEFDEF. Поскольку EDF>90\angle EDF > 90^\circ, точка PP лежит внутри угла EDFEDF, причем точки DD и PP лежат по разные стороны от прямой EFEF.

В окружности ω1\omega_1 дуга EDFEDF дополняет дугу величины 2α2\alpha, на которую опирается угол EDFEDF, до полной окружности, поэтому центральный угол EPFEPF равен 3602α360^\circ - 2\alpha.

Получаем, что ECF+EPF=(2α180)+(3602α)=180\angle ECF + \angle EPF = (2\alpha - 180^\circ) + (360^\circ - 2\alpha) = 180^\circ; значит, четырехугольник CEPFCEPF вписанный, то есть точка PP лежит на окружности ω\omega, что и требовалось доказать.

Figure 1
Рис. 7

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.