一、绝对值的非负性及其应用