Simplification of $ \sqrt{(1-x^2)}$ to $(1-\frac{x^2}{2})$ While following a proof from an electrical engineering book (Design of Analog CMOS Integrated Circuits, second edition from Behzad Razavi ), I came across a simplification which I found curious. In equations 14.18 to 14.19 they state that the following holds for small values of $x$:
$$
\sqrt{1-x^2} \approx \left(1-\frac{x^2}{2}\right)
$$
I can see that this appears to be the case after simulating this in matlab but it seems unintuitive to me, and I was wondering if anyone here knows the kind of mathematical terms I can use to find some kind of proof for this (or the proof itself).

Every smooth function can be locally approximated by its tangent (as a consequence of Taylor's theorem).
$$\sqrt{1-t}\approx 1-\frac t2.$$
Hence for small $x$,
$$\sqrt{1-x^2}\approx 1-\frac{x^2}2.$$

The next approximation order is parabolic, corresponding to the "osculatrix parabola" (i.e. same tangent and same curvature)
$$\sqrt{1-t}\approx 1-\frac t2-\frac{t^2}8,$$
and
$$\sqrt{1-x^2}\approx 1-\frac{x^2}2-\frac{x^4}8,$$

