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.
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.
For equal permeabilities on the two sides of an interface, tangential-field continuity and Snell law for electromagnetic waves give
for consistently signed electric amplitudes normal to the plane of incidence.