17-я Международная Жаутыковская олимпиада по математике, 2021 год
Комментарий/решение:
Решение: Сперва приведем очевидные свойства (попробуйте доказать самостоятельно, это довольно просто):
Свойство 1: FPCQ − параллелограмм.
Свойство 2: RDCQ и SBCP − параллелограммы.
Далее введем точки D1=(SP∩DB) и B1=(RQ∩BD). Из теоремы Менелая для:
(i)△DFB и (S,P,D1): BD1DD1⋅DPFP⋅FSBS=1,
(ii)△DFB и (R,Q,B1): DB1BB1⋅BQFQ⋅FRDR=1.
Из этих двух равенств легко следует, что DD1=BB1. (Так как DP=FR,BQ=FS,FP=DR,BS=FQ.)
Пусть M − середина отрезка BD. Рассмотрим гомотетию с центром в M такую, что D→D1, тогда очевидно, что B→B1. Если C→C1, то
D1C1∥DC∥TB1иB1C1∥BC∥TD1⟹TB1C1D1−параллелограмм.
Следовательно точки T,M,C,C1 лежат на одной прямой, иными словами прямая TC делит диагональ DB пополам.◼
ACDF,BCEF равнобедренные трапеции из условия, так как AC||DF,BF||CE тогда PS||BC,RQ||CD и PS=BC,RQ=CD по равенству треугольников PCF,BCQ и CDP,FRQ по построению. Окружность ω пусть BL||CD, L∈ω и DK||BC, K∈ω если I∈ CE∩BL, G∈QR∩CE,H∈ PS∩AC, J∈DK ∩AC и M∈DK∩BL
Лемма: треугольники CGH,CIJ подобны.
Доказательство: докажем что CICG=CJCH из соответственных треугольников
CG=CQ⋅sinCDPsinPCD и CI=BC⋅sinCBLsinPCD
и так как CQBC=sinCDPsinCQB (все углы использовались из параллельности нужных прямых следующих из построения)
тогда CICG=(sinCPDsinCDP)2=(CDCP)2
Аналогично
CH=CP⋅sinCBQsinBCQ
CJ=CD⋅sinCDKsinBCQ
то есть CJCH=(sinCPDsinCDP)2=(CDCP)2
Тогда C,M,T лежат на одной прямой, значит CM делит BD пополам, так как BCDM параллелограмм.
Поменяем местами R и S. SQ∩BD=K,RP∩BD=M
Из двух теорем менелая можно легко понять что BK=DM. Из Ratio lemma остается доказать что sinKTCsinMTC=TMTK.
Из теорем синусов в треугольниках CQT,CPT выходит что sinKTCsinMTC=QC∗sinCQTCP∗sinCPT. Очевидно что CQRP,CQDS,FCPQ параллелограммы. Отсюда sinCPT=sinEPT=sinEFR=sinAFS=sinCQT значит sinKTCsinMTC=QCCP.
TMTK=sinBKQsinDMP. Из двух теорем синусов в треугольниках BKQ,DMP. Выходит что
sinBKQsinDMP=sinBKQ∗BQsinDPM∗DP. Из двух теорем синусов в треугольниках FSQ,FPR выходит что sinBQKsinDPM=FS∗RPQS∗RF=>> (!) QCCP=RPQS. Что верно так как дуги AE и BD равны.
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.