絶対値の性質（１）

|-a|=|a|

【証】(i) a≧0のとき、-a≦0なので、絶対値の定義より、

　　　　|-a|=-(-a)=a=|a|

　　　(ii) a<0のとき、-a>0なので、絶対値の定義より、

　　　　|-a|=-a=|a|

　　　よって(i)、(ii)より、|-a|=|a|が成り立つ。■