Maths Olympiad Prep

Library / Czech-Polish-Slovak Match /24 of 30

Czech-Polish-Slovak Match

Number theory Difficulty 6.5 National Olympiad Find the answer

We consider positive integers nn having at least six positive divisors. Let the positive divisors of nn be arranged in a sequence (di)1≤i≤k(d_i)_{1\le i\le k} with 1=d1<d2<⋯<dk=n(k≥6).1=d_1<d_2<\dots <d_k=n\quad (k\ge 6).
Find all positive integers nn such that n=d52+d62.n=d_5^2+d_6^2.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Let n n be a positive integer with at least six positive divisors. The sequence of divisors of n n is (di)1≤i≤k (d_i)_{1 \le i \le k} where:

1=d1<d2<⋯<dk=n(k≥6). 1 = d_1 < d_2 < \cdots < d_k = n \quad (k \ge 6).

We need to find all n n such that:

n=d52+d62. n = d_5^2 + d_6^2.

Firstly, observe that if n n has a prime factorization n=p1a1p2a2⋯pmam n = p_1^{a_1} p_2^{a_2} \cdots p_m^{a_m} , then the number of divisors k k of n n is given by:

k=(a1+1)(a2+1)⋯(am+1). k = (a_1 + 1)(a_2 + 1) \cdots (a_m + 1).

For n n to have at least six divisors, consider the simplest cases:

1. n=p15 n = p_1^5 which has 6 divisors.
2. n=p12p2 n = p_1^2p_2 which has 6 divisors.

More complex prime factorizations can also be considered, but these two offer a simple starting point.

For the sequence (di) (d_i) :

- With n=p15 n = p_1^5 , the divisors are 1,p1,p12,p13,p14,p15 1, p_1, p_1^2, p_1^3, p_1^4, p_1^5 . Hence:
- d5=p14 d_5 = p_1^4
- d6=p15 d_6 = p_1^5

- With n=p12p2 n = p_1^2 p_2 , assume p1<p2 p_1 < p_2 , the divisors are 1,p1,p12,p2,p1p2,n 1, p_1, p_1^2, p_2, p_1p_2, n . Hence:
- d5=p1p2 d_5 = p_1p_2
- d6=n=p12p2 d_6 = n = p_1^2 p_2

For n=d52+d62 n = d_5^2 + d_6^2 :

Case 1:

- Consequently from n=p15 n = p_1^5 , calculate:
n=(p14)2+(p15)2=p18+p110. n = (p_1^4)^2 + (p_1^5)^2 = p_1^8 + p_1^{10}.

- Thus, the expression becomes:
n=p18+p110≠p15. n = p_1^8 + p_1^{10} \neq p_1^5.
No solution exists for n=p15 n = p_1^5 .

Case 2:

- From n=p12p2 n = p_1^2 p_2 and:
n=(p1p2)2+(p12p2)2=p12p22+p14p22. n = (p_1p_2)^2 + (p_1^2 p_2)^2 = p_1^2 p_2^2 + p_1^4 p_2^2.

- Thus, the expression becomes:
n=p12p22+p14p22. n = p_1^2 p_2^2 + p_1^4 p_2^2.

To solve for specific integers:

Let p1=2 p_1 = 2 and p2=5 p_2 = 5 :

Compute:

- n=22⋅5=20 n = 2^2 \cdot 5 = 20 .
- Therefore, check divisors 1,2,4,5,10,20 1, 2, 4, 5, 10, 20 .
- Check:
n=102+202=100+400=500. n = 10^2 + 20^2 = 100 + 400 = 500.

Thus the suitable n n ensuring conditions is indeed n=500 n = 500 .

Therefore, the integer n n that satisfies the condition is:

500 \boxed{500}

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: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.