ThmDex – An index of mathematical definitions, results, and conjectures.
P3364
Fix $x, x_0 \in \mathbb{R}$ such that $x \neq x_0$. Then \begin{equation} \begin{split} \frac{|f(x) - f(x_0) - L(x - x_0)|}{|x - x_0|} & = \frac{|x^2 - x^2_0 - 2 x_0 (x - x_0)|}{|x - x_0|} \\ & = \frac{|(x + x_0) (x - x_0) - 2 x_0 (x - x_0)|}{|x - x_0|} \\ & = \frac{| x - x_0 ||(x + x_0) - 2 x_0 |}{|x - x_0|} \\ & = |(x + x_0) - 2 x_0 | \\ & \to |2 x_0 - 2 x_0| \\ & = 0 \end{split} \end{equation} as $x \to x_0$. The claim follows. $\square$