絶対値ぜったいち

絶対値は、実数 $x$ が数直線上で $0$ からどれだけ離れているかを表す量である。 定義では、$x\ge0$ のときはそのまま $x$ とし、$x<0$ のときは符号を反転して $-x$ とする。

そのため、どの場合でも $|x|\ge0$ になる。これは 絶対値の非負性 で命題として扱う。

また、絶対値は平方と相性がよく、$|x|^2=x^2$ が成り立つ。これは 絶対値の平方 で確認する。