Maths Olympiad Prep

Track / Stage 6 / 368 of 400 #1368 of 1964

Problem 1368

National olympiad, first round
Number theory Difficulty 6.9 Prove it

Let aa, bb be the positive integers greater than 11. Prove that if
ab,  a1b1 \frac{a}{b},\; \frac{a-1}{b-1}
differ by 1, then both are integers.

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

1. We start with the given condition that the fractions ab\frac{a}{b} and a1b1\frac{a-1}{b-1} differ by 1. This can be expressed as:
aba1b1=1 \left| \frac{a}{b} - \frac{a-1}{b-1} \right| = 1

2. We consider the two possible cases for the absolute value equation:
aba1b1=1ora1b1ab=1 \frac{a}{b} - \frac{a-1}{b-1} = 1 \quad \text{or} \quad \frac{a-1}{b-1} - \frac{a}{b} = 1

3. Case 1:
aba1b1=1 \frac{a}{b} - \frac{a-1}{b-1} = 1
Simplify the left-hand side:
aba1b1=a(b1)b(a1)b(b1)=ababa+bb(b1)=bb(b1)=1b1 \frac{a}{b} - \frac{a-1}{b-1} = \frac{a(b-1) - b(a-1)}{b(b-1)} = \frac{ab - a - ba + b}{b(b-1)} = \frac{b}{b(b-1)} = \frac{1}{b-1}
Thus, we have:
1b1=1    b1=1    b=2 \frac{1}{b-1} = 1 \implies b-1 = 1 \implies b = 2
Substitute b=2b = 2 back into the equation:
a2a11=1    a2(a1)=1    a2(a1)2=1    a2a+22=1    2a2=1    2a=2    a=0 \frac{a}{2} - \frac{a-1}{1} = 1 \implies \frac{a}{2} - (a-1) = 1 \implies \frac{a - 2(a-1)}{2} = 1 \implies \frac{a - 2a + 2}{2} = 1 \implies \frac{2 - a}{2} = 1 \implies 2 - a = 2 \implies a = 0
This is a contradiction since aa and bb are positive integers greater than 1. Therefore, this case is not possible.

4. Case 2:
a1b1ab=1 \frac{a-1}{b-1} - \frac{a}{b} = 1
Simplify the left-hand side:
a1b1ab=(a1)ba(b1)b(b1)=abbab+ab(b1)=abb(b1) \frac{a-1}{b-1} - \frac{a}{b} = \frac{(a-1)b - a(b-1)}{b(b-1)} = \frac{ab - b - ab + a}{b(b-1)} = \frac{a - b}{b(b-1)}
Thus, we have:
abb(b1)=1    ab=b(b1)    a=b2 \frac{a - b}{b(b-1)} = 1 \implies a - b = b(b-1) \implies a = b^2
Substitute a=b2a = b^2 back into the fractions:
ab=b2b=banda1b1=b21b1=(b1)(b+1)b1=b+1 \frac{a}{b} = \frac{b^2}{b} = b \quad \text{and} \quad \frac{a-1}{b-1} = \frac{b^2 - 1}{b-1} = \frac{(b-1)(b+1)}{b-1} = b+1
Both ab=b\frac{a}{b} = b and a1b1=b+1\frac{a-1}{b-1} = b+1 are integers.

Therefore, the condition that ab\frac{a}{b} and a1b1\frac{a-1}{b-1} differ by 1 implies that both fractions are integers.

\blacksquare

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