Convex curve has at least four vertices, points that are local minima or local maxima of curvature. A curve "C" is convex if and only if there are no three different points in "C" such that the tangents in these points are parallel. Proof: ⇒ If there are three parallel tangents, then one of them, say "L", must be between the other two. This means that "C" lies on both sides of "L", so it cannot be convex. ⇐ If "C" is not convex, then by definition there is point "p" on "C" such that the tangent line at "p" (call it
Luneburg lens one side, and formula_14 only on the other: The parameter formula_19 is a constant for any given ray, but differs between rays passing at different distances from the centre of the lens. For rays passing through the centre, it is zero. In some special cases, such as for Maxwell's fish-eye, this first order equation can be further integrated to give a formula for formula_14 as a function or formula_13. In general it provides the relative rates of change of formula_14 and formula_13, which may be integrated numerically to follow the path of the ray through the lens. Luneburg lens A