Модуль

Подробный разбор понятия модуля числа. Откуда модуль взялся? Какими свойствами обладает? Научимся решать уравнения и неравенства с модулем.

«Величина» числа

Сначала попытаемся сформулировать понятие о «величине» числа. Из этого понятия естественным образом получим понимание, откуда взялся и как определить модуль.

Геометрический смысл

Представьте, что вы стоите в точке 0 на числовой оси. Слева от вас, в точке -100, находится школа. Справа, в точке 50, находится ваш дом. Математически число -100 меньше, чем 50. Но вот идти до школы 100 метров влево гораздо дольше, чем пройти 50 метров до дома вправо. В этом смысле «величина» пройденного расстояния в -100 метров больше, чем 50 метров.

Пусть теперь школа находится в точке -10, а дом в точке 10. Математически вновь получаем, что -10 меньше 10. Но вот нам, находящимся в 0, совершенно нет разницы: идти -10 метров влево или 10 метров вправо. В обоих случаях мы пройдем 10 метров. То есть, по «величине» числа -10 и 10 равны.

Количественный смысл

Рассмотрим числа 50 и -100. В математическом смысле -100 гораздо меньше 50. А давайте посмотрим на эти числа под другим углом. У вас есть всего 50 рублей и вы задолжали другу. Ваш долг составляет -100 рублей. В этом смысле «величина» вашего долга в -100 рублей гораздо больше имеющихся у вас 50 рублей. Получается, что математически -100 меньше 50, но по «величине» -100 больше 50.

Теперь рассмотрим числа -10 и 10. Математически, опять же, -10 меньше 10. Но, пользуясь нашей аналогией с долгом, своими 10 рублями вы полностью покроете долг в -10 рублей. То есть, по «величине» число -10 равно числу 10.

Понятие величины

Мы поняли, что каждое число имеет свою «величину». Причем эта величина не зависит от того, положительным или отрицательным является число. Можно даже сказать, что «величина» числа это и есть само число, от которого «отбросили» его знак.

Модуль числа

Сформулируем на строгом языке математики наше интуитивное представление о «величине» числа, которое мы сформировали в предыдущем разделе.

Модуль или абсолютная величина вещественного числа x — само число x, если оно неотрицательно, иначе $-x$ .

|x| = \begin{cases} \phantom{-}x, \text{ если } x\geq 0 \\ -x, \text{ если } x < 0 \end{cases}

Допустим, мы хотим найти модуль какого-то числа a. Согласно определению, нам надо провести элементарную проверку. Если число a положительное или равно 0, то модулем a и является само a. Если же a меньше 0, то результатом модуля будет $-a$ .

Примеры значений модуля

|5| = 5 \qquad |0| = 0 \qquad |-12| = -(-12) = 12

Легко убедиться, что модуль числа полностью соответсвует по смыслу «величине» числа, рассмотренной в предыдущем разделе. Там мы утверждали, что по «величине» -100 больше 50, а -10 равно 10. И действительно:

\begin{aligned} |-100| = 100& \qquad |50| = 50 \qquad |-100| > |50| \\[5px] |-10| = 10& \qquad |10| = 10 \qquad |-10| = |10| \end{aligned}

Эквивалентное определение модуля

Положение знака нестрогого неравенства в определении модуля не имеет значения:

|x| = \begin{cases} \phantom{-}x, \text{ если } x\geq 0 \\ -x, \text{ если } x < 0 \end{cases} = \begin{cases} \phantom{-}x, \text{ если } x > 0 \\ -x, \text{ если } x \leq 0 \end{cases}

Доказательство

Обозначим второе определение модуля числа x как $|x|'$ . Покажем, что какой x не возьми, будет выполняться $|x| = |x|'$ .

Пусть $x >0$ . По классическому определению $|x| = x$ . По второму: $|x|' = x$ . То есть $|x| = |x|'$ .

Пусть $x=0$ . По классическому определению |0| = 0. А вот во втором определении 0 попадает уже под второе условие, то есть |0|' = -0 = 0. Опять имеем |0| = |0|'.

Наконец, пусть $x < 0$ . По классическому определению $|x| = -x$ . У второго определения та же ситуация: $|x|' = -x$ . Получается, что и в этом случае $|x| = |x|'$ .

Итак, мы рассмотрели все возможные значения для x и во всех случаях $|x| = |x|'$ . Это и означает, что между двумя определениями нет никакой разницы $\blacksquare$

Такое определение иногда бывает полезно. Например, если x лежит в следующих пределах: $-10 \leq x \leq 0$ , то можно сразу сказать, что $|x| = -x$ , даже несмотря на то, что для $x=0$ так выражаться будет некорректно, ведь |0| = 0, а не -0.

Свойства модуля

У модуля есть очень много полезных свойств, которые сильно помогают при решении уравнений, неравенств, доказательстве теорем и так далее. Рассмотрим самые полезные из них. Все свойства ниже формулируем для любых вещественных чисел x и y.

Очевидные свойства

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

Модуль всегда неотрицателен

|x| \geq 0

Доказательство

Рассмотрим произвольное вещественное число x. Если $x\geq 0$ , то, по определению модуля $|x| = x$ , поэтому $|x| \geq 0$ . Если $x< 0$ , то, по определению модуля $|x| = -x$ . Пусть тогда $x<0$ . Умножим обе части неравенства на -1: $-x > 0$ . По определению модуля $|x| = -x$ , поэтому $|x| > 0$ . Доказали, что вне зависимости от знака x его модуль будет неотрицательным числом. $\blacksquare$

Помимо этого, было бы странно, если «величина» числа оказалсь бы больше, чем само это число. Отсюда еще одно очевидное своство:

Модель не меньше агрумента

-|x| \leq x \leq |x|

Доказательство

Докажем правую часть неравенства:

x \leq |x|

Если $x\geq 0$ , то по определению получаем, что $|x|=x$ , а значит выполняется $x \leq x$ . Если $x< 0$ , то неравенство $x\leq |x|$ выполняется, так как слева имеем отрицательное число, а число справа всегда неотрицательное.

Доказательство левой части неравенства проводится аналогично.

Вспоминаем геометрический смысл «величины» числа. Мы выяснили, что нет разницы: иди из 0 влево -100 метров или вправо 100 метров. В обоих случаях придется идти 100 метров. Это означает, что «величина» противоположных чисел совпадает, то есть:

Модули противоположных чисел равны

|x| = |-x|

Следствие: $|x-y| = |y-x|$

Доказательство

Если $x\geq 0$ , то $|x| = x$ и $|-x|=-(-x) = x$ , откуда получаем выполняющееся равенство $x=x$ .

Если $x < 0$ , то $|x| = -x$ и $|-x|= -x$ , откуда получаем также выполняющееся равенство $-x = -x$ .

Для доказательства следствия вынесем в правой части равенства за скобки -1:

|x-y| = \underbrace{|-(x-y)|}_{\normalsize = |y-x|}

По уже доказанному свойству это равенство выполняется.

$\blacksquare$

Последнее свойство будет уже чуть менее очевидным. Пусть мы умножаем друг на друга два числа. Логично предположить, что «величина» произведения двух чисел будет равна произведению «величин» множителей.

Произведение модулей

|x||y| = |xy|

Доказательство

Из свойства равенства модулей противоположных чисел все равенства ниже выполняются:

|x||y| = |-x||y| = |x||-y| = |-x||-y|

Для дальнейших действий выбираем такое произведение, в котором оба числа под модулем являются неотрицательными числами. Пусть таким вариантом будет $|x||y|$ . Так как x и y — неотрицательные числа, то, по определению модуля $|x| = x$ и $|y| = y$ , то есть:

|x||y| = xy

Произведение двух неотрицательных чисел есть число неторицательное. Поэтому, по определению модуля, можно записать следующее равенство:

xy = |xy|

Грубо говоря, тут мы воспользовались определением модуля «наоборот». Итак, получили следующую цепочку равенств:

|x||y| = xy = |xy|

$\blacksquare$

Это очень важное свойство. Оно позволяет нам в любой момент разбивать большое выражение под модулем на несколько поменьше, либо, наоборот, объединять несколько модулей в один и выполнять внутри какие-то действия.

|x|\left|\frac{1}{x}\right| = \left|x\frac{1}{x}\right| = |1| = 1

Связь с возведением в квадрат

Модуль и квадрат

|x|^2 = x^2

Доказательство

Воспользуемся свойством объединения произведения модулей:

|x|^2 = |x||x| = |x\cdot x| = |x^2|

Мы знаем, что квадрат любого числа есть число положительное, то есть $x^2 \geq 0$ , поэтому, по определению модуля, $|x^2| = x^2$ . Итак, доказали, что:

|x|^2 = x^2

$\blacksquare$

Это свойство часто позволяет очень сильно упростить решение уравнений и неравенств, так как мы избавляемся от модуля, возиться с которым можно долго, особенно в неравенствах.

Пример

|x| > |x+1|

Решение

Возводим в квадрат обе части неравенства и пользуемся доказанным свойством:

\begin{aligned} |x|^2 &> |x+1|^2 \\ x^2 &> (x+1)^2 \\ x^2 &> x^2 + 2x + 1 \\ 0 &> 2x + 1 \\[5px] x &< -\frac{1}{2} \end{aligned}

Связь с корнем

Модуль и корень

\sqrt{x^2} = |x|

Доказательство

С помощью свойства связи модуля и квадрата произведем замену подкоренного выражения:

\sqrt{x^2} = \sqrt{|x|^2}

Модуль любого числа неотрицателен. Поэтому $|x| \geq 0$ . Значит, арифметический корень от $\sqrt{|x|^2}$ будет равняться $|x|$ (вариант $-|x|$ отбрасывается по определению):

\sqrt{x^2} = \sqrt{|x|^2} = |x|

$\blacksquare$

С помощью данного свойства часто получается свести различные сложные неравенства к неравенствам с модулем, которые мы подробно разберем ниже.

Неравенство треугольника

В геометрии у треугольников есть замечательное свойство, заключающееся в том, что длина любой стороны треугольника меньше суммы длин двух оставшихся. Это свойство называется «неравенством треугольника».

Например, пусть у нас есть какой-то треугольник ABC. Тогда длина стороны AC меньше суммы длин сторон AB и BC:

AC \leq AB + BC

В некоторых учебниках по геометрии различают сам отрезок (например, AB) и его длину $|AB|$ . Если пользоваться этими обозначениями, неравенство треугольника примет следующий вид:

|AC| \leq |AB| + |BC|

Оказывается, в алгебре есть очень похожее неравенство, но связано оно не с отрезками и их длинами, а с числами и их модулями. Из-за внешнего сходства это неравенство тоже называют неравенством треугольника.

Неравенство треугольника

|x \pm y| \leq |x| + |y|

Доказательство

Слева и справа имеем положительные числа, поэтому можно возвести в квадрат обе части неравенства и воспользоваться свойством связи модуля и квадрата:

\begin{aligned} |x \pm y| &\leq |x| + |y| \\[5px] |x \pm y|^2 &\leq (|x| + |y|)^2 \\[5px] x^2 \pm 2xy + y^2 &\leq |x|^2 + 2|x||y| + |y|^2 \\[5px] x^2 \pm 2xy + y^2 &\leq x^2 + 2|x||y| + y^2 \\[5px] \pm xy &\leq |x||y| \end{aligned}

Для правой части воспользуемся свойством произведения модулей:

\pm xy \leq |xy|

Рассмотрим отдельно варианты неравенства с + и -:

xy \leq |xy| \qquad -xy \leq |xy| = |-xy|

Оба неравенства всегда выполняется. Первое выполняется, так как модуль всегда не меньше аргумента. Второе выполняется по этому же свойству, а также из-за того, что модули противоположных чисел равны.

$\blacksquare$

С геометрией и треугольниками все понятно. А в чем смысл неравенства треугольника с модулями? А смысл в том, что оно задает максимально возможный результат, который можно получить с помощью сложения или вычитания двух чисел.

Например, пусть у нас есть два числа: 2 и -3. Какой максимальный результат можно получить из этих двух чисел, пользуясь только сложением и вычатнием? Проверим все 4 возможных варианта напрямую:

2 + (-3) = -3 + 2 = -1 \\ 2 - (-3) = 5 \\ -3 - 2 = -5

Видим, что максимальное значение равно 5. Такое же значение получаем и по доказанному выше неравенству. Итак, максимально возможное значение равно сумме модулей этих двух чисел. На самом деле, это кажется вполне логичным.

Есть также похожее неравенство, но с разностью модулей. Его называют обратным неравенством треугольника.

Обратное неравенство треугольника

|x| - |y| \leq |x \pm y|

Доказательство

Если $|x|-|y|$ меньше 0, то неравенство выполняется, так как модуль всегда неотрицателен.

Пусть тогда $|x| - |y| \geq 0$ . Возведем обе части неравенства в квадрат и воспользуемся свойством связи модуля и квадрата:

\begin{aligned} (|x|-|y|)^2 &\leq |x \pm y|^2 \\ |x|^2 - 2|xy| + |y|^2 &\leq x^2 \pm 2xy + y^2 \\ x^2 - 2|xy| + y^2 &\leq x^2 \pm 2xy + y^2 \\ -|xy|&\leq\pm xy \end{aligned}

Умножим обе части неравенства на -1 с переменой знака неравенства:

\mp xy \leq |xy|

Это неравенство всегда выполняется (см. доказательство неравенства треугольника).

$\blacksquare$

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

Оба доказанных неравенства можно объединить в одно цепное. Так его проще запомнить и использовать:

|x| - |y| \leq |x \pm y| \leq |x| + |y|

Расстояние между точками

Представим числовую ось. Отметим на ней две точки, например 5 и 3. Какое между ними расстояние? Ничего сложного, скажете вы, расстояние равно 5-3 = 2. И это правильный ответ. Сразу заметим, что 3-5 = (-1)(5-3) = -2, то есть при вычитании из меньшей точки большей получаем то же расстояние, но со знаком минус.

Расстояние между точками -2 и -4 равно -2 - (-4) =2. И опять, если мы поменяем местами числа в разности, то получим отрицательное расстояние -4 - (-2) = (-1)(-2-(-4)) = -2

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

Вроде все ясно. Ну и причем здесь модуль? А вот представим, что у вас нет точных значений. Вам просто дали точки a и b, и попросили найти расстояние между ними. Какая-то из двух разностей ниже будет расстоянием:

a - b \qquad b - a

Но какая именно? Тут к нам и приходит на помощь модуль. Расстояние между a и b обозначим так:

|a-b|

Если $a>b$ , то мы угадали с разностью и получим положительный результат. Взятие модуля никак на него не повлияет. Если $a < b$ , то мы не угадали и получаем отрицательное расстояние. Но, по определению модуля, в результате все-равно получим положительное расстояние.

Расстоянием между двумя точками a и b на числовой оси называется модуль их разности: $|a-b|$ .

Наконец, поговорим о модулях одного числа, например |5| или |-2|. Их можно представить вот так:

|5| = |5-0| \qquad |-2| = |-2 - 0|

В этом смысле модуль одного числа можно понимать как расстояние от 0 до этого числа (до 5 и до -2) на числовой оси.

Функция модуля

До этого момента мы говорили о модуле, как о некотором свойстве, которым обладает число, о его беззнаковой «величине». На самом деле, это лишь один из подходов к определению модуля. Он хорош тем, что основные свойства модуля не берутся из ниоткуда, а логично (можно даже сказать, очевидным образом) вытекают из понятия о «величине» числа.

Более строгим подходом является определение модуля как функции. В этом случае модуль спускается с небес на землю и теряет свой статус «неотъемлемой части любого числа», но зато у нас появляется возможность использовать его в большом и наработанном аппарате математики (и математического анализа):

Определить его функциональные свойства
Решать уравнения и неравенства с ним
Строить и изучать сложные функции с его участием

Модуль (функция) — кусочно-линейная функция, определенная на всей вещественной прямой $\mathbb{R}$ следующим образом:

|x| = \begin{cases} \phantom{-}x, \quad x \geq 0 \\ -x, \quad x < 0 \end{cases}

Видим, что механизм получения значения полностью совпадает с определением модуля числа, которое я дал в начале статьи. Никакой разницы в значениях между этими определениями нет. Это означает, что все выведенные выше свойства модуля числа прекрасно сохраняются и для функции модуля.

График функции модуля элементарный. От $-\infty$ до 0 это будет убывающая под углом в -45 градусов прямая $-x$ . От 0 и далее это обычная прямая x.

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

Свойства модуля как функции

Область определения: $\mathbb{R}$
Область значений: $[0, +\infty)$
Функция четная
Строго убывает на $(-\infty, 0]$ и строго возрастает на $[0, +\infty)$

Доказательство

Любое вещественное число будет удовлетворять либо верхнему, либо нижнему неравенству из определения функции модуля. Другими словами, «величина» есть у любого числа. Поэтому область определения функции модуля равна $\mathbb{R}$ .

Для любых неотрицательных чисел функция модуля будет равна самим этим числам. Значит, любое положительное число входит в область значений функции модуля. В то же время, модуль всегда неотрицателен, поэтому отрицательных чисел в области значений не может быть. Значит, область значений равна $[0, +\infty)$ .

Доказанное ранее свойство равенства модулей противоположных чисел и означает четность функции модуля по определению.

Наконец, функция $-x$ монотонно убывает, а x монотонно возрастает на всей своей области определения. Поэтому функция модуля монотонно убывает на $(-\infty, 0]$ и возрастает на $[0,+\infty)$ .

Все же, под модулем в литературе и других источниках информации чащее всего понимают именно функцию модуля. C этого момента мы тоже будем придерживаться этой логики. В дальнейших разделах вместо записей $|x|$ и $|y|$ я буду использовать записи $|f|$ и $|g|$ , чтобы подчеркнуть, что под знаком модуля может быть как число, так и какая-нибудь функция.

Уравнения с модулем

Научимся решать уравнения, в которых присутсвует модуль. В самом общем виде, их можно представить так: $|f| = g$ , причем под f и g могут оказать не только переменные, но и целые функции. Как решить это уравнение относительно f?

Уравнения с модулем

Уравнение вида $|f| = g$ имеет два решения вида $f = g$ и $f = -g$ , если $g\geq 0$ и не имеет решений вовсе, если $g < 0$ .

Доказательство

Докажем сначала для случая, когда $g < 0$ . В этом случае, какое f ни возьми, его модуль всегда будет положительным, поэтому не существует такого числа f, при котором получили бы равенство $|f| = g$ .

Пусть теперь $g\geq 0$ . Тогда мы можем возвести обе части равенства в квадрат и воспользоваться свойством связи модуля и квадрата:

|f|^2 = g^2 \\ f^2 = g^2 \\ f^2-g^2 = 0 \\ (f-g)(f+g) = 0

В левой части равенства ноль можно получить только когда какая-то из скобок равна 0. Отсюда два возмножных решения:

f-g = 0 \qquad f+g = 0

f = g \qquad f = -g

$\blacksquare$

Решите уравнение с параметром:

|x + a| = a - 8

Решение

Определим, при каких a решений у уравнения не будет. Решений у него не будет, когда его правая часть отрицательная, то есть при $a < 8$ . Для $a\geq 8$ исходное уравнение по доказанной выше теореме разбивается на два:

x + a = a - 8 \qquad \qquad x + a = -a + 8

Откуда получаем два корня:

x = -8 \qquad \qquad x = -2a + 8

Обратите внимание, что левый корень не зависит от a.

Неравенства с модулем

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

Далее я буду использовать знаки f и g, чтобы подчеркнуть, что формулы одинаково работают и для чисел, и для функций.

Неравенства со знаком «<»

Неравенства с модулем вида "<"

|f| < g \Leftrightarrow \begin{cases} f < g \\ f > -g \end{cases}

Или, что то же самое:

|f| < g \Leftrightarrow -g < f < g

Доказательство

Стоит сразу отметить, что если $g < 0$ , то неравенство $|f| < g$ не выполняется вне зависимости от значения f, ведь модуль всегда неотрицателен и мы получаем, что положительное число $|f|$ должно быть меньше, чем отрицательное g, чего не может быть.

Получается, рассматривать неравенство $|f| < g$ имеет смысл только при $g \geq 0$ . Тогда возведем обе части неравенства в квадрат и воспользуемся свойством связи модуля с квадратом:

|f| < g \\ |f|^2 < g^2 \\ f^2 - g^2 < 0 \\ (f-g)(f+g) < 0

Имеем произведение двух скобок друг на друга, которое должно быть меньше 0. Такое возможно в двух случаях: если первая скобка меньше нуля, а вторая больше, и наоборот:

(f-g)(f+g) < 0 \Leftrightarrow \orcases{ \andcases{f-g < 0 \\ f + g > 0} \\[15px] \andcases{f-g > 0 \\ f+g < 0} }

Преобразуем превый случай:

\andcases{f-g < 0 \\ f + g > 0} \Leftrightarrow \andcases{ f < g \\ f > -g } \Leftrightarrow -g < f < g

Разберем второй случай:

\andcases{f-g > 0 \\ f+g < 0} \Leftrightarrow \andcases{g < f \\ g < -f} \Leftrightarrow 2g < 0 \Leftrightarrow g < 0

Но мы рассматриваем только неотрицательные g, поэтому второй случай всегда не выполняется. Значит, в рассмотрении остается только первый случай:

|f| < g \Leftrightarrow \andcases{ f < g \\ f > -g } \Leftrightarrow -g < f < g

$\blacksquare$

Важно отметить, что формула работает и для нестрогого случая. Тогда все «расшифровывающие» неравенства справа также становятся нестрогими.

Теперь подумаем над сутью неравенств вида $|f| < g$ . Мы уже поняли, что $|f|$ можно рассматривать как расстояние от f до 0. В этом смысле решить неравенство $|f| < g$ означает найти все такие f, чтобы расстояние между f и 0 было меньше g.

Геометрически это можно представить в виде симметричного относительно 0 коридора со «стенками», равными $-g$ и g, между которыми «зажаты» все решения этого неравенства:

Пример

|x| < 5

Решение

Решением этого неравенства будут все возможные расстояния между точкой x и 0. Например, x может равняться 1,2,-1,0,-4 и так далее. Воспользуемся доказанной выше формулой:

|x| < 5 \Leftrightarrow -5 < x < 5

Действительно, расстояние между любым числом из интервала (-5, 5) и 0 будет меньше 5.

Окрестность

Очень важную разновидность рассматриваемых нами неравенств представляют такие вот неравенства:

|x-C| < a

где C и a — константы. Воспользуемся доказанной формулой для получения цепного неравенства:

-a < x - C < a \\ C - a < x < C + a

По смыслу от нас требуется найти такие точки x на числовой прямой, чтобы расстояние между ними и числом C не превышало a. Геометрически это можно представить, как симметрический коридор с центром в точке C и стенками в точках $C - a$ и $C + a$ .

Такие вот неравенства называют окрестностями. Если говорить точнее, неравенство $|x-C| < a$ задает a-окрестность точки C.

Окрестности очень часто используются в высшей математике. Например, именно понятие окрестности точки является ключевым в определении предела последовательности и функции. А на пределах строится вообще весь математический анализ. Но об этом поговорим в соответствующих статьях. А сейчас решим пример:

Пример

|x+1| \leq 0.01

Решение

Запишем это неравенство немного в другом виде:

|x - (-1)| \leq 0.01

Сразу видим, что речь идет о 0.01-окрестности точки -1. Другими словами, в качестве x подходят все точки из коридора от -1 - 0.01 до -1 + 0.01 с включением «стенок коридора» в качестве значений для x.

Если строго, то пользуемся доказанной теоремой:

|x + 1| \leq 0.01 \Leftrightarrow -0.01 \leq x + 1 \leq 0.01

В полученном цепном неравенстве вычтем из всех частей 1:

-0.01 \leq x + 1 \leq 0.01

-1.01 \leq x \leq 0.99

Неравенства со знаком «>»

Неравенства с модулем вида ">"

Если $g < 0$ , то неравенство выполняется для любого f. Если $g \geq 0$ , то выполняется:

|f| > g \Leftrightarrow \orcases{ f > g \\ f < -g }

Доказательство

Сразу заметим, что если $g < 0$ , то неравенство выполняется вообще всегда, вне зависимости от f, ведь модуль всегда неотрицателен.

Разберем вариант, когда $g \geq 0$ . Тогда мы, прямо как и для неравенств вида $|f| < g$ , можем возвести обе части неравенства в квадрат и воспользоваться свойством связи модуля с квадратом:

|f| > g \\ |f|^2 > g^2 \\ f^2 - g^2 > 0 \\ (f-g)(f+g) > 0

Имеем произведение двух скобок друг на друга, которое должно быть больше 0. Такое возможно в двух случаях: если обе скобки больше нуля, и наоборот, обе скобки меньше нуля:

(f-g)(f+g) > 0 \Leftrightarrow \orcases{ \andcases{f-g > 0 \\ f+g > 0} \\[15px] \andcases{f-g < 0 \\ f+g < 0} } \Leftrightarrow \orcases{ \andcases{f > g \\ f > -g} \\[15px] \andcases{f < g \\ f < -g} }

В верхнем И-условии при выполнении $f>g$ автоматически выполняется $f>-g$ , так как $g \geq 0$ . Поэтому, из двух неравенств можно оставить только $f>g$ . Аналогично поступаем и с нижним И-условием:

\andcases{f>g\\f>-g} \Leftrightarrow f > g \qquad \andcases{f<g\\f<-g} \Leftrightarrow f<-g

Итоговое неравенство имеет вид:

|f| > g \Leftrightarrow \orcases{f>g \\ f<-g}

$\blacksquare$

Теорема работает также и для случая нестрогих неравенств. Тогда в правой части также будут нестрогие неравенства.

В чем заключается смысл неравенств этого вида? Вновь вспоминаем, что $|f|$ можно рассматривать, как расстояние от 0 до f. В этом смысле неравнству $|f| > g$ будут удовлетворять все такие f, что расстояние между f и 0 больше, чем g. По факту, мы строим все тот-же симметричный относительно 0 коридор со стенками g и $-g$ , и все подходящие f не должны попасть в этот коридор.

Легко заметить, что неравенства вида $|f| > g$ являются, по факту, отрицанием неравенств вида $|f|< g$ . Действительно, в обоих случаях мы строим симметричный коридор. Только в первом в случае с > мы берем все числа вне этого коридора, а в случае с < все числа внутри него.