绝对值化简的问题