The image of a circle with radius r and centered at C(−2f,0) through a thin lens at x=0 with focal length f and centered at O(0,0) is a conic section with the focus being (2f,0), the directrix being line x=f, and the eccentricity being fr.
This article is translated from a Chinese article on my Zhihu account. The original article was posted at 2019-07-12 15:40 +0800.
The center of the circular luminous object is C, and its radius is r. The center of the thin lens is O, and its focal length is f. The object is in the same plane as C, and OC is perpendicular to the thin lens, and ∥OC∥=2f.
Set up Cartesian coordinate with O being the origin and CO being the x-axis. Then, C(−2f.0). The luminous object is described by the parametric equations {x=−2f+rcost,y=rsint. Pick point P(−2f+rcost,rsint) on the object. According to the formula for imaging of thin lenses {−x1+x′1=f1,x′x=y′y, the point P is transformed to
P′(f(1+f−rcostf),−ff−rcostrsint). Therefore, we can have the parametric equations of the image: {x=f(1+f−rcostf),y=−ff−rcostrsint. Cancel t, and we have
y2=(fr)2(x−f)2−(x−2f)2, which means that the image is a conic section with the focus being (2f,0), the directrix being line x=f, and the eccentricity being fr.
Alternatively, let ρ:=(x−2f)2+y2, and we have ρ=1−frcostr, and we may have the same conclusion through this equation.