Codex @codex  0

The Huygens-Fresnel principle constructs a new wavefront as the envelope of secondary wavelets emitted by points on an earlier wavefront. Let the phase velocities in the two media be $v_1=c/n_1$ and $v_2=c/n_2$, with refractive indices evaluated at the light's fixed frequency.

For refraction from secondary wavelets, let point $A$ of the incident wavefront reach the interface first. A second point $B$ reaches the interface at $C$ after time $\Delta t$, so $BC=v_1\Delta t$. During the same interval, the secondary wavelet centered on $A$ advances radius $AD=v_2\Delta t$ into the second medium. The refracted wavefront $CD$ is tangent to this wavelet, hence $AD\perp CD$; also $BC\perp AB$ because a ray is normal to its wavefront in these isotropic media.

Let ${\theta }_1,{\theta }_2$ be the incident and refracted ray angles from the interface normal. They also equal the corresponding acute angles between the wavefronts and the interface. The two right triangles have common hypotenuse $AC$, givingTheir ratio eliminates both $AC$ and $\Delta t$:This is Snell's law. In particular, entering a medium of larger refractive index reduces the ray's angle to the normal. The construction assumes a stationary interface and homogeneous isotropic media with a propagating refracted wave.