$${\Delta x_\psi=\frac{\Delta x}{\cos \psi}}$$