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

Рассмотрим вариант решения задания из учебника
Мерзляк, Полонская, Якир 9 класс, Вентана-Граф:
Докажите, что четырёхугольник ABCD с вершинами в точках A(—12; 6), В(0; 11), С(5; —1), О(—7; -6) является квадратом.