Чётность и нечётность функций 🪞

Открой код любой нейросети десятилетней давности — и ты почти наверняка увидишь там tanh в качестве функции активации. Открой код современной модели — и увидишь ReLU, GELU, SiLU. Между этими двумя мирами лежит целая история споров о том, какая функция лучше «проводит сигнал» через слои. И один из главных аргументов в этих спорах — чисто математический: симметрия. Функция $\tanh$ нечётная, то есть $\tanh(-x) = -\tanh(x)$, а сигмоида — нет. Из-за этого выходы слоя с сигмоидой всегда положительны и «сползают» в среднем к $0{,}5$, градиенты у всех весов одного нейрона получают одинаковый знак, и обучение начинает идти зигзагом вместо прямой дороги к минимуму.

Звучит как узкоспециальная деталь, но за ней стоит очень простая школьная идея: у некоторых функций график симметричен относительно оси $Oy$ (зеркало), у некоторых — относительно начала координат (поворот на $180°$), а у большинства нет никакой симметрии вообще. Это свойство называется чётностью и нечётностью, проверяется одной подстановкой $-x$ вместо $x$, и при этом экономит колоссальное количество работы: построил половину графика — вторая достраивается бесплатно; посчитал интеграл по половине отрезка — вторая либо удваивает результат, либо обнуляет его; разложил сигнал в ряд Фурье — половина коэффициентов заведомо нулевая, и вычислять их не надо.

Представь, что ты собираешь модель, которая должна предсказывать что-то симметричное — например, силу отклонения от нуля, где неважно, отклонился ты влево или вправо. Если ты знаешь, что целевая функция чётная, ты можешь встроить эту симметрию прямо в архитектуру (это называется inductive bias) — и модель обучится быстрее, потому что ей не придётся выучивать симметрию с нуля по данным. Симметрия — это бесплатная информация, которую математика отдаёт тебе даром, а нужно только уметь её распознать.

В этом уроке мы разберём чётность и нечётность строго: как проверять, почему область определения важнее самой формулы, как комбинировать чётные и нечётные функции по правилам, похожим на правила знаков, и как любую функцию разложить на чётную и нечётную части — приём, который лежит в основе гиперболических синуса и косинуса и объясняет связь сигмоиды с $\tanh$ буквально одной строчкой.

🎯 Ты узнаешь:

• Как за 30 секунд определить чётность любой функции — и почему проверку всегда надо начинать с области определения, а не с формулы
• Что означает симметрия графика геометрически: зеркало относительно $Oy$ против поворота на $180°$ вокруг начала координат
• Правила «алгебры чётности»: чёт $\times$ чёт $=$ чёт, нечёт $\times$ нечёт $=$ чёт, и почему это работает как правило знаков
• Как разложить любую функцию на сумму чётной и нечётной части — и увидеть, что $e^x = \operatorname{ch} x + \operatorname{sh} x$, а сигмоида — это «сдвинутый пополам» $\tanh$
• Почему нечётность $\tanh$ ускоряет сходимость обучения, чётность MSE делает штраф беззнаковым, а симметрия сигнала обнуляет половину ряда Фурье

История: откуда это взялось?

Сами слова «чётная» и «нечётная» функция появились не случайно и не из-за чётности каких-то чисел в области определения — они пришли от показателей степени. Ещё в XVII–XVIII веках математики заметили простую вещь: у одночлена $x^n$ поведение при замене $x$ на $-x$ полностью определяется тем, чётное $n$ или нечётное. При чётном $n$ минус «съедается» ($(-x)^2 = x^2$), при нечётном — выживает ($(-x)^3 = -x^3$). Многочлен, состоящий только из чётных степеней, ведёт себя как $x^2$; многочлен только из нечётных степеней — как $x^3$. Отсюда и названия, которые потом распространили на все функции вообще, включая те, у которых никаких степеней в записи нет.

Настоящий взлёт этой идеи связан с именем Жозефа Фурье. В 1807 году он представил Парижской академии наук работу о распространении тепла в твёрдом теле, а в 1822 году вышла его знаменитая «Аналитическая теория тепла». Фурье решал абсолютно практическую инженерную задачу — как остывает нагретый металлический стержень — и предложил радикальную по тем временам идею: любую разумную периодическую функцию можно представить как бесконечную сумму синусов и косинусов. Академия во главе с Лагранжем встретила идею скептически, но она оказалась одним из самых мощных инструментов в истории математики. И вот тут чётность заиграла в полную силу: косинусы — чётные функции, синусы — нечётные. Если раскладываемый сигнал чётный, все коэффициенты при синусах равны нулю автоматически; если нечётный — обнуляются все косинусы. Половина вычислительной работы отпадает просто по факту симметрии.

Мостик в сегодня получается прямой и очень коротким. Быстрое преобразование Фурье (FFT) — алгоритм, на котором держится вся цифровая обработка звука, изображений и сжатие данных, — активно эксплуатирует симметрии, в том числе чётность-нечётность, чтобы вместо $O(n^2)$ операций обходиться $O(n \log n)$. Дискретное косинусное преобразование (DCT), лежащее в основе JPEG и MP3, — это буквально «разложение по чётной части». А в машинном обучении симметрия превратилась в отдельный инженерный принцип: эквивариантные и инвариантные нейросети (equivariant neural networks) строятся так, чтобы известная симметрия задачи была вшита в архитектуру, а не выучивалась заново из данных. Чётность функции — самый простой и самый первый пример такой симметрии, с которого всё начинается.

Чётные функции: график-зеркало

Интуиция

Представь, что ты поставил зеркало вертикально прямо по оси $Oy$. Функция чётная, если правая половина графика отражается в зеркале ровно в левую — точка в точку, без малейшего расхождения. Классические примеры: парабола $y = x^2$, модуль $y = |x|$, косинус $y = \cos x$, гауссиана $y = e^{-x^2}$ (та самая «колокольчатая» кривая нормального распределения).

Смысловое ядро чётности такое: функции всё равно, с какой стороны от нуля ты подошёл — важно только насколько далеко. Она реагирует на модуль аргумента, а знак игнорирует. Именно так устроены почти все функции «штрафа» и «расстояния»: ошибка в $+3$ и ошибка в $-3$ должны наказываться одинаково, иначе модель научится систематически завышать или занижать предсказания. Квадратичная ошибка $L(e) = e^2$ чётная — и это не случайность, а требование к разумной метрике.

Давай разберёмся с формальной проверкой. Она состоит из двух шагов, и первый шаг люди чаще всего пропускают — и получают неверный ответ.

Определение: Функция $f$ называется чётной, если выполняются два условия:

1. Её область определения $D(f)$ симметрична относительно нуля: для любого $x \in D(f)$ верно, что и $-x \in D(f)$.
2. Для всех $x \in D(f)$ выполняется равенство $f(-x) = f(x)$.

График чётной функции симметричен относительно оси ординат $Oy$.

Почему первое условие обязательно? Потому что если точка $x$ в области определения есть, а $-x$ нет, то само равенство $f(-x) = f(x)$ невозможно даже записать — левая часть не существует. Функция $y = \sqrt{x}$ задана на $[0; +\infty)$; попытка проверить $f(-4)$ ведёт в никуда. Такая функция не чётная и не нечётная — не из-за формулы, а из-за области.

Свойства чётных функций:

• График симметричен относительно оси $Oy$: точки $(x; y)$ и $(-x; y)$ обе принадлежат графику
• Достаточно построить график при $x \geq 0$ — левая часть достраивается зеркальным отражением
• В точке $x = 0$ у зеркально-симметричного графика касательная горизонтальна — график там либо разворачивается, либо проходит через вершину. Строгий язык для этого наблюдения (и формулу $f'(0) = 0$) ты получишь в уроке 133, где вводится производная
• Определённый интеграл по симметричному отрезку удваивается: $\displaystyle\int_{-a}^{a} f(x)\,dx = 2\int_{0}^{a} f(x)\,dx$
• Сумма и произведение чётных функций снова чётные

Примеры с разбором

Пример 1 (простой): исследуй на чётность $f(x) = x^4 + 2x^2 - 7$

Решение:

Шаг 1. Область определения. Многочлен определён при любом $x$, значит $D(f) = \mathbb{R}$ — множество симметрично относительно нуля ✅

Шаг 2. Подставим $-x$ вместо $x$ и аккуратно раскроем степени:

Шаг 3. Сравним с исходной функцией: получили ровно $f(x)$.

Проверим наш ответ на числах: $f(2) = 16 + 8 - 7 = 17$ и $f(-2) = 16 + 8 - 7 = 17$ ✅

Ответ: функция чётная.

📌 Обрати внимание на структуру: в записи присутствуют только чётные степени ($x^4$, $x^2$ и свободный член $-7 = -7x^0$, а ноль — чётное число). Для многочленов это мгновенный критерий.

Пример 2 (средний): исследуй на чётность $f(x) = \dfrac{|x|}{x^2 + 4}$

Решение:

Шаг 1. Область определения. Знаменатель $x^2 + 4 \geq 4 > 0$ при любом $x$ — в ноль он не обращается никогда. Значит $D(f) = \mathbb{R}$, множество симметрично ✅

Шаг 2. Подставим $-x$:

Шаг 3. Упростим по отдельности числитель и знаменатель. Модуль не различает знак: $|-x| = |x|$. Квадрат тоже: $(-x)^2 = x^2$. Получаем:

Проверим на числах: $f(3) = \dfrac{3}{13}$, $f(-3) = \dfrac{3}{13}$ ✅

Ответ: функция чётная.

📌 Здесь сработало общее правило: дробь чётна, если и числитель, и знаменатель чётны. Минусы «съедаются» в обоих этажах дроби независимо.

Пример 3 (сложный): исследуй на чётность $f(x) = \dfrac{2^x + 2^{-x}}{2}$

Решение:

Формула выглядит несимметрично — показатели $x$ и $-x$ разные. Но давай разберёмся по шагам.

Шаг 1. Область определения. Показательная функция $2^x$ определена при любом вещественном $x$, и $2^{-x}$ тоже. Значит $D(f) = \mathbb{R}$ ✅

Шаг 2. Подставим $-x$ вместо $x$ везде, где стоит $x$:

Шаг 3. Сравним со стартовой формулой. В числителе поменялись местами два слагаемых — а от перестановки слагаемых сумма не меняется:

Проверим на числах: $f(1) = \dfrac{2 + 0{,}5}{2} = 1{,}25$ и $f(-1) = \dfrac{0{,}5 + 2}{2} = 1{,}25$ ✅

Ответ: функция чётная.

📌 Это по сути гиперболический косинус: если взять основание $e$ вместо $2$, получится в точности $\operatorname{ch} x = \dfrac{e^x + e^{-x}}{2}$ — чётная функция, чей график называется цепной линией (форма провисающей цепи или троса ЛЭП под собственным весом). Мы вернёмся к ней в разделе про разложение.

Почему это важно

Чётность — это математическая формулировка требования «знак ошибки не должен влиять на величину штрафа». Среднеквадратичная ошибка $\text{MSE} = \frac{1}{n}\sum (y_i - \hat{y}_i)^2$, средняя абсолютная ошибка $\text{MAE} = \frac{1}{n}\sum |y_i - \hat{y}_i|$, функция Хубера — все они чётные по остатку $e = y - \hat{y}$. Если бы функция потерь не была чётной, у модели появился бы систематический стимул промахиваться в одну сторону: недооценка стоила бы дешевле, чем переоценка, и предсказания «поехали» бы вниз даже на идеально симметричных данных. Иногда такая асимметрия нужна намеренно (в прогнозировании спроса недозаказ и перезаказ действительно стоят по-разному — именно поэтому там применяют pinball loss квантильной регрессии), но по умолчанию симметрия — правильная настройка.

Чётность работает и на уровне архитектуры. Гауссово ядро $K(x, x') = \exp\left(-\frac{\|x - x'\|^2}{2\sigma^2}\right)$ в SVM и гауссовых процессах чётно по разности аргументов — именно поэтому оно измеряет «похожесть», а не «направление». Радиально-базисные функции (RBF), плотность нормального распределения, ядра свёртки в моделях размытия — везде под капотом чётная функция расстояния до центра.

Нечётные функции: симметрия поворота

Интуиция

Теперь другой тип симметрии. Возьми график, воткни булавку ровно в начало координат и поверни лист на $180°$. Если график лёг сам на себя — функция нечётная. Классические примеры: $y = x$, $y = x^3$, $y = \dfrac{1}{x}$, $y = \sin x$, $y = \tanh x$.

Смысловое ядро нечётности: функция сохраняет направление. Подал положительный вход — получил положительный выход, подал ровно противоположный — получил ровно противоположный по знаку и равный по модулю выход. Это поведение «честного усилителя», который меняет силу сигнала, но никогда не меняет его знак и не добавляет постоянного смещения.

Именно поэтому нечётность так ценится в функциях активации. Когда через слой с $\tanh$ проходит симметрично распределённый вокруг нуля сигнал, на выходе он тоже остаётся центрированным вокруг нуля — среднее не «уползает». А вот сигмоида $\sigma(x) = \dfrac{1}{1+e^{-x}}$ выдаёт исключительно положительные значения из $(0; 1)$, среднее выхода около $0{,}5$ — и следующему слою приходится работать со смещённым входом. У этого есть конкретное следствие: если все входы нейрона одного знака, то градиенты по всем его весам тоже получаются одного знака, и веса вынуждены двигаться «строем» — все вверх или все вниз. Траектория оптимизации превращается в зигзаг, и сходимость замедляется. Это классический аргумент из работы Яна Лекуна «Efficient BackProp» (1998), где прямо рекомендуется использовать симметричные (нечётные) активации.

Определение: Функция $f$ называется нечётной, если выполняются два условия:

1. Её область определения $D(f)$ симметрична относительно нуля.
2. Для всех $x \in D(f)$ выполняется равенство $f(-x) = -f(x)$.

График нечётной функции симметричен относительно начала координат.

Свойства нечётных функций:

• График симметричен относительно точки $(0; 0)$: если точка $(x; y)$ на графике, то и $(-x; -y)$ тоже
• Если $0 \in D(f)$, то обязательно $f(0) = 0$. Доказательство мгновенное: подставим $x = 0$ в определение, получим $f(0) = -f(0)$, то есть $2f(0) = 0$, откуда $f(0) = 0$
• Интеграл по симметричному отрезку равен нулю: $\displaystyle\int_{-a}^{a} f(x)\,dx = 0$ — левая площадь «под осью» ровно компенсирует правую «над осью»
• Достаточно построить график при $x \geq 0$, остальное — поворот на $180°$
• Сумма нечётных функций нечётна, а вот произведение двух нечётных — уже чётная функция

Примеры с разбором

Пример 1 (простой): исследуй на чётность/нечётность $f(x) = x^5 - 4x$

Решение:

Шаг 1. Область определения: $D(f) = \mathbb{R}$, симметрична ✅

Шаг 2. Подставим $-x$:

Шаг 3. Вынесем минус за скобку — это ключевой манёвр всей темы:

Проверим на числах: $f(2) = 32 - 8 = 24$, $f(-2) = -32 + 8 = -24 = -f(2)$ ✅

Ответ: функция нечётная.

📌 В записи только нечётные степени: $x^5$ и $x^1$. Для многочленов это мгновенный критерий нечётности — и заметь, что свободного члена нет: любая ненулевая константа сразу сломала бы нечётность.

Пример 2 (средний): исследуй на чётность/нечётность $f(x) = \dfrac{x}{x^4 + 1}$

Решение:

Шаг 1. Область определения. Знаменатель $x^4 + 1 \geq 1 > 0$ всегда, значит $D(f) = \mathbb{R}$ ✅

Шаг 2. Подставим $-x$:

Шаг 3. Вынесем минус из дроби:

Проверим на числах: $f(1) = \dfrac{1}{2} = 0{,}5$, $f(-1) = \dfrac{-1}{2} = -0{,}5$ ✅

Ответ: функция нечётная.

📌 Разберём логику по правилам, которые мы формализуем чуть ниже: числитель $x$ — нечётный, знаменатель $x^4 + 1$ — чётный. «Нечёт делить на чёт» даёт нечёт — как «минус делить на плюс» даёт минус. Кстати, эта функция очень похожа по форме на softsign-активацию $\dfrac{x}{1+|x|}$, которая тоже нечётна.

Пример 3 (сложный): докажи, что $\tanh(x) = \dfrac{e^{x} - e^{-x}}{e^{x} + e^{-x}}$ — нечётная функция

Решение:

Это ровно та активация, о которой мы говорили во вступлении, — докажем её нечётность строго.

Шаг 1. Область определения. Знаменатель $e^x + e^{-x}$ — сумма двух строго положительных чисел, значит он всегда положителен и в ноль не обращается. Отсюда $D(f) = \mathbb{R}$ ✅

Шаг 2. Подставим $-x$ вместо $x$ во все четыре места:

Шаг 3. Разберёмся отдельно с числителем и знаменателем. Знаменатель: $e^{-x} + e^{x} = e^{x} + e^{-x}$ — не изменился (перестановка слагаемых). Числитель: $e^{-x} - e^{x} = -(e^{x} - e^{-x})$ — сменил знак на противоположный.

Шаг 4. Соберём обратно:

Проверим на числах: $\tanh(1) \approx 0{,}7616$, $\tanh(-1) \approx -0{,}7616$ ✅ И, как положено нечётной функции, $\tanh(0) = \dfrac{1-1}{1+1} = 0$ ✅

Ответ: функция нечётная, $\tanh(-x) = -\tanh(x)$.

Практический вывод: если на вход слоя подать симметричный относительно нуля батч данных, среднее значение выходов $\tanh$ будет ровно нулевым — активации остаются центрированными, и следующему слою достаётся «чистый» сигнал без систематического сдвига.

Почему это важно

Нечётность — это про сохранение направления и отсутствие смещения. Три конкретных сюжета из ML и анализа данных:

Активации. Нечётные $\tanh$ и softsign сохраняют центрированность сигнала между слоями. Ненечётные ReLU $= \max(0, x)$ и сигмоида её ломают: обе выдают только неотрицательные значения. Именно поэтому вокруг ReLU выросла целая индустрия костылей — BatchNorm, LayerNorm, тщательная инициализация: они возвращают в сеть ту самую центрированность, которую нечётная активация давала бы даром. У ReLU при этом есть свои огромные плюсы (не насыщается на больших $x$, дёшево считается, даёт разреженные активации), и в итоге практика выбрала её — но заплатив нормализацией.

Асимметрия распределений. Коэффициент асимметрии (skewness) считается через третий центральный момент $E[(X - \mu)^3]$ — нечётную функцию отклонения. Именно нечётность позволяет ей отличать «хвост вправо» от «хвоста влево». Возьми чётную степень — и вся информация о направлении перекоса пропадёт, останется только его величина.

Функции ошибки со знаком. Bias (систематическое смещение) модели — это среднее от $\hat{y} - y$, нечётной функции остатка. Если бы мы усредняли квадраты, мы бы никогда не увидели, в какую сторону модель систематически врёт. Хороший диагностический пайплайн смотрит на обе метрики: чётную (сколько ошибаемся) и нечётную (в какую сторону).

Ни чётная, ни нечётная: третий и самый частый случай

Интуиция

Важнейшая мысль, которую надо усвоить сразу: чётность и нечётность — это не взаимоисключающая пара «или одно, или другое». Подавляющее большинство функций не обладает ни той, ни другой симметрией. Это норма, а не патология. Функции $y = x^2 + x$, $y = e^x$, $y = \ln x$, $y = \text{ReLU}(x)$, $y = \sigma(x)$ — все они «общего вида».

И есть ровно одна функция, которая одновременно и чётная, и нечётная: тождественный ноль $f(x) = 0$ на любой симметричной области. Проверь сам: $f(-x) = 0 = f(x)$ ✅ и $f(-x) = 0 = -0 = -f(x)$ ✅. Больше таких нет: если функция и чётная, и нечётная, то $f(x) = -f(x)$, откуда $2f(x) = 0$ и $f(x) \equiv 0$.

Давай разберёмся с самой коварной ловушкой темы — областью определения. Формула может выглядеть безупречно нечётной, но если область «обрезана» несимметрично, вся симметрия рушится.

Определение: Функция называется функцией общего вида, если она не является ни чётной, ни нечётной, то есть хотя бы для одного $x$ из области определения нарушается равенство $f(-x) = f(x)$ и хотя бы для одного нарушается $f(-x) = -f(x)$ — либо сама область определения несимметрична относительно нуля.

Как быстро доказать, что функция общего вида: достаточно найти одно конкретное число $a$, для которого $f(-a) \neq f(a)$ и $f(-a) \neq -f(a)$. Один контрпример закрывает вопрос — общее утверждение опровергается частным случаем. Удобнее всего пробовать $a = 1$.

Примеры с разбором

Пример 1 (простой): исследуй $f(x) = x^2 + x^3$

Решение:

Шаг 1. Область определения: $D(f) = \mathbb{R}$ ✅

Шаг 2. Возьмём контрпример $a = 1$. Считаем:

Шаг 3. Сравниваем с обоими условиями:

• Чётность требует $f(-1) = f(1)$, то есть $0 = 2$ — неверно ❌
• Нечётность требует $f(-1) = -f(1)$, то есть $0 = -2$ — неверно ❌

Ответ: функция общего вида — ни чётная, ни нечётная.

📌 Структурная причина: в записи смешаны чётная степень $x^2$ и нечётная $x^3$. Сумма ненулевой чётной и ненулевой нечётной функции всегда даёт функцию общего вида.

Пример 2 (средний): исследуй $f(x) = x^3$ на отрезке $[-2; 5]$

Решение:

Формула $x^3$ — эталонная нечётная функция. Но условие задаёт другую область определения, и это меняет всё.

Шаг 1. Проверим симметричность области. Точка $x = 5$ принадлежит отрезку $[-2; 5]$. А принадлежит ли ему $-5$? Нет: $-5 < -2$ ❌

Шаг 2. Первое условие определения нарушено: существует $x$ из области, для которого $-x$ вне области. Значит равенство $f(-x) = -f(x)$ невозможно проверить на всей области — при $x = 5$ выражение $f(-5)$ просто не определено.

Ответ: функция общего вида, потому что область определения несимметрична относительно нуля.

📌 Запомни железное правило: сначала область, потом формула. Проверка формулы без проверки области — самая частая ошибка в этой теме, и она стоит целого балла на экзамене.

Пример 3 (сложный): исследуй на чётность сигмоиду $\sigma(x) = \dfrac{1}{1 + e^{-x}}$ и функцию $\text{ReLU}(x) = \max(0, x)$

Решение:

Часть А. Сигмоида.

Шаг 1. Область определения: знаменатель $1 + e^{-x} > 1 > 0$ всегда, значит $D = \mathbb{R}$ ✅

Шаг 2. Возьмём $a = 1$ и посчитаем. $\sigma(1) = \dfrac{1}{1 + e^{-1}} \approx \dfrac{1}{1{,}368} \approx 0{,}731$, а $\sigma(-1) = \dfrac{1}{1 + e^{1}} \approx \dfrac{1}{3{,}718} \approx 0{,}269$.

Шаг 3. Проверяем: $0{,}269 \neq 0{,}731$ (не чётная) и $0{,}269 \neq -0{,}731$ (не нечётная).

Шаг 4. Зато обнаруживается красивое тождество. Сложим:

Приведём второе слагаемое к общему виду, домножив числитель и знаменатель на $e^{-x}$:

Теперь у дробей общий знаменатель:

Часть Б. ReLU.

Шаг 1. Область определения: $D = \mathbb{R}$ ✅

Шаг 2. Возьмём $a = 1$: $\text{ReLU}(1) = \max(0, 1) = 1$, $\text{ReLU}(-1) = \max(0, -1) = 0$.

Шаг 3. $0 \neq 1$ и $0 \neq -1$ — ни одно из условий не выполнено.

Ответ: обе функции — общего вида. Но сигмоида обладает «сдвинутой» симметрией: $\sigma(x) + \sigma(-x) = 1$, то есть её график центрально-симметричен относительно точки $\left(0; \dfrac{1}{2}\right)$, а не относительно начала координат.

Почему это важно

Найденное тождество $\sigma(x) + \sigma(-x) = 1$ — не декоративное. Во-первых, оно означает, что в бинарной классификации вероятность класса «не-1» при инвертированном логите равна дополнению до единицы — то есть сигмоида честно и согласованно раздаёт вероятности двум классам. Во-вторых, из него сразу следует, что «нечётная часть» сигмоиды — это $\sigma(x) - \dfrac{1}{2}$, а «чётная часть» — константа $\dfrac{1}{2}$. Именно эта константа и есть тот самый сдвиг, который портит центрированность активаций и о котором мы говорили выше. Убери её — и получишь честную нечётную функцию, с точностью до масштаба совпадающую с $\tanh$: существует тождество $\sigma(x) = \dfrac{1 + \tanh(x/2)}{2}$.

С ReLU история другая: у неё нет вообще никакой симметрии, и это осознанный размен. Взамен она даёт неубывающий градиент на положительной полуоси (нет насыщения, как у $\tanh$ на больших $|x|$) и почти нулевую стоимость вычисления. Асимметрию потом «лечат» нормализацией слоёв. Понимание, что именно ты теряешь, выбирая ReLU, — это ровно понимание того, что такое нечётность.

Алгебра чётности: правила комбинирования

Интуиция

Здесь тебя ждёт приятный сюрприз: чётность ведёт себя как правило знаков при умножении. Присвой чётной функции знак «$+$», нечётной — «$-$», перемножь знаки — получишь тип произведения. И работает это ровно по той же причине: чётность/нечётность — это про то, «выживает ли минус» при замене $x \to -x$, а минусы при умножении складываются по обычным правилам.

Разберём по шагам, откуда берутся правила. Пусть $u$ чётная ($u(-x) = u(x)$), а $v$ нечётная ($v(-x) = -v(x)$). Тогда для произведения $p(x) = u(x)v(x)$:

То есть «чёт $\times$ нечёт $=$ нечёт», ровно как «$+ \times - = -$». Остальные комбинации проверяются точно так же.

Правила алгебры чётности. Пусть $u$ и $v$ определены на одной симметричной области.

Сложение (только для одинаковых типов):

• чёт $+$ чёт $=$ чёт
• нечёт $+$ нечёт $=$ нечёт
• чёт $+$ нечёт $=$ функция общего вида (если оба слагаемых не равны тождественно нулю)

Умножение и деление (работает как правило знаков):

• чёт $\times$ чёт $=$ чёт
• нечёт $\times$ нечёт $=$ чёт
• чёт $\times$ нечёт $=$ нечёт

Композиция $g(f(x))$:

• если внутренняя $f$ чётная — вся композиция чётная, какой бы ни была внешняя $g$
• если внутренняя $f$ нечётная, а внешняя $g$ чётная — композиция чётная
• если обе нечётные — композиция нечётная

Правило композиции с чётной «начинкой» стоит отдельного внимания: если $f(-x) = f(x)$, то $g(f(-x)) = g(f(x))$ автоматически — внешняя функция получает на вход одно и то же число и не имеет ни малейшего шанса различить $x$ и $-x$. Это и есть математический костяк «инвариантных» моделей: пропусти вход через чётное преобразование — и модель физически неспособна различить симметричные случаи.

Примеры с разбором

Пример 1 (простой): определи тип функции $f(x) = x^3 \sin x$

Решение:

Шаг 1. Область определения: $D(f) = \mathbb{R}$ ✅

Шаг 2. Разбираем множители по отдельности. $x^3$ — нечётная (нечётная степень). $\sin x$ — нечётная ($\sin(-x) = -\sin x$).

Шаг 3. Применяем правило: нечёт $\times$ нечёт $=$ чёт (как «минус на минус даёт плюс»).

Проверим прямой подстановкой:

✅

Ответ: функция чётная.

Пример 2 (средний): определи тип функции $f(x) = \dfrac{x^2 \cos x}{x^4 + 1}$

Решение:

Шаг 1. Область определения: знаменатель $x^4 + 1 \geq 1 > 0$, значит $D(f) = \mathbb{R}$ ✅

Шаг 2. Разбираем на блоки:

• $x^2$ — чётная
• $\cos x$ — чётная
• $x^4 + 1$ — чётная

Шаг 3. Собираем: числитель — произведение двух чётных, значит чётный. Дробь «чёт делить на чёт» — чётная.

Проверим на числах: $f(1) = \dfrac{1 \cdot \cos 1}{2} \approx \dfrac{0{,}540}{2} \approx 0{,}270$; $f(-1) = \dfrac{1 \cdot \cos(-1)}{2} = \dfrac{0{,}540}{2} \approx 0{,}270$ ✅

Ответ: функция чётная.

Пример 3 (сложный): определи тип функций $g(x) = e^{-x^2}$ и $h(x) = \sin(x^3)$

Решение:

Часть А: $g(x) = e^{-x^2}$ — это гауссиана, ядро нормального распределения и RBF-ядра.

Шаг 1. Область определения: $D = \mathbb{R}$ ✅

Шаг 2. Разложим на композицию: внутренняя функция $u(x) = -x^2$ (чётная), внешняя $v(t) = e^{t}$ (общего вида).

Шаг 3. По правилу композиции с чётной начинкой результат чётный независимо от внешней функции. Проверим напрямую:

✅

Часть Б: $h(x) = \sin(x^3)$.

Шаг 1. Область определения: $D = \mathbb{R}$ ✅

Шаг 2. Внутренняя $u(x) = x^3$ — нечётная, внешняя $v(t) = \sin t$ — тоже нечётная.

Шаг 3. По правилу «обе нечётные — композиция нечётная». Проверим напрямую:

✅

Ответ: $g(x) = e^{-x^2}$ — чётная, $h(x) = \sin(x^3)$ — нечётная.

📌 Гауссиана — эталонный пример того, зачем нужна чётность в ML: RBF-ядро $\exp\left(-\gamma\|x - x'\|^2\right)$ чётно по разности $x - x'$, а значит «похожесть» объектов $A$ и $B$ в точности равна похожести $B$ и $A$. Симметричность меры сходства — не мелочь, а обязательное требование к корректному ядру.

Почему это важно

Правила алгебры чётности превращают исследование сложной функции из скучной подстановки в быстрый разбор на кубики. Функция вида $f(x) = \dfrac{x \cdot \tanh(x^2)}{1 + \cos x}$ раскладывается за пять секунд: $x$ — нечёт, $x^2$ — чёт, значит $\tanh(x^2)$ — чёт (композиция с чётной начинкой), $\cos x$ — чёт, знаменатель — чёт. Итого: нечёт $\times$ чёт $/$ чёт $=$ нечёт. Ни одной подстановки $-x$ не потребовалось.

И это же ход мысли применяют инженеры, проектирующие архитектуры с симметриями. Хочешь, чтобы модель давала одинаковый ответ на $x$ и $-x$ (например, классифицировала сигнал независимо от полярности)? Пропусти вход через любое чётное преобразование — модуль, квадрат, спектр мощности — и инвариантность гарантирована математически, а не «выучена приблизительно на данных». В обработке звука так и делают: спектр мощности $|X(f)|^2$ чётен по знаку сигнала, поэтому классификатор на нём физически не может различить инвертированную волну — что абсолютно правильно, ведь человеческое ухо её тоже не различает.

Разложение любой функции на чётную и нечётную части

Интуиция

Вот приём, который выглядит как фокус, но объясняется за две строчки. Любую функцию, заданную на симметричной области, можно единственным образом представить в виде суммы чётной и нечётной функций. Даже ту, которая сама по себе никакой симметрией не обладает.

Идея простая: если бы разложение $f(x) = f_{\text{чёт}}(x) + f_{\text{нечёт}}(x)$ существовало, то, подставив $-x$, мы получили бы $f(-x) = f_{\text{чёт}}(x) - f_{\text{нечёт}}(x)$. Теперь у нас система из двух линейных уравнений с двумя неизвестными — сложим их и вычтем:

Теорема о разложении: Пусть $f$ определена на симметричной относительно нуля области. Тогда

$$f(x) = \underbrace{\frac{f(x) + f(-x)}{2}}_{\text{чётная часть}} + \underbrace{\frac{f(x) - f(-x)}{2}}_{\text{нечётная часть}}$$

причём такое представление единственно.

Проверим, что части действительно те, за кого себя выдают. Обозначим $g(x) = \dfrac{f(x)+f(-x)}{2}$. Тогда $g(-x) = \dfrac{f(-x) + f(x)}{2} = g(x)$ — чётная ✅ Обозначим $h(x) = \dfrac{f(x)-f(-x)}{2}$. Тогда $h(-x) = \dfrac{f(-x) - f(x)}{2} = -h(x)$ — нечётная ✅ И их сумма: $g(x) + h(x) = \dfrac{f(x)+f(-x)+f(x)-f(-x)}{2} = \dfrac{2f(x)}{2} = f(x)$ ✅

Примеры с разбором

Пример 1 (средний): разложи $f(x) = e^x$ на чётную и нечётную части

Решение:

Шаг 1. Область определения $\mathbb{R}$ симметрична ✅ Найдём $f(-x) = e^{-x}$.

Шаг 2. Чётная часть:

Шаг 3. Нечётная часть:

Ответ: $e^x = \dfrac{e^{x}+e^{-x}}{2} + \dfrac{e^{x}-e^{-x}}{2}$, то есть $e^x = \operatorname{ch} x + \operatorname{sh} x$.

📌 Мы только что вывели гиперболический косинус и гиперболический синус — не как загадочные определения из справочника, а как чётную и нечётную половинки обычной экспоненты. И становится очевидна формула $\tanh x = \dfrac{\operatorname{sh} x}{\operatorname{ch} x}$: это отношение нечётной части экспоненты к чётной, а «нечёт делить на чёт» даёт нечёт — вот откуда нечётность $\tanh$ на самом деле берётся.

Пример 2 (сложный): разложи сигмоиду $\sigma(x) = \dfrac{1}{1+e^{-x}}$ на чётную и нечётную части

Решение:

Шаг 1. Мы уже доказали тождество $\sigma(x) + \sigma(-x) = 1$. Используем его напрямую.

Шаг 2. Чётная часть:

Это константа — самая скучная чётная функция на свете.

Шаг 3. Нечётная часть. Из тождества выразим $\sigma(-x) = 1 - \sigma(x)$ и подставим:

Проверим на числах: при $x = 1$ получаем $g(1) + h(1) = 0{,}5 + (0{,}731 - 0{,}5) = 0{,}731 = \sigma(1)$ ✅

Ответ: $\sigma(x) = \dfrac{1}{2} + \left(\sigma(x) - \dfrac{1}{2}\right)$, где чётная часть — константа $\dfrac{1}{2}$, нечётная — $\sigma(x) - \dfrac{1}{2} = \dfrac{1}{2}\tanh\dfrac{x}{2}$.

Вывод для практики: вся «несимметричность» сигмоиды сосредоточена в одной-единственной константе $\dfrac{1}{2}$ — это и есть тот самый постоянный сдвиг активаций, который замедляет обучение. Формально: $\sigma(x) = \dfrac{1}{2} + \dfrac{1}{2}\tanh\dfrac{x}{2}$, то есть сигмоида — это $\tanh$, сжатый вдвое по обеим осям и поднятый на $\dfrac{1}{2}$ вверх. Замена сигмоиды на $\tanh$ в скрытых слоях — это буквально вычитание вредной константы.

Почему это важно

Разложение на симметричную и антисимметричную части — рабочий инструмент далеко за пределами школьной алгебры. В обработке сигналов преобразование Фурье вещественного сигнала раскладывается ровно так: чётная часть сигнала даёт вещественную часть спектра (косинусы), нечётная — мнимую (синусы). В квантовой механике волновые функции классифицируют по чётности, и «правило отбора» запрещает переходы между состояниями неподходящей симметрии — это прямое следствие того, что интеграл от нечётной функции по симметричному промежутку равен нулю. В линейной алгебре любая квадратная матрица единственным образом раскладывается в сумму симметричной $\frac{A + A^\top}{2}$ и кососимметричной $\frac{A - A^\top}{2}$ — та же самая формула, только вместо $f(-x)$ стоит $A^\top$. Одна идея, три разные области.

Практика: 30 заданий

Базовые (задания 1-10)

Задание 1: Исследуй на чётность функцию $f(x) = x^4 - 3x^2 + 5$.

Задание 2: Исследуй на чётность функцию $f(x) = x^3 + x$.

Задание 3: Исследуй на чётность функцию $f(x) = x^2 + x$.

Задание 4: Исследуй на чётность функцию $f(x) = |x|$.

Задание 5: Исследуй на чётность функцию $f(x) = \dfrac{1}{x}$.

Задание 6: Исследуй на чётность функцию $f(x) = \sqrt{x}$.

Задание 7: Исследуй на чётность функцию $f(x) = 5$ (постоянная функция).

Задание 8: Исследуй на чётность функцию $f(x) = x^5 - x^3 + 2x$.

Задание 9: Исследуй на чётность функции $f(x) = \cos x$ и $g(x) = \sin x$.

Задание 10: Функция активации $\text{ReLU}(x) = \max(0, x)$. Определи её тип симметрии и объясни, почему выходы слоя с ReLU не могут быть центрированы вокруг нуля.

Средние (задания 11-20)

Задание 11: Исследуй на чётность функцию $f(x) = \dfrac{x^2}{x^4 + 1}$.

Задание 12: Исследуй на чётность функцию $f(x) = \dfrac{x}{x^2 + 1}$ — сглаженный аналог линейной активации с насыщением.

Задание 13: Докажи, что $\tanh x = \dfrac{e^{x} - e^{-x}}{e^{x} + e^{-x}}$ — нечётная функция, и вычисли $\tanh(-2)$, если известно, что $\tanh 2 \approx 0{,}9640$.

Задание 14: Исследуй на чётность функцию $f(x) = x \sin x$.

Задание 15: Функция $y = x^2$ задана на отрезке $[-3; 2]$. Определи её тип.

Задание 16: Сигмоида $\sigma(x) = \dfrac{1}{1+e^{-x}}$. Определи её тип и докажи тождество $\sigma(x) + \sigma(-x) = 1$.

Задание 17: Исследуй на чётность функцию $f(x) = x^4 + x^3$ и объясни результат структурно.

Задание 18: При каком значении параметра $a$ функция $f(x) = x^4 + a x^3 + x^2$ является чётной?

Задание 19: Известно, что $f(3) = 7$. Найди $f(-3)$, если: а) $f$ — чётная; б) $f$ — нечётная. Что можно сказать про $f(0)$ в каждом случае?

Задание 20: Функция потерь как функция остатка $e = y - \hat{y}$: $L_1(e) = e^2$ (MSE) и $L_2(e) = e^3$. Определи тип каждой и объясни, почему $L_2$ нельзя использовать в качестве функции потерь.

Продвинутые (задания 21-30)

Задание 21: Исследуй на чётность функцию $f(x) = \ln\dfrac{1+x}{1-x}$ (это функция логит, обратная к сигмоиде с точностью до масштаба).

Задание 22: Докажи, что $f(x) = \ln\left(x + \sqrt{x^2+1}\right)$ — нечётная функция.

Задание 23: Разложи $f(x) = e^{x}$ на сумму чётной и нечётной функций.

Задание 24: Разложи $f(x) = (x+1)^2$ на чётную и нечётную части.

Задание 25: Вычисли $\displaystyle\int_{-1}^{1}\left(x^4 + x^3\right)dx$, используя свойства симметрии.

Задание 26: Докажи, что единственная функция, которая одновременно является и чётной, и нечётной на симметричной области определения, — это тождественный ноль $f(x) \equiv 0$. Выведи отсюда, что разложение функции на чётную и нечётную части единственно.

Задание 27: Сигнал $f(x) = x$ на промежутке $(-\pi; \pi)$ раскладывают в ряд Фурье $f(x) = a_0 + \sum\limits_{n=1}^{\infty}\left(a_n\cos nx + b_n \sin nx\right)$. Какие коэффициенты заведомо равны нулю и почему?

Задание 28: Пусть $f$ — произвольная функция на симметричной области. Докажи, что $p(x) = f(x)\cdot f(-x)$ — всегда чётная функция, каким бы ни было $f$.

Задание 29: На вход нейрона подали набор значений $\{-2; -1; 0; 1; 2\}$. Вычисли среднее значение выходов для активации $\tanh$ и для сигмоиды $\sigma$. Используй $\tanh 1 \approx 0{,}7616$, $\tanh 2 \approx 0{,}9640$, $\sigma(1) \approx 0{,}7311$, $\sigma(2) \approx 0{,}8808$.

Задание 30: Отладка кода. Функция должна определять тип симметрии, но выдаёт неверные ответы. Найди обе ошибки и исправь.

import numpy as np

def parity(f, xs):
    if all(f(-x) == f(x) for x in xs):
        return "чётная"
    if all(f(-x) == -f(x) for x in xs):
        return "нечётная"
    return "общего вида"

print(parity(np.cos, [0.1, 0.5, 1.0]))   # ожидали «чётная», получили «общего вида»
print(parity(np.sqrt, [0.1, 0.5, 1.0]))  # ожидали «общего вида», получили «чётная» (и warning)

import numpy as np

def parity(f, xs, tol=1e-9):
    xs = np.asarray(xs, dtype=float)

    # Шаг 1: область определения должна быть симметрична
    vals_pos = f(xs)
    vals_neg = f(-xs)
    if not (np.all(np.isfinite(vals_pos)) and np.all(np.isfinite(vals_neg))):
        return "общего вида (область определения несимметрична)"

    # Шаг 2: сравнение с допуском, а не через ==
    if np.all(np.abs(vals_neg - vals_pos) < tol):
        return "чётная"
    if np.all(np.abs(vals_neg + vals_pos) < tol):
        return "нечётная"
    return "общего вида"

Частые ошибки

❌ Ошибка 1: проверять формулу, не проверив область определения

Неправильно: увидеть $f(x) = x^3$ на отрезке $[-1; 4]$, подставить $-x$, получить $-f(x)$ и написать «нечётная».

Правильно: сначала проверить симметричность области. Точка $x = 4$ входит в отрезок, а $x = -4$ — нет. Область несимметрична, значит функция общего вида, какой бы красивой ни была формула.

💡 Почему важно: это самая частая потеря балла в теме. Чётность — свойство функции целиком, а функция $=$ формула $+$ область определения. Обрезал область несимметрично — уничтожил симметрию.

❌ Ошибка 2: считать, что функция обязана быть либо чётной, либо нечётной

Неправильно: рассуждать так: «проверил чётность — не подошло, значит нечётная».

Правильно: нужно проверять оба условия независимо. Подавляющее большинство функций — общего вида: $e^x$, $\ln x$, $x^2+x$, ReLU, сигмоида. Это норма.

💡 Почему важно: «либо-либо» — ложная дихотомия, которая приводит к неверным ответам примерно в половине заданий. Правильная схема из трёх ветвей: область несимметрична → общего вида; $f(-x) = f(x)$ → чётная; $f(-x) = -f(x)$ → нечётная; ничего не сошлось → общего вида.

❌ Ошибка 3: путать симметрию графика относительно $Oy$ и относительно $Ox$

Неправильно: говорить, что график чётной функции симметричен относительно оси $Ox$.

Правильно: чётная функция — симметрия относительно оси $Oy$ (вертикальное зеркало). Нечётная — симметрия относительно точки $(0;0)$, то есть поворот на $180°$. Симметрии относительно оси $Ox$ у графика функции не бывает вообще: она означала бы два разных значения $y$ при одном $x$, а это уже не функция.

💡 Почему важно: правильная геометрическая картинка позволяет достраивать график по половине и мгновенно ловить ошибки в вычислениях.

❌ Ошибка 4: проверять чётность по одной-двум точкам и делать общий вывод

Неправильно: посчитать $f(1)$ и $f(-1)$, увидеть совпадение и объявить функцию чётной.

Правильно: совпадение в отдельных точках — только гипотеза. Возьми $f(x) = x(x^2-1)(x^2-4)$. В точках $x = \pm 1$ и $x = \pm 2$ значения совпадают (все четыре равны нулю), и по этим четырём точкам функция выглядит чётной — но на самом деле она нечётная, что видно уже при $x = \pm 3$: $f(3) = 3 \cdot 8 \cdot 5 = 120$, а $f(-3) = -120$. Доказательство чётности — только алгебраическая подстановка $-x$ в формулу.

💡 Почему важно: численная проверка на конечном наборе точек (в том числе в коде) даёт гипотезу, а не доказательство — ровно как в задании 30. Один контрпример опровергает, но никакое количество совпадений не доказывает.

❌ Ошибка 5: думать, что произведение двух нечётных функций нечётно

Неправильно: решить, что раз $x$ и $\sin x$ обе нечётные, то $x\sin x$ тоже нечётная.

Правильно: нечёт $\times$ нечёт $=$ чёт, как «минус на минус даёт плюс». Проверь: $f(-x) = (-x)\sin(-x) = (-x)(-\sin x) = x\sin x = f(x)$ — чётная.

💡 Почему важно: это правило легко перепутать по аналогии со сложением, где нечёт $+$ нечёт действительно даёт нечёт. Умножение и сложение работают по разным правилам: сложение сохраняет тип, умножение перемножает «знаки».

❌ Ошибка 6: забывать, что нечётная функция обязана проходить через ноль

Неправильно: утверждать, что $f(x) = \dfrac{1}{x}$ не может быть нечётной, потому что $f(0)$ не существует.

Правильно: условие $f(0) = 0$ обязательно только если ноль входит в область определения. У $y = 1/x$ ноль выколот, область $(-\infty;0)\cup(0;+\infty)$ симметрична, и функция честно нечётна. А вот если ноль в области есть, а $f(0) \neq 0$ — это мгновенное опровержение нечётности.

💡 Почему важно: проверка $f(0) \neq 0$ — самый быстрый способ отсечь нечётность за пару секунд. Например, для $f(x) = \cos x$: $f(0) = 1 \neq 0$, значит нечётной она быть не может, остаётся проверить только чётность.

Главное запомнить

✅ Чётная функция: $f(-x) = f(x)$, график симметричен относительно оси $Oy$ — «зеркало». Примеры: $x^2$, $x^4$, $|x|$, $\cos x$, $e^{-x^2}$, $\operatorname{ch} x$.

✅ Нечётная функция: $f(-x) = -f(x)$, график симметричен относительно начала координат — «поворот на $180°$». Примеры: $x$, $x^3$, $\dfrac{1}{x}$, $\sin x$, $\tanh x$, $\operatorname{sh} x$.

✅ Проверка всегда начинается с области определения. Если область несимметрична относительно нуля — функция сразу общего вида, формулу можно не трогать.

✅ Третий вариант — норма, а не исключение. Большинство функций ($e^x$, $\ln x$, $\sqrt{x}$, ReLU, сигмоида, $x^2+x$) не чётные и не нечётные. Единственная функция, которая и чётная, и нечётная одновременно, — тождественный ноль.

✅ Для многочленов работает мгновенный критерий: только чётные степени (включая свободный член) — чётная; только нечётные степени без свободного члена — нечётная; смесь — общего вида.

✅ Алгебра чётности работает как правило знаков при умножении: чёт $\times$ чёт $=$ чёт, нечёт $\times$ нечёт $=$ чёт, чёт $\times$ нечёт $=$ нечёт. При сложении тип сохраняется только у одинаковых типов.

✅ Композиция: чётная «начинка» делает чётной всю композицию при любой внешней функции — на этом строится инвариантность в моделях машинного обучения.

✅ Если нечётная функция определена в нуле, то $f(0) = 0$. Это самая быстрая проверка на опровержение нечётности.

✅ Интегралы по симметричному отрезку: от нечётной функции — ровно ноль; от чётной — удвоенный интеграл по половине.

✅ Любая функция на симметричной области единственным образом раскладывается на чётную $\dfrac{f(x)+f(-x)}{2}$ и нечётную $\dfrac{f(x)-f(-x)}{2}$ части. Для экспоненты это даёт $e^x = \operatorname{ch} x + \operatorname{sh} x$, для сигмоиды — константу $\dfrac{1}{2}$ плюс $\dfrac{1}{2}\tanh\dfrac{x}{2}$.

Связь с другими темами курса

Что было раньше: преобразования графиков (урок 84) — там ты научился отражать график относительно осей. Чётность и нечётность как раз описывают функции, которые при таком отражении переходят сами в себя: чётная — при отражении относительно $Oy$, нечётная — при двойном отражении (относительно обеих осей сразу, что равносильно повороту на $180°$). Степенная функция (урок 81) дала первые примеры: $x^n$ чётна при чётном $n$ и нечётна при нечётном.

Что дальше: следующий урок — периодические функции. Это ещё один тип симметрии, только не зеркальной, а сдвиговой: $f(x + T) = f(x)$. Вместе чётность и периодичность образуют базовый набор симметрий, которым описывают волны и сигналы, — и именно на их пересечении живёт тригонометрия и ряды Фурье. Дальше в курсе чётность встретится в разделе про производные (производная чётной функции нечётна, и наоборот), а в теме определённого интеграла станет прямым инструментом экономии вычислений.

Где это применяется в жизни и в ML/данных:

🧠 В машинном обучении: нечётность $\tanh$ и softsign сохраняет центрированность активаций между слоями и ускоряет сходимость; асимметрия ReLU компенсируется слоями нормализации; чётность MSE, MAE и функции Хубера гарантирует беззнаковость штрафа; чётность гауссова ядра $e^{-\gamma\|x-x'\|^2}$ делает меру сходства симметричной.

📡 В обработке сигналов: ряды и преобразование Фурье — чётный сигнал даёт только косинусы (вещественный спектр), нечётный — только синусы (мнимый); дискретное косинусное преобразование в JPEG и MP3 построено ровно на этом.

🔬 В физике и химии: чётность волновой функции определяет разрешённые квантовые переходы (правила отбора) — запрет следует из обнуления интеграла нечётной функции; симметрия молекулярных орбиталей классифицируется тем же способом.

📐 В линейной алгебре: разложение матрицы на симметричную и кососимметричную части $A = \dfrac{A+A^\top}{2} + \dfrac{A-A^\top}{2}$ — та же формула, что и разложение функции на чётную и нечётную части.

📊 В статистике: чётные центральные моменты (дисперсия, эксцесс) измеряют разброс и тяжесть хвостов, нечётные (асимметрия) — направление перекоса. Разделение работы между чётными и нечётными моментами — прямое следствие их симметрии.

Интересные факты

💡 Названия пришли от степеней, а не от чисел. Термины «чётная» и «нечётная» функция никак не связаны с чётностью значений или аргументов — они унаследованы от показателей степени в одночленах $x^n$. Многочлен из одних чётных степеней ведёт себя как $x^2$, из одних нечётных — как $x^3$. Название прижилось настолько, что теперь так называют и $\cos x$, у которого никаких степеней в записи нет.

💡 Фурье встретили в штыки. Когда в 1807 году Жозеф Фурье представил Парижской академии идею разложения произвольной функции в тригонометрический ряд, комиссия во главе с Лагранжем отказалась публиковать работу — утверждение казалось слишком смелым и недостаточно строгим. Полноценное издание «Аналитической теории тепла» вышло только в 1822 году. Сегодня преобразование Фурье, где чётность и нечётность играют ключевую роль, выполняется в мире миллиарды раз в секунду — в каждом Wi-Fi-роутере, каждом mp3-плеере и каждом медицинском томографе.

💡 Ноль — единственная функция с двойным гражданством. $f(x) \equiv 0$ — единственная функция, которая одновременно и чётная, и нечётная. Доказывается в одну строчку: если оба условия выполняются, то $f(x) = -f(x)$, откуда $f(x) = 0$. В терминах линейной алгебры это означает, что пространства чётных и нечётных функций пересекаются только в нулевом векторе — и именно поэтому разложение любой функции на две части единственно.

💡 Симметрия передаётся производной — но с переворотом. Забегая вперёд: у чётной функции производная всегда нечётна, а у нечётной — чётна. Проверить это на примерах можно уже сейчас: $x^4$ чётна, а её производная $4x^3$ нечётна; $x^3$ нечётна, а её производная $3x^2$ чётна. Почему так происходит и как это доказывается, станет понятно после урока 133, где вводится само понятие производной. Полезное следствие, которое видно и без выкладок: у графика чётной функции в точке $x = 0$ касательная горизонтальна — иначе зеркальная симметрия была бы нарушена.

💡 Симметрия сэкономила науке несколько десятилетий. В 1956 году физики Ли и Янг предположили, что закон сохранения чётности — глубокое обобщение той самой идеи «$f(-x)$ против $f(x)$» на законы природы — может нарушаться в слабых взаимодействиях. Эксперимент Ву в том же году подтвердил нарушение, и уже в 1957 году Ли и Янг получили Нобелевскую премию — один из самых быстрых путей от гипотезы до награды в истории физики. Оказалось, что Вселенная всё-таки различает «лево» и «право».

💡 Нечётность $\tanh$ — аргумент из учебника по нейросетям. В классической работе Яна Лекуна с соавторами «Efficient BackProp» (1998) прямо рекомендуется использовать симметричные (нечётные) активации вместо сигмоиды именно из-за центрированности выходов. Прошло больше двадцати лет, отрасль перешла на ReLU и её потомков — но проблему сдвига активаций пришлось решать заново, уже с помощью BatchNorm (2015). Иногда математическая аккуратность экономит годы инженерных костылей.

Лайфхаки и полезные трюки

1. Проверяй $f(0)$ первым делом

Если ноль входит в область определения и $f(0) \neq 0$ — нечётность отпадает мгновенно, остаётся проверить только чётность. Для $f(x) = \cos x + x^2$ достаточно увидеть $f(0) = 1 \neq 0$, чтобы половину работы отбросить.

2. Для многочленов смотри только на степени

Все степени чётные (свободный член считается степенью $x^0$, а ноль — чётное число) → функция чётная. Все степени нечётные и свободного члена нет → нечётная. Смесь → общего вида. Никаких подстановок $-x$ не требуется: $x^6 - 3x^2 + 8$ — чётная сразу; $x^5 + 7x$ — нечётная сразу; $x^4 + x$ — общего вида сразу.

3. Разбивай сложную функцию на кубики и применяй правило знаков

Присвой чётной функции «$+$», нечётной «$-$», и просто перемножь знаки. Для $f(x) = \dfrac{x\tanh(x^2)}{1+\cos x}$: $x$ это «$-$», $\tanh(x^2)$ это «$+$» (композиция с чётной начинкой), $1 + \cos x$ это «$+$». Итого $\dfrac{-\cdot+}{+} = -$, то есть нечётная. Пять секунд вместо подстановки.

4. Один контрпример закрывает вопрос

Чтобы доказать, что функция общего вида, не нужны выкладки — достаточно найти одно число, где симметрия ломается. Начинай с $x = 1$: посчитал $f(1)$ и $f(-1)$, они не равны и не противоположны — всё, ответ готов. Опровержение всегда дешевле доказательства.

5. Ищи готовую симметрию перед вычислением интеграла

Прежде чем считать $\int_{-a}^{a}$, разбей подынтегральное выражение на слагаемые и определи тип каждого. Все нечётные слагаемые дают строгий ноль, чётные — удваиваются на половине отрезка. Интеграл $\int_{-5}^{5}\left(x^7 + x^3\sin(x^2) + \sqrt{|x|}\right)dx$ выглядит устрашающе, но первое слагаемое нечётно, второе тоже (нечётная $x^3$ умножается на чётную $\sin(x^2)$, а нечёт $\times$ чёт $=$ нечёт) — оба обнуляются. Остаётся только $2\int_{0}^{5}\sqrt{x}\,dx$, а это уже задача в одну строку.

6. Быстрый способ «починить» несимметричную функцию

Если нужна именно симметричная версия функции — не подбирай её вручную, а возьми готовую формулу: чётная часть $\dfrac{f(x)+f(-x)}{2}$, нечётная $\dfrac{f(x)-f(-x)}{2}$. Так из сигмоиды получается $\tanh$, из экспоненты — гиперболические синус и косинус, а из любого нечестного ядра — симметричное. В коде это одна строчка, и она гарантированно даёт нужный тип симметрии.

7. В коде сравнивай с допуском, а не через ==

Численная проверка чётности всегда должна выглядеть как abs(f(-x) - f(x)) < 1e-9, а не f(-x) == f(x). Иначе погрешность округления объявит косинус функцией общего вида. И помни: численный тест — гипотеза, доказывает только алгебра.

Чётность и нечётность выглядят как маленькая техническая тема — проверил подстановкой, написал ответ, пошёл дальше. Но за этой проверкой стоит один из самых мощных принципов всей математики: симметрия — это информация, которую можно не вычислять, а просто использовать. Она вдвое сокращает построение графика, обнуляет интегралы целиком, выбрасывает половину коэффициентов Фурье и подсказывает инженерам, какую активацию ставить в скрытые слои. Каждый раз, когда ты замечаешь симметрию в задаче и не решаешь её «в лоб», ты экономишь ровно половину работы — а в мире, где обучение одной модели стоит миллионы, такая экономия имеет очень конкретную цену.

Дальше нас ждут периодические функции — ещё одна симметрия, только сдвиговая вместо зеркальной. А вместе с чётностью они дадут полный язык для описания волн, сигналов и всего, что повторяется. Ты уже видел, как одна подстановка $-x$ вскрывает устройство $\tanh$, сигмоиды и гиперболических функций — с периодичностью будет ещё интереснее. 🚀