Из основной теоремы арифметики вытекает любопытное следствие, касающееся простых чисел (вы можете найти его доказательство практически в любом учебнике, причем на первых страницах): если простое число
кратно 11, то 11 должно быть делителем либо 333, либо 3003 (на деле – только последнего сомножителя: 3003 = 11 × 273). В случае составных чисел это правило работает не всегда: так, 60 = 6 × 10 делится на 4, несмотря на то что 4 не является делителем ни 6, ни 10.
Чтобы показать уникальность каждого разложения на множители, пойдем от обратного – предположим, что одно и то же число можно представить несколькими отличными друг от друга произведениями. Допустим,
где все значения
что означает, что число
Кстати, существуют такие системы счисления, где далеко не каждое число раскладывается на множители
В марсианской системе числа вроде 6 или 10 будут считаться простыми, потому что их нельзя разложить на меньшие четные числа. А отличить простые числа от составных (которые, кстати, чередуются в ряду с завидной регулярностью) не составляет никакого труда: если число делится на 4 без остатка – оно составное (потому что 4
Но давайте посмотрим на число 180:
Очевидно, что оно может быть разложено на множители двумя разными способами, а значит, ни о какой уникальности на Марсе и слыхом не слыхивали.