5-я международная Иранская олимпиада по геометрии, 2018 год, первая лига, 11-12 классы
Комментарий/решение:
Рассмотрим для начала следующую задачу:
1) Пусть $l_{1}, l_{2}$ две пересекающие прямые в точке $M$, пусть по одну сторону на $l_{1}, l_{2}$ взяты соответственно точки $F,E$ так что $MF=ME$ , так же пусть на этих же прямых соответственно взяты произвольно точки $A',D'$ , пусть на $l_{1}$ взято точка $B$ что $D'F || BE$ аналогично $A'E || CF$, проведем биссектрису $l$ угла $FME$ отразим симметрично $l$ точки $A' \Rightarrow A, \ B' \Rightarrow B $ тогда $MF^2 = ME^2 = MA \cdot MB = MD \cdot MC$ то есть $ABCD$ вписанный и $ \angle MBE = \angle MEA$ и $\angle MCF = \angle MFD$ значит $ME, MF$ касательные соответственно к описанным окружностям $DFC, ABE$ получаем нужную конструкцию к условию задачи.
Пусть $J,I,K,L$ центры вписанных окружностей $DGE, AGF, FBH, EHC$ соответственно, пусть $LT \perp EC$ и $JT || CE$ то есть $JLT$ прямоугольный треугольник , аналогично $INK$ для $FB$.
Лемма: Треугольники $JKT, INK$ подобны.
Доказательство: покажем что $$\dfrac{JT}{IN} = \dfrac{LT}{KN}$$
По построению $EG=EH \ (1)$ и $FG=FH \ (2)$ и $\angle FEA = \angle FEB = a , \ \angle DFC = \angle CFE = c$ и $\angle AEM = b$
Из $(1)$ получаем $\dfrac{R_{DGE}}{R_{EHC}}= \dfrac{tg(a+\dfrac{b}{2})+ctg(\dfrac{a+c}{2})}{ctg(\dfrac{a+c}{2})+ctg(\dfrac{b}{2})}$ $(3)$
из $(2)$ получаем $ \dfrac{R_{AGF}}{R_{FBH}} = \dfrac{tg(\dfrac{a+b+c}{2})+ctg(\dfrac{a+c}{2})}{ctg(\dfrac{a+b-c}{2})+ctg(\dfrac{a+c}{2})} $ $(4)$
$EX,EY$ отрезки касательных к $DGE,EHC$ и $FZ,FW$ для $AFG,BFH$ тогда $JT = EX+EY$ аналогично $IN = FZ+FW$
$EX = ctg( \dfrac{b}{2}) \cdot R_{DGE} , \ \ EY = tg(a+\dfrac{b}{2}) \cdot R_{EHC}, \ $
$ FZ = ctg(\dfrac{a+b-c}{2}) \cdot R_{AGF} , \ \ FW = tg(\dfrac{a+b+c}{2}) \cdot R_{FBH}$
тогда учитывая $(3), \ (4)$
$$\dfrac{JT}{IN} = \dfrac{R_{EHC}}{R_{FBH}} \cdot tg(a+\dfrac{b}{2}) \cdot ctg(\dfrac{a+b+c}{2}) $$
С другой стороны $$\dfrac{LT}{KN} = \dfrac{R_{EHC}-R_{DGE}}{R_{FBH}-R_{AGF}}$$
аналогично учитывая $(3), (4)$ $$\dfrac{LT}{KN} = \dfrac{R_{EHC}}{R_{FBH}} \cdot tg(a+\dfrac{b}{2}) \cdot ctg(\dfrac{a+b+c}{2}) $$
ч.т.д
2) Пусть $I', K'$ симметричные относительно $l$ точки, тогда $II'KK'$ вписанный (равнобедренная трапеция) отметим что $\angle JII' = \angle KK'L = x $ следует из того что $ II' \ || \ KK' || FE$ тогда из леммы получается что $I'K" || JL$ тогда пусть $\angle I'IK = y$ и $ Q \in JL \cap KK'$ тогда $\angle I'K'K = \angle JQK = 180-y$ откуда $\angle KQL = y$ так же $\angle JLK = 180-x-y$ но $\angle JIK = x+y$ откуда $ JIKL$ вписанный.
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.