Enter your answers in the boxes.
The coordinates of square ABCD
are A(0, 0) , B(a, 0) , C(, a), and D(0, ).
The slope of AC ¯¯¯¯¯ , when simplified, is equal to .
The slope of BD ¯¯¯¯¯ , when simplified, is equal to −1 .
The product of the slopes is equal to .
Therefore, AC ¯¯¯¯¯ is perpendicular to BD ¯¯¯¯¯
. Complete the coordinate proof of the theorem.