Maths Olympiad Prep

Library / /8 of 19

, 2021

Geometry Difficulty 5.0 AIME, harder Find the answer United States

Problem:

A set of 6 distinct lattice points is chosen uniformly at random from the set {1,2,3,4,5,6}2\{1,2,3,4,5,6\}^2. Let AA be the expected area of the convex hull of these 6 points. Estimate N=104AN=\left\lfloor 10^4 A\right\rfloor.

An estimate of EE will receive max(0,2020(EN104)1/3)\max \left(0,\left\lfloor 20-20\left(\frac{|E-N|}{10^4}\right)^{1 / 3}\right\rfloor\right) points.

Proposed by: Milan Haiman

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Solution:

The main tools we will use are linearity of expectation and Pick's theorem. Note that the resulting polygon is a lattice polygon, and thus the expected area AA satisfies
A=I+B21 A = I + \frac{B}{2} - 1
where II is the expected number of interior points and BB is the expected number of boundary points. We may now use linearity of expectation to write this as
A=1+p{1,2,,6}2E[Xp] A = -1 + \sum_{p \in \{1,2, \ldots, 6\}^2} \mathbb{E}\left[X_p\right]
where XpX_p is 1 if the point is inside the polygon, 1/21 / 2 if the point is on the boundary, and 0 otherwise. Letting f(p)=E[Xp]f(p) = \mathbb{E}\left[X_p\right], we may write this by symmetry as
A=1+4f(1,1)+8f(1,2)+8f(1,3)+4f(2,2)+8f(2,3)+4f(3,3) A = -1 + 4 f(1,1) + 8 f(1,2) + 8 f(1,3) + 4 f(2,2) + 8 f(2,3) + 4 f(3,3)
There are many ways to continue the estimation from here; we outline one approach. Since X(1,1)X_{(1,1)} is 1/21 / 2 if and only if (1,1)(1,1) is one of the selected points (and 0 otherwise), we see
f(1,1)=112 f(1,1) = \frac{1}{12}
On the other hand, we may estimate that a central point is exceedingly likely to be within the polygon, and guess f(3,3)1f(3,3) \approx 1. We may also estimate f(1,y)f(1, y) for y{2,3}y \in \{2,3\}; such a point is on the boundary if and only if (1,y)(1, y) is selected or (1,z)(1, z) is selected for some z<yz<y and for some z>yz>y. The first event happens with probability 1/61 / 6, and the second event happens with some smaller probability that can be estimated by choosing the 6 points independently (without worrying about them being distinct); this works out to give the slight overestimate
f(1,2),f(1,3)18 f(1,2), f(1,3) \approx \frac{1}{8}
From here, it is not so clear how to estimate f(2,2)f(2,2) and f(2,3)f(2,3), but one way is to make f(x,y)f(x, y) somewhat linear in each component; this works out to give
f(2,2)14,f(2,3)12 f(2,2) \approx \frac{1}{4}, \quad f(2,3) \approx \frac{1}{2}
(In actuality the estimates we'd get would be slightly higher, but each of our estimates for f(x,y)f(x, y) up until this point have been slight overestimates.) Summing these up gives us an estimate of A313A \approx \frac{31}{3} or E=103333E=103333, which earns 10 points. The actual value of AA is 10.455277610.4552776 \ldots, and so N=104552N=104552.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.