Thank you for your counsel on this.
The scissoring of the optical axis and principal ray is very good. It is clear that if the object has extent, the image must also have extent. No question here.
It must be a problem with how words are used. The problem words are “focal plane” and “image plane.”
What do you call the plane where the image appears for an object “essentially at infinity”? Put another way, can you really say, formally and accurately, that this image forms on the focal plane?
If it is the convention to say the image forms on the focal plane (and apparently it is), but everybody already knows it actually forms on the image plane instead, and that the two planes are so close together the distinction is just a mathematical formality, then okay. I’ll just shutup and get in line.
But if an image with extent really does form on the focal plane, then I still don’t see how it happens, given the equations and diagrams we have been looking at here.
For objects which are not “essentially at infinity,” there exist two distinctly separate and different planes behind the lens, the focal plane and the image plane. The image appears on the image plane. I think everybody agrees on this.
As the object heads for infinity, the two planes get closer and closer together. But they cannot merge until the object actually reaches infinity. Which is to say, they never merge. This means, in the practical terms specified by the lens equation, that there always exists a distinction, a physical gap, however tiny, between the focal plane and image plane.
I seem to be insisting that the image always forms on the image plane, and never on the focal plane. If we said that for an object positioned “essentially at infinity” the image appears “essentially at the focal plane” or “very close to the focal plane,” then I am okay. But it seems to me the image never “snaps”, in the sense of a CAD program, to the focal plane.
In the purely theoretical case where the object is infinitely distant, and the two planes do merge, I think the image collapses. In other words, how could I expect to see an infinitely distant object? Surely it would produce an infinitely small image?
If the object is positioned anywhere this side of infinity, yes, I can see that the image must have extent. But that image is formed on the image plane, not the focal plane. The lens equation requires this. As the object goes away the image plane approaches the focal plane, but it never gets there. Is this wrong?
In the reversal of the cartoon, if we redefine the object as an image, then the “image” clearly still has extent when it is sitting on the focal point, and the “object” has gone to southeastern infinity. But in the cartoon, the physical dimensions of the object, which we are now calling the “image” -- have been frozen solid by the programmer. The image should be free to contract and expand. I will have to think about this some more, but it seems to me that although the lens principle is freely reversible, the cartoon isn’t.
I think the distance and the distinction between the focal plane and the image plane becomes more clear in wave optics, where imaging is explained as a double diffraction process. The “double” has reference to diffraction effects at the two different planes, the back focal plane and the image plane. Probably why I am struggling to keep the two planes physically separated, except in the very special case of the infinitely distant object.
Thank you again for you insights. It helps to air this out.
Regards, John