>>914
＞証明に使っていい性質（絶対付値の定義）は？

(1) |x| = 0 ⇔ x = 0
(2) |xy| = |x||y|
(3) |x+y| ≦ |x|+|y| (三角不等式)

この3つです。