13725. Квадрат ABCD
вписан в окружность. Точка M
лежит меньшей дуге AB
. Докажите, что MC\cdot MD\gt3\sqrt{3}MA\cdot MB
.
Решение. Без ограничения общности считаем, что сторона квадрата равна 1.
Обозначим MA=a
, MB=b
, MC=c
, MD=d
. Применив теорему Птолемея к вписанным четырёхугольникам DAMB
и AMBC
получим
AD\cdot MB+AM\cdot BD=AB\cdot MD,~\mbox{или}~b+a\sqrt{2}=d,
AM\cdot BC+MB\cdot AC=MC\cdot AB,~\mbox{или}~a+b\sqrt{2}=c.
Значит,
cd=(a+b\sqrt{2})(b+a\sqrt{2})=a^{2}\sqrt{2}+b^{2}\sqrt{2}+3ab.
Следовательно (см. задачу 3399),
MC\cdot MD=cd\geqslant2\sqrt{a^{2}\sqrt{2}\cdot b^{2}\sqrt{2}}+3ab=(3+2\sqrt{2})ab\gt3ab\sqrt{3}=3\sqrt{3}MA\cdot MB,
так как
3+2\sqrt{2}\gt3\sqrt{3}~\Leftrightarrow~17+12\sqrt{2}\gt27~\Leftrightarrow~12\sqrt{2}\gt10.