как доказать, что число 2^x может быть поделено нацело только числом вида 2^y, где y<=x? И никаким другим числом не может, (в качестве разминки для мозгов) Опции

[Krys]

Здравствуйте. Вопросик в качестве разминки для мозгов:
Как математически доказать, что число 2^x может быть поделено нацело только числом вида 2^y, где y<=x, и никаким другим числом не может (или наоборот может и ещё есть какие-то числа)?

Т.е. например число 2 в 12 степени это 4096 нацело делится двойкой в любой степени до 12 и ничем другим. Т.е. для меня важно доказать, что нет ничего другого, кроме 2^y

[blackfin]

Как математически доказать, что число 2^x может быть поделено нацело только числом вида 2^y, где y<=x, и никаким другим числом не может (или наоборот может и ещё есть какие-то числа)?

Это следует из Основной теоремы арифметики:

Каждое натуральное число n > 1 можно представить в виде n = p₁ *...* p_k, где p₁ ,.., p_k — простые числа,
причём такое представление единственно с точностью до порядка следования сомножителей.