Olympiad Maths Prep

Library / /3 of 4

Number theory Difficulty 4.5 AIME Prove it Turkey

Let m<nm < n be positive integers and p=n2+m2n2m2p = \frac{n^2 + m^2}{\sqrt{n^2 - m^2}}.

a. Find three pairs of positive integers (m,n)(m, n) for which pp is a prime number.

b. Show that if pp is a prime number, then p1(mod8)p \equiv 1 \pmod 8.

Solution

a. For (m,n)=(6,10)(m, n) = (6, 10), (12,15)(12, 15) and (30,78)(30, 78), pp is equal to
102+628=17,152+1229=41 and 782+30272=97. \frac{10^2 + 6^2}{8} = 17, \quad \frac{15^2 + 12^2}{9} = 41 \text{ and } \frac{78^2 + 30^2}{72} = 97.
respectively.

b. Let k=n2m2k = \sqrt{n^2 - m^2}. Then (k,m,n)(k, m, n) is a Pythagorean triple. Therefore, there exist positive integers d,xd, x and yy such that (x,y)=1(x, y) = 1, n=d(x2+y2)n = d(x^2 + y^2) and m=d(x2y2)m = d(x^2 - y^2) or m=2dxym = 2dxy.

If m=d(x2y2)m = d(x^2 - y^2), then p=d(x4+y4)xyp = \frac{d(x^4 + y^4)}{xy}. Since (x,y)=1(x, y) = 1, we have (xy,x4+y4)=1(xy, x^4 + y^4) = 1 and hence xyxy divides dd. As x4+y417x^4 + y^4 \ge 17 and pp is a prime, we get d=xyd = xy and p=x4+y4p = x^4 + y^4. Since one of xx and yy is even and the other one is odd, p=x4+y41(mod8)p = x^4 + y^4 \equiv 1 \pmod 8.

If m=2dxym = 2dxy, then p=d(x2y2)+8dx2y2x2y2p = d(x^2 - y^2) + \frac{8dx^2y^2}{x^2 - y^2}. Since 8dx2y2x2y2\frac{8dx^2y^2}{x^2 - y^2} is an integer and (xy,x2y2)=1(xy, x^2 - y^2) = 1, we have x2y2x^2 - y^2 divides 8d8d. On the other hand, as pp is a prime number, dd and 8dx2y2\frac{8d}{x^2 - y^2} are relatively prime. Thus, x2y2x^2 - y^2 is a multiple of dd. Therefore, x2y2=d,2d,4dx^2 - y^2 = d, 2d, 4d or 8d8d.
If x2y2=dx^2 - y^2 = d, then as p=d2+8x2y2p = d^2 + 8x^2y^2 is a prime, dd is odd and p1(mod8)p \equiv 1 \pmod 8.
If x2y2=2dx^2 - y^2 = 2d, then p=2(d2+2x2y2)p = 2(d^2 + 2x^2y^2) is not a prime number.
If x2y2=4dx^2 - y^2 = 4d, then p=2(2d2+x2y2)p = 2(2d^2 + x^2y^2) is not a prime number.

If x2y2=8dx^2 - y^2 = 8d, then p=8d2+x2y2p = 8d^2 + x^2y^2 is a prime number implies that both xx and yy are odd numbers and consequently p1(mod8)p \equiv 1 \pmod 8.

Looking for a route rather than 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.