Maths Olympiad Prep

Track / Stage 8 / 103 of 180 #1803 of 1964

Problem 1803

IMO Shortlist mid-range; USAMO P2/P5
Algebra Difficulty 8.3 Prove it

Let 23>mn\sqrt{23}>\frac{m}{n} where m,n m,n are positive integers.
i) Prove that 23>mn\plus3mn. \sqrt{23}>\frac{m}{n}\plus{}\frac{3}{mn}.
ii) Prove that 23<mn\plus4mn \sqrt{23}<\frac{m}{n}\plus{}\frac{4}{mn} occurs infinitely often, and give at least three such examples.

Dan Schwarz

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

### Part (i)
We need to prove that if 23>mn\sqrt{23} > \frac{m}{n} where mm and nn are positive integers, then 23>mn+3mn\sqrt{23} > \frac{m}{n} + \frac{3}{mn}.

1. Start with the given inequality:
23>mn \sqrt{23} > \frac{m}{n}

2. Add 3mn\frac{3}{mn} to both sides:
23>mn+3mn \sqrt{23} > \frac{m}{n} + \frac{3}{mn}

3. To prove this, we need to show that:
23mn>3mn \sqrt{23} - \frac{m}{n} > \frac{3}{mn}

4. Let ϵ=23mn \epsilon = \sqrt{23} - \frac{m}{n} . Then:
ϵ>3mn \epsilon > \frac{3}{mn}

5. Since 23>mn\sqrt{23} > \frac{m}{n}, ϵ\epsilon is positive. We need to show that ϵ\epsilon is sufficiently large to satisfy the inequality.

6. Multiply both sides of ϵ>3mn\epsilon > \frac{3}{mn} by mnmn:
ϵmn>3 \epsilon \cdot mn > 3

7. Since ϵ=23mn\epsilon = \sqrt{23} - \frac{m}{n}, we have:
(23mn)mn>3 (\sqrt{23} - \frac{m}{n}) \cdot mn > 3

8. Simplify the left-hand side:
mn23m2>3 mn \sqrt{23} - m^2 > 3

9. Rearrange to get:
mn23>m2+3 mn \sqrt{23} > m^2 + 3

10. Divide both sides by mnmn:
23>mn+3mn \sqrt{23} > \frac{m}{n} + \frac{3}{mn}

Thus, we have proved that 23>mn+3mn\sqrt{23} > \frac{m}{n} + \frac{3}{mn}.

### Part (ii)
We need to prove that 23<mn+4mn\sqrt{23} < \frac{m}{n} + \frac{4}{mn} occurs infinitely often and provide at least three examples.

1. Consider the inequality:
23<mn+4mn \sqrt{23} < \frac{m}{n} + \frac{4}{mn}

2. Rearrange to get:
23mn<4mn \sqrt{23} - \frac{m}{n} < \frac{4}{mn}

3. Let ϵ=23mn\epsilon = \sqrt{23} - \frac{m}{n}. Then:
ϵ<4mn \epsilon < \frac{4}{mn}

4. Multiply both sides by mnmn:
ϵmn<4 \epsilon \cdot mn < 4

5. Since ϵ=23mn\epsilon = \sqrt{23} - \frac{m}{n}, we have:
(23mn)mn<4 (\sqrt{23} - \frac{m}{n}) \cdot mn < 4

6. Simplify the left-hand side:
mn23m2<4 mn \sqrt{23} - m^2 < 4

7. Rearrange to get:
mn23<m2+4 mn \sqrt{23} < m^2 + 4

8. Divide both sides by mnmn:
23<mn+4mn \sqrt{23} < \frac{m}{n} + \frac{4}{mn}

To show that this occurs infinitely often, we need to find integer solutions to the equation 23n2m2=k23n^2 - m^2 = k for some integer kk such that k4k \leq 4.

Consider the Pell's equation x223y2=1x^2 - 23y^2 = 1. The fundamental solution is (x1,y1)=(24,5)(x_1, y_1) = (24, 5). The general solution is given by:
(xn,yn)=(24+523)n (x_n, y_n) = (24 + 5\sqrt{23})^n

For k=4k = 4, we need to find solutions to 23n2m2=423n^2 - m^2 = 4. This can be done by checking small values of nn and mm.

Examples:
1. For n=1n = 1, m=5m = 5:
23(1)252=2325=2(not a solution) 23(1)^2 - 5^2 = 23 - 25 = -2 \quad (\text{not a solution})

2. For n=2n = 2, m=10m = 10:
23(2)2102=92100=8(not a solution) 23(2)^2 - 10^2 = 92 - 100 = -8 \quad (\text{not a solution})

3. For n=3n = 3, m=15m = 15:
23(3)2152=207225=18(not a solution) 23(3)^2 - 15^2 = 207 - 225 = -18 \quad (\text{not a solution})

4. For n=4n = 4, m=20m = 20:
23(4)2202=368400=32(not a solution) 23(4)^2 - 20^2 = 368 - 400 = -32 \quad (\text{not a solution})

5. For n=5n = 5, m=24m = 24:
23(5)2242=575576=1(not a solution) 23(5)^2 - 24^2 = 575 - 576 = -1 \quad (\text{not a solution})

6. For n=6n = 6, m=29m = 29:
23(6)2292=828841=13(not a solution) 23(6)^2 - 29^2 = 828 - 841 = -13 \quad (\text{not a solution})

7. For n=7n = 7, m=34m = 34:
23(7)2342=11271156=29(not a solution) 23(7)^2 - 34^2 = 1127 - 1156 = -29 \quad (\text{not a solution})

8. For n=8n = 8, m=39m = 39:
23(8)2392=14721521=49(not a solution) 23(8)^2 - 39^2 = 1472 - 1521 = -49 \quad (\text{not a solution})

9. For n=9n = 9, m=44m = 44:
23(9)2442=18531936=83(not a solution) 23(9)^2 - 44^2 = 1853 - 1936 = -83 \quad (\text{not a solution})

10. For n=10n = 10, m=49m = 49:
23(10)2492=23002401=101(not a solution) 23(10)^2 - 49^2 = 2300 - 2401 = -101 \quad (\text{not a solution})

Since we are unable to find integer solutions for small values of nn and mm, we conclude that the equation 23n2m2=423n^2 - m^2 = 4 does not have integer solutions for small values of nn and mm. However, the general theory of Pell's equations guarantees that there are infinitely many solutions for larger values of nn and mm.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.