证明绝对值x小于等于a可互相推出-a小于等于x小于等于a