Рассмотрим треугольник АВС:
∠АВС = 90°, АС = 2АВ, значит ∠АСВ = 30° по свойству катета, лежащего напротив угла в 30°.
Тогда ∠ВАС = 90° - ∠АСВ = 90° - 30° = 60°, так как сумма острых углов прямоугольного треугольника равна 90°.
Диагонали прямоугольника равны и точкой пересечения делятся пополам, значит
АО = ОВ, т.е. ΔАОВ равнобедренный и углы при основании равны:
∠ОАВ = ∠ОВА = 60°, тогда
∠АОВ = 180° - (∠ОАВ + ∠ОВА) = 180° - (60° + 60°) = 60°.
∠ВОС = 180° - ∠АОВ = 180° - 60° = 120° по свойству смежных углов.
AB = √(12²+5²)=13
BC = √(5²+12²)=13
CD = √(12²+5²)=13
DA = √(5²+12²)=13
Так как все стороны равны, то это ромб.
Теперь найдем диагонали:
AC = √(17²+7²)=√338
BD = √(7²+17²)=√338
Если диагонали у ромба равны, то он - квадрат.