Непростая задача про диагональ квадрата

Оригинал видео: Все права на это видео принадлежат автору канала: Мой канал в VK — Из вершины квадрата проведена прямая под каким-то углом, длиной 12, потом перпендикулярно ей прямая длиной 3, а потом ещё раз перпендикулярно прямая длиной 9. Найди сторону квадрата.