Triangle inequality
Three independent random variables , , and are each uniformly distributed on . What is the probability that , , and are the side lengths of a valid triangle?
Idea
Work with the complement: a triple fails the triangle inequality if and only if one side is at least as large as the sum of the other two. The three failure events turn out to be mutually exclusive, so the failure probability is simply for any one of them.
Setup
Let . Define the failure events
Mutual Exclusivity of , ,
Suppose occurs: and . Adding these inequalities gives , hence . Since a.s., this forces , an event of probability zero. By symmetry, every pairwise intersection has measure zero, so , , are mutually exclusive a.s. Combined with symmetry of the joint distribution,
Computing
Condition on . The event within traces the right triangle , which has area . Therefore