Ray propagation in an ideal lens system based on Newton’s 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.
table of contents:
・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: Definitions of direction and sign for 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).
