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
Lens (optics) object off the optical axis of the lens is imaged, where rays pass through the lens at an angle to the axis θ. Rays that pass through the centre of a lens of focal length "f" are focused at a point with distance from the axis. Rays passing through the outer margins of the lens are focused at different points, either further from the axis (positive coma) or closer to the axis (negative coma). In general, a bundle of parallel rays passing through the lens at a fixed distance from the centre of the lens are focused to a ring-shaped