Solution 1 (Official MAA)
First it will be shown by induction that the zeros of fn are the integers a,a+2,a+4,…,a+n(n−1), where a=n−2n(n−1).
This is certainly true for n=1. Suppose that it is true for n=m−1≥1, and note that the zeros of fm are the solutions of ∣x−m∣=k, where k is a nonnegative zero of fm−1. Because the zeros of fm−1 form an arithmetic sequence with common difference 2, so do the zeros of fm. The greatest zero of fm−1 is
m−1+2(m−1)(m−2)=2m(m−1),
so the greatest zero of fm is m+2m(m−1) and the least is m−2m(m−1).
It follows that the number of zeros of fn is 2n(n−1)+1=2n2−n+2, and their average value is n. The sum of the zeros of fn is
2n3−n2+2n.
Let S(n)=n3−n2+2n, so the sum of the zeros exceeds 500,000 if and only if S(n)>1,000,000=1003. Because S(n) is increasing for n>2, the values S(100)=1,000,000−10,000+200=990,200 and S(101)=1,030,301−10,201+202=1,020,302 show that the requested value of n is 101.
Solution 2 (Same idea, easier to see)
Starting from f1(x)=∣x−1∣, we can track the solutions, the number of solutions, and their sum:
n12345Solutions11,30,2,4,6−2,0,2...10−5,−3,−1...15number124711sum14122855
It is clear that the solutions form arithmetic sequences with a difference of 2, and the negative solutions cancel out all but n of the 1+2n(n−1) solutions. Thus, the sum of the solutions is n⋅[1+2n(n−1)], which is a cubic function. (Side Note: Gergor-Newton Interpolation Formula is applicable here)
n⋅[1+2n(n−1)]>500,000
Multiplying both sides by 2,
n⋅[2+n(n−1)]>1,000,000
1 million is 106=1003, so the solution should be close to 100.
100 is slightly too small, so 101 works.
~ dragnin
Video Solution
https://youtu.be/g13o0wgj4p0