∑КОЛЛОК.
Тренажёр по матанализу
ТЕМА 13 / 55 · ПУНКТ 13 10–15 минут

Следствия из аксиом поля и порядка

Сначала пойми идею. Затем попробуй рассказать доказательство своими словами и закрепи результат задачей.

Что означают буквы и значки3 обозначения

Здесь — обозначения, которые встретятся в этой теме. Точный смысл буквы уточняй по формуле рядом с ней.

aa
Заданное число или точка; в теме о пределах часто это значение, к которому приближаемся.
bb
Ещё одно заданное число или точка, обычно второй конец промежутка.
⇒\Rightarrow
«Следует»: если верно условие слева, то верно утверждение справа.
ШАГ 01

Разбираемся в теме

0a=00a=0, (−a)b=−(ab)(-a)b=-(ab), (−a)(−b)=ab(-a)(-b)=ab, a2≥0a^2\ge0, 1>01>0, ab=0⇒(a=0 или b=0)ab=0\Rightarrow(a=0\text{ или }b=0).

  • ∣a∣=a|a|=a при a≥0a\ge0, иначе ∣a∣=−a|a|=-a.
  • Неравенство треугольника ∣a+b∣≤∣a∣+∣b∣|a+b|\le|a|+|b| следует из −∣a∣≤a≤∣a∣-|a|\le a\le|a| и аналогичного неравенства для bb: сложи их.
НАГЛЯДНАЯ СХЕМА · Положительность квадрата
x² ≥ 01 + x² > 0
Из аксиом порядка следует x² ≥ 0. Поэтому сумма положительного и неотрицательного строго положительна.
ДЛЯ УСТНОГО ОТВЕТА

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

  1. 0a=(0+0)a=0a+0a0a=(0+0)a=0a+0a; прибавь к обеим частям число −(0a)-(0a) и получишь 0a=00a=0.
  2. Далее ab+(−a)b=(a−a)b=0ab+(-a)b=(a-a)b=0, значит (−a)b(-a)b — противоположное к abab.
  3. Дважды применив это, получаем (−a)(−b)=ab(-a)(-b)=ab.
  4. Если a>0a>0, то a2>0a^2>0; если a<0a<0, то −a>0-a>0 и a2=(−a)2>0a^2=(-a)^2>0.
  5. Наконец, 1=12>01=1^2>0.
  6. Если ab=0ab=0 и a≠0a\ne0, умножь на a−1a^{-1}, получишь b=0b=0.
Понял идею?Проверь себя на задаче или устном вопросе.