Problem
On the sides and of an equilateral triangle , points and are chosen independently and uniformly at random. The question asks which interval contains the probability that the area of is less than half the area of . There are five choices, and each choice is an interval.
The full problem and the choices are on the AoPS problem page.
Where it goes wrong
- Randomness plus symmetry can look like a probability of . The area ratio is , not or . When both points are midpoints the ratio is only , so the cases below one half are the majority.
- Once the probability is that of , it is easy to treat the boundary as a straight line. It is a hyperbola, and the area of the region then comes out wrong.
- It is also easy to think the problem needs . The question only asks which interval the probability falls in, and a squeeze is enough.
Idea
Let and . They are independent and uniform on . The two triangles share :
The probability is the area of the unit square where . The complement lies above the curve , and only inside :
(The integral of and the natural logarithm are beyond Taiwan’s high-school curriculum. They are used here only to name the exact value.)
An integral is not required. The complement contains the triangle with vertices , , and . The curve bends upward, so the chord lies above the curve, and the complement has area greater than . The complement is also contained in the square of side , so its area is less than . The probability therefore lies between and , which is choice (D).
What the figure shows
- Drag and on the left, or the point on the right, or move x = AP/AB and y = AQ/AC. Gold stays in step with the point in the square. Once that point is above and to the right of the gold curve , the area ratio is no longer less than one half.
- Twenty thousand random pairs are drawn. Blue points sit under the curve and red points above it. The polyline below is the running proportion. It settles near and stops inside the gold band .
- Press Show the bounds. The red region is contained in the dashed square and contains the gold triangle, so the probability is trapped between and with no integral.
Comments
Comment with a GitHub account.