3-ші халықаралық Жәутіков олимпиадасы, 2007 жыл
Комментарий/решение:
Пусть центры соответственно ABM,BCM,CDM,DEM,EFM,FAM есть G,H,I,J,K,L.
1) ∠LGH=180∘−∠AMB но так как K,L,G,H лежат на одной окружности, получаем ∠LKH=180∘−∠LGH=∠AMB и ∠KLI=180∘−∠KJI=∠AMB значит LI=KH аналогично и с другими GJ=KH значит LI=GJ=KH.
Откуда следует что, центры вышеописанных окружностей будут лежат на одной окружности тогда, когда для них будет выполнено условие LI=GJ=KH.
2) Рассмотрим на плоскости 5 точек C,F,D,T,E такие что D,T,E лежат по одну сторону от прямой CF.
Проведем прямую параллельной отрезку CT через точку F и прямую параллельной отрезке FT через точку C, пусть они пересекутся в точке N.
Проведем так же параллельные к отрезкам TD,CD через соответственные точки F,N прямые, пусть они пересекутся в точке A, аналогично и к FE,TE в точке B.
Лемма: Если при данном построений, в шестиугольнике ABCDEF отрезки CF,AD,BE будут конкурентные (пересекутся в одной точке) то расстояние между центрами противоположенных треугольников будут равны (то есть будут лежат на одной окружности).
Доказательство:
Рассмотрим параллелограмм TFNC, выберем на сторонах TF,FN,NC,CT точки E′,A′,B′,D′ так чтобы E′B′||FN и A′D′||FT и M∈A′D′∩B′E′∩CF.
Тогда взяв на прямой B′E′ точки BE и такие что BE=FN (B лежит внутри FNC) и AD на прямой A′D′ такую что AD=CN ( A лежит так же внутри FNC).
Тогда расстояние между центрами описанных треугольников FA′M и CD′M будет равно расстоянию между центрами CB′M и FE′M (из изначального построения) , опустив срединный перпендикуляры из точек L,I на соответственные стороны AM,DM как L1,I1 и Q∈AD∩LI то
LQ=L1Qcos(∠L1QL)=AM2+QMcos(∠L1QL)
IQ=I1Qcos(∠L1QL)=DM2−QMcos(∠L1QL)
Значит LI=LQ+IQ=const так же и KH=const значит LI=KH
То есть LI,KH инварианты относительно перемещения.
3) По тем же соображениям (при тех же действиях что и в пункте 2, только относительно прямой AD) получаем GJ=KH откуда и GJ=KH=LI.
4) Значит CMCB′=CFCN=CFAD с другой стороны CMCB′=sin∠AMBsin∠BMC откуда CF⋅sin∠BMC=AD⋅sin∠AMB домножая на BE
BE⋅CF⋅sin∠BMC=BE⋅AD⋅sin∠AMB или SABDE=SBCEF и так же с другими, получаем SABDE=SAFCD.
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.