3
$\begingroup$

$x,y,z$ are independent and uniform random on $[0,1]$.

I know that $P(x \geq yz) = 3/4$ by triple integrating the triple density function.

However, is there a easier way to get this solution? Without triple integration.

  • 1
    Given that $y = y_0$ and $z = z_0$, the chance that x > yz is $1 - y_0z_0$. So since that $y$ and $z$ are uniformly distributed in $[0,1]$ you end out with the double integral I wrote above... so you don't have to do any triple integrals (but it's somewhat implicit in what I'm saying here).2012-08-22

3 Answers 3

8

The conditional probability given $z \in [0,1]$, $P(x \ge yz | z)$, is the area of the region of the square $[0,1]^2]$ below the line $y = x/z$. Since the region above the line is a right triangle with sides $1$ and $z$, we have $P(x \ge y z | z) = 1 - z/2$.
Since $E[z] = 1/2$, the unconditional probability is $E[P(x \ge y z | z)] = E[1 - z/2] = 1 - E[z]/2 = 3/4$.

  • 0
    Nice answer! Thanks!2012-08-22
2

$ \mathrm P(X\leqslant YZ\mid Y,Z)=YZ\qquad\quad \mathrm E(YZ)=\mathrm E(Y)\cdot\mathrm E(Z)=1/4$

  • 0
    Yes I am. Because (1.) $P(X\leqslant x)=x$ for every $x$in $(0,1)$, (2.) $YZ\in(0,1)$ almost surely, (3.) $YZ$ is independent of $X$.2012-08-23
1

Here is an alternative way to see it.

If $U$ is uniformly distributed on $(0,1)$ random variable, $X= -\log(U)$ follows the exponential distribution with unit rate. Thus: $ \mathbb{P}\left( U_1 \geqslant U_2 U_3 \right) = \mathbb{P}\left(-\log(U_1) \leqslant -\log(U_2) -\log(U_3) \right) = \mathbb{P}\left(X_1 \leqslant X_2 + X_3 \right) = \mathbb{P}\left(\frac{X_1}{X_1+X_2+X_3} \leqslant \frac{1}{2} \right) $ The ratio $\frac{X_1}{X_1+X_2+X_3}$ follows Beta distribution with parameters $(1,2)$ (e.g., see here, or in "Question about order statistic") meaning that $ \mathbb{P}\left( U_1 \geqslant U_2 U_3 \right) = \int_0^{\frac{1}{2}} \frac{1-x}{\operatorname{B}(1,2)} \mathrm{d} x \stackrel{\operatorname{B}(1,2)=\frac{1}{2}}{=} \int_\frac{1}{2}^1 2 x \mathrm{d} x = 1^2 - \left(\frac{1}{2}\right)^2 = \frac{3}{4} $

  • 1
    Cute, but maybe more complicated than necessary.2012-08-22