AO=CO, ∠AOM=∠COT=90° ∠MAO=∠TCO (нактерст лежащие при параллельных основаниях трапеции) △AOM=△COT (по стороне и прилежащим к ней углам) OM=OT Диагонали ATCM перпендикулярны и точкой пересечения делятся пополам, ATCM - ромб.
В ромб можно вписать окружность (так как суммы его противоположных сторон равны). Центр вписанной окружности ромба - точка пересечения диагоналей (так как диагонали являются биссектрисами его углов). Радиус вписанной окружности - перпендикуляр из центра на сторону (OH⊥AT).