Наши комментарии
Поскольку Космический разум дал нам подсказку о способе доказательства Основной теоремы арифметики, то, как и в случае с определений базовых понятий арифметики, мы изложим здесь это доказательство вместе с его историей следующим образом.
Самая ранняя из известных версий теоремы дана в «Началах Евклида», книга IX, предложение 14:
Далее разъясняется: «
Доказательство этой теоремы только на первый взгляд выглядит убедительно, и эта видимость основательности усиливается цепочкой ссылок: IX-14 → VII-30 → VII-20 → VII-4 → VII-2.
Однако здесь допущена элементарная и даже очень грубая ошибка. Её суть в следующем:
Пусть A=BCD, где числа B, C, D простые. Если допустить теперь существование простого E, отличного от B, C, D, и такого, что A=EI, то делается вывод, что в этом случае A=BCD не делится на E.
Это последнее утверждение неверно, поскольку теорема ведь ещё не доказана и не исключено, например, BCD=EFGH, где E, F, G, H простые числа, отличные от B, C, D. Тогда
A:E=BCD:E=EFGH:E=FGH
т.е. в этом случае станет возможно, что число A может делиться на число E и тогда доказательство теоремы опирается на аргумент, который ещё не доказан, поэтому конечный вывод неверный.
Та же ошибка может попасть и в другие теоремы, использующие разложение целых чисел на простые множители. Видимо, из-за архаичной лексики «Начал Евклида», даже такой великий учёный как Эйлер не обратил должного внимания на эту теорему, иначе вряд ли бы он стал использовать на практике «комплексные числа», которые ей не подчиняются.
Такая же история произошла и с Гауссом, который, также не заметил этой теоремы в «Началах» Евклида, но всё же сформулировал её, когда в ней возникла необходимость. Формулировка и доказательство Гаусса следующие: