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) real object at the location of that virtual image. Likewise, it appears to a subsequent lens as if it were an object at that location, so that second lens could again focus that light into a real image, "S" then being measured from the virtual image location behind the first lens to the second lens. This is exactly what the eye does when looking through a magnifying glass. The magnifying glass creates a (magnified) virtual image behind the magnifying glass, but those rays are then re-imaged by the lens of the eye to create a "real image" on the retina.