Сторона OF равна стороне квадрата

Вопрос пользователя:

сторону EF найдём из прямоугольного треугольника EFD (EF перпендикуляр к CD => EFD - прямоугольный

Илюха отвечает:

ED – гипотенуза): .