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.
For a time-independent field, Faraday's law gives . Integrating around a thin rectangular loop crossing and shrinking its height gives continuity of the tangential component:
A thin Gaussian pillbox and give continuity of the normal electric displacement field:
These are the electrostatic cases of the dielectric-interface boundary conditions.
Let be the unit normal pointing from the minus medium to the plus medium. Integrating the Maxwell equations across an infinitesimal pillbox or loop gives the dielectric-interface boundary conditions
and
Thus tangential and are continuous, as are normal and .
Because , the normal electric field generally jumps according to
The tangential displacement field generally jumps because . Since the permeability is common, continuity of tangential is continuity of tangential ; together with normal- continuity, every component of is continuous. The same common also makes the normal component of continuous.