prove that the four points A(2,4)B(0,1) C(3,-1) D(5,2) are the vertices of square
Prove that the distances between adjacent points are equal, AND prove that any pair of adjacent lines are perpendicular. (That will be the case if the product of the slopes is -1).
If both are true, it is a square.