Given are points A, B, C, D on different sides of a square. Let CE be orthogonal to the diagonal ÂD from C. Then |CE| = |BD|. In fact if we rotate the quadrangle t=(ABCD) about the square's center Ï, by 90 degrees, then the diagonal BD will take the position Â'D', orthogonal to BD. CE is parallel and equal to B'D'.
For an application of this proposition, constructing squares whose sides pass through 4 given points, look at the file: Squares_through_4_points.html .