Геометрия⁠⁠

Нужно вычислить длину двух красных линий, буду благодарен