How do I compute $\mathbb{P}(Z_1>0,Z_1+Z_2<0)$ where $Z_1$ and $Z_2$ are independent standard normal variables? Suppose we have two independent standard normal random variables, $Z_1, Z_2$, say. I wanted to calculate this probability
$$\mathbb{P}(Z_1>0,Z_1+Z_2<0).$$
I can kind of explain the probability via a diagram—I plotted $Z_2$ against $Z_1$ and said the probability must be a $\frac{1}{8}$ but I wanted a more rigorous approach. Could someone please guide me through how to approach this probability in a more rigorous manner, in particular, if you could explain where you have used independence-that would be great!
 A: We have
\begin{align*}
P(A > 0, A+B < 0)
&= P(A > 0, B < 0, A+B < 0) \\
&= P(A > 0, B < 0) \cdot P(A < -B \mid A>0, B<0) \\
&= P(A > 0, B < 0) \cdot P(|A| < |B| \mid A>0, B<0) \\
&= P(A > 0, B < 0) \cdot P(|A| < |B|) \\
&= \frac{1}{4} \cdot \frac{1}{2}
\end{align*}
The last three inequalities use the fact that they are independent normal with mean 1.
A: This is essentially the same as eatfood's answer, written with some more detail.  I've tried to pinpoint exactly which parts of the hypotheses we use and where.  Clearly, the statement is true in greater generality.
First, let $Z_3=-Z_2$.  Then $Z_3\sim N(0,1)$ and $Z_1, Z_3$ are independent.  Then we want $Z_1>0,\ Z_3>Z_1$. $$
\begin{align}
\Pr(Z_1>0, Z_3>Z_1)&=\Pr(Z_1>0)\Pr(Z_3>Z_1\mid Z_1>0)\\
&=\frac12\Pr(Z_3>Z_1\mid Z_1>0)\\
&=\frac12\left(\frac12\Pr(Z_3>Z_1\mid Z_1>0,Z_3>0)+\frac12\Pr(Z_3>Z_1\mid Z_1>0,Z_3\leq0)\right)\\
&=\frac14\Pr(Z_3>Z_1\mid Z_1>0,Z_3>0)\\
&=\frac14\cdot\frac12=\frac18
\end{align}$$
It's only in the last line that we use the fact that $Z_1, Z_3$ are i.i.d.  Up to there, the only thing we've used specific to the problem at hand is that the the probability that a $N(0,1)$ r.v. takes a positive value is $\frac12$.
To get to the last line, we have by symmetry, $$\Pr(Z_3>Z_1\mid Z_1>0,Z_3>0)=\frac12(1-\Pr(Z_1=Z_3|Z_1>0,Z_3>0))=\frac12$$ since $Z_1, Z_3$ are continuous random variables without atomic points.
I think the last condition is enough, though it may not be the precise statement I want.  Anyway, it's obviously true for $N(0,1)$ r.v.s: $$\Pr(Z_1=Z_3|Z_1>0,Z_3>0)=\frac4{2\pi}\int_0^\infty e^{-x^2}\int_x^xe^{-y^2}\,\mathrm{d}y\,\mathrm{d}x=0$$
