First, let's check if all segments have the same length, calculating the distance between the points using the formula:
So we have:
Now, we need to check the slopes of each segment. The adjacent sides need to be perpendicular, so their slopes need to have the relation:
Calculating the slopes with the formula below, we have:
So all adjacent sides are perpendicular.
All sides have the same length and all adjacent sides are perpendicular, therefore ABCD is a square.