Maths Olympiad Prep

Library / /1 of 27

Number theory Difficulty 4.7 AIME Prove it Austria

Let pp be a prime and let mm and nn be positive integers such that p2+m2=n2p^2 + m^2 = n^2.
Prove that m>pm > p.

Solution

We have p2=n2m2=(nm)(n+m)p^2 = n^2 - m^2 = (n - m)(n + m). Since pp is a prime, the number p2p^2 has the divisors 11, pp and p2p^2. Since the two factors nmn - m and n+mn + m are distinct, they cannot be both equal to pp. Furthermore, nmn - m is smaller than n+mn + m, therefore, nm=1n - m = 1, i.e. n=m+1n = m + 1.

We find
p2+m2=(m+1)2    p2=2m+1. p^2 + m^2 = (m + 1)^2 \iff p^2 = 2m + 1.

This immediately implies that pp is odd, therefore p3p \ge 3. We find 2m+1=p23p>2p+12m+1 = p^2 \ge 3p > 2p+1,
which gives m>pm > p as desired.

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 and solution reproduced as published; topic and difficulty added by this site.