๐Ÿงฎ Brain Teaser

The Broken Bar

A bar of length 1 is broken at two points chosen independently and uniformly at random along its length.

What is the probability that the three pieces can form a triangle?

Hint: Three lengths form a triangle if and only if each piece is less than 1/2.

geometric probabilitytriangle inequalityuniform distributionclassic puzzle

Answer: Broken Bar Triangle Probability

Key Idea / Intuition

The three pieces form a triangle exactly when no single piece is "too long" โ€” specifically, each piece must be strictly less than 1/21/2 (the triangle inequality forces this). The sample space is a unit square, and we need to find the area of the region where all three resulting lengths are less than 1/21/2. The geometry turns out to be elegant: the "bad" regions (where one piece is โ‰ฅ1/2\geq 1/2) are three non-overlapping triangles, each of area 1/41/4, leaving probability 1/41/4 for success.


Formal Proof / Solution

Setup. Let the two break points be UU and VV, chosen independently and uniformly on [0,1][0,1]. The sample space is the unit square [0,1]2[0,1]^2.

Without loss of generality, let x=minโก(U,V)x = \min(U,V) and y=maxโก(U,V)y = \max(U,V). Then the three pieces have lengths: a=x,b=yโˆ’x,c=1โˆ’y.a = x, \quad b = y - x, \quad c = 1 - y.

Triangle condition. Three lengths form a triangle iff each length is strictly less than the sum of the other two โ€” for lengths summing to 1, this is equivalent to: a<12,b<12,c<12.a < \tfrac{1}{2}, \quad b < \tfrac{1}{2}, \quad c < \tfrac{1}{2}.

Working directly in (U,V)(U,V) coordinates. Rather than conditioning on the ordering, work directly on the full unit square. Let UU and VV be the two break points (unordered). The three pieces are:

  • minโก(U,V)\min(U,V)
  • โˆฃUโˆ’Vโˆฃ|U - V|
  • 1โˆ’maxโก(U,V)1 - \max(U,V)

The triangle condition becomes: U<12,V<12,โˆฃUโˆ’Vโˆฃ<12,minโก(U,V)<12,1โˆ’maxโก(U,V)<12.U < \tfrac{1}{2}, \quad V < \tfrac{1}{2}, \quad |U - V| < \tfrac{1}{2}, \quad \min(U,V) < \tfrac{1}{2}, \quad 1 - \max(U,V) < \tfrac{1}{2}.

More cleanly, if we let x=minโก(U,V),y=maxโก(U,V)x = \min(U,V), y = \max(U,V), the three conditions are:

x<12,yโˆ’x<12,1โˆ’y<12.x < \frac{1}{2}, \qquad y - x < \frac{1}{2}, \qquad 1 - y < \frac{1}{2}.

This is equivalent to working on the triangle 0โ‰คxโ‰คyโ‰ค10 \le x \le y \le 1 (area =1/2= 1/2) and finding the sub-region satisfying all three inequalities.

Geometric computation. The favorable region in the ordered triangle {0โ‰คxโ‰คyโ‰ค1}\{0 \le x \le y \le 1\} is: x<12,y>12,yโˆ’x<12.x < \frac{1}{2}, \qquad y > \frac{1}{2}, \qquad y - x < \frac{1}{2}.

This is a small triangle with vertices at (12,12)\left(\frac{1}{2}, \frac{1}{2}\right), (0,12)\left(0, \frac{1}{2}\right), (12,1)\left(\frac{1}{2}, 1\right) โ€” actually the triangle with vertices: (0,12),(12,12),(12,1).\left(0, \frac{1}{2}\right), \quad \left(\frac{1}{2}, \frac{1}{2}\right), \quad \left(\frac{1}{2}, 1\right).

Its area is 12โ‹…12โ‹…12=18\frac{1}{2} \cdot \frac{1}{2} \cdot \frac{1}{2} = \frac{1}{8}.

Since the ordered region {xโ‰คy}\{x \le y\} has area 12\frac{1}{2}, the probability is: P(triangle)=1/81/2=14.P(\text{triangle}) = \frac{1/8}{1/2} = \frac{1}{4}.

Alternatively (full square view). By symmetry, the three bad events are:

  • A1A_1: piece 1 โ‰ฅ1/2\ge 1/2 (i.e., Uโ‰ค1/2U \le 1/2 and Vโ‰ค1/2V \le 1/2... no โ€” directly: both break points fall in [1/2,1][1/2, 1]...

Let's redo this cleanly. In the full unit square with coordinates (U,V)(U,V):

  • "Piece a=minโก(U,V)โ‰ฅ1/2a = \min(U,V) \ge 1/2": both Uโ‰ฅ1/2U \ge 1/2 and Vโ‰ฅ1/2V \ge 1/2 โ€” area =1/4= 1/4.
  • "Piece c=1โˆ’maxโก(U,V)โ‰ฅ1/2c = 1 - \max(U,V) \ge 1/2": both Uโ‰ค1/2U \le 1/2 and Vโ‰ค1/2V \le 1/2 โ€” area =1/4= 1/4.
  • "Piece b=โˆฃUโˆ’Vโˆฃโ‰ฅ1/2b = |U-V| \ge 1/2": the two strips where Uโˆ’Vโ‰ฅ1/2U - V \ge 1/2 or Vโˆ’Uโ‰ฅ1/2V - U \ge 1/2 โ€” total area =1/4= 1/4.

These three events are mutually exclusive (only one piece can be โ‰ฅ1/2\ge 1/2 at a time, since they sum to 1). So:

P(noย triangle)=14+14+14=34.P(\text{no triangle}) = \frac{1}{4} + \frac{1}{4} + \frac{1}{4} = \frac{3}{4}.

P(triangle)=14.\boxed{P(\text{triangle}) = \frac{1}{4}.}

Intuition check. The answer 1/41/4 is clean and perhaps surprisingly small โ€” most random breaks do not yield a triangle. This matches the elegant geometric picture: exactly one quarter of the unit square corresponds to the "balanced" configuration.

Source: Fifty Challenging Problems in Probability with Solutions โ€” Frederick Mosteller, Problem 43 (variant)

Type: ProbabilitySource: Fifty Challenging Problems in Probability with Solutions โ€” Frederick Mosteller, Problem 43 (variant)Edit on GitHub โ†—