Reflection of light from a uniformly moving mirror

We derive a formula for the law of reflection of a plane-polarized light beam from an inclined flat mirror in uniform rectilinear motion by applying the Huygens-Fresnel principle. We then use this formula and the postulates of special relativity to show that the moving mirror is contracted along the direction of its motion by the usual Lorentz factor. The result emphasizes the reality of Lorentz contraction by showing that the contraction is a direct consequence of the first and second postulates of special relativity, and is not a consequence of the relativistic measurement of the length.