Maths Olympiad Prep

Library / /2 of 3

Geometry Difficulty 4.9 AIME Prove it United States

Problem:

On the sides of a convex quadrilateral ABCDA B C D, construct squares externally. Prove that the quadrilateral with vertices at the centers of the squares has equal and perpendicular diagonals.

Solution

Solution:

First, a lemma: If squares constructed on XYX Y and YZY Z of triangle XYZX Y Z have respective centers U,VU, V, then a rotation through angle π/2\pi / 2 about the midpoint MM of ZXZ X carries UU into VV.

The proof is as follows: Rotating quadrilateral MXUYM X U Y by an angle π\pi about MM gives us a quadrilateral MZWTM Z W T (we know that ZZ is the image of XX because MM is the midpoint of ZXZ X). Now, a rotation by angle π/2\pi / 2 about VV carries ZZ into YY. We will show that this same rotation carries WW into UU. For this it suffices to check that triangles VZWV Z W, VYUV Y U are congruent (and equally oriented). Since VZ=VYV Z = V Y, ZW=XU=YUZ W = X U = Y U, and (using directed angles if necessary)
WZV=π/2+TZY=3π/2ZYX=UYV \angle W Z V = \pi / 2 + \angle T Z Y = 3 \pi / 2 - \angle Z Y X = \angle U Y V
the congruence holds. So, as claimed, a π/2\pi / 2 rotation about VV takes WW into UU, so that UVW\triangle U V W is an isosceles right triangle, and MM is the midpoint of its hypotenuse. The lemma then follows.

In our original situation now, let the squares on ABA B, BCB C, CDC D, DAD A have respective centers E,F,G,HE, F, G, H. By the lemma, a rotation of angle π/2\pi / 2 about the midpoint of ACA C maps EE into FF. This rotation also maps GG into HH. Hence it takes the segment EGE G into FHF H, so these segments are equal and perpendicular.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.