绝对值和平方非负性