絶対値計算機

絶対値は数学の中でも直感的に理解しやすい概念のひとつですが、その重要性は算術、代数、解析、そして実社会の応用まで広く及びます。絶対値とは、ある数がゼロからどれだけ離れているかを、方向を考えずに測定する指標です。正の数でも負の数でも、絶対値は必ず 0 以上の値になります。

絶対値を表す記号 |x| は、19 世紀にドイツの数学者カール・ワイエルシュトラスによって導入されました。シンプルな見た目に反して、絶対値は距離の公式、誤差解析、最適化問題、そして応用数学の多くの分野に登場する基礎的な概念です。

絶対値とは？

実数 x の絶対値 |x| は次のように定義されます。x が 0 以上のとき |x| = x、x が 0 未満のとき |x| = −x です。つまり、もとの数が正またはゼロであればそのまま、負であればその符号を反転させた値が絶対値となります。

たとえば |7| = 7 です。7 はすでに正の数だからです。|−7| = 7 は −7 の符号を反転させることで得られます。|0| = 0 です。ゼロは正でも負でもなく、ゼロ自身が絶対値となります。絶対値の結果は常に 0 以上であり、負になることは決してありません。

絶対値を理解するうえで有用な考え方は「距離」です。数直線上で −7 と 7 はどちらもゼロから 7 の距離にあります。一方は左、もう一方は右ですが、絶対値は方向（符号）を取り除き、距離のみを計測するのです。

絶対値の性質

絶対値にはいくつかの重要な数学的性質があります。第一に、非負性：すべての実数 x に対して |x| ≥ 0 であり、等号は x = 0 のときのみ成立します。第二に、対称性（偶関数性）：|−x| = |x| です。これは −7 と 7 がゼロから等距離にあることを反映しています。

第三に、乗法性：|x · y| = |x| · |y| です。積の絶対値は絶対値の積に等しくなります。たとえば |−3 × 4| = |−12| = 12 であり、|−3| × |4| = 3 × 4 = 12 です。第四に、三角不等式：|x + y| ≤ |x| + |y| です。これは解析学や幾何学で幅広く応用される基本的な不等式です。

これらの性質により、絶対値は証明や計算において強力なツールとなります。特に三角不等式は、実解析、関数解析、距離空間の理論で和や差の大きさを評価するために多用されます。

絶対値方程式と絶対値不等式

絶対値を含む方程式を解く際には、定義の両方の場合を考慮する必要があります。方程式 |x| = 5 には x = 5 と x = −5 の 2 つの解があります。これは 5 と −5 がどちらもゼロから 5 の距離にあるためです。一般に |x| = a（a > 0）のとき x = a または x = −a です。a = 0 のときは x = 0 のみ、a < 0 のときは解なしとなります。

絶対値不等式も同様に重要です。|x| < 3 は x のゼロからの距離が 3 未満であることを意味し、−3 < x < 3 と表せます。逆に |x| > 3 は x がゼロから 3 より遠いことを意味し、x < −3 または x > 3 の 2 つの区間になります。

|x − 2| < 5 のような式にも同じ手法が使えます。x と 2 の距離が 5 未満であることを表し、−5 < x − 2 < 5 より −3 < x < 7 が解です。この「2 点間の距離」としての解釈は幾何学や解析学の多くの応用で中心的な役割を果たします。

数直線と幾何学的な解釈

数直線は絶対値を理解するための最も自然な場です。すべての実数は数直線上の一意の点に対応し、|x| はその点から原点（ゼロ）までの距離を表します。この幾何学的な見方により、多くの性質が直観的にわかります。たとえば |−x| = |x| は −x と x がゼロに対して対称であることから明らかです。

より一般的に、|x − y| は数直線上の 2 点 x と y の間の距離を表します。|7 − 3| = 4 であり、|3 − 7| = |−4| = 4 です。距離は対称的であること、つまり 3 から 7 への距離と 7 から 3 への距離が同じであることが確認できます。

微積分学において、この距離の解釈は近傍・極限・連続性の定義に不可欠です。極限の厳密な定義（ε-δ 論法）— すべての ε > 0 に対してある δ > 0 が存在し、|x − c| < δ ならば |f(x) − L| < ε — は、方向に依存しない「近さ」を正確に表現するために絶対値を用いています。

科学・工学での応用

絶対値は、符号よりも大きさが重要となるさまざまな科学・工学の計算に登場します。物理学では、速さは速度の絶対値です。−60 km/h（負の方向）で走行する車の速さは 60 km/h となります。絶対値は方向の成分を取り除き、量の大きさだけを返します。

信号処理では、複素信号の絶対値（振幅）が使われます。統計学では、平均絶対偏差（MAD）— データ点と平均値の絶対差の平均 — は、外れ値に対して分散よりも頑健な散布度の指標です。機械学習では、L1 損失関数（平均絶対誤差）が絶対値を使って予測誤差を評価し、大きな外れ値に頑健なモデルを作ります。

実験科学の誤差解析でも絶対値は頻繁に使われます。±0.5 cm の誤差は、測定値が報告値より 0.5 cm 大きいか小さい可能性があることを意味し、|誤差| ≤ 0.5 cm で両方を表現します。品質管理、製造の公差、財務リスク管理もすべて同様のロジックを用いています。

高等数学における絶対値

高等数学では、絶対値の概念はノルムや距離関数に一般化されます。ベクトル空間上のノルムは各ベクトルに非負の長さを割り当てる関数であり、絶対値と同様の性質 — 非負性、スケーリング、三角不等式 — を満たします。実数上の絶対値はノルムの最も単純な例です。

複素数では、z = a + bi の絶対値（モジュラス）|z| は √(a² + b²) と定義され、複素平面上の原点からの距離を表します。これは実数の絶対値を一般化したものであり、同じ性質をすべて保持します。

整数論で用いられる p 進絶対値は、素数 p による割り切れ方に基づいて有理数に異なる「大きさ」の概念を与えます。これらの一般化は、絶対値が単なる計算上の便法ではなく、現代の解析学と代数学の多くを支える深い構造的概念であることを示しています。