Geometrical ray propagation in ideal lens systems based on lens formula
First, we derive the equation for the imaging relationship. Then, we show a recurrence model of geometric ray propagation through an ideal lens, applying Newton's Formula. We also show how to construct an imaging optical system by specifying the initial value of the ray and automatically calculating the final value.

*The content explained here is only a model of geometrical optics ray propagation, and does not take into account the effects of wave optics diffraction. For Gaussian beam propagation, the effects of wave optics diffraction must be taken into account, and the theoretical model is different, so please refer to the link below.
・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.
*For dimensional notation, see Appendix: Direction and sign of one-dimensional vectors and angles
(i) When f > 0, z < 0,

(ii) When f > 0, 0 < z < f,

(iii) When f > 0, f < z,

(iv) When f < 0, z < f

(v) When f < 0, f < z < 0,

(vi) When f < 0, z > 0 ,

If the magnification is β, the following can be said for all of (i) to (vi) based on the similarity of triangles.

This is because (i) to (vi) are all forms of the same model, so we only need to consider one of (i) to (vi).
Next, consider the following:

From the figure, the following can be said:

From (1)-①', (1)-②a, and (1)-②b,

From Lagrange invariant,

From (1)-④, (1)-②abc, and (1)-①',

From (1)-① and (1)-⑤,

Next, if we define the longitudinal magnification α as follows, then from (1)-①, (1)-①', and (1)-⑥,

It should be noted that this only holds true when z is a small quantity.
*When the medium is air:
Since n=n'=1, the following can be said.

From (1)-①, (1)-①', and (1)-⑧, we obtain the following equations, including Newton's equations (or Newton's relations).
