My text book (Communication Systems analysis and design P.334, 335) have a FM signal is
$s_{FM}(t) = A cos[2\pi[f_c+ks(t)]t+\phi]$ where k is a constant and $\phi$ is the arbitrary phase angles
then the textbook suggest
while in FM, instantaneous frequency minus carrier frequency is a linear function of s(t)
So, I try to prove the $s_{FM}(t)$ is a FM signal
The instantaneous frequency is $f(t)= \frac {d\psi}{dt}=2\pi f_c+2 \pi s'(t) t +2 \pi s(t)$
and the instantaneous carrier ferquency is $f_{carrier} (t)=\frac{d\psi_{carrier}}{dt}=\frac {d}{dt} [2 \pi f_c t + \theta]=2 \pi f_c$. Assume the carrier signal is $Asin(2 \pi f_c t + \theta)$
So, $f(t)-f_{carrier}(t)=2 \pi s'(t) t +2 \pi s(t)$.
And my problem is why the text book suggest that signal is a FM signal? Clearly, I cannot prove the signal is linear.