The Exact Batting Average


I got this problem from Rustan Leino, who Bertrand Meyer, who had heard it was once given on the Putnam exam.

I solved it and wrote up my solution.


At some point during a baseball season, a player has a batting average of less than 80%. Later during the season, their average exceeds 80%. Prove that at some point, their batting average was exactly 80%.

Also, for which numbers other than 80% does this property hold?

Solution     Reveal