Difference between revisions of "1994 AIME Problems/Problem 12"