Урок 2.2. Дроби, степени, индексы, корни
Осваиваем базовые строительные блоки математики: дроби (\frac), степени (^), индексы (_) и корни (\sqrt). Учимся вкладывать конструкции друг в друга, использовать автоматические скобки и избегать типичных ошибок с фигурными скобками.
Дроби, степени, индексы и корни – это базовые строительные блоки любой математической формулы. Если вы освоите эти четыре конструкции, сможете набрать около 70% всех формул, с которыми сталкивается исследователь. В этом уроке разберем каждую конструкцию подробно и научимся их комбинировать.
Все эти конструкции в LaTeX создаются специальными командами с аргументами в фигурных скобках. Фигурные скобки здесь играют ключевую роль: они группируют аргументы и позволяют вкладывать конструкции друг в друга, как матрешку. Запомните это правило, и большинство ошибок компиляции обойдет вас стороной.
Дроби: команда \frac
Дроби создаются командой \frac{числитель}{знаменатель}. Оба аргумента обязательны и заключаются в фигурные скобки.
% Простая дробь
\[
\frac{1}{2}
\]
% Дробь с переменными
\[
\frac{a}{b}
\]
% Дробь с выражениями
\[
\frac{x + y}{x - y}
\]
% Дробь с числами
\[
\frac{22}{7} \approx 3.14
\]
Размеры дробей: \dfrac и \tfrac
В вынесенной математике дроби автоматически получаются полноразмерными. Но во встроенной математике они сжимаются, чтобы не увеличивать высоту строки. Если вам нужна полноразмерная дробь в строке, используйте \dfrac. Если наоборот, компактная в вынесенной формуле – \tfrac.
Команды \dfrac и \tfrac доступны только в пакете amsmath. Не забудьте подключить его в преамбуле. На практике \dfrac используется редко – обычно достаточно оставить встроенные дроби компактными, чтобы не нарушать ритм текста.
% Встроенная: компактная дробь
Площадь круга $S = \frac{\pi r^2}{2}$ вычисляется по формуле.
% Встроенная: полноразмерная дробь
Площадь круга $S = \dfrac{\pi r^2}{2}$ с \dfrac выглядит крупнее.
% Вынесенная: полноразмерная дробь (по умолчанию)
\[
S = \frac{\pi r^2}{2}
\]
% Вынесенная: компактная дробь
\[
S = \tfrac{\pi r^2}{2}
\]
Степени и индексы: команды ^ и _
Степень (показатель степени) задается символом ^, а индекс (подстрочный символ)– символом _. Если аргумент состоит из одного символа, фигурные скобки можно опустить. Если из нескольких – скобки обязательны.
Обратите внимание на порядок: сначала индекс, потом степень (или наоборот – LaTeX поймет в любом порядке). Но для читаемости кода рекомендуется соблюдать единый стиль. Если аргумент сложный, всегда используйте фигурные – это защитит от ошибок.
% Степень: один символ (без скобок)
\[
x^2, \quad a^3, \quad e^x
\]
% Степень: несколько символов (со скобками)
\[
x^{10}, \quad a^{n+1}, \quad e^{x^2}
\]
% Индекс: один символ (без скобок)
\[
x_1, \quad a_n, \quad \sum_i
\]
% Индекс: несколько символов (со скобками)
\[
x_{ij}, \quad a_{n+1}, \quad \sum_{i=1}^{n}
\]
% Степень и индекс одновременно
\[
x_1^2, \quad a_n^{k+1}, \quad \sigma_{ij}^2
\]
Корни: команда \sqrt
Квадратный корень создается командой \sqrt{выражение}. Для корня n-й степени используется \sqrt[n]{выражение}, где n — показатель корня.
% Квадратный корень
\[
\sqrt{2}, \quad \sqrt{x}, \quad \sqrt{a^2 + b^2}
\]
% Корень третьей степени (кубический)
\[
\sqrt[3]{8} = 2, \quad \sqrt[3]{x}
\]
% Корень произвольной степени
\[
\sqrt[n]{x}, \quad \sqrt[4]{16} = 2
\]
% Корень с сложным выражением
\[
\sqrt{x^2 + y^2 + z^2}
\]
Вложенные конструкции
Главная сила LaTeX – возможность вкладывать конструкции друг в друга. Дробь может содержать степень, степень может содержать корень, корень может содержать дробь – и так далее.
При вложенных конструкциях особенно важно следить за фигурными скобками. Каждая открывающая { должна иметь закрывающую }. Если вы забыли скобку, LaTeX выдаст ошибку компиляции. Совет: пишите код с отступами, как в примере выше – так легче найти пропущенную скобку.
% Дробь со степенями в числителе и знаменателе
\[
\frac{x^2 + y^2}{a^3 - b^3}
\]
% Дробь с корнем в числителе
\[
\frac{\sqrt{x^2 + 1}}{x + 1}
\]
% Корень из дроби
\[
\sqrt{\frac{a}{b}}
\]
% Степень с дробным показателем
\[
x^{\frac{1}{2}} = \sqrt{x}
\]
% Сложная вложенная конструкция
\[
\sqrt{\frac{x^2 + y^2}{a^2 + b^2}}
\]
% Еще более сложная
\[
\left(\frac{\sqrt{x}}{y}\right)^{\frac{3}{2}}
\]
Примеры из разных областей науки
Давайте посмотрим, как эти базовые конструкции применяются в реальных формулах из разных дисциплин.
% Физика: формула Эйнштейна
\[
E = mc^2
\]
% Физика: кинетическая энергия
\[
E_k = \frac{mv^2}{2}
\]
% Математика: квадратное уравнение (корни)
\[
x_{1,2} = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}
\]
% Статистика: стандартное отклонение
\[
\sigma = \sqrt{\frac{1}{N} \sum_{i=1}^{N} (x_i - \mu)^2}
\]
% Математика: бином Ньютона
\[
(a + b)^n = \sum_{k=0}^{n} \binom{n}{k} a^{n-k} b^k
\]
% Финансы: сложная процентная ставка
\[
A = P \left(1 + \frac{r}{n}\right)^{nt}
\]
Типичные ошибки и как их избежать
Ошибка 1: Забытые фигурные скобки
Это самая частая ошибка новичков. Запомните: ^ и _ применяют действие только к следующему символу. Если вам нужно применить их к выражению из нескольких символов, обязательно заключайте его в фигурные скобки или круглые скобки (в зависимости от смысла).
% НЕПРАВИЛЬНО: степень применяется только к x, а не к x+1
\[
x^2 + 1 \quad \text{(это } x^2 + 1\text{, а не } (x+1)^2\text{)}
\]
% ПРАВИЛЬНО: скобки группируют выражение
\[
(x + 1)^2
\]
% НЕПРАВИЛЬНО: индекс применяется только к a
\[
a + b_1 \quad \text{(это } a + b_1\text{, а не } (a+b)_1\text{)}
\]
% ПРАВИЛЬНО
\[
(a + b)_1
\]
Ошибка 2: Пустые аргументы
% НЕПРАВИЛЬНО: пустой знаменатель
\[
\frac{1}{} \quad \text{(ошибка компиляции)}
\]
% ПРАВИЛЬНО: всегда заполняйте оба аргумента
\[
\frac{1}{2}
\]
% НЕПРАВИЛЬНО: пропущен аргумент корня
\[
\sqrt \quad \text{(ошибка компиляции)}
\]
% ПРАВИЛЬНО
\[
\sqrt{x}
\]
Размер скобок вокруг сложных выражений
Когда формула содержит вложенные конструкции, обычные скобки () могут оказаться слишком маленькими. Команды \left и \right автоматически подстраивают размер скобок под содержимое.
Команды \left и \right всегда используются парами. Если вам нужна скобка только с одной стороны, используйте \left. или \right. (точка означает невидимую скобку). Это часто нужно для кусочно-заданных функций.
% Обычные скобки (маленькие)
\[
(\frac{a}{b})
\]
% Автоматический размер скобок
\[
\left(\frac{a}{b}\right)
\]
% Скобки вокруг сложного выражения
\[
\left(\frac{x^2 + 1}{\sqrt{y}}\right)^{\frac{3}{2}}
\]
% Разные типы скобок
\[
\left[ \frac{a}{b} \right], \quad
\left\{ \frac{a}{b} \right\}, \quad
\left| \frac{a}{b} \right|
\]
% Скобки только с одной стороны
\[
\left. \frac{a}{b} \right] \quad \text{(левая скобка невидима)}
\]
Практический пример: формулы из машинного обучения
Давайте соберем несколько типичных формул из области машинного обучения, чтобы увидеть, как базовые конструкции работают вместе.
В этом примере мы использовали все базовые конструкции: дроби (\frac), степени (^), индексы (_), корни (в производной сигмоиды можно было бы добавить \sqrt, но здесь обошлись без них). Обратите внимание, как формулы сочетаются с текстом: простые обозначения (y_i, α) – в строке, сложные выражения – на отдельных строках.
\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage[russian]{babel}
\usepackage{amsmath}
\usepackage{amssymb}
\begin{document}
\section{Основные формулы машинного обучения}
\subsection{Функция потерь (Mean Squared Error)}
Среднеквадратичная ошибка определяется как:
\[
\text{MSE} = \frac{1}{n} \sum_{i=1}^{n} (y_i - \hat{y}_i)^2
\]
где $y_i$ --- истинное значение, $\hat{y}_i$ --- предсказание модели.
\subsection{Сигмоида (логистическая функция)}
Функция активации сигмоида:
\[
\sigma(z) = \frac{1}{1 + e^{-z}}
\]
Её производная имеет простой вид:
\[
\sigma'(z) = \sigma(z) \cdot (1 - \sigma(z))
\]
\subsection{Градиентный спуск}
Обновление весов в градиентном спуске:
\[
w_{t+1} = w_t - \alpha \cdot \nabla L(w_t)
\]
где $\alpha$ --- скорость обучения, $\nabla L$ --- градиент функции потерь.
\subsection{Кросс-энтропия}
Функция потерь для бинарной классификации:
\[
L = -\frac{1}{N} \sum_{i=1}^{N} \left[ y_i \log(\hat{y}_i) +
(1 - y_i) \log(1 - \hat{y}_i) \right]
\]
\end{document}
Шпаргалка: основные команды
Конструкция | Команда | Пример | Результат |
|---|---|---|---|
Дробь |
| abba | a/b |
Полноразмерная дробь |
| abba | Крупная a/b |
Степень |
| xnxn | x в степени n |
Индекс |
| xixi | x с индексом i |
Квадратный корень |
| xx | √x |
Корень n-й степени |
| xnnx | n-й корень из x |
Автоматические скобки |
| (ab)(ba) | Скобки по размеру |
Советы по работе с дробями, степенями и корнями
Всегда используйте фигурные скобки для сложных аргументов. Даже если кажется, что можно обойтись без них, лучше перестраховаться. Это защитит от ошибок при редактировании.
Не злоупотребляйте
\dfracво встроенной математике. Компактные дроби выглядят аккуратнее и не нарушают межстрочный интервал.Используйте
\leftи\rightдля сложных выражений. Это делает формулы профессиональными и читаемыми.Проверяйте вложенные конструкции. Если формула не компилируется, скорее всего, проблема в пропущенной фигурной скобке. Считайте открывающие и закрывающие
{и}.Используйте пробелы в коде для читаемости. LaTeX игнорирует пробелы в математическом режиме, но они помогают вам видеть структуру формулы.
Теперь вы умеете набирать большинство базовых математических выражений. В следующем уроке мы перейдем к матрицам и системам уравнений — более сложным, но не менее важным конструкциям. А пока попробуйте набрать несколько формул из вашего учебника или научной статьи, используя только дроби, степени, индексы и корни. Этого уже достаточно для 70% задач.