Lambdia

Two People, One Hour, and Seven Chances in Sixteen

Two people arrive at random inside the same hour and each waits fifteen minutes, so the reflex answer is a quarter. Drawing both arrival times as one point in a 60 by 60 square turns the question into an area, and the two corner triangles it leaves out have legs of 45, giving 7/16 rather than 1/4. The general formula n(2T-n)/T squared shows why the first minutes of patience buy the most.

Two people agree to meet somewhere between one and two in the afternoon, without fixing a time. Each arrives at a moment chosen uniformly at random inside that hour, independently of the other. Each is willing to wait fifteen minutes and then leaves. How often do they actually meet?

Fifteen minutes is a quarter of an hour, so the reflex answer is one in four. That reflex has a real thought behind it, which is why it is worth answering carefully rather than waving away. The true figure is 7/167/16, which is 0.43750.4375, just under a coin flip and nearly twice the guess.

Turning two clocks into one point

Let XX and YYbe the two arrival times in minutes after one o'clock, so each is uniform on [0,60][0, 60] and the two are independent. Then the pair (X,Y)(X, Y) is uniform on the square [0,60]2[0,60]^2, and every probability in this problem becomes an area divided by 36003600. That single move is what makes the question tractable, and it deserves a name.

Probability as area

If a random point is uniform on a region SS of the plane, then for any measurable ESE \subseteq S the probability of landing in EE is area(E)/area(S)\operatorname{area}(E) / \operatorname{area}(S). Two independent uniform coordinates on intervals give a point uniform on their product rectangle, so questions about two independent uniform times are questions about area.

The next step is the one people skip, and skipping it is how the answer goes wrong. What exactly is the meeting event, written in terms of XX and YY?

Suppose the first person arrives at time XX and waits until X+15X + 15. The second arrives at YY. They overlap if YX+15Y \le X + 15. If instead YY came first, the same reasoning gives XY+15X \le Y + 15. Both conditions together are one condition:

they meet    XY15\text{they meet} \iff |X - Y| \le 15
(1)

The condition is symmetric in the two people, which it has to be, since neither of them is distinguished. Nothing about who arrives first survives into the final inequality, and that is the sign that the modelling step is right.

Two triangles, and the mistake that halves them

Inequality (1) carves a diagonal band out of the square, running parallel to the line x=yx = y with a vertical extent of fifteen minutes on either side. What it leaves out is a pair of corner regions, and getting their combined area right is the whole computation.

The region where xy>15x - y > 15 is the triangle with vertices (15,0)(15, 0), (60,0)(60, 0) and (60,45)(60, 45). Its two legs both measure 6015=4560 - 15 = 45. The region where yx>15y - x > 15 is its mirror image across the diagonal, with the same two legs. So there are two congruent right triangles of leg 45, and two congruent right triangles with equal legs fit together into the full square on that leg:

212452=452=20252 \cdot \tfrac{1}{2} \cdot 45^2 = 45^2 = 2025
(2)

That factor of two is the single place this problem punishes carelessness. Compute the area of one triangle, 452/2=1012.545^2/2 = 1012.5, forget that there are two of them, and you get a miss probability of 1012.5/3600=9/321012.5/3600 = 9/32 and an answer of 23/3223/32. Or take the band's half width of 15 as the leg of the omitted square rather than the 601560 - 15 that it is, giving a miss of (15/60)2=1/16(15/60)^2 = 1/16 and an answer of 15/1615/16, which is confidently wrong in the other direction. The safeguard is the picture: the two triangles visibly assemble into a square, so the omitted area is a square of side 45 and nothing else.

Fig. 1 — The two omitted triangles have equal legs of 45, so together they are a whole 45 by 45 square rather than half of one.

With the omitted area in hand the arithmetic is short. The miss probability is the square of side 45 over the square of side 60:

P(miss)=452602=(4560) ⁣2=916P(\text{miss}) = \frac{45^2}{60^2} = \left(\frac{45}{60}\right)^{\!2} = \frac{9}{16}
(3)

and the answer is the complement:

P(meet)=1916=716=0.4375P(\text{meet}) = 1 - \frac{9}{16} = \frac{7}{16} = 0.4375
(4)

The general wait

Nothing above used the particular numbers, so replace them. Let the window have length TT and let each person wait nn, with 0nT0 \le n \le T. The omitted triangles now have legs TnT - n, so

P(meet)=1(TnT) ⁣2=n(2Tn)T2P(\text{meet}) = 1 - \left(\frac{T-n}{T}\right)^{\!2} = \frac{n(2T-n)}{T^{2}}
(5)

At T=60T = 60 this is n(120n)/3600n(120-n)/3600. Substituting n=15n = 15 returns 7/167/16, and a half hour of patience gives 3090/3600=3/430 \cdot 90 / 3600 = 3/4. The condition nTn \le T matters: past n=Tn = T the formula keeps climbing above 1 and stops describing anything, because the triangles have already vanished and there is no more area to reclaim.

Fig. 2 — Equation (5) across the whole hour. The steep start is why fifteen minutes of patience buys so much more than a quarter.

The shape of that curve explains the gap between 1/41/4 and 7/167/16. Differentiating (5) gives 2(Tn)/T22(T-n)/T^2, so the first minutes of patience are the most valuable and the return falls off linearly. Waiting is front loaded. The first quarter of an hour buys nearly half the possible meetings, and the last quarter hardly buys anything, because by then only near-opposite arrival times are still failing.

Why one in four is a reasonable wrong answer

The guess is not pulled from nowhere. Fifteen minutes really is a quarter of the window, and if you fix one person's arrival at, say, one thirty, the other person meets them exactly when they land in a thirty-minute stretch, which is half the hour. The reflex takes a length of time and reads it directly as a probability. What it misses is that the stretch available to the second person depends on when the first arrived, and it depends on it asymmetrically: someone arriving at one o'clock has only fifteen minutes of cover ahead of them, while someone arriving in the middle of the hour has thirty. Averaging that varying window over the hour is precisely what equation (3) does.

Two readings that do not matter, and one that does

Two boundary questions come up every time this problem is posed, and both are harmless.

The first is whether "meet" needs a strict inequality. It makes no difference: XY=15|X - Y| = 15 is a line segment in the square, an area of zero, so P(XY15)P(|X-Y| \le 15) and P(XY<15)P(|X-Y| < 15) are the same number. The same goes for the event that the two arrive at exactly the same instant.

The second is whether somebody who arrives at 1:55 is allowed to wait past two o'clock. The problem as stated lets them, and the square in Fig. 1 carries no truncation along its top and right edges for that reason. This one is not cosmetic. If waiting is cut off at two o'clock, late arrivals get less than their fifteen minutes, the band gets clipped near the far corner, and the answer changes. So the reading has to be declared rather than assumed, and the version above is the one where the fifteen minutes is always available in full.

Sources and further reading

The figure 7/167/16 was checked four ways before publication. Symbolic algebra confirms equations (2) through (5). An exact lattice count on an m×mm \times m grid of cell centres returns 7/16+3/(4m)7/16 + 3/(4m) identically, which holds at m=240m = 240 as 141/320141/320 and at m=1200m = 1200 as 701/1600701/1600, so the limit is 7/167/16 exactly rather than merely close to it. Four million simulated afternoons give 0.43749350.4374935. Finally, a separate simulation that never uses inequality (1) at all, and instead builds each person's fifteen-minute occupancy interval and tests whether the two intervals intersect, gives 0.437840.43784 on 200000 trials, which puts the modelling step under test rather than the arithmetic alone.

Comments · 0

Be the first to comment.