设平稳随机信号为s(t)，其导数为 (t)。请证明



式中，rs(α)=E[s(t)s(t+α)]，是信号s(t)的自相关函数； ,是信号s(t)的导数； 与s(t)的互相关函数； 是rs(α)的一阶导数。