Сколько существует таких пар натуральных чисел (a, b), что НОД(a, b) = 1 и (6a - 23b) / (a + b) является целым числом?

Разбор задачи

Нам нужно найти количество пар натуральных чисел \( (a, b) \), для которых выполняются два условия:

1. Наибольший общий делитель (НОД) чисел \( a \) и \( b \) равен 1: \( \text{НОД}(a, b) = 1 \).
2. Выражение \( \frac{6a - 23b}{a + b} \) представляет собой целое число.

Давай разложим второе условие. Мы можем представить дробь \( \frac{6a - 23b}{a + b} \) следующим образом:

\( \frac{6a - 23b}{a + b} = \frac{6(a + b) - 6b - 23b}{a + b} = \frac{6(a + b) - 29b}{a + b} = 6 - \frac{29b}{a + b} \)

Чтобы вся эта дробь была целым числом, выражение \( \frac{29b}{a + b} \) должно быть таким, чтобы при вычитании из 6 мы получили целое число. Это значит, что \( \frac{29b}{a + b} \) само должно быть целым числом.

Так как \( a \) и \( b \) — натуральные числа, то \( a + b \) — натуральное число, и \( 29b \) — натуральное число. Для того чтобы \( \frac{29b}{a + b} \) было целым, \( a + b \) должно быть делителем числа \( 29b \).

Поскольку \( a \) и \( b \) — натуральные числа, \( a + b > b \).

Также, \( a + b \) должно быть делителем \( 29b \). Поскольку 29 — простое число, возможны два случая для делителей \( a + b \):

Случай 1: \( a + b \) является делителем \( b \).

Так как \( a \) — натуральное число, \( a > 0 \), следовательно \( a + b > b \). Поэтому \( a + b \) не может быть делителем \( b \), если \( b > 0 \). Этот случай невозможен.

Случай 2: \( a + b \) является делителем \( 29 \).

Так как \( a \) и \( b \) — натуральные числа, \( a+b > 1 \). Делителями числа 29 являются 1 и 29. Поэтому \( a+b \) может быть только 29.

Итак, мы получили, что \( a + b = 29 \). Теперь нам нужно учесть первое условие: \( \text{НОД}(a, b) = 1 \).

Нам нужно найти пары натуральных чисел \( (a, b) \) такие, что:

• \( a + b = 29 \)
• \( \text{НОД}(a, b) = 1 \)

Перечислим все возможные пары \( (a, b) \), где \( a, b \) — натуральные числа и \( a + b = 29 \):

\( (1, 28), (2, 27), (3, 26), ... , (14, 15), (15, 14), ... , (27, 2), (28, 1) \)

Всего таких пар \( 28 \).

Теперь проверим условие \( \text{НОД}(a, b) = 1 \) для каждой пары.

Если \( a + b = 29 \) и \( \text{НОД}(a, b) = d \), то \( d \) также является делителем \( a \) и \( b \). Следовательно, \( d \) также является делителем их суммы \( a+b \). То есть \( d \) — делитель 29. Поскольку 29 — простое число, его единственные делители — 1 и 29.

Если \( d = 29 \), то \( a = 29 \) и \( b = 29 \) (или наоборот), но в этом случае \( a+b = 58 \), что противоречит \( a+b=29 \).

Значит, единственный возможный общий делитель — это 1. Таким образом, для всех пар \( (a, b) \) таких, что \( a+b = 29 \), выполняется условие \( \text{НОД}(a, b) = 1 \).

Нам нужно посчитать, сколько таких пар. Так как \( a \) и \( b \) — натуральные числа, \( a \) может принимать значения от 1 до 28 (если \( a=29 \), то \( b=0 \), что не является натуральным числом).

Количество таких пар равно 28.

Проверка:

Возьмем любую пару, например, \( a=1, b=28 \). \( \text{НОД}(1, 28) = 1 \).

\( \frac{6a - 23b}{a + b} = \frac{6(1) - 23(28)}{1 + 28} = \frac{6 - 644}{29} = \frac{-638}{29} = -22 \). Это целое число.

Возьмем пару \( a=15, b=14 \). \( \text{НОД}(15, 14) = 1 \).

\( \frac{6a - 23b}{a + b} = \frac{6(15) - 23(14)}{15 + 14} = \frac{90 - 322}{29} = \frac{-232}{29} = -8 \). Это целое число.

Ответ: существует 28 таких пар натуральных чисел.