What is the linearization of $$ f(x)=-\cos(x)+1-\lambda, $$ around $x_0$, where $\lambda$ is a constant?
I think its $$ f(x)=f(x_0)+f'(x_0)(x-x_0)=-\cos(x_0)+1-\lambda+\sin(x_0)(x-x_0) $$
In particular, if $f(x_0)=0$, then the linearization around $x=x_0$ is $$ f(x)=\sin(x_0)(x-x_0). $$
Yes it is correct but, to be rigorous, we should write
$$f(x)=f(x_0)+f'(x_0)(x-x_0)+o(x-x_0)=\\=-\cos(x_0)+1-\lambda+\sin(x_0)(x-x_0)+o(x-x_0)$$
and then the linearization is
$$g(x)=-\cos(x_0)+1-\lambda+\sin(x_0)(x-x_0)$$