по обратной теореме пифагора получается, что треугольник прямоугольный, где гипотенуза АС.
BA = (xa-xb ; ya-yb)
BA = (-3-(-5) ; 0-4)
BA = (2 ; -4)
В этом квадрате противоположные стороны равны параллельны,
биссектриса прямого угла делит квадрат на два равных треугольника,
<span>так как все углы и стороны равны, следовательно это квадрат</span>