Maths Olympiad Prep

Library / Junior Balkan Mathematical Olympiad Shortlist /13 of 36

Junior Balkan Mathematical Olympiad Shortlist

Number theory Difficulty 5.6 AIME, harder Prove it JBMO

Problem:
Find all positive integers nn such that 36n−636^{n}-6 is a product of two or more consecutive positive integers.

Solution

Solution:
Answer: n=1n=1.

Among each four consecutive integers there is a multiple of 44. As 36n−636^{n}-6 is not a multiple of 44, it must be the product of two or three consecutive positive integers.

Case I. If 36n−6=x(x+1)36^{n}-6 = x(x+1) (all letters here and below denote positive integers), then 4⋅36n−23=(2x+1)24 \cdot 36^{n} - 23 = (2x+1)^2, whence (2⋅6n+2x+1)(2⋅6n−2x−1)=23(2 \cdot 6^{n} + 2x + 1)(2 \cdot 6^{n} - 2x - 1) = 23. As 2323 is prime, this leads to 2⋅6n+2x+1=232 \cdot 6^{n} + 2x + 1 = 23, 2⋅6n−2x−1=12 \cdot 6^{n} - 2x - 1 = 1. Subtracting these yields 4x+2=224x + 2 = 22, x=5x = 5, n=1n = 1, which is a solution to the problem.

Case II. If 36n−6=(y−1)y(y+1)36^{n}-6 = (y-1)y(y+1), then
36n=y3−y+6=(y3+8)−(y+2)=(y+2)(y2−2y+3) 36^{n} = y^{3} - y + 6 = (y^{3} + 8) - (y + 2) = (y + 2)(y^{2} - 2y + 3)
Thus each of y+2y+2 and y2−2y+3y^{2} - 2y + 3 can have only 22 and 33 as prime factors, so the same is true for their GCD. This, combined with the identity y2−2y+3=(y+2)(y−4)+11y^{2} - 2y + 3 = (y + 2)(y - 4) + 11 yields GCD⁡(y+2,y2−2y+3)=1\operatorname{GCD}(y+2, y^{2} - 2y + 3) = 1. Now y+2<y2−2y+3y+2 < y^{2} - 2y + 3 and the latter number is odd, so y+2=4ny+2 = 4^{n}, y2−2y+3=9ny^{2} - 2y + 3 = 9^{n}. The former identity implies yy is even and now by the latter one 9n≡3(mod4)9^{n} \equiv 3 \pmod{4}, while in fact 9n≡1(mod4)9^{n} \equiv 1 \pmod{4} — a contradiction. So, in this case there is no such nn.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.