Корни и иррациональность
Корни и иррациональность √
Ты работаешь с эмбеддингами — числовыми векторами слов. Два слова “кот” и “кошка” имеют векторы [1, 2, 3] и [1, 2, 4]. Насколько они похожи? Считаешь евклидово расстояние:
$$d = \sqrt{(1-1)^2 + (2-2)^2 + (3-4)^2} = \sqrt{0 + 0 + 1} = 1$$
Квадратный корень — буквально в каждой ML-формуле, где есть расстояние, норма или стандартное отклонение. И чтобы работать с ними уверенно, нужно понимать корень не как кнопку на калькуляторе, а как математический объект со своими правилами.
🎯 Ты узнаешь: - Что такое корень и почему он неотрицателен - Свойства корней — как их умножать, делить, упрощать - Как решать иррациональные уравнения и неравенства - Где корни в ML: нормы, расстояния, нормализация
Блок 1: Что такое квадратный корень
Простыми словами
Квадратный корень из числа $a$ — это такое неотрицательное число $b$, что $b^2 = a$.
Короче: $\sqrt{a} = b$ означает $b^2 = a$ и $b \geq 0$.
Важно: $\sqrt{9} = 3$, а НЕ ±3!
Да, уравнение $x^2 = 9$ имеет два решения: x = 3 и x = −3. Но корень — это только положительное значение. Это соглашение, чтобы функция $\sqrt{x}$ была однозначной.
Строгое определение
Определение: $\sqrt{a}$ — арифметический квадратный корень из $a$, то есть неотрицательное число $b$ такое, что $b^2 = a$.
Область определения: $a \geq 0$ (из отрицательного числа квадратный корень в ℝ не существует)
Числовая прямая корней
√0 = 0
√1 = 1
√4 = 2
√9 = 3
√16 = 4
√25 = 5
А что между ними?
√2 ≈ 1.414...
√3 ≈ 1.732...
√5 ≈ 2.236...
Это иррациональные числа — бесконечные непериодические дроби.
Важный факт: √(a²) = |a|
Не a, а именно |a|! Потому что корень всегда неотрицательный:
√((-3)²) = √9 = 3 = |−3| ✅
√(3²) = √9 = 3 = |3| ✅
Это частая ловушка!
Примеры
Пример 1 (простой): Вычисли √144
144 = 12². Значит √144 = 12.
Пример 2 (средний): Упрости √(x² + 2x + 1)
x² + 2x + 1 = (x + 1)²
√((x + 1)²) = |x + 1|
Если x ≥ −1: ответ x + 1 Если x < −1: ответ −(x + 1)
Пример 3 (средний): Вычисли √48
48 = 16 · 3
√48 = √(16 · 3) = √16 · √3 = 4√3
Пример 4 (ML): L2-норма вектора
Вектор весов модели w = [3, 4]. L2-норма:
‖w‖₂ = √(3² + 4²) = √(9 + 16) = √25 = 5
Используется в L2-регуляризации (Ridge): $L = MSE + \lambda |w|_2^2$
Блок 2: Свойства корней
Основные свойства
Свойство 1: $\sqrt{a \cdot b} = \sqrt{a} \cdot \sqrt{b}$ (a ≥ 0, b ≥ 0)
Свойство 2: $\sqrt{\frac{a}{b}} = \frac{\sqrt{a}}{\sqrt{b}}$ (a ≥ 0, b > 0)
Свойство 3: $(\sqrt{a})^2 = a$ (a ≥ 0)
Свойство 4: $\sqrt{a^2} = |a|$
Свойство 5: $\sqrt{a^n} = a^{n/2}$ (для чётных n и a ≥ 0)
Разбор свойства 1 — умножение корней
Пример: Упрости √6 · √24
√6 · √24 = √(6 · 24) = √144 = 12
Пример: Вычисли √2 · √8
√2 · √8 = √16 = 4
Разбор свойства 2 — деление корней
Пример: Упрости √75 / √3
√75 / √3 = √(75/3) = √25 = 5
Освобождение от иррациональности в знаменателе
Иметь корень в знаменателе считается нехорошим тоном в математике. Убирают умножением на сопряжённое:
Пример: Упрости 1/√2
1/√2 = 1/√2 · (√2/√2) = √2/2
Пример: Упрости 1/(√3 + 1)
1/(√3 + 1) · (√3 − 1)/(√3 − 1) = (√3 − 1)/(3 − 1) = (√3 − 1)/2
Использовали формулу: $(a+b)(a-b) = a^2 - b^2$
Примеры упрощения
Пример 1: Упрости √(50x²y³) при x ≥ 0, y ≥ 0
√(50x²y³) = √(25 · 2 · x² · y² · y)
= 5 · √2 · x · y · √y
= 5xy√(2y)
Пример 2: Вычисли (√5 + √3)(√5 − √3)
(√5 + √3)(√5 − √3) = (√5)² − (√3)² = 5 − 3 = 2
Разность квадратов, но с корнями!
Пример 3 (ML): Нормализация вектора
Дан вектор v = [1, 2, 2]. Нормализуй его (сделай единичным):
‖v‖ = √(1² + 2² + 2²) = √(1 + 4 + 4) = √9 = 3
v̂ = v / ‖v‖ = [1/3, 2/3, 2/3]
Проверка: ‖v̂‖ = √(1⁄9 + 4⁄9 + 4⁄9) = √(9⁄9) = 1 ✅
Нормализация используется в cosine similarity — ключевой метрике в рекомендательных системах и NLP.
Блок 3: Корень n-й степени
Определение
Определение: $\sqrt[n]{a} = b$ означает $b^n = a$
При нечётном n: a может быть любым (∛(−8) = −2) При чётном n: a ≥ 0 (√(−4) не существует в ℝ)
Примеры
∛27 = 3, так как 3³ = 27
∛(−8) = −2, так как (−2)³ = −8
⁴√16 = 2, так как 2⁴ = 16
⁵√32 = 2, так как 2⁵ = 32
Связь с дробными степенями
$$\sqrt[n]{a} = a^{1/n}$$ $$\sqrt[n]{a^m} = a^{m/n}$$
Это важно для дифференцирования в ML!
√x = x^(1/2) → производная: (1/2)x^(-1/2) = 1/(2√x)
∛x = x^(1/3) → производная: (1/3)x^(-2/3)
Производная нужна для градиентного спуска.
Блок 4: Иррациональные уравнения
Что это такое
Уравнения где неизвестная стоит под знаком корня.
Основной метод: возведение в степень
Алгоритм: 1. Изолировать корень в одной части 2. Возвести обе части в нужную степень 3. Решить получившееся уравнение 4. ОБЯЗАТЕЛЬНО проверить все решения (возведение в чётную степень может давать посторонние корни!)
Почему нужна проверка?
Возведение в квадрат — необратимая операция: из $a = b$ следует $a^2 = b^2$, но НЕ наоборот (т.к. $(-2)^2 = 2^2$, хотя $-2 \neq 2$).
Примеры
Пример 1 (простой): Реши √x = 5
Шаг 1: Корень уже изолирован.
Шаг 2: Возводим в квадрат:
x = 25
Шаг 3: Проверка. √25 = 5 ✅
Ответ: x = 25
Пример 2 (средний): Реши √(x − 3) = 4
Шаг 1: Корень изолирован.
Шаг 2: Возводим в квадрат:
x − 3 = 16
x = 19
Шаг 3: Проверка. √(19 − 3) = √16 = 4 ✅
Ответ: x = 19
Пример 3 (важный — посторонний корень): Реши √x = x − 2
Шаг 1: Корень изолирован.
Шаг 2: Возводим в квадрат:
x = (x − 2)²
x = x² − 4x + 4
x² − 5x + 4 = 0
(x − 1)(x − 4) = 0
x = 1 или x = 4
Шаг 3: Проверка ОБЯЗАТЕЛЬНА!
x = 1: √1 = 1, но x − 2 = −1. Равны? 1 = −1? НЕТ! ❌ Посторонний корень!
x = 4: √4 = 2, и x − 2 = 2. Равны? 2 = 2? ДА! ✅
Ответ: x = 4
Пример 4 (сложный — два корня): Реши √(x + 3) + √(x − 2) = 5
Шаг 1: Изолируем один корень:
√(x + 3) = 5 − √(x − 2)
Шаг 2: Возводим в квадрат:
x + 3 = 25 − 10√(x − 2) + (x − 2)
x + 3 = 23 + x − 10√(x − 2)
3 − 23 = −10√(x − 2)
−20 = −10√(x − 2)
2 = √(x − 2)
Шаг 3: Снова возводим:
4 = x − 2
x = 6
Шаг 4: Проверка:
√(6 + 3) + √(6 − 2) = √9 + √4 = 3 + 2 = 5 ✅
Ответ: x = 6
Пример 5 (ML-контекст): Евклидово расстояние
Найди x, при котором расстояние от точки (x, 0) до точки (3, 4) равно 5:
√((x − 3)² + 16) = 5
(x − 3)² + 16 = 25
(x − 3)² = 9
x − 3 = ±3
x = 6 или x = 0
Проверка обоих:
x = 6: √(9 + 16) = √25 = 5 ✅
x = 0: √(9 + 16) = √25 = 5 ✅
Ответ: x = 0 или x = 6 (две точки на окружности)
Блок 5: Иррациональные неравенства
Основные схемы
Схема 1: $\sqrt{f(x)} > g(x)$
Случай 1: g(x) < 0 — выполняется там где f(x) ≥ 0 (корень всегда ≥ 0 > g)
Случай 2: g(x) ≥ 0 — возводим в квадрат:
Система:
┌ f(x) ≥ 0
├ g(x) ≥ 0
└ f(x) > g(x)²
Схема 2: $\sqrt{f(x)} < g(x)$
Система:
┌ f(x) ≥ 0 (корень определён)
├ g(x) > 0 (левая часть ≥ 0, правая должна быть > 0)
└ f(x) < g(x)² (возвели в квадрат)
Примеры
Пример 1 (средний): Реши √(x² − 3x) > x − 2
Критические точки: рассматриваем два случая.
Случай 1: x − 2 < 0, то есть x < 2
Тогда правая часть отрицательная. Корень ≥ 0 > x−2. Неравенство выполняется автоматически — при условии что корень определён:
x² − 3x ≥ 0
x(x − 3) ≥ 0
x ≤ 0 или x ≥ 3
Пересечение с x < 2: x ≤ 0
Случай 2: x − 2 ≥ 0, то есть x ≥ 2
Возводим в квадрат (обе части ≥ 0):
x² − 3x > (x − 2)²
x² − 3x > x² − 4x + 4
x > 4
Плюс условие что под корнем ≥ 0:
x² − 3x ≥ 0 → x ≤ 0 или x ≥ 3
Пересечение x ≥ 2 и (x ≤ 0 или x ≥ 3) и x > 4: x > 4
Итого: x ≤ 0 или x > 4
Пример 2 (простой): Реши √(2x − 1) < 3
По схеме 2:
┌ 2x − 1 ≥ 0 → x ≥ 0.5
├ 3 > 0 ✅ (всегда)
└ 2x − 1 < 9 → x < 5
Пересечение: 0.5 ≤ x < 5
Ответ: x ∈ [0.5; 5)
Пример 3 (сложный): Реши √(x² − 5x + 4) ≤ x − 2
По схеме 2:
┌ x² − 5x + 4 ≥ 0 → (x−1)(x−4) ≥ 0 → x ≤ 1 или x ≥ 4
├ x − 2 ≥ 0 → x ≥ 2
└ x² − 5x + 4 ≤ (x−2)²
x² − 5x + 4 ≤ x² − 4x + 4
−5x ≤ −4x
−x ≤ 0
x ≥ 0
Пересечение всех трёх условий: - x ≤ 1 или x ≥ 4 - x ≥ 2 - x ≥ 0
Берём: (x ≥ 4) и (x ≥ 2) и (x ≥ 0) → x ≥ 4
Ответ: x ∈ [4; +∞)
Блок 6: Тождества с корнями (красивые формулы)
Формулы сокращённого умножения с корнями
$$(\sqrt{a} + \sqrt{b})(\sqrt{a} - \sqrt{b}) = a - b$$
$$(\sqrt{a} \pm \sqrt{b})^2 = a \pm 2\sqrt{ab} + b$$
Вложенные корни
Иногда выражение под корнем само является квадратом:
$$\sqrt{10 + 2\sqrt{21}} = \sqrt{7} + \sqrt{3}$$
Почему? Потому что $(\sqrt{7} + \sqrt{3})^2 = 7 + 2\sqrt{21} + 3 = 10 + 2\sqrt{21}$ ✅
Как раскрыть вложенный корень √(a + 2√b):
Ищем p и q такие, что p + q = a и p·q = b. Тогда: $$\sqrt{a + 2\sqrt{b}} = \sqrt{p} + \sqrt{q}$$
Практика: 30 заданий
Базовые (1–10)
Задание 1: Вычисли √169
Задание 2: Упрости √72
Задание 3: Вычисли √5 · √20
Задание 4: Упрости √(x⁴)
Задание 5: Вычисли (√7 + √3)(√7 − √3)
Задание 6: Реши √x = 7
Задание 7: Реши √(x + 5) = 3
Задание 8: Найди область определения √(3 − x)
Задание 9: Упрости √(a²b⁴) при a ≥ 0
Задание 10: Вычисли √(√16)
Средние (11–20)
Задание 11: Реши √(2x − 3) = x − 3
Задание 12: Реши √(x² − x − 2) = x + 1
Задание 13: Упрости (√6 + √10) / √2
Задание 14: Реши √(x + 7) < 4
Задание 15: Реши √(3x − 1) ≥ 2
Задание 16: Вычисли √(8 + 2√15)
Задание 17: Найди область определения f(x) = √(x² − 4) / √(x + 1)
Задание 18: Реши √x + √(x + 3) = 3
Задание 19: Упрости √(4 + 2√3)
Задание 20 (ML): Найди L2-норму вектора градиента g = [−3, 4, 0, −12, 84].
Продвинутые (21–30)
Задание 21: Реши √(x + √(2x − 1)) = √(2x − 1) + 1
Задание 22: Реши √(x − 3) + √(6 − x) > 1 + √((x−3)(6−x))
Задание 23: Найди все x: √(x + 3 − 4√(x−1)) + √(x + 8 − 6√(x−1)) = 1
Задание 24: Реши систему:
√x + √y = 5
x + y = 13
Задание 25: Докажи, что √2 + √3 > √5 + 1
Задание 26: Упрости $\frac{\sqrt{x+1} - \sqrt{x}}{\sqrt{x+1} + \sqrt{x}}$
Задание 27 (ML): Косинусное сходство между эмбеддингами a = [1, 2, 3] и b = [4, 0, −1].
Задание 28: Реши √(x² + x − 6) > x
Задание 29: Найди минимум f(x) = √(x² − 4x + 5)
Задание 30 (ML): Стандартизация признака: $x_{norm} = (x - \mu) / \sigma$, где $\sigma = \sqrt{\frac{1}{n}\sum(x_i - \mu)^2}$. Дано: данные [2, 4, 4, 4, 5, 5, 7, 9]. Найди σ.
Частые ошибки
❌ Ошибка 1: √(a²) = a вместо |a| Неправильно: √((−5)²) = −5 Правильно: √25 = 5 = |−5|
❌ Ошибка 2: Не проверяют посторонние корни После возведения в квадрат ВСЕГДА проверяй подстановкой!
❌ Ошибка 3: √(a + b) = √a + √b Неправильно: √(9 + 16) = 3 + 4 = 7 Правильно: √25 = 5 Корень суммы ≠ сумма корней!
❌ Ошибка 4: Не учитывают ОДЗ в иррациональных неравенствах Прежде чем возводить в квадрат — убедись что обе части ≥ 0
❌ Ошибка 5: √(a · b) = √a · √b при отрицательных a, b Это свойство работает ТОЛЬКО при a ≥ 0 и b ≥ 0
Главное запомнить
✅ √a — только неотрицательное значение, даже если a = b²
✅ √(a²) = |a| — не забывай модуль
✅ ОДЗ корня: подкоренное выражение ≥ 0
✅ Умножение корней: √a · √b = √(ab) (при a,b ≥ 0)
✅ Деление корней: √a / √b = √(a/b) (при a ≥ 0, b > 0)
✅ Иррациональное уравнение: изолируй корень → возведи в степень → проверь ответы
✅ Посторонние корни возникают при возведении в чётную степень
✅ Иррациональное неравенство: рассматривай случаи по знаку правой части
✅ Дробные степени: √[n]{a} = a^(1/n), удобно при дифференцировании
✅ В ML: L2-норма, евклидово расстояние, стандартное отклонение, cosine similarity
Связь с другими темами
Что нужно знать до: - Степени и их свойства — корень это дробная степень - Квадратные уравнения — появляются после возведения в квадрат - Неравенства — иррациональные неравенства их используют
Что изучить дальше: - Логарифмы — обратная операция к степени, столь же важна в ML - Тригонометрия — тоже встречаются иррациональности - Производные — дифференцирование функций с корнями (chain rule)
В ML: - 🤖 L2-норма: $‖w‖_2 = \sqrt{\sum w_i^2}$ — Ridge регуляризация, нормализация - 📊 Евклидово расстояние: $d(x,y) = \sqrt{\sum(x_i-y_i)^2}$ — KNN, кластеризация - 🔬 Стандартное отклонение: $\sigma = \sqrt{E[(X-\mu)^2]}$ — нормализация данных - 🤖 Cosine similarity: нормирование векторов через норму — NLP, рекомендации - 📊 Batch Normalization: нормализация через стандартное отклонение внутри сети
Интересные факты
💡 Иррациональность √2: Пифагорейцы считали, что все числа рациональны. Когда один из учеников доказал иррациональность √2 — это был шок. По легенде, его утопили, чтобы не распространял “ересь”.
💡 Корень в GPU: Операция sqrt на современных GPU (CUDA) выполняется за ~20 тактов против ~400 у деления. Именно поэтому в ML часто используют квадрат расстояния (без корня) там где нужно только сравнение.
💡 Нормализация в нейросетях: Batch Normalization (2015) — одна из ключевых техник обучения глубоких сетей — вычисляет среднее и стандартное отклонение (корень из дисперсии) по каждому батчу.
Лайфхаки
1. Быстрое возведение в квадрат для проверки Не считай √x точно — просто проверь что x равен квадрату ответа.
2. Упрощение корня: ищи квадратные множители √200 = √(100·2) = 10√2. Всегда выноси наибольший квадрат.
3. Сопряжённое выражение убирает корень из знаменателя (√a + √b)(√a − √b) = a − b — используй для рационализации знаменателя.
4. Вложенный корень: метод p+q и p·q √(a ± 2√b): найди p,q с p+q=a, p·q=b → ответ √p ± √q
5. В ML: квадрат вместо корня Когда нужно найти ближайший вектор — сравнивай квадраты расстояний (без корня). Результат тот же, вычислений меньше.
💡 Совет: Иррациональные уравнения требуют аккуратности на каждом шаге. Самая частая потеря баллов на экзаменах — забытая проверка. Сделай привычкой: решил → проверил → уверен.
Следующий урок: Логарифмы →