Докажите, что если наибольший общий делитель (a,b)=1, то и наибольший общий делитель(ab,a+b=1)

Чтобы доказать, что если наибольший общий делитель двух чисел \(a\) и \(b\) равен 1, то наибольший общий делитель произведения \(ab\) и суммы \(a + b\) также равен 1, воспользуемся свойствами чисел и делимости.

1. По условию, \( \text{gcd}(a, b) = 1 \) означает, что числа \(a\) и \(b\) взаимно простые, то есть у них нет общих делителей, кроме 1.

2. Рассмотрим \(d = \text{gcd}(ab, a+b)\). Наше утверждение состоит в том, что \(d = 1\). Чтобы это доказать, предположим, что \(d\) делит и \(ab\), и \(a + b\).

3. Если \(d\) делит \(a + b\), то можно записать: \[ a + b \equiv 0 \pmod{d} \] Это означает, что \(a \equiv -b \pmod{d}\).

4. Поскольку \(d\) делит \(ab\), мы можем выразить: \[ ab \equiv 0 \pmod{d} \]

5. Подставим \(a \equiv -b \pmod{d}\) в выражение для \(ab\): \[ ab \equiv (-b)b \equiv -b^2 \pmod{d} \] Это означает, что \(d\) также делит \(-b^2\), и, следовательно, \(d\) делит \(b^2\).

6. Аналогично, так как \(d\) делит \(ab\), выражая \(a = -b \pmod{d}\), получаем: \[ ab \equiv a(-a) \equiv -a^2 \pmod{d} \] Таким образом, \(d\) также делит \(a^2\).

7. Мы теперь знаем, что \(d\) делит как \(a^2\), так и \(b^2\). Поскольку \(d\) делит \(a\) и \(b\), это означает, что \(d\) является общим делителем \(a\) и \(b\), что противоречит тому, что \( \text{gcd}(a, b) = 1\).

8. Следовательно, мы пришли к выводу, что \(d\) не может быть больше 1. То есть, \(d\) должно быть равно 1.

Таким образом, мы доказали, что если \( \text{gcd}(a, b) = 1\), то и \( \text{gcd}(ab, a + b) = 1\).