6532. На стороне BC
выпуклого четырёхугольника ABCD
взяты точки E
и F
(точка E
ближе к точке B
, чем точка F
). Известно, что \angle BAE=\angle CDF
и \angle EAF=\angle FDE
. Докажите, что \angle FAC=\angle EDB
.
Решение. Поскольку \angle EAF=\angle FDE
, то из точек A
и D
, лежащих по одну сторону от прямой EF
, отрезок EF
виден под одним и тем же углом. Значит, точки A
, D
, E
и F
лежат на одной окружности. Поэтому \angle AEF+\angle ADF=180^{\circ}
.
Поскольку AEF
— внешний угол треугольника ABE
, то
\angle ABE=\angle AEF-\angle BAE=(180^{\circ}-\angle ADF)-\angle CDF=
=180^{\circ}-(\angle ADF+\angle CDF)=180^{\circ}-\angle ADC.
Значит, четырёхугольник ABCD
— вписанный. Поэтому \angle BAC=\angle BDC
. Следовательно,
\angle FAC=\angle BAC-\angle BAE-\angle EAF=\angle BDC-\angle CDF-\angle FDE=\angle EDB,
что и требовалось доказать.
Автор: Смуров М. В.
Источник: Всероссийская олимпиада школьников. — 1995-96, XXII, заключительный этап, 10 кл.
Источник: Журнал «Квант». — 1996, № 5, с. 52
Источник: Агаханов Н. Х. и др. Всероссийские математические олимпиады школьников. 1993—2006. — М.: МЦНМО, 2007. — № 505, с. 65