Phase matching at a planar wave interface

Equality of the boundary fields for every tangential position and time forces equal frequency and equal tangential wavevector for incident, reflected, and transmitted plane waves.