MathDB
Midpoint is a Fixed Point - [Iran Second Round 1986]

Source:

December 24, 2010
rotationgeometrygeometric transformationreflectionsymmetrygeometry proposed

Problem Statement

OO is a point in the plane. Let OO' be an arbitrary point on the axis OxOx of the plane and let MM be an arbitrary point. Rotate MM, 9090^\circ clockwise around OO to get the point MM' and rotate MM, 9090^\circ anticlockwise around OO' to get the point M.M''. Prove that the midpoint of the segment MMMM'' is a fixed point.