Наверное, каждый из хабровчан хотя бы раз в жизни слышал это выражение. Действительно, что может быть проще? Однако я знавал преподавателя математического анализа, который, услыхав подобное, ехидно улыбался в усы и предлагал доказать этот факт. После этого у говорившего обычно случался когнитивный диссонанс.
И действительно, как же доказать, что 2 × 2 = 4? Ответ под хабракатом.
Данная статья не содержит ничего нового для читателей с серьёзным математическим образованием. Также, вполне вероятно, она будет неинтересна людям с чисто инженерным складом ума. Этот текст писался в расчёте на тех, кому интересны основания математики, но кто до сих пор не нашёл времени и сил в них разобраться.
Что такое натуральные числа? Четверо из пяти людей, встреченных на улице, ответят:«Это один, два, три и так далее». Более строгая формулировка этого ответа, которую я встретил в школьном учебнике, гласит: натуральные числа — это члены арифметической прогрессии, начинающейся с 1 и имеющей разность 1. Другое определение из учебника: это числа, которые используются для обозначения количества объектов.
До конца XIX века натуральные числа определялись примерно так, либо не определялись вообще, полагаясь чем-то самим собой разумеющимся. А потом началась перестройка: здание математики стали переносить на фундамент теории множеств, и вещи, которые ранее казались элементарными, внезапно потребовали строгого обоснования.
Товарищ Джузеппе Пеано, большой озорник и затейник (чего стоит хотя бы латино-сине-флексионе), создал очень простую и компактную аксиоматику натуральных чисел, используемую и поныне. Натуральные числа в его интерпретации похожи на структуру данных "односвязный список" — правда, бесконечный.
Итак, натуральные числа — это множество ℕ с заданной на нём функцией следования a → a', которые удовлетворяют следующим трём аксиомам:
Эта аксиома означает, что наш односвязный список бесконечен. Нет такого элемента, у которого в поле «next» записан null. Также это именно список, а не какое-нибудь бинарное дерево: у каждого элемента только один следующий.
У списка должна быть голова, причём только одна. Список не должен зацикливаться (за третьим элементом не может следовать второй).
Без этой аксиомы можно было бы, допустим, добавить к множеству натуральных чисел ещё одно число-уроборос, следующее за самим собой. Или ещё два числа, которые следуют друг за другом. Иначе говоря, аксиома 3 не допускает утечек памяти, которые могли бы возникнуть из-за изолированных кусков списка, до которых нельзя добраться по ссылкам, если идти от головы. Если из натуральных чисел можно что-то выкинуть — это не натуральные числа.
Арифметические операции в аксиоматике Пеано определяются не менее интересно. Сложение описывается следующими двумя свойствами:
— а умножение — вот этими двумя:
Удивительно, но здесь нет ни слова о коммутативности, ассоциативности, дистрибутивности и прочих свойствах сложения и умножения, о которых рассказывают в школе. Все они выводятся из этих четырёх базовых.
Вооружившись знаниями, мы можем теперь перейти к доказательству. Однако сначала нужно понять две вещи: что такое 2 и что такое 4. Двойка следует за единицей, поэтому 2 = 1'. Четвёрка следует за тройкой, которая, в свою очередь, следует за двойкой, которая, как я уже говорил, следует за единицей — поэтому 4 = 1'''.
Итак, нам нужно доказать следующее: 1' × 1' = 1'''.
Сначала докажем, что дважды два — это два плюс два. Действительно,
Теперь докажем, что 2 + 2 = 4.
Всякая простая вещь, если вглядываться в неё пристально, через какое-то время перестаёт казаться простой. Натуральные числа и операции над ними — не исключение, а скорее яркий пример. Ещё более сложным и интересным образом в современной математике строятся множества целых, рациональных и действительных чисел. Но это тема совсем другого разговора.
И действительно, как же доказать, что 2 × 2 = 4? Ответ под хабракатом.
Дисклеймер
Данная статья не содержит ничего нового для читателей с серьёзным математическим образованием. Также, вполне вероятно, она будет неинтересна людям с чисто инженерным складом ума. Этот текст писался в расчёте на тех, кому интересны основания математики, но кто до сих пор не нашёл времени и сил в них разобраться.
Начнём с начала
Что такое натуральные числа? Четверо из пяти людей, встреченных на улице, ответят:«Это один, два, три и так далее». Более строгая формулировка этого ответа, которую я встретил в школьном учебнике, гласит: натуральные числа — это члены арифметической прогрессии, начинающейся с 1 и имеющей разность 1. Другое определение из учебника: это числа, которые используются для обозначения количества объектов.
До конца XIX века натуральные числа определялись примерно так, либо не определялись вообще, полагаясь чем-то самим собой разумеющимся. А потом началась перестройка: здание математики стали переносить на фундамент теории множеств, и вещи, которые ранее казались элементарными, внезапно потребовали строгого обоснования.
Аксиоматика Пеано
Товарищ Джузеппе Пеано, большой озорник и затейник (чего стоит хотя бы латино-сине-флексионе), создал очень простую и компактную аксиоматику натуральных чисел, используемую и поныне. Натуральные числа в его интерпретации похожи на структуру данных "односвязный список" — правда, бесконечный.
Итак, натуральные числа — это множество ℕ с заданной на нём функцией следования a → a', которые удовлетворяют следующим трём аксиомам:
1. Для каждого натурального числа a существует единственное следующее за ним число a'.
Эта аксиома означает, что наш односвязный список бесконечен. Нет такого элемента, у которого в поле «next» записан null. Также это именно список, а не какое-нибудь бинарное дерево: у каждого элемента только один следующий.
2. Существует одно и только одно число, не следующее ни за каким другим. Это число называется единицей. Каждое из оставшихся чисел следует ровно за одним числом (спасибо Kozy, в первоначальной редакции я пропустил эту фразу).
У списка должна быть голова, причём только одна. Список не должен зацикливаться (за третьим элементом не может следовать второй).
3. У множества натуральных чисел нет собственного подмножества, удовлетворяющего аксиомам 1-2.
Без этой аксиомы можно было бы, допустим, добавить к множеству натуральных чисел ещё одно число-уроборос, следующее за самим собой. Или ещё два числа, которые следуют друг за другом. Иначе говоря, аксиома 3 не допускает утечек памяти, которые могли бы возникнуть из-за изолированных кусков списка, до которых нельзя добраться по ссылкам, если идти от головы. Если из натуральных чисел можно что-то выкинуть — это не натуральные числа.
Сложение и умножение
Арифметические операции в аксиоматике Пеано определяются не менее интересно. Сложение описывается следующими двумя свойствами:
1. (a + b)' = a + b'
2. a' = a + 1
— а умножение — вот этими двумя:
1. a×b' = a×b + a
2. a×1 = a
Удивительно, но здесь нет ни слова о коммутативности, ассоциативности, дистрибутивности и прочих свойствах сложения и умножения, о которых рассказывают в школе. Все они выводятся из этих четырёх базовых.
2 × 2 = 4
Вооружившись знаниями, мы можем теперь перейти к доказательству. Однако сначала нужно понять две вещи: что такое 2 и что такое 4. Двойка следует за единицей, поэтому 2 = 1'. Четвёрка следует за тройкой, которая, в свою очередь, следует за двойкой, которая, как я уже говорил, следует за единицей — поэтому 4 = 1'''.
Итак, нам нужно доказать следующее: 1' × 1' = 1'''.
Сначала докажем, что дважды два — это два плюс два. Действительно,
1' × 1' = (1' × 1) + 1' (первое свойство умножения)
1' × 1 = 1' (второе свойство умножения)
Следовательно, 1' × 1' = 1' + 1' .
Теперь докажем, что 2 + 2 = 4.
1' + 1' = (1' + 1)' (первое свойство сложения)
1' + 1 = (1')' = 1'' (второе свойство сложения)
Следовательно, 1' + 1' = (1'')' = 1'''
Заключение
Всякая простая вещь, если вглядываться в неё пристально, через какое-то время перестаёт казаться простой. Натуральные числа и операции над ними — не исключение, а скорее яркий пример. Ещё более сложным и интересным образом в современной математике строятся множества целых, рациональных и действительных чисел. Но это тема совсем другого разговора.
Пост скриптум
Почему всё, написанное выше - чушь и демагогия
Как известно, одна и та же теория может опираться на совершенно разные системы аксиом. У той же аксиоматики Пеано существует куча вариантов, отличающихся по формулировке, но принципиально схожих. Так как же вводится аксиоматика натуральных чисел в школе?
Это не произносится вслух (да школьники к тому моменту и не знают ещё страшных слов типа «множество» и «функция»), но по сути множество натуральных чисел в школе определяется как множество строк специальных символов, называемых цифрами. Строки должны быть конечными, непустыми и не должны начинаться с символа, называемого нулём.
Отношения равенства и неравенства, сложение, вычитание, умножение и деление — всё это определяется через операции над строками символов. Для строк из одного символа (т.е. для отдельных цифр) существуют специальные таблицы — таблицы сложения и умножения. Для более длинных строк специальные правила позволяют свести действия над ними к действиям над отдельными цифрами. Эти правила и таблицы и являются школьной аксиоматикой натуральных чисел.
В таком понимании натуральных чисел «2 × 2 = 4» — часть аксиоматики, поскольку это тождество содержится в таблице умножения. Тогда, действительно, ничего проще быть не может. Но аксиоматику Пеано всё равно знать не вредно.
Это не произносится вслух (да школьники к тому моменту и не знают ещё страшных слов типа «множество» и «функция»), но по сути множество натуральных чисел в школе определяется как множество строк специальных символов, называемых цифрами. Строки должны быть конечными, непустыми и не должны начинаться с символа, называемого нулём.
Отношения равенства и неравенства, сложение, вычитание, умножение и деление — всё это определяется через операции над строками символов. Для строк из одного символа (т.е. для отдельных цифр) существуют специальные таблицы — таблицы сложения и умножения. Для более длинных строк специальные правила позволяют свести действия над ними к действиям над отдельными цифрами. Эти правила и таблицы и являются школьной аксиоматикой натуральных чисел.
В таком понимании натуральных чисел «2 × 2 = 4» — часть аксиоматики, поскольку это тождество содержится в таблице умножения. Тогда, действительно, ничего проще быть не может. Но аксиоматику Пеано всё равно знать не вредно.
