Maths Olympiad Prep

Library / /1 of 3

Number theory Difficulty 6.1 National olympiad Find the answer

Find all pairs of positive integers m,nm, n such that 9mn+3mn+19^{|m-n|}+3^{|m-n|}+1 is divisible by mm and nn simultaneously.

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

Solution

To solve the problem, we need to find all pairs of positive integers (m,n) (m, n) such that 9mn+3mn+1 9^{|m-n|} + 3^{|m-n|} + 1 is divisible by both m m and n n simultaneously.

Let's denote d=mn d = |m-n| . The expression becomes f(d)=9d+3d+1 f(d) = 9^d + 3^d + 1 .

### Step-by-step Analysis:

1. **Case d=0 d = 0 :**
- If d=0 d = 0 , then m=n m = n .
- In this case, f(d)=90+30+1=1+1+1=3 f(d) = 9^0 + 3^0 + 1 = 1 + 1 + 1 = 3 .
- Therefore, f(0)=3 f(0) = 3 , and we need 3 3 to be divisible by m m and n n , which implies m=n=3 m = n = 3 .

2. **Case d>0 d > 0 :**
- If d>0 d > 0 , we consider the smallest values of d d and explore possibilities:
- For d=1 d = 1 :
f(1)=91+31+1=9+3+1=13 f(1) = 9^1 + 3^1 + 1 = 9 + 3 + 1 = 13
- Here, we require 13 13 to be divisible by both m m and n n . This implies m,n13 m, n \geq 13 , but since no positive integer smaller than 13 13 divides 13 13 except 1 1 itself, this leads us back to m=n=1 m = n = 1 .

- For larger d d values, note that f(d) f(d) grows significantly because both 9d 9^d and 3d 3^d grow exponentially. Thus, it is less likely for f(d) f(d) to be divisible by smaller numbers simultaneously unless specific conditions hold.

3. Conclusion:
- We verify that for m=n=3 m = n = 3 and m=n=1 m = n = 1 , the function f(d) f(d) is divisible by both numbers:
- For m=n=3 m = n = 3 , f(0)=3 f(0) = 3 is satisfied.
- For m=n=1 m = n = 1 , f(0)=3 f(0) = 3 divided by 1 1 gives no issues.

Therefore, the solutions to the problem, considering symmetry and the nature of the function, are:
(1,1) and (3,3) \boxed{(1, 1) \text{ and } (3, 3)}

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.