I know that the variance of the difference of two independent variables is the sum of variances, and I can prove it. I want to know where the covariance goes in the other case.
3 Answers
When $X$ and $Y$ are dependent variables with covariance $\mathrm{Cov}[X,Y] = \mathrm{E}[(X-\mathrm{E}[X])(Y-\mathrm{E}[Y])]$, then the variance of their difference is given by $$ \mathrm{Var}[X-Y] = \mathrm{Var}[X] + \mathrm{Var}[Y] - 2 \mathrm{Cov}[X,Y] $$ This is mentioned among the basic properties of variance on http://en.wikipedia.org/wiki/Variance. If $X$ and $Y$ happen to be uncorrelated (which is a fortiori the case when they are independent), then their covariance is zero and we have $$ \mathrm{Var}[X-Y] = \mathrm{Var}[X] + \mathrm{Var}[Y] $$
Let $X$ and $Y$ be two random variables. We want to show that $Var[X-Y]=Var[X]+Var[Y]-2\times Cov[X,Y]$.
Let's define $Z:=-Y$, so we have: $Var[X-Y]=Var[X+Z]=Var[X]+Var[Z]+2\times Cov[X,Z]$.
$Var[Z] = Var[-Y] = Var[Y]$, since $Var[\alpha Y] = \alpha^2 Var[Y]\enspace \forall \alpha \in \mathbb{R}.$
We also have $Cov[X,Z] = Cov[X,-Y] = -Cov[X,Y]$, because $Cov(X,\beta Y) = \beta Cov(X,Y)\enspace \forall \beta \in \mathbb{R}$.
Putting all pieces together, we have $Var[X-Y]=Var[X]+Var[Y]-2\times Cov[X,Y]$.
The general formula for two random variables $X$ and $Y$, and constants $a$, $b$ is:
$$ \text{Var}(aX + bY) = a^2\text{Var}(X) + b^2\text{Var}(Y) + 2ab\text{Cov}(X, Y) $$
With $a=1$ and $b=-1$, this gives $$ \text{Var}(X -Y) = \text{Var}(X) + \text{Var}(Y) - 2\text{Cov}(X, Y). $$