When deriving spherical refraction formulas, always remember the exterior angle theorem ($\text{ext angle} = \text{sum of interior opposite angles}$) for the triangles formed by the incident/refracted ray, the normal, and the principal axis. It links physical optics to simple geometry instantly!