Выглядит уравнение интуитивно понятно, но как это строго доказать?
Вообще говоря, это морока. Надо нарисовать три прямых, на каждой из которых один из модулей обращается в ноль и которые делят плоскость на семь частей, и раскрывать модули в каждой из этих частей отдельно.
Но если уж мы знаем, что ответом должен быть треугольник, притом
сплошной треугольник, а не только его контур, то всё очень сильно упрощается. Функция

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

,

и

. Ну это очевидно.
А снаружи эта функция положительна (т.е. там исходное равенство для

и

не выполняется), поскольку поверхность в пространстве, задаваемая уравнением

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

нарушается просто потому, что при переходе через эту сторону один из модулей раскрывается по-другому, чем внутри треугольника, а два других -- так же, как и раньше. При этом нарушается оно в положительную сторону -- ведь на любом из шести лучей тех трёх прямых, уходящих из вершины треугольника в сторону бесконечности, функция может уходить только на плюс бесконечность, но никак не на минус (модули-то всё-таки неотрицательны). А тогда и внутри каждого из трёх углов, ограниченного одной из пар этих лучей, функция тоже положительна, раз она положительна на границе этого угла. Итого -- она положительна всюду, кроме треугольника.