Maths Olympiad Prep

Library / /13 of 27

Number theory Difficulty 5.6 AIME, harder Prove it Croatia

Determine the largest positive integer nn such that
n+5n4+1395. n + 5 \mid n^4 + 1395.

Solutions — 2

Solution 1

Let d=n+5d = n + 5. Then dn4+1395d \mid n^4 + 1395.

We have n=d5n = d - 5, so
n4+1395=(d5)4+1395. n^4 + 1395 = (d - 5)^4 + 1395.
Expand (d5)4(d - 5)^4:
(d5)4=d44d35+6d2254d125+625=d420d3+150d2500d+625. (d - 5)^4 = d^4 - 4d^3 \cdot 5 + 6d^2 \cdot 25 - 4d \cdot 125 + 625 = d^4 - 20d^3 + 150d^2 - 500d + 625.
So
n4+1395=d420d3+150d2500d+625+1395=d420d3+150d2500d+2020. n^4 + 1395 = d^4 - 20d^3 + 150d^2 - 500d + 625 + 1395 = d^4 - 20d^3 + 150d^2 - 500d + 2020.
We want dd420d3+150d2500d+2020d \mid d^4 - 20d^3 + 150d^2 - 500d + 2020.

But dd420d3+150d2500d+2020d \mid d^4 - 20d^3 + 150d^2 - 500d + 2020 iff d20d3+150d2500d+2020d \mid -20d^3 + 150d^2 - 500d + 2020 (since dd4d \mid d^4).

So d20d3+150d2500d+2020d \mid -20d^3 + 150d^2 - 500d + 2020.

Let us write 20d3+150d2500d+2020=d(20d2+150d500)+2020-20d^3 + 150d^2 - 500d + 2020 = d(-20d^2 + 150d - 500) + 2020.

So d2020d \mid 2020.

Therefore, n+52020n + 5 \mid 2020.

We want the largest positive integer nn such that n+52020n + 5 \mid 2020.

The largest positive divisor of 20202020 is 20202020 itself, so n+5=2020    n=2015n + 5 = 2020 \implies n = 2015.

Check: Is 2015+5=20202015 + 5 = 2020 a divisor of 20154+13952015^4 + 1395?

But our argument shows that for n=2015n = 2015, n+5=2020n + 5 = 2020 divides n4+1395n^4 + 1395.

Thus, the answer is 2015\boxed{2015}.

Solution 2

4(2m1+1)(2m+1)(22m1+2m+1)=(p1)(p+1). 4(2^{m-1} + 1)(2^m + 1)(2^{2m-1} + 2^m + 1) = (p - 1)(p + 1).
Since pp is odd, the right-hand side is the product of two consecutive even numbers, so it is divisible by 8. The left-hand side is not divisible by 8, unless m=1m = 1.
It follows that the only solution is (p,m,n)=(11,1,3)(p, m, n) = (11, 1, 3).
3.3. Let GG be the set of all cities in the country. We call a pair (A,Z)(A, Z), where AA and ZZ are disjoint subsets of GG good if all cities in the set AA can be visited using only bus such that no city is visited twice and all cities in the set ZZ can be visited using only train such that no city is visited twice.
Let (A,Z)(A, Z) be a good pair such that the set AZA \cup Z has the maximum number of elements. If we prove AZ=GA \cup Z = G, the statement of the problem holds.
Let us assume the opposite, i.e. there is a city gg which isn't from AA nor ZZ. Without loss of generality we can assume that AA and ZZ are non-empty, because otherwise we can transfer any city from a non-empty set to an empty one.
Let nn be the number of cities in the set AA, and mm the number of cities in the set ZZ. Let us arrange the cities from AA in the series a1,,ana_1, \dots, a_n such that every two consecutive cities in that series are connected by a direct bus line. Also, let us arrange the cities from ZZ in the series z1,,zmz_1, \dots, z_m such that every two consecutive cities in that series are connected by a direct train line.
Since we assumed that the pair (A,Z)(A, Z) is maximum, the cities gg and a1a_1 have to be connected by train (otherwise the pair (A{g},Z)(A \cup \{g\}, Z) would be a good pair whose union would have more elements than AZA \cup Z), and gg and z1z_1 have to be connected by bus (otherwise the pair (A,Z{g})(A, Z \cup \{g\}) would be a good pair whose union would have more elements than AZA \cup Z).
The cities a1a_1 and z1z_1 have to be connected by bus or by train.

---
## Croatia2016_booklet — Page 19

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 reproduced verbatim; metadata (topic, difficulty) added by this project.