friends, there is a formula derivation I saw in a book: $$ {\displaystyle \lim_{ \triangle x \rightarrow 0}{\frac{ \triangle y}{ \triangle x}} } =f'(x_0) \Rightarrow {\displaystyle \lim_{\triangle x \rightarrow 0}{\frac{\triangle y}{\triangle x}}} - f'(x_0)=0 \Rightarrow \frac{\triangle y}{\triangle x} - f'(x_0)=a, {\displaystyle \lim_{\triangle x \rightarrow0}{a} = 0} \Rightarrow \triangle y = f'(x_0)\triangle x + a\triangle x $$
how to understand this step?
$$ {\displaystyle \lim_{\triangle x \rightarrow 0}{\frac{\triangle y}{\triangle x}}} - f'(x_0)=0 \Rightarrow \frac{\triangle y}{\triangle x} - f'(x_0)=a, {\displaystyle \lim_{\triangle x \rightarrow0}{a} = 0} $$
EDIT-01
Thanks for Gerry Myerson's comment.
as you say,
name $\frac{\triangle y}{\triangle x}-f'(x_0)$ as $a$,
but, the previous step is $ ({\displaystyle \lim_{x \rightarrow 0}{\frac{\triangle y}{\triangle x}}}) - (f'(x_0)) = 0 $, not ${\displaystyle \lim_{x \rightarrow 0}{(\frac{\triangle y}{\triangle x}} -f'(x_0)) } = 0$.
there I don't understand.