绝对值三角不等式的证明

这里我们分了两步，并且用了反推的方法，(希望有人能看到)