Problem:
On the sides of a convex quadrilateral , construct squares externally. Prove that the quadrilateral with vertices at the centers of the squares has equal and perpendicular diagonals.
Problem:
On the sides of a convex quadrilateral , construct squares externally. Prove that the quadrilateral with vertices at the centers of the squares has equal and perpendicular diagonals.
Solution:
First, a lemma: If squares constructed on and of triangle have respective centers , then a rotation through angle about the midpoint of carries into .
The proof is as follows: Rotating quadrilateral by an angle about gives us a quadrilateral (we know that is the image of because is the midpoint of ). Now, a rotation by angle about carries into . We will show that this same rotation carries into . For this it suffices to check that triangles , are congruent (and equally oriented). Since , , and (using directed angles if necessary)
the congruence holds. So, as claimed, a rotation about takes into , so that is an isosceles right triangle, and is the midpoint of its hypotenuse. The lemma then follows.
In our original situation now, let the squares on , , , have respective centers . By the lemma, a rotation of angle about the midpoint of maps into . This rotation also maps into . Hence it takes the segment into , so these segments are equal and perpendicular.