只证明第一个等式. 当 `n = 1` 时, 左边等于
`ae^(ax) sin(bx+c) + be^(ax) cos(bx+c)`
`= sqrt(a^2+b^2) e^(ax) sin(bx+c+theta)`
等于右边.
设等式对 `n-1` 成立, 则对正整数 `n`, 左边等于
`((a^2+b^2)^((n-1)/2) e^(ax) sin(bx+c+(n-1)theta))'`
`= (a^2+b^2)^((n-1)/2) e^(ax)`
`= a sin(bx+c+(n-1)theta) + b cos(bx+c + (n-1)theta)`
等于右边
□
用归纳法易证.
由 Leibniz 公式,
`f^((n-1))(x)`
`= sum_(k=0)^(n-1) (n-1;k) n!/(n-k)!
(x-a)^(n-k) varphi^((n-1-k))(x)`,
`f^((n-1))(a) = 0`.
故
`f^((n))(a)`
`= lim_(x to a) (f^((n-1))(x) - f^((n-1))(a))/(x-a)`
`= lim_(x to a) sum_(k=0)^(n-1) (n-1;k) n!/(n-k)!
(x-a)^(n-1-k) varphi^((n-1-k))(x)`
`= n! varphi(x)`.