Алгебра
Числа и арифметика
Алгебра - не школьная муть. Это язык, на котором Excel выполняет 1.4 миллиарда формул в день. Слово «algorithm» - имя аль-Хорезми, математика из Багдада, 820 год н.э. Он изобрёл «al-jabr» (алгебру) как инструмент раздела наследства по шариату. Через 1200 лет - Python, SQL, Excel.
- **Excel и Google Sheets:** 1.4 миллиарда формул в день - это алгебраические выражения над числами. Каждая ячейка с «=» выполняет al-jabr в реальном времени.
- **Комплексные числа в инженерии:** переменный ток описывается комплексными числами - без них нет электросетей, Wi-Fi, смартфонов. Мнимая единица i оказалась вполне реальной.
- **Кватернионы в 3D:** расширение комплексных чисел - a + bi + cj + dk - вращают 3D-модели в Unity, Unreal Engine, игровых движках. Гамильтон открыл их в 1843 году, а сейчас они крутят пиксели Pixar.
Натуральные числа
**Натуральные числа** - числа для счёта предметов: 1, 2, 3, 4, 5... Обозначаются **N**. Самый древний тип чисел - овцы в стаде, дни до урожая, камни в стене. Аль-Хорезми в Багдаде 820 года работал именно с ними, когда делал наследство делимым.
**N = {1, 2, 3, 4, 5, ...}** - бесконечное множество. Каждое натуральное число имеет следующее за ним, и этому нет конца. В некоторых традициях 0 включают в натуральные числа (ISO 80000-2), но в российской школе обычно N начинается с 1.
Аксиомы Пеано: числа из ничего
В 1889 году итальянский математик Джузеппе Пеано задал дерзкий вопрос: можно ли построить все натуральные числа из минимального набора правил? Он предложил пять аксиом: 1. 1 - натуральное число 2. у каждого натурального числа есть следующее 3. 1 не является следующим ни для какого числа 4. разные числа имеют разных последователей 5. принцип математической индукции. Из этих пяти кирпичиков выстраивается вся арифметика.
| Операция | Замкнутость в N | Пример |
|---|---|---|
| Сложение | Да: a + b всегда в N | 3 + 7 = 10 |
| Умножение | Да: a * b всегда в N | 4 * 5 = 20 |
| Вычитание | НЕТ: a - b может выйти из N | 3 - 7 = -4 (не в N) |
| Деление | НЕТ: a / b может быть дробью | 7 / 2 = 3.5 (не в N) |
Незамкнутость вычитания и деления - это не баг арифметики, это двигатель истории математики. Каждый раз, когда задача не имела решения в текущих числах, математики изобретали следующее множество. N → Z → Q → R → C - это пять ответов на один и тот же вопрос.
Какая операция НЕ замкнута в множестве натуральных чисел N?
Целые числа
**Целые числа Z** - расширение натуральных, включающее ноль и отрицательные. Теперь вычитание всегда имеет результат. Температура -20°C, баланс счёта -500 рублей, координата y=-3 - всё это целые числа, изобретённые потому что натуральных не хватало.
**Z = {..., -3, -2, -1, 0, 1, 2, 3, ...}** - буква Z от немецкого слова *Zahlen* (числа). Множество Z бесконечно в обе стороны.
**Модуль числа |a|** - расстояние от числа до нуля на числовой прямой. Всегда неотрицателен: |5| = 5, |-5| = 5, |0| = 0. В ML это L1-норма вектора; в навигации - манхэттенское расстояние.
| Свойство | Формула | Пример |
|---|---|---|
| |a| >= 0 | Модуль неотрицателен | |-3| = 3 >= 0 |
| |a| = 0 тогда и только тогда, когда a = 0 | Только ноль имеет нулевой модуль | |0| = 0 |
| |a * b| = |a| * |b| | Модуль произведения | |-2 * 3| = |-6| = 6 = 2 * 3 |
| |a + b| <= |a| + |b| | Неравенство треугольника | |(-2) + 3| = 1 <= 2 + 3 = 5 |
Целые решили проблему вычитания. Деление - следующий барьер: 7 / 2 = 3.5, это не целое. Нужен ещё один шаг. Математики его сделали.
Чему равно выражение |(-3) + 5| + |(-3) - 5|?
Рациональные числа
**Рациональные числа Q** - числа вида p/q, где p и q целые, q ≠ 0. От латинского *quotient* - частное. Теперь деление всегда имеет результат. Ставка по кредиту 7.5% - это рациональное число. Доля памяти под кэш 3/8 - тоже.
**Q = { p/q | p, q принадлежат Z, q ≠ 0 }** - множество всех дробей. Целые числа - подмножество Q, потому что любое целое n = n/1.
Рациональные числа обладают важным свойством: десятичная запись **всегда конечная или периодическая**. Это не совпадение - доказывается через алгоритм деления в столбик. Именно поэтому `0.1 + 0.2 != 0.3` в Python: float не может точно представить рациональное 1/10 в двоичной системе.
| Дробь | Десятичная запись | Период |
|---|---|---|
| 1/4 | 0.25 | конечная (период 0) |
| 1/3 | 0.333... | период: 3 |
| 1/7 | 0.142857142857... | период: 142857 |
| 1/6 | 0.1666... | период: 6 |
| 22/7 | 3.142857142857... | период: 142857 |
**Деление на ноль не определено!** Нет числа x, для которого 0 * x = 5. А если бы 5/0 = x, то 0 * x = 5. Противоречие.
Между любыми двумя рациональными - бесконечно много других рациональных: Q **плотно**. Но на числовой прямой есть «дыры». sqrt(2), pi, e - они не рациональны. Пифагорейцы обнаружили это и ужаснулись.
Какое утверждение о рациональных числах ВЕРНО?
Вещественные числа
**Вещественные числа R** заполняют все «дыры» на числовой прямой - каждой точке прямой соответствует ровно одно R. Они включают рациональные и **иррациональные** - те, которые не записываются дробью. sqrt(2), pi, e - бесконечные непериодические дроби.
Пифагорейцы и скандал с корнем из двух
Пифагорейцы верили, что мир построен на целых числах и их отношениях. Но один из учеников (по легенде - Гиппас) доказал, что диагональ единичного квадрата (равная sqrt(2)) не выражается дробью. Это было настолько шокирующим открытием, что, по преданию, Гиппаса утопили в море за «ересь». Иррациональные числа оказались неизбежны.
**Доказательство иррациональности sqrt(2):** Допустим, sqrt(2) = p/q (несократимая дробь). Тогда 2 = p^2/q^2, значит p^2 = 2q^2. Следовательно, p^2 чётное => p чётное => p = 2k => 4k^2 = 2q^2 => q^2 = 2k^2 => q чётное. Но если p и q оба чётные - дробь сократима. Противоречие!
| Число | Тип | Десятичная запись (начало) |
|---|---|---|
| sqrt(2) | иррациональное (алгебраическое) | 1.41421356... |
| sqrt(3) | иррациональное (алгебраическое) | 1.73205080... |
| pi | иррациональное (трансцендентное) | 3.14159265... |
| e | иррациональное (трансцендентное) | 2.71828182... |
| phi = (1+sqrt(5))/2 | иррациональное (алгебраическое) | 1.61803398... |
R укомплектовывает числовую прямую полностью. Но остаётся одна задача без решения: **x^2 = -1** не имеет корней в R. Квадрат любого вещественного числа неотрицателен. Нужен ещё один шаг.
Число pi (3.14159...) является иррациональным, потому что:
Комплексные числа
**Комплексные числа C** - финальное расширение. Каждое полиномиальное уравнение получает решение. Вид: **a + bi**, где a - вещественная часть, b - мнимая, **i^2 = -1**. Казалось абсурдом. Оказалось - основой электротехники, квантовой механики, обработки сигналов.
**Зачем нужна мнимая единица?** Уравнение x^2 + 1 = 0 не имеет решения в R, потому что квадрат любого вещественного числа неотрицателен. Решения: x = i и x = -i, так как i^2 = -1 и (-i)^2 = -1.
| Множество | Обозначение | Что добавляет | Пример нового элемента |
|---|---|---|---|
| Натуральные | N | Счёт | 1, 2, 3... |
| Целые | Z | Отрицательные, ноль | -5, 0 |
| Рациональные | Q | Дроби | 2/3, -7/4 |
| Вещественные | R | Иррациональные | sqrt(2), pi |
| Комплексные | C | Мнимая единица i | 3+4i, -i |
Каждое расширение числовых множеств - ответ на конкретный вопрос: **N → Z** (вычитание), **Z → Q** (деление), **Q → R** (геометрия и пределы), **R → C** (корни из отрицательных). На комплексных числах цепочка замыкается: по основной теореме алгебры, в C любой многочлен имеет корень. Аль-Хорезми начал в Багдаде, математики завершили через 1200 лет.
0.999... не равно 1, потому что всегда остаётся маленькая разница
0.999... = 1 - это в точности одно и то же число, записанное двумя способами
Пусть x = 0.999... Тогда 10x = 9.999... Вычитаем: 10x - x = 9, значит x = 1. Или: 1/3 = 0.333..., умножить на 3: 1 = 0.999... Между 0.999... и 1 нельзя вставить ни одно вещественное число - значит, это одно и то же. Интуиция здесь врёт - потому что привыкла к конечным числам, а не к пределам бесконечных последовательностей.
Чему равно произведение (2 + 3i)(2 - 3i)?
Ключевые идеи
- **N → Z → Q → R → C** - цепочка расширений. Каждый шаг - ответ на вопрос «что если задача не имеет решения в текущих числах?». Багдад 820 → Excel 2026.
- **Рациональные числа** - дроби p/q. Десятичная запись всегда конечная или периодическая. Доказывается через алгоритм деления.
- **Иррациональные** (sqrt(2), pi, e) заполняют «дыры» между рациональными. Пифагорейцы утопили того, кто это доказал.
- **Комплексные** a + bi замыкают систему: в C любой многочлен имеет корень (основная теорема алгебры). Мнимое число i оказалось вполне реальным инструментом.
Связанные темы
Числовые множества - фундамент, на котором строится вся алгебра и анализ:
- Выражения и уравнения — Используют все типы чисел для решений
- Неравенства и модули — Модуль и порядок работают в R, но не в C
- Компьютерная арифметика — Как компьютеры приближают бесконечные множества конечной памятью
Вопросы для размышления
- Аль-Хорезми изобрёл алгебру для раздела наследства. Excel использует её для 1.4 миллиарда формул в день. Что именно в языке символов делает его таким универсальным инструментом?
- Между любыми двумя рациональными числами - бесконечно много рациональных. И всё равно на числовой прямой есть «дыры». Как плотное множество может иметь пропуски?
- Комплексные числа казались «воображаемыми» сотни лет. Потом оказалось, что без них нет переменного тока. Какие математические объекты сегодня кажутся абстракцией, но могут оказаться незаменимыми?