Convex curve itself. A closed regular plane simple curve "C" is convex "if and only if" its curvature is either always non-negative or always non-positive—i.e., if and only if the "turning angle" (the angle of the tangent to the curve) is a weakly monotone function of the parametrization of the curve. Proof: ⇐ If "C" is not convex, then by the parallel tangents lemma there are three points {"p","q1","q2"} such that the tangents at these points are parallel. At least two must have their signed tangents pointing in the same direction. Without loss of generality, assume that these points are "q1" and
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