相关系数绝对值小于等于1的证明（扩展2）

再归纳：

p=E(a-Ea)(b-Eb)/(sqrt(E(a-Ea)(a-Ea))*sqrt(E(b-Eb)(b-Eb)))

当(b-Eb)是常量c时，上式子退化为E(a-Ea)/sqrt(E(a-Ea)(a-Ea))

分子分母平方，(E(a-Ea)*E(a-Ea))/(E(a-Ea)(a-Ea)).

令x=a-Ea，则x的方差，Dx=E(x-Ex)*(x-Ex)=E(x)(x)-(Ex)*(Ex)

由方差的性质可以知道，Dx>=0,即E(x)(x)-(Ex)*(Ex)>=0

那么E(x)(x)>=(Ex)*(Ex)，即1>=(Ex)*(Ex)/[E(x)(x)]

即(E(a-Ea)*E(a-Ea))/(E(a-Ea)(a-Ea))<=1;

同理，当(a-Ea)是常量c时，即不变时，仍然公式成立。

那么(a-Ea)和(b-Eb)都变化时，怎么引用以上结论，保证

|p|<=1呢？

显然是成立的，这个过程我省略掉了！

这个证明和前一篇证明，问题点都在这里！

好像很简单，但没有想到好的方法证明，很像最小二乘法中求偏导=0，求方程的解。

以后有机会，再证明！

扩展2的证明是扩展的归纳，二者实质一样，一个展开变成另一个问题，一个使用期望和方差的定义和性质搞定。

最大的成绩是意识的锻炼，找到了一个不等式，自己还是很满意，百度没有相关不等式介绍，我应该是原创，可以奖励自己一个大苹果，哈哈：

(1+2+3+……+n）^2<=n*(1^2+2^+3^2+……+n^2)