Let $X,Y \sim Exp(1)$ be independent random variables. Let $W = X+Y$ and $Z = X / (X + Y)$ .
I am tasked with calculating $P(\{ Z < z \} \cap \{ W < w \}$).
I have the solution that says
So the solution says $$P \Big( \frac{X}{X+Y} Where I am using 1 as the indicator function, and then calculates the integral. The fact is I have never proven this equality for random vectors and I don't understand why the resulting expectation of indicator random variable should have the form above where we simply multiply together the densities of $X$ and $Y$. So could someone please give me a link to a proof of the probability-expectation inequality for a random vector and try to explain to me why the expectation would be calculated that way? I think a thing that confuses me is that the indicator function is on a set that is determined by $f(X,Y)$ instead of $X$ and $Y$ separately.
