三角不等式;平行四边形法则;正齐次性;非负性