then is it possible for you to prove
z' = f(z^2 + z0^2 - fz)/(z - f)^2 + z0^2
? the ABCD should be no problem. Just the algebraic don't how to prove it to be.
I am studying further about Gaussian optics.
When Gaussian beam pass through a lens, the waist location is given by
(z'-f) = (z-f)M^2
Where, z' is the waist location after lens, z is waist location before lens, f is the focal length of the lens M is the magnification.
In Gaussian...