Основная теорема о разложении на множители

Любое составное число с может быть записано в виде произведения с = a*b, причем ни один из делителей не равен 1 и каждый из них меньше, чем с; например,

72 = 8 • 9, 150 = 10 • 15.

При разложении числа с на множители один из них, и даже оба (а и b) могут оказаться составными. Если а — составное, то разложение на множители можно продолжить:

а = a ₁ • a ₂, с = a ₁ • a ₂ • b.

Примерами этого могут служить рассмотренные выше числа

72 = 2 • 4 • 9, 150 = 2 • 5 • 15.

Этот процесс разложения на множители можно продолжить до тех пор, пока он не закончится; это должно произойти, так как делители становятся все меньше и меньше, но не могут стать единицей. Когда ни один из делителей нельзя уже будет разложить на множители, то все делители будут простыми числами.

Таким образом мы показали, что

Каждое целое число, большее 1, является простым числом или произведением простых чисел.

При этом независимо от способа разложения числа на простые множители результат всегда будет одним и тем же, различаясь лишь порядком их записи, т. е. любые два разложения числа на простые множители содержат одни и те же простые числа; при этом каждое простое число содержится одинаковое число раз в обоих разложениях.

Этот результат мы можем кратко выразить следующим образом:

разложение числа на простые множители единственно.

Возможно, что вы так часто слышали об этой так называемой «основной теореме арифметики» и пользовались ею, что она представляется вам очевидной, но это совсем не так. Эта теорема может быть доказана несколькими различными способами, однако ни один из них не тривиален. Здесь мы приведём доказательство, используя способ «от противного».

Доказательство. Предположим, что наша теорема о единственности разложения на множители неверна. Тогда должны существовать числа, имеющие по крайней мере два различных разложения на простые множители. Выберем из них наименьшее и обозначим его через с ₀. Для небольших чисел, скажем, меньших 10, истинность теоремы можно установить прямой проверкой. Число с ₀ имеет наименьший простой множитель р ₀, и мы можем записать:

c ₀ = p ₀ d ₀.

Так как d ₀ < c ₀, то число d ₀ единственным образом раскладывается на простые множители. Отсюда следует, что разложение числа c ₀ на простые множители, содержащее число р ₀, единственно.

А так как, по предположению, имеется по крайней мере два разложения числа c ₀ на простые множители, то должно быть разложение, не содержащее число р ₀. Наименьшее простое число в этом разложении мы обозначим через р ₁ и запишем

c ₀ = p ₁ d ₁.

Так как p ₁ > p ₀, то d ₁ < d ₀ и, следовательно, p ₀ d ₁ < c ₀. Рассмотрим число

c ₀' = c ₀ — p ₀ d ₁ = (p ₁ - p ₀) • d ₁.

Так как оно меньше, чем число c ₀, то оно должно раскладываться на простые множители единственным способом; при этом простые множители числа c ₀ состоят из простых множителей чисел p ₁ - p ₀ и d ₁. Так как число c ₀ делится на p ₀, то число c ₀' также делится на p ₀. Следовательно, p ₀ должно быть делителем либо числа d ₁, либо p ₁ - p ₀. Но любой простой делитель числа d ₁ больше, чем p ₀, так как p ₁ — наименьшее простое число в разложении c ₀. Таким образом, остается единственная возможность: p ₀ должно быть делителем числа p ₁ - p ₀ и, следовательно, оно делит p ₁. Итак, мы пришли к противоречию, потому что p ₁ является простым числом и не может делиться на другое простое число p ₀.

Выше мы отмечали, что единственность разложения числа на простые множители совсем не очевидна. В действительности, существуют «арифметики», в которых аналогичная теорема не выполняется. Простейшим примером такой арифметики может служить арифметика четных чисел

2, 4, 6, 8, 10, 12…

Некоторые из них могут быть разложены на два четных множителя, а другие — нет; последние мы называем чётно-простыми числами. Это числа, которые делятся на 2, но не делятся на 4:

2, 6, 10, 14, 18….

Очевидно, что каждое четное число либо является четно-простым, либо записывается в виде произведения чётно-простых чисел. Но такое разложение на чётно-простые числа не всегда будет единственным. Например, число 420 может быть разложено на четно-простые числа различными способами:

420 = 6 • 70 = 10 • 42 = 14 • 30.

Упражнение 2. В каких случаях четные числа обладают единственным разложением на четно-простые множители?

Дата добавления: 2015-08-05