MathDB
Rotating a square + Projection on a line

Source: Dutch NMO 1999

October 22, 2005
rotationcomplex numbers

Problem Statement

Let ABCDABCD be a square and let \ell be a line. Let MM be the centre of the square. The diagonals of the square have length 2 and the distance from MM to \ell exceeds 1. Let A,B,C,DA',B',C',D' be the orthogonal projections of A,B,C,DA,B,C,D onto \ell. Suppose that one rotates the square, such that MM is invariant. The positions of A,B,C,D,A,B,C,DA,B,C,D,A',B',C',D' change. Prove that the value of AA2+BB2+CC2+DD2AA'^2 + BB'^2 + CC'^2 + DD'^2 does not change.