Let a, b be the positive integers greater than 1. Prove that if ba,b−1a−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 ba and b−1a−1 differ by 1. This can be expressed as: ba−b−1a−1=1
2. We consider the two possible cases for the absolute value equation: ba−b−1a−1=1orb−1a−1−ba=1
3. Case 1: ba−b−1a−1=1 Simplify the left-hand side: ba−b−1a−1=b(b−1)a(b−1)−b(a−1)=b(b−1)ab−a−ba+b=b(b−1)b=b−11 Thus, we have: b−11=1⟹b−1=1⟹b=2 Substitute b=2 back into the equation: 2a−1a−1=1⟹2a−(a−1)=1⟹2a−2(a−1)=1⟹2a−2a+2=1⟹22−a=1⟹2−a=2⟹a=0 This is a contradiction since a and b are positive integers greater than 1. Therefore, this case is not possible.
4. Case 2: b−1a−1−ba=1 Simplify the left-hand side: b−1a−1−ba=b(b−1)(a−1)b−a(b−1)=b(b−1)ab−b−ab+a=b(b−1)a−b Thus, we have: b(b−1)a−b=1⟹a−b=b(b−1)⟹a=b2 Substitute a=b2 back into the fractions: ba=bb2=bandb−1a−1=b−1b2−1=b−1(b−1)(b+1)=b+1 Both ba=b and b−1a−1=b+1 are integers.
Therefore, the condition that ba and b−1a−1 differ by 1 implies that both fractions are integers.
■
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.