1) |a| = a выполняется для всех неотрицательных чисел, то есть a ≥ 0.
2) |a| = -a выполняется для всех неположительных чисел, то есть a ≤ 0.
3) |a| = |-a| выполняется для всех чисел, так как модуль числа всегда равен модулю его противоположного числа.
4) |a| = -|a| выполняется только для a = 0, так как модуль числа всегда неотрицателен, и равенство возможно только если обе части равны нулю.