The following problem appeared in Volume 53, Issue 4 (2022) of The College Mathematics Journal. This was the first problem that was I able to solve in over 30 years of subscribing to MAA journals.
Suppose that
and
are independent, uniform random variables over
. Now define the random variable
by
.
Prove that
is uniform over
. Here,
is the indicator function that is equal to 1 if
is true and 0 otherwise.
The first thing that went through my mind was something like, “This looks odd. But it’s a probability problem using concepts from a senior-level but undergraduate probability course. This was once my field of specialization. I had better be able to get this.”
My second thought was that one way of proving that is uniform on
is showing that
if
.
My third thought was that really had a two-part definition:
So I got started by dividing this probability into the two cases:
.
In the last step, since , the events
and
are redundant: if
, then
will automatically be less than
. Therefore, it’s safe to remove
from the last probability.
Ordinarily, such probabilities are computed by double integrals over the joint probability density function of and
, which usually isn’t easy. However, in this case, since
and
are independent and uniform over
, the ordered pair
is uniform on the unit square
. Therefore, probabilities can be found by simply computing areas.
In this case, since the area of the unit square is 1, is equal to the sum of the areas of
,
which is depicted in green below, and
,
which is depicted in purple.
First, the area in green is a trapezoid. The intercept of the line
is
, and the two lengths of
and
on the upper left of the square are found from this
intercept. The area of the green trapezoid is easiest found by subtracting the areas of two isosceles right triangles:
$latex \displaystyle \frac{(1)^2}{2} – \frac{(1-t)^2}{2} = \frac{1-1+2t-t^2}{2} = \frac{2t-t^2}{2}.
Second, the area in purple is an isosceles right triangle. The intercept of the line
is
, so that the distance from the
intercept to the origin is
. From this, the two lengths of
and
are found. Therefore, the area of the purple right triangle is
.
Adding, we conclude that
.
Therefore, is uniform over
.
A closing note: after going 0-for-4000 in my previous 30+ years of attempting problems submitted to MAA journals, I was unbelievably excited to finally get one. As I recall, it took me less than an hour to get the above solution, although writing up the solution cleanly took longer.
However, the above was only Part 1 of a two-part problem, so I knew I just had to get the second part before submitting. That’ll be the subject of the next post.
