17-я Международная Жаутыковская олимпиада по математике, 2021 год
Комментарий/решение:
Решение: Сперва приведем очевидные свойства (попробуйте доказать самостоятельно, это довольно просто):
Свойство 1: $FPCQ$ $-$ параллелограмм.
Свойство 2: $RDCQ$ и $SBCP$ $-$ параллелограммы.
Далее введем точки $D_1=(SP \cap DB)$ и $B_1=(RQ \cap BD).$ Из теоремы Менелая для:
$(i)\quad \triangle DFB$ и $(S,P,D_1):$ $\dfrac{BD_1}{DD_1}\cdot\dfrac{DP}{FP}\cdot\dfrac{FS}{BS}=1,$
$(ii)\quad \triangle DFB$ и $(R,Q,B_1):$ $\dfrac{DB_1}{BB_1}\cdot\dfrac{BQ}{FQ}\cdot\dfrac{FR}{DR}=1.$
Из этих двух равенств легко следует, что $DD_1=BB_1.$ $($Так как $DP=FR,BQ=FS,FP=DR,BS=FQ.)$
Пусть $M$ $-$ середина отрезка $BD.$ Рассмотрим гомотетию с центром в $M$ такую, что $D\to D_1,$ тогда очевидно, что $B\to B_1.$ Если $C\to C_1,$ то
$$D_1C_1\parallel DC\parallel TB_1 \quad \text{и} \quad B_1C_1\parallel BC\parallel TD_1\implies TB_1C_1D_1-\text{параллелограмм.}$$
Следовательно точки $T,M,C,C_1$ лежат на одной прямой, иными словами прямая $TC$ делит диагональ $DB$ пополам.$\quad\blacksquare$
$ACDF, BCEF$ равнобедренные трапеции из условия, так как $AC || DF, BF || CE$ тогда $PS || BC , RQ || CD$ и $PS=BC, RQ=CD$ по равенству треугольников $PCF, BCQ$ и $CDP, FRQ$ по построению. Окружность $\omega$ пусть $BL ||CD , \ L \in \omega$ и $DK || BC, \ K \in \omega$ если $I \in \ CE \cap BL, \ G \in QR \cap CE, H \in \ PS \cap AC , \ J \in DK \ \cap AC$ и $M \in DK \cap BL$
Лемма: треугольники $CGH, CIJ$ подобны.
Доказательство: докажем что $ \dfrac{CI}{CG} = \dfrac{CJ}{CH} $ из соответственных треугольников
$ CG = \dfrac{CQ \cdot \sin CDP}{\sin PCD}$ и $CI = \dfrac{BC \cdot \sin CBL}{\sin PCD}$
и так как $\dfrac{CQ}{BC} = \dfrac{\sin CDP}{\sin CQB}$ (все углы использовались из параллельности нужных прямых следующих из построения)
тогда $\dfrac{CI}{CG} = (\dfrac{\sin CPD}{\sin CDP})^2 = (\dfrac{CD}{CP})^2$
Аналогично
$CH = \dfrac{CP \cdot \sin CBQ}{\sin BCQ}$
$CJ = \dfrac{CD \cdot \sin CDK}{\sin BCQ}$
то есть $\dfrac{CJ}{CH}= (\dfrac{\sin CPD}{\sin CDP})^2 = (\dfrac{CD}{CP})^2 $
Тогда $C,M,T$ лежат на одной прямой, значит $CM$ делит $BD$ пополам, так как $BCDM$ параллелограмм.
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.