The source-free Maxwell equations in a linear medium are
Here the constitutive relations are and .
Substitution of the sinusoidal plane waves into the two divergence equations gives the transversality of an electromagnetic plane wave,
Faraday's law and the Ampère-Maxwell equation give, respectively,
Taking the first equation and using transversality yields
Thus a nonzero plane electromagnetic wave in a linear medium must satisfy
In particular, , , and are mutually orthogonal, with .
Take the interface to be and the plane of incidence to be the -plane. The incident, reflected, and transmitted wavevectors may be written
The phase matching at a planar wave interface requires one common angular frequency and one common tangential wavevector:
Since , this gives the Snell law for electromagnetic waves,
For the final polarization, take the signed electric amplitudes along . The dielectric-interface boundary conditions require continuity of tangential and . Since
their - and -components give
and
Eliminating yields
Using and Snell's law,
Therefore the reflected-to-transmitted transverse-electric amplitude ratio is
with the polarization directions chosen so that the displayed signed factor is nonnegative; otherwise its absolute value gives the magnitude ratio.
The condition , together with transversality , selects polarization along away from the normal-incidence degeneracy. Phase matching at a planar wave interface gives
The two dispersion relations give . Choosing propagation into therefore yields
Equivalently, this is Snell law for electromagnetic waves with refractive index proportional to because the two media have equal magnetic permeability.
For each , substitution of a complex plane electromagnetic wave in a linear medium into the source-free Maxwell equations in a linear medium requires
where and . The accompanying magnetic field is
The incident and transmitted waves have and , while the reflected wave has . Matching the fields at the stationary interface additionally imposes the phase matching at a planar wave interface conditions and equality of all tangential wavevector components.
Choose the interface as and write the incident, reflected, and transmitted fields as plane waves with wavevectors . The boundary conditions must hold for every tangential coordinate and every time. The phase matching at a planar wave interface therefore requires
and equality of tangential wavevectors:
The incident and reflected waves are in the same medium, so
. Equality of their tangential components gives
hence
At fixed frequency, is proportional to the refractive index . Tangential phase matching between incident and transmitted waves gives the Snell law for electromagnetic waves:
or
Here if the vacuum speed is used to normalize the index.