Rotating a square + Projection on a line
Source: Dutch NMO 1999
October 22, 2005
rotationcomplex numbers
Problem Statement
Let be a square and let be a line. Let be the centre of the square. The diagonals of the square have length 2 and the distance from to exceeds 1. Let be the orthogonal projections of onto . Suppose that one rotates the square, such that is invariant. The positions of change. Prove that the value of does not change.