Let $X_1$ and $X_2$ have a bivariate normal distribution with parameters $\mu_1 = \mu_2 = 0, \sigma_1 = \sigma_2 = 1, \rho = 0.5$.
Find the probability that all of the roots of the following equation are real:
$X_1x^2 + 2X_2x + X_1 = 0$
Hint: Answer the following two questions first: Are $X_1 + X_2$ and $X_1 - X_2$ bivariate normally distributed? Are they mutually independent?
My answer to the hint is yes they are bivariate normally distribution (closure property of normal distributions).
I mean I know that $\rho = 0.5$ means that the 2 variables within $X_1$ and $X_2$ themselves are not independent so that means that $X_1$ and $X_2$ are not mutually independent right?
For the roots to be real means, I need to evaluate $P[(2X_2)^2-4X_1^2 \ge 0] = P[4X_2^2-4X_1^2 \ge 0] = P[X_2^2-X_1^2 \ge 0] = P[X_2^2 \ge X_1^2]$
Now since $X_1$ and $X_2$ are the same, therefore the probability evaluates to 0.5? Also I don't get where the hint is suppose to lead me?
Please help and thanks!
Edit:
Change of Variable
Let transformation be $U = X_1 + X_2$ and $V = X_1 - X_2$
Inverse Transformation: $X_1 = \frac{U+V}{2}$ and $X_2 = \frac{U-V}{2}$
Jacobian det = -2
$f_{U,V} = \frac{1}{\left|-2\right|}f_{X1,X2}(\frac{u+v}{2},\frac{u-v}{2})$