Final answer:
The diagonals of the square CDEF are congruent perpendicular bisectors of each other. The length of diagonal CD is 2 and the length of diagonal EF is also 2. The diagonals intersect at the midpoint (2, 1).
Step-by-step explanation:
To prove that the diagonals of a square are congruent perpendicular bisectors of each other, we can use the distance formula and midpoint formula.
First, let's find the length of one of the diagonals. The length of diagonal CD can be found using the distance formula:
d = sqrt((x2-x1)^2 + (y2-y1)^2)
d = sqrt((3-1)^2 + (1-1)^2) = sqrt(4) = 2
Next, let's find the midpoint of diagonal CD using the midpoint formula:
midpoint = ((x1+x2)/2, (y1+y2)/2)
midpoint = ((1+3)/2, (1+1)/2) = (2, 1)
Now, let's find the length of the other diagonal EF using the same method:
d = sqrt((x2-x1)^2 + (y2-y1)^2)
d = sqrt((3-1)^2 + (-1-1)^2) = sqrt(4) = 2
Lastly, let's find the midpoint of diagonal EF:
midpoint = ((x1+x2)/2, (y1+y2)/2)
midpoint = ((1+3)/2, (-1-1)/2) = (2, -1)
Since the diagonals have the same length of 2 and intersect at the midpoint (2, 1), we can conclude that the diagonals are congruent perpendicular bisectors of each other.