Average of Three Numbers from 1 to 20
You pick three distinct numbers from the set $\{1, 2, \ldots, 20\}$. What is the probability that one of the three numbers is the arithmetic mean of the other two?
Hints
- If one number is the average of the other two, what algebraic relationship must the three numbers satisfy?
- The three numbers must form an arithmetic progression. Count APs by their common difference $d$.
- For common difference $d$, the AP $(a, a+d, a+2d)$ requires $a + 2d \leq 20$, giving