Упр.237 ГДЗ Мерзляк Полонский 9 класс (Геометрия)

Рассмотрим вариант решения задания из учебника
Мерзляк, Полонская, Якир 9 класс, Вентана-Граф:
Вычислите длину красной линии, изображённой на рисунке 56.