从定义 Var(X) = E[(X-mu)^2] 证明 Var(X) = E[X^2] - (E[X])^2 。