I have some optimization problem involving sum of absolute values constraint, such as $\sum_{i=1}^{M}|x_i| \le N$. I've read some posting in the past and found some solutions, especially in this one Minimize sum of absolute value with linear constraint
However, my question is I don't fully understand the intuition behind the first reformulation. To make things simple, assuming I only have 3 $x$'s. Then the constraint becomes $|x_1| + |x_2| + |x_3| \le 10$. Then the reformulation becomes $\sum_{i=1}^{M}y_i \le 10$ and \begin{align} y_1 &\ge x_1 \\ y_1 &\ge -x_1 \\ y_2 &\ge x_2 \\ y_2 &\ge -x_2 \\ y_3 &\ge x_3 \\ y_3 &\ge -x_3 \end{align}
But intuitively, how do we show the reformulation is equivalent? I've gone as far as changing the group of $y_i$'s to \begin{align} -y_1 &\le x_1\le y_1 \\ -y_2 &\le x_2\le y_2 \\ -y_3 &\le x_3\le y_3 \end{align} Then I'm not sure how to proceed...
Thanks