Пункт а)
∣x−y∣≥∣∣x∣−∣y∣∣
Упростим неравенство, возведя обе его части в квадрат (см. прото-задачу П-ссылка):
x2−2xy+y2≥x2−2∣x∣∣y∣+y2
∣x∣∣y∣≥xy
Воспользуемся свойством модуля (см. прото-задачу П-ссылка):
∣x∣∣y∣=∣xy∣≥xy∣xy∣≥xy
Если xy≥0, то ∣xy∣=xy, поэтому выполняется
xy≥xy
Если xy<0, то ∣xy∣=−xy, поэтому
−xy≥xy
Моделим обе части на xy. Так как xy<0, то знак меняем на противоположный:
−1≤0
Это тоже верно.
Итак, мы доказали, что
∣x−y∣≥∣∣x∣−∣y∣∣
■
Пункт б)
∣x+x1+…+xn∣≥∣x∣−(∣x1∣+…+∣xn∣)
В этом пункте мы будем постоянно пользоваться следующим свойством модуля (см. прото-задачу П-ссылка):
∣f+g∣≥∣f∣−∣g∣
Назовем это свойство «важным».
Перейдем теперь к доказательству. Доказывать будем по методу математической индукции.
База индукции: пусть n=1:
∣x+x1∣≥∣x∣−∣x1∣
Это неравенство выполняется (по «важному» свойству).
Индукционный переход:
Пусть доказываемое неравенство выполняется для какого-то k:
∣x+x1+…+xk∣≥∣x∣−(∣x1∣+…+∣xk∣)
Докажем, что неравенство выполняется и для k+1:
∣x+x1+…+xk+xk+1∣≥∣x∣−(∣x1∣+…+∣xk∣+∣xk+1∣)
В левой неравенства возьмем в скобки все слагаемые от x до xk:
∣(x+x1+…+xk)+xk+1∣
Воспольуземся «важным» свойством:
∣(x+x1+…+xk)+xk+1∣≥∣x+x1+…+xk∣−∣xk+1∣
Усилим неравенство, применив индукционное предположение для первого слагаемого правой части неравенства:
∣(x+x1+…+xk)+xk+1∣≥∣x+x1+…+xk∣−∣xk+1∣≥≥∣x∣−(∣x1∣+…+∣xk∣)−∣xk+1∣
Осталось занести ∣xk+1∣ под скобку в правой части:
∣x+x1+…+xk+xk+1∣≥∣x∣−(∣x1∣+…+∣xk∣+∣xk+1∣)
Индукционный переход доказан.
Мы доказали, что
∣x+x1+…+xn∣≥∣x∣−(∣x1∣+…+∣xn∣)
■