Ray Propagation Based on the Gaussian Imaging Equation in Ideal Lens Systems …(IG)
First, we derive the equations relating to imaging. Then, we show the matrix representation of geometric ray propagation by an ideal lens, based on the Gaussian imaging equation.
*This page deals with a ray propagation model based on geometrical optics. It does not include the effects of wave-optical diffraction, such as that of Gaussian beams.
The flow of explanation on this page is based on Toshiro Kishikawa's "Introduction to Optics for User Engineers" [1] . However, the derivations and descriptions have been independently restructured by the author.
table of contents:
This page will proceed with the discussion based on the following rules.
Rule A: Sign convention
Regarding dimension notation, in accordance with Appendix: Definitions of Direction and Sign in One-Dimensional Vectors and Angles , the up-down direction is considered positive when pointing upwards, the left-right direction is considered positive when pointing to the right, and the rotational direction is considered positive when turning counterclockwise.
Rule B: Definition of the paraxial region
All rays discussed on this page are assumed to be paraxial rays with sufficiently small angles. That is, when the angle is θ, the following approximation is applied:
sin θ = θ, tan θ = θ, cos θ = 1
Rule C: Parameter notation (color coding)
For the color coding of each parameter, quantities given by the settings (in the recurrence relation model) are shown in blue, and quantities given by the calculation formula are shown in black.
・Derivation of the imaging relationship formula
The manner in which a ray of light from an object point passes through an optical element with a focal length f and is focused onto an image point is illustrated below.
(i) When f > 0, z < 0,

* Apply Rule A (Symbol Convention) and Rule B (Definition of Paraxial Region).
(ii) When f > 0, 0 < z < f,

* Apply Rule A (Symbol Convention) and Rule B (Definition of Paraxial Region).
(iii) When f > 0, f < z,

* Apply Rule A (Symbol Convention) and Rule B (Definition of Paraxial Region).
(iv) When f < 0, z < f

* Apply Rule A (Symbol Convention) and Rule B (Definition of Paraxial Region).
(v) When f < 0, f < z < 0,

* Apply Rule A (Symbol Convention) and Rule B (Definition of Paraxial Region).
(vi) When f < 0, z > 0 ,

* Apply Rule A (Symbol Convention) and Rule B (Definition of Paraxial Region).
In the coding convention of Rule A, (i) to (vi) are all forms of the same model, and if the magnification is β, then from the relationship of similarity of triangles, the following can be said in common for all of (i) to (vi):

Next, let's consider the following major rays.

* Apply Rule A (Symbol Convention) and Rule B (Definition of Paraxial Region).
From the figure, the following can be said:

