Optics formulas

13 relations, each one a node in the derivation graph. Every symbol carries a declared base dimension, so every one of them can be checked.

Brewster's Angle — θ_B = atan(n2/n1)
Combined Power of Thin Lenses in Contact — P = P1 + P2
Critical Angle (Total Internal Reflection) — θc = asin(n2 / n1), with n1 > n2 so the argument stays in [-1, 1]
Diffraction Grating — d·sin(θ) = m·λ
Lens Power — P = 1 / f
Lensmaker's Equation — 1/f = (n - 1)·(1/R1 - 1/R2) => f = 1 / ((n - 1)·(1/R1 - 1/R2))
Lateral Magnification — M = -si / so
Mirror Equation (Image Distance) — 1/f = 1/so + 1/si => si = 1 / (1/f - 1/so)
Rayleigh Criterion (Angular Resolution) — θ = 1.22·λ / D
Refractive Index from Speed — n = c/v
Single-Slit First Minimum — a·sin(θ) = λ => θ = asin(λ / a)
Spherical Mirror Focal Length — f = R / 2
Thin Lens Equation (Image Distance) — 1/f = 1/so + 1/si => si = 1 / (1/f - 1/so)