3.7.2 应用案例1：绝对值表达式的线性化