Дан предложенный "доказательство": для всех натуральных n число n и n+1 взаимно просты, следовательно, у любого числа есть не более одной простой делящейся на него. Проанализируйте логику доказательства, укажите ошибку и перепишите корректную формулировку или доказательство
Ошибка в логике: из того, что для каждого nnn числа nnn и n+1n+1n+1 взаимно просты, нельзя заключать, что «у любого числа не более одной простой, делящей его». Связь «пара чисел не имеет общих простых делителей» не накладывает ограничение на число различных простых делителей одного числа. Корректное доказательство факта о соседних числах: Пусть простое ppp делит и nnn, и n+1n+1n+1. Тогда ppp делит разность (n+1)−n=1(n+1)-n=1(n+1)−n=1, что невозможно. Значит никакое простое не делит одновременно nnn и n+1n+1n+1, поэтому gcd(n,n+1)=1\gcd(n,n+1)=1gcd(n,n+1)=1. Контрпример к ошибочному выводу: число 666 имеет два простых делителя 222 и 333, то есть утверждение «у любого числа не более одного простого делителя» ложно: 6=2⋅36=2\cdot36=2⋅3. Правильная формулировка, вытекающая из исходного наблюдения: «У двух последовательных натуральных чисел нет общих простых делителей», или эквивалентно gcd(n,n+1)=1\gcd(n,n+1)=1gcd(n,n+1)=1 для всех nnn.
Корректное доказательство факта о соседних числах:
Пусть простое ppp делит и nnn, и n+1n+1n+1. Тогда ppp делит разность (n+1)−n=1(n+1)-n=1(n+1)−n=1, что невозможно. Значит никакое простое не делит одновременно nnn и n+1n+1n+1, поэтому
gcd(n,n+1)=1\gcd(n,n+1)=1gcd(n,n+1)=1.
Контрпример к ошибочному выводу: число 666 имеет два простых делителя 222 и 333, то есть утверждение «у любого числа не более одного простого делителя» ложно:
6=2⋅36=2\cdot36=2⋅3.
Правильная формулировка, вытекающая из исходного наблюдения:
«У двух последовательных натуральных чисел нет общих простых делителей», или эквивалентно gcd(n,n+1)=1\gcd(n,n+1)=1gcd(n,n+1)=1 для всех nnn.