Snell's law is the simple formula used to calculate the refraction of light when travelling between two media of differing refractive index. Named for its discoverer, Dutch mathematician Willebrord van Roijen Snell (1580-1626).

In the diagram above, two media of refractive indices n1 (on the left) and n2 (on the right) meet at a surface or interface (vertical line). n2 > n1, and light has a slower phase velocity within the second medium.

A light ray PO in the leftmost medium strikes the interface at the point O. From point O, we project a straight line at right angles to the line of the interface; this is known as the normal to the surface (horizontal line). The angle between the normal and the light ray PO is known as the angle of incidence, θ1.

The ray continues through the interface into the medium on the right; this is shown as the ray OQ. The angle with which is makes to the normal is known of as the angle of refraction, θ2.

Snell's law gives the relation between the angles θ1 and θ2:

n1 sin (θ1) = n2 sin(θ2).

Note that, for the case of θ1 = 0° (i.e., a ray perpendicular to the interface) the solution is θ2 = 0° regardless of the values of n1 and n2. In other words, a ray perpendicular entering a medium perpendicular to the surface is never bent.

The above is also valid for light going from a dense to a less dense medium; the symmetry of Snell's law shows that the same raypaths are applicable in opposite direction.

A qualitative rule for determining the direction of refraction is that the ray in the denser medium is always closer to the normal. A handy way to remember this is to visualize the ray as a car crossing the boundary between asphalt (the less dense medium) and mud (the denser medium). Depending on the angle, either the left wheel or the right wheel of the car will cross into the new medium first, causing the car to swerve.

When moving from a dense to a less dense medium (i.e. n1>n2), it is easily verified that the above equation has no solution when θ1 exceeds a value known as the critical angle:

θcrit = arcsin ( n2 / n1) .

When θ1crit, no refracted ray appears, and the incident ray undergoes total internal reflection from the interface.

Snell's law may be derived from Fermat's principle, which states that the light travels the path which takes the least time. By taking the derivative of the optical path length the stationary point is found giving the path taken by the light. In a classic analogy by Feynman, the area of lower refractive index is replaced by a beach, the area of higher refractive index by the sea, and the fastest way for a rescuer on the beach to get to a drowning person in the sea is to run along a path that follows Snell's law.

See also Fresnel equations.