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
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.