A ray of light propagating in an isotropic medium with refractive index varying gradually from point to point has a curvature radius determined by the formula where the derivative is taken with respect to the principal normal to the ray. Derive this formula, assuming that in such a medium the law of refraction const holds. Here is the angle between the ray and the direction of the vector at a given point.