Пришло в голову доказать через длину диагонали.
AC = sqrt((7-3)^2 + (4-4)^2) = sqrt(4^2 + 0) = sqrt(4^2) = 4
BD = sqrt((5-5)^2 + (6-2)^2) = sqrt(0 + 4^2) = sqrt(4^2) = 4
Если у 4-угольника диагонали равны по длине и перпендикулярны друг другу,
то этот 4-угольник - и есть квадрат.