Куб натурального числа назовём кубовским, если он содержит хотя бы по одному разу цифры 1, 5 и 7, а других цифр не содержит.
Наименьшим кубовским кубом является куб числа 173, равный 5177717.
Найдётся ли ещё один кубовский куб?
Какое наибольшее количество последовательных натуральных чисел можно записать, чтобы сумма цифр каждого из этих чисел не делилась на 6?
Мы прошли первую ступень этой иерархии, мир натуральных чисел (ℕ), идеальных для счета дискретных объектов. Но реальность богаче наших представлений о ней: она требует учета не только наличия, но и отсутствия, не только роста, но и убыли, не только движения вперед, но и направления назад. Натуральные числа с их ограниченностью a - b, где a > b, оказались недостаточными для описания всего спектра человеческого опыта и научных задач.
Продолжая наше путешествие по иерархии чисел ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ, мы вступаем в царство целых чисел (ℤ). Это мир, расширяющий горизонты ℕ, включая в себя не только положительные величины, но и их зеркальные отражения, отрицательные числа, а также важнейший символ пустоты и равновесия — ноль.
Примечание: ℕ, ℤ, ℚ, ℝ и ℂ— стандартные символы Юникода (exempli gratia, ℕ = U+2115), предназначенные специально для множества натуральных, целых, рациональных, вещественных и комплексных чисел соответственно. Использование данных символов исключает двусмысленность, вроде "...пусть N — натуральное число, тогда N ∈ N", что только запутает читателя.
Мир натуральных чисел (ℕ), мир счёта, сложения и умножения, казался древним математикам полным и самодостаточным. Однако сама жизнь ставила задачи, которые ℕ решить не могли:
Как выразить долг? Как формализовать убыль? Как решить уравнение x + 5 = 3?
Ответом стало появление целых чисел (ℤ), расширивших ℕ включением отрицательных чисел и нуля как полноценного объекта:
ℤ = {…, -3, -2, -1, 0, 1, 2, 3, …}.
Практические истоки целых чисел находятся в древних цивилизациях. В Китае эпохи Хань (200 г. до н.э.) трактат "Цзючжан Суаньшу" ввёл палочки двух цветов: красные для прибыли (正), чёрные для долга (負). Запись 赤三 黑五 (красные 3, чёрные 5) означала чистый долг в 2 единицы — прообраз -2.
В Индии V-VII вв. Брахмагупта в "Брахмаспхута-сиддханте" формализовал ноль и арифметику:
"...имущество" (дхана) + "долг" (рина) = их разность,
Произведение двух "долгов" (-a × -b) = "имущество" (+ab).
Хотя его попытка определить 0/0 = 0 была ошибочна, это смело расширило горизонты. Через исламский мир (аль-Хорезми, VIII-IX вв.) эти идеи достигли Европы, но встретили сопротивление.
Декарт в XVII веке называл отрицательные корни "ложными",
...но часто случается, что некоторые из этих корней ложны или меньше, чем ничто.
La Géométrie, 1637
а Паскаль отвергал вычитание 4 из 0 как абсурд:
...я понимаю, что можно обозначить долг знаком минус [...], но как можно представить величину меньшую, чем ничто?
Lettres de Pascal à Fermat, 1654
Современник Паскаля, английский математик Джон Валлис, парировал:
"...если кто-то не может понять, как -5 может быть меньше нуля, пусть представит термометр: температура ниже нуля действительно существует".
Перелом наступил лишь когда координатная прямая Декарта дала отрицательным числам геометрическую интерпретацию: точки левее нуля.
..и чтобы отличать эти равные, но противоположные по знаку числа, если корни истинные [положительные], я пишу их сразу после с знаком +; а если ложные [отрицательные], то с знаком -.
La Géométrie, 1637
Философский триумф целых чисел состоялся в XVIII-XIX веках. Леонард Эйлер в трудах по алгебре легитимировал операции с отрицательными числами,
Следовательно, ясно, что произведение -a на -b должно быть таким же, как произведение a на b, а именно +ab. ... Следовательно, если говорят, что -3 умножить на -4 дает +12, то это верное правило.)
Vollständige Anleitung zur Algebra, 1770
а Уильям Гамильтон включил ℤ в структуру коммутативного кольца (термин "коммутативное кольцо" появился позже, в 1897 у Д. Гильберта "Zahlbericht", формализован в 1921 Э. Нетёр "Idealtheorie in Ringbereichen" и устоялся в 1930 Б. ван дер Варденом "Moderne Algebra"), где каждое число имеет противоположное (a + (-a) = 0), а ноль стал нейтральным элементом (a + 0 = a, a × 0 = 0).
Ключевой скачок был не в символах, а в качественном преодолении ограничений ℕ:
1) Уравнение x + a = b разрешимо при любых a, b,
2) Появилась симметрия (-a как "зеркало" a),
3) Числа абстрагировались от контекста: -5 — не только долг, но и температура, смещение, заряд.
Как подчеркнул Герман Ганкель, это воплотило "принцип перманентности": законы ℕ сохранились при расширении до ℤ.
Если две формы, выраженные в общей арифметике, равны, то они должны оставаться равными и тогда, когда входящие в них символы перестают обозначать простые величины, и, следовательно, операции приобретают более общее содержание.
Законы арифметических операций, установленные для исходной системы чисел, должны сохраняться при любом их расширении, если только это не ведёт к противоречиям.
Объясним суть принципа на практике:
Возьмём сходный закон для ℕ, exempli gratia, дистрибутивность: a × (b + c) = a×b + a×c.
Расширение до ℤ:
При добавлении отрицательных чисел и нуля возник ключевой вопрос:
Как определить операции для новых объектов, чтобы старые правила не рухнули?
Пример с умножением:
Для натуральных 3 × 2 = 6.
Чтобы сохранить дистрибутивность в ℤ, пришлось принять:
3 × (-2) + 3 × 2 = 3 × ((-2) + 2) = 3 × 0 = 0 ⇒ 3 × (-2) + 6 = 0 ⇒ 3 × (-2) = -6
Так дистрибутивность потребовала положительное × отрицательное = отрицательное.
Принцип работает, только если новые объекты не создают парадоксов. Например, в ℤ сохранилось a × 0 = 0, но деление на ноль запрещено — оно разрушает структуру (1 = 2 и т.д.).
В прошлом посте мы обещали рассмотреть историю нуля подробнее. История нуля, напомним, началась с ранних форм-заполнителей пустоты (с 3000 г. до н.э.). Вавилоняне использовали двойной клин (˅˅) в шестидесятеричной системе (например, 1˅˅3 = 1×60² + 0×60 + 3), но это был лишь символ пропуска разряда, а не число.
Майя в I в. н.э. применяли знак-ракушку в двадцатеричном календаре для обозначения "начала" (день 0) и бесконечности, но не использовали его в вычислениях.
Древние Китай и Египет оставляли пустые места в записях (например, 4‿5 для 405), не создавая отдельного символа.
Революция произошла в Индии (III–IX вв.). В манускрипте Бакхшали (III–IV вв.) обнаружен древнейший символ нуля — жирная точка (●), служившая заполнителем в расчётах. Математик Брахмагупта в 628 г. в труде "Брахмаспхута-сиддханта" впервые определил ноль как число:
a + 0 = a, a − 0 = a,
a × 0 = 0,
0 ÷ a = 0 (деление на ноль он назвал "бесконечностью").
Символ превратился в кружок с именем "шунья" (санскр. "пустота"). Через арабов (Аль-Хорезми, IX в.) система распространилась в Европу: арабское "сыфр" (صفر) дало термины "цифра" и "шифр", а итальянцы преобразовали его в "zero".
В Европе (XII–XVII вв.) ноль встретил сопротивление.
В 1299 году Флоренция издала закон, полностью запретивший использование арабских цифр (включая ноль) в официальных документах, бухгалтерии и торговых записях. Арабские цифры легко поддавались исправлениям: например, 10 можно было превратить в 100 добавлением нуля, а 1 — в 7 или 9 минимальными правками. Власти требовали писать числа только словами или римскими цифрами, поскольку подделать текст было сложнее.
Церковь объявила его "дьявольским", ссылаясь на Аристотеля, отрицавшего пустоту. Однако купцы тайно использовали ноль в расчётах, а Фибоначчи в 1202 г. описал его в "Книге абака". К XV веку с развитием книгопечатания ноль узаконился. Научный прорыв совершил Декарт в XVII веке, сделав ноль началом координат в системе осей (x, y), что заложило основы аналитической геометрии и матанализа.
Хотя аксиомы Пеано описывают натуральные числа (ℕ), целые числа (ℤ) требуют более сложной структуры. Их можно построить двумя путями: расширением ℕ или независимой аксиоматизацией. Рассмотрим оба подхода.
1. Построение ℤ из ℕ через классы эквивалентности
Целые числа формально определяют как упорядоченные пары натуральных чисел (разность как абстракция):
(a, b) ∼ (c, d) ⇔ a + d = b + c.
Пример: (5, 3) ∼ (2, 0), так как 5 + 0 = 3 + 2 → обе пары кодируют число 2. Или (3, 5) ∼ (0, 2) → кодируют -2. Ноль: класс пар вида (a, a) (например, (4, 4) = 0).
Операции:
Сложение: (a,b) + (c,d) = (a+c, b+d),
Умножение: (a,b) × (c,d) = (ac+bd, ad+bc).
(5,3) (это 2) + (3,5) (это -2) = (8,8) = 0.
2. Аксиоматизация как коммутативного кольца
ℤ можно задать аксиомами алгебраической структуры (кольца). Основные аксиомы:
1. Ассоциативность: ∀a,b,c ∈ ℤ: (a+b)+c = a+(b+c).
2. Коммутативность: ∀a,b ∈ ℤ: a+b = b+a.
3. Нейтральный элемент: ∃ 0 ∈ ℤ: ∀a ∈ ℤ: a+0 = a.
4. Обратный элемент: ∀a ∈ ℤ ∃ (-a) ∈ ℤ: a + (-a) = 0.
1. Ассоциативность: ∀a,b,c ∈ ℤ: (a·b)·c = a·(b·c).
2. Коммутативность: ∀a,b ∈ ℤ: a·b = b·a.
3. Нейтральный элемент: ∃ 1 ∈ ℤ: ∀a ∈ ℤ: a·1 = a.
∀a,b,c ∈ ℤ: a·(b+c) = a·b + a·c.
a·b = 0 ⇒ a=0 ∨ b=0.
В ℤ есть симметрия (для каждого элемента существует противоположный), нет аксиомы индукции (она заменяется структурой кольца) и ℤ содержит ℕ как подмножество натуральных чисел (1, 2, 3, ...).
Отдельно отметим аксиомы порядка для ℤ
Чтобы ввести сравнение целых чисел, добавляют:
Трихотомия: ∀a,b ∈ ℤ верно ровно одно: a < b, a = b, a > b.
Монотонность сложения: a < b ⇒ a + c < b + c.
Монотонность умножения: a < b ∧ c > 0 ⇒ a·c < b·c.
-5 < 3, так как 3 - (-5) = 8 > 0.
Существует изоморфное вложение f: ℕ → ℤ, сохраняющее операции:
f(0_ℕ) = 0_ℤ,
f(S(n)) = f(n) + 1.
Так натуральные числа становятся подмножеством ℤ:
ℕ = {0, 1, 2, ...} ⊂ ℤ.
Введение целых чисел (ℤ) расширяет арифметику натуральных чисел (ℕ), но не преодолевает принципиальные ограничения, установленные теоремой Гёделя о неполноте. Рассмотрим причины.
Во-первых, почему ℤ не "сильнее" ℕ для теоремы Гёделя?
Целые числа строятся из натуральных через классы эквивалентности пар (например, (a, b) ∼ (c, d) ⇔ a + d = b + c). Любое утверждение о ℤ можно выразить в терминах ℕ. Если система аксиом для ℕ (Пеано) неполна, то её расширение до ℤ, основанное на тех же принципах, также будет неполным. Теорема Гёделя применима ко всем системам, содержащим арифметику ℕ.
Утверждение "...машина Тьюринга с номером n не останавливается на пустом вводе":
Формулируется через номера алгоритмов (n ∈ ℕ),
Остаётся недоказуемым в аксиомах Пеано и, следовательно, в ℤ, так как ℤ определяется через ℕ.
Во-вторых, однако, расширение до целых чисел решает конкретные алгебраические проблемы, но не затрагивает "неуловимость" гёделевских утверждений:
Разрешимость уравнений:
В ℤ всегда есть решение для x + a = b (где a, b ∈ ℤ), что невозможно в ℕ.
Недоказуемость мета-утверждений:
Гипотезы о свойствах ℕ (например, о распределении простых чисел) остаются за пределами формальных систем.
В-третьих, как и для натуральных чисел, так и для целых существуют принципиальные задачи или парадоксы, демонстрирующие сложность данной числовой системы.
Для данного неквадратного целого d > 1, найти все целочисленные решения (x, y) уравнения x² - dy² = 1.
Пара (x, y) ищется именно в целых числах. Уравнение тривиально в ℝ, но его решения в ℤ обладают глубокой структурой.
Хотя известно, что существует бесконечно много решений (фундаментальное решение порождает их все алгоритмически), нахождение самого фундаментального решения для произвольного d не имеет известной эффективной формулы. Его "размер" (величина x и y) может быть астрономически огромным даже для умеренных d, что делает проблему вычислительно трудной. Задача упирается в тонкую арифметику колец целых алгебраических чисел, выходящую за рамки элементарной арифметики ℤ.
Можно ли определить (алгоритмически или в рамках арифметики ℤ), остановится ли программа, которая на каждом шаге вычисляет значение линейного полинома с целыми коэффициентами от целочисленных переменных и проверяет условие вида P(x₁, x₂, ..., xₙ) >= 0 для перехода?
Переменные, коэффициенты, условия — все целочисленно. Это ограниченный, но важный класс программ, работающих исключительно с целыми числами и линейными операциями.
Проблема остановки даже для этого подкласса программ алгоритмически неразрешима. Это следствие неразрешимости общей 10-й проблемы Гильберта (доказанной Матиясевичем). Не существует алгоритма (и, следовательно, не может быть доказательства в достаточно сильной формальной системе, охватывающей ℤ), которое для любой такой программы и любого начального состояния целочисленных переменных корректно ответило бы, достигнет ли программа состояния остановки. Это конкретная неразрешимая проблема, живущая внутри ℤ.
Гипотеза глубоко связывает алгебраические свойства (ранг) эллиптической кривой, заданной уравнением y² = x³ + ax + b с целыми коэффициентами a, b (и дискриминантом без квадратов), с аналитическими свойствами ее L-функции в точке s=1. Конкретно: порядок нуля L-функции в s=1 должен равняться рангу группы рациональных точек кривой.
Кривая определяется целыми коэффициентами. Ранг — это максимальное число независимых рациональных точек бесконечного порядка на кривой, но сама группа точек и ее структура неразрывно связаны с арифметикой ℤ и ℚ. Вычисление ранга — задача целочисленной арифметической геометрии.
Это одна из "Проблем тысячелетия". Доказательство (или опровержение) гипотезы BSD даже для кривых ранга 0 и 1 остается недостижимым. Она требует синтеза глубоких теорий (модулярные формы, L-функции, теория групп), выходящих далеко за рамки аксиоматики кольца целых чисел. Ее статус подчеркивает, что даже "естественные" вопросы о диофантовых уравнениях (частный случай — точки кривой с целыми/рациональными координатами) в ℤ могут быть невероятно сложными и, возможно, неразрешимыми в рамках "элементарных" систем.
Множество M ⊆ ℤ называется диофантовым, если существует полином P(x, y₁, y₂, ..., yₙ) с целыми коэффициентами такой, что: x ∈ M ⇔ ∃ y₁, y₂, ..., yₙ ∈ ℤ : P(x, y₁, y₂, ..., yₙ) = 0.
Вся задача — о существовании целочисленных решений полиномиальных уравнений для определения подмножеств целых чисел.
Теорема Матиясевича (решившая 10-ю проблему Гильберта негативно) показывает, что существуют алгоритмически неразрешимые множества целых чисел (например, множество номеров машин Тьюринга, останавливающихся на пустом вводе), которые тем не менее являются диофантовыми! Это означает, что для такого множества M существует полином P, как описано выше, но нет алгоритма (и не может быть доказательства в достаточно сильной формальной системе, основанной на ℤ), который по произвольному x ∈ ℤ корректно определил бы, принадлежит ли x множеству M. Это прямой пример гёделевской неполноты, воплощенный внутри арифметики целых чисел через диофантовы множества.
Пусть даны n целых положительных чисел a₁, a₂, ..., aₙ, таких что НОД(a₁, a₂, ..., aₙ) = 1. Найти наибольшее целое число g(a₁, a₂, ..., aₙ), которое не может быть представлено в виде неотрицательной целой линейной комбинации: x₁a₁ + x₂a₂ + ... + xₙaₙ где xᵢ ∈ ℕ ∪ {0}.
Задача целиком о представлении целых неотрицательных чисел целочисленными комбинациями. Искомое число g — целое.
Для n=2 существует простая формула: g(a, b) = a·b - a - b. Однако для n >= 3 не существует общей замкнутой формулы для g(a₁, a₂, ..., aₙ). Более того, вычисление g для произвольного набора из n >= 3 чисел является NP-трудной задачей. Хотя это и не прямая недоказуемость в смысле Гёделя, это демонстрирует фундаментальную вычислительную сложность, присущую даже сравнительно простым комбинаторным задачам в ℤ. Невозможность найти общую эффективную формулу или алгоритм подчеркивает ограниченность наших возможностей предсказать поведение систем в ℤ.
Целые числа (ℤ) являются фундаментом цифровой эпохи: они лежат в основе криптографии (протоколы ZKP, zk-SNARKs), компьютерных систем (дополнительный код, координатные сетки) и точных наук (квантовые вычисления, инженерия).
Но даже ℤ недостаточно. Уравнение
2x = 1
неразрешимо в целых числах. Этот вызов приведёт нас к миру рациональных чисел (ℚ), следующей ступени великой иерархии ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ.
Наш главный приоритет - публикация качественного и достоверного материала. Каждая статья проходит многоэтапную проверку нашей командой.
Важно: материалы нашего проекта носят исключительно информативный характер. Они не являются образовательным контентом и не заменяют академические источники.
Схема-маршрутизатор ключевых положений поста.
Для каких натуральных n выражение (3^1-2^1)!+(3^2-2^2)!+ ... +(3^n-2^n)! является точной степенью?
Математика, во всем своём невероятном разнообразии, от криптографии и искусственного интеллекта до теоретической физики и финансовых моделей, опирается на универсальный язык. И этот язык числа. Однако сами числа не монолитная сущность. Они существуют в стройной иерархии взаимосвязанных систем, каждая из которых возникла как ответ на фундаментальные вопросы и ограничения предыдущей.
Примечание: ℕ, ℤ, ℚ, ℝ и ℂ— стандартные символы Юникода (exempli gratia, ℕ = U+2115), предназначенные специально для множества натуральных, целых, рациональных, вещественных и комплексных чисел соответственно. Использование данных символов исключает двусмысленность, вроде "...пусть N — натуральное число, тогда N ∈ N", что только запутает читателя.
В этом цикле статей мы совершим путешествие по удивительным мирам чисел: от простых и интуитивных натуральных чисел (ℕ), служащих для счета дискретных объектов, до загадочных комплексных чисел (ℂ), описывающих волновые процессы в квантовой механике и электротехнике.
Понимание этой иерархии, ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ, не просто академическое упражнение. Это ключ к осознанию того, почему математика работает так эффективно для описания мира. Мы увидим, как дискретность ℕ и ℤ управляет логикой вычислений, как непрерывность ℝ описывает физические законы движения и изменения, и как двумерность ℂ кодирует информацию о фазе и амплитуде в волновых процессах.
Готовы отправиться в путешествие от камешков до квантовых волн?
Начнем с самого основания, мира натуральных чисел (ℕ).
История натуральных чисел началась с практических потребностей древних цивилизаций. Зарубки на костях Ишанго, сделанные около 20 000 лет до н.э., свидетельствуют о первых попытках счета скота, урожая или дней. Шумеры (IV тысячелетие до н.э.) использовали числа для учета зерна, скота и налогов, а вавилоняне применяли их в астрономических расчетах движения планет уже во II тысячелетии до н.э.
Вавилоняне использовали пробел для обозначения нуля в записи чисел (напр., 1‿3 для 103), но не признавали его самостоятельной сущностью.
Эти числа, 1, 2, 3 и далее, стали фундаментом математики, и ноль долгое время не входил в их состав. Но отсутствие нуля было лишь частью решения более сложных задач.
Вавилоняне и майя использовали ноль как позиционный символ, но не считали его числом. В Европе ноль признали лишь в XII веке благодаря трудам Аль-Хорезми, хотя Аристотель отвергал его, утверждая, что
...природа не терпит пустоты.
К вопросу о нуле мы ещё вернёмся в следующих статьях.
Натуральные числа не могли решить уравнения типа x+3=1x+3=1 или корректно выразить результат деления 5 на 3, что позже привело к созданию целых и рациональных чисел. Античные философы, такие как Зенон, оспаривали саму возможность бесконечности ℕ, а средневековые теологи спорили, может ли Бог создать "наибольшее натуральное число".
Формализация ℕ завершилась в XIX веке. Пифагорейцы (V в. до н.э.) пытались свести мир к целым числам, но открытие иррациональности √2 разрушило эту идею.
Пифагорейцы обнаружили, что даже задача измерения диагонали квадрата (√2) неразрешима в рамках ℕ и их дробных отношений — это стал первый кризис оснований математики.
В 1889 году Джузеппе Пеано создал строгую аксиоматику:
1. 1 ∈ ℕ;
2. ∀n,m∈N(S(n)=S(m)⇒n=m) (инъективность функции следования, т. е. каждое число имеет последующее);
3. ∀n∈NS(n)≠1 (непредикативность 1, т. е. 1 не следует ни за каким числом);
4. [P(1) ∧ ∀k (P(k)⇒P(S(k)))]⇒∀n P(n) (принцип математической индукции, т. е. равенство последующих элементов влечет равенство самих чисел);
Аксиоматика Пеано (в вариантах с 0 или 1) остаётся стандартом.
Теоремы Курта Гёделя навсегда изменили наше понимание математики, показав принципиальные ограничения формальных систем. Применительно к натуральным числам их суть такова: любая достаточно мощная и непротиворечивая система аксиом (включая аксиомы Пеано) неспособна полностью охватить все истинные свойства натуральных чисел.
Это означает, что всегда существуют утверждения, которые истинны с содержательной точки зрения, но формально недоказуемы в рамках самой системы — и их отрицание также недоказуемо.
"Машина Тьюринга с номером n не останавливается на пустом вводе".
Это утверждение истинно для некоторых n (если машина действительно не останавливается) и недоказуемо в аксиомах Пеано. Такие утверждения относятся к конкретным свойствам натуральных чисел (номерам алгоритмов).
2. Натуральные числа обладают интуитивно ясными свойствами: бесконечность ряда 1,2,3,…1,2,3,…, корректность рекурсивных определений (сложение, умножение). Но никакая формальная система не может полностью захватить эту интуицию. Всегда останутся истины, невыводимые из аксиом.
3. Гипотезы в теории чисел могут быть принципиально недоказуемыми в рамках Пеано. Среди них проблема Гольдбаха (4=2+2,6=3+3,8=3+5,…4=2+2,6=3+3,8=3+5,…), гипотеза Римана (о распределении простых чисел) или гипотеза Коллатца (последовательность 3n+13n+1).
Как писал сам Гёдель:
Математические истины не являются исключительно продуктом человеческого разума.
Культурные особенности подчеркивают, что ℕ — не универсальная данность. Так, римская запись (I, II, III) затрудняла вычисления в сравнении с вавилонской позиционной системой. Вавилонская 60-ричная система (остатки в делении часа на 60 минут) превзошла римскую благодаря позиционности: число (2×60 + 12 = 132) записывалось двумя клинописными символами. У аборигенов Австралии (племя гуугу йимитир) числа 1–5 совпадают с названиями частей руки: "большой палец"=1, "мизинец"=5, а 6–19 — комбинации ("мизинец другой руки"=6). Древние майя использовали 20-ричную систему: точка (•) = 1, черта (–) = 5, ракушка = 0; число записывалось как 3•20 + 5 = 65. В средневековой Европе римские цифры (I, V, X) делали деление почти невозможным — для расчётов использовали абак или пальцы, а математики писали трактаты словами ("трижды три — девять");
У племени пираха́ (Амазония) отсутствуют числительные >2 ("много") — это подтверждает гипотезу лингвиста Бенджамина Уорфа: язык формирует математическую реальность.
Философски натуральные числа являются фундаментом математики. Леопольд Кронекер утверждал, что
Бог создал натуральные числа, всё остальное — дело рук человека
Исторические заблуждения, вроде средневековой нумерологии (где числам приписывали мистическую силу), напоминают, что в XIX веке наука отделила математику от эзотерики.
Представьте отель с бесконечными номерами (ℕ), где все места заняты. Приезжает новый гость. Можно ли его разместить? Да, если попросить каждого гостя переселиться в соседний номер: гость 1 → 2, 2 → 3, и так далее. Освободившийся номер 1 отдают новичку. Так доказывается, что ℕ + 1 = ℕ. Парадокс иллюстрирует свойство бесконечных множеств: их часть может быть равна целому.
Все "нетривиальные нули" дзета-функции Римана (специальной функции, связанной с простыми числами) лежат на одной волшебной линии — "критической прямой" Re = 1/2. Простые числа (2,3,5,7...) распределены в ℕ хаотично. Бернхард Риман связал их с дзета-функцией. Если гипотеза верна, простые числа (2,3,5,7...) распределены не хаотично, а подчиняются скрытому порядку. Задача входит в список "Проблем тысячелетия" с премией $1 млн.
Если n чётное, разделите его на 2: n/2n/2.Если n нечётное, примените 3n+13n+1.Независимо от начального n, последовательность всегда достигнет 1. Открыта с 1937 года. Проверена для всех n<268n<268, но общее доказательство отсутствует. Пример: для n=27n=27 последовательность требует 111 шагов до достижения 1.
Верно ли, что для любого натурального n>1n>1 и достаточно большого k, каждое достаточно большое натуральное число NN представимо в виде: N=p1n+p2n+⋯+pkn,N=p1n+p2n+⋯+pkn, где pipi — простые числа?
Проблема обобщает проблему Гольдбаха (сумма простых) и проблему Варинга (сумма степеней). Для n=1n=1 и k=3k=3 эквивалентна тернарной проблеме Гольдбаха (доказана Виноградовым в 1937 г.). Для n≥2n≥2 остаётся открытой.
Любое натуральное число ℕ может быть представлено в виде суммы не более mm mm-угольных чисел. Треугольные числа: Tk=k(k+1)2Tk=2k(k+1) (например, 1, 3, 6).
Квадратные числа: Kk=k2Kk=k2 (например, 1, 4, 9). Для любого m≥3m≥3 существует число g(m)g(m), такое что каждое NN выражается суммой g(m)g(m) mm-угольных чисел. Для квадратов (m=4m=4): g(4)=4g(4)=4 (теорема Лагранжа, 1770 г.).
Для треугольников (m=3m=3): Гаусс доказал, что g(3)=3g(3)=3 (1796 г.).
Доказан Гильбертом в 1909 г., но точные значения g(m)g(m) известны лишь для некоторых mm (например, g(5)=5g(5)=5, g(6)=6g(6)=6).
Сегодня ℕ лежат в основе RSA-шифрования (через простые числа) и теории алгоритмов, где они кодируют программы в машине Тьюринга.
Наш главный приоритет - публикация качественного и достоверного материала. Каждая статья проходит многоэтапную проверку нашей командой.
Важно: материалы нашего проекта носят исключительно информативный характер. Они не являются образовательным контентом и не заменяют академические источники.
Схема-маршрутизатор ключевых положений поста.
Навеяно вчерашним обсуждением, пост не сохранил. Вопрос был о рациональности корней произвольной степени из числа 4.
А помните школьное доказательство иррациональности корня из двух? И не надо, это лишь частный случай.
Теорема
Если корень произвольной натуральной степени из натурального числа является рациональным, то этот корень обязательно число натуральное.
Доказательство. Рациональный корень n-ой степени из натурального числа можно представить в виде несократимой дроби с натуральными числителем а и знаменателем b. Так как в разложении чисел а и b на простые множители общих множителей нет (иначе сокращаем дробь), то а^n и b^n также не имеют общих простых множителей, дробь (a/b)^n также является несократимой, поэтому равняться натуральному числу может только при условии b=1. Теорема доказана.
Следствие
Если корень любой натуральной степени из натурального числа не является натуральным, то он есть число иррациональное.
То есть, для корня пятой степень из четырёх или кубического корня из тринадцати не требуется отдельных рассуждений и доказательств.
Точно не скажем, но в нашем проекте с этим можно справиться буквально за минуту одной левой!
Нарисуйте три кружочка и четыре звёздочки и соедините их непересекающимися дорогами так, чтобы из каждого кружочка выходило ровно четыре дороги, а из каждой звёздочки — ровно три дороги. Два пункта не могут быть соединены двумя дорогами.
Ссылка на источник задачи:
https://mmmf.msu.ru/archive/20152016/Shatina/24.html
(задача №6).
