№ 4442

Методы разбор случаев учёт ОДЗ

Факты область определения арифметического квадратного корня (подкоренное выражение неотрицательно) равносильные переходы для неравенств с модулем (|f|⩽a ⟺ −a⩽f⩽a) равносильный переход для неравенства |f|⩾a (f⩾a или f⩽−a) свойства модуля (|−a|=|a|, |ab|=|a|·|b|)