# Mathematical Food for Thought

Serves a Daily Special and an All-You-Can-Eat Course in Problem Solving. Courtesy of me, Jeffrey Wang.

• ## Meta

Square… From Nowhere! Topic: Complex Numbers/Geometry. Level: Olympiad. March 21st, 2006

Problem: (Problem-Solving Through Problems) On the sides of an arbitrary parallelogram , squares are constructed lying exterior to it. Prove that their centers are themselves the vertices of a square.

Solution: We will show a solution using complex numbers. In general, the lower case of a letter that represents a point is the complex number it corresponds to. Assume WLOG that is at the origin, or . Then and are arbitrary complex numbers. Since it is a parallelogram .

are the midpoints of , respectively, so

, , , and .

is equivalent to rotated clockwise around . In complex numbers this translates to

.

Similarly,

.

We want to show that these form a square, so if we rotate clockwise around we should end up with , and similarly for the other sets of three vertices.

Verifying that

,

we know that is indeed a square. QED.

——————–

Comment: Complex numbers are often useful when a problem involves showing something is a square or an equilateral triangle because those rotations in the complex plane come out nicely. Sometimes the calculations can be tedious, but if geometry isn’t your strong point, complex numbers is an effective way of reducing a geometry problem to an algebra one.

——————–

Problem: (Problem-Solving Through Problems) Let be complex numbers. Show that form an equilateral triangle if and only if

.