「絶対値」の版間の差分

削除された内容追加された内容

インライン

2020年8月4日 (火) 16:03時点における版

数学における実数 $x$ の絶対値（ぜったいち、英: absolute value）または母数（ぼすう、英: modulus） $| x |$ は、その符号を無視して得られる非負の値を言う。つまり正数 $x$ に対して $| x | = x$ および負数 $x$ に対して $| x | = - x$ （このとき $- x$ は正）であり、また $|0| = 0$ である。例えば $3$ の絶対値は $3$ であり $-3$ の絶対値も $3$ である。数の絶対値はその数の零からの距離と見なすことができる。

実数の絶対値を一般化する概念は、数学において広範で多様な設定のもとで生じてくる。例えば、絶対値は複素数、四元数、順序環、体などに対しても定義することができる。様々な数学的あるいは物理学的な文脈における大きさ（英語版） (magnitude) や距離およびノルムなどの概念は、絶対値と緊密な関係にある。

用語と記法

1806年にジャン゠ロベール・アルガン（英語版）が導入した用語 module は、フランス語で「測る単位」を意味する言葉で、特に複素数の絶対値を表すためのものであった^[1]^[2]。それは対応するラテン語の modulus として1866年に英語にも借用翻訳されている^[1]。absolute value が本項に言う意味で用いられたのは、少なくとも1806年にフランス語で^[3]および1857年に英語で^[4]^{[注釈 1]}見られる。両側を縦棒で括る記法 $| x |$ はカール・ヴァイアシュトラスが1841年に導入した^[5]^:25。絶対値を表すほかの名称には numerical value^[1]（数値）や magnitude^[1]（大きさ）などが挙げられる。プログラム言語や計算機ソフトでは $x$ の絶対値を $abs(x)$ のような函数記法で表すことが一般に行われる。

縦棒で括る記法は他の数学的文脈でもいくつも用いられる（例えば、集合を縦棒で括ればその集合の濃度を表し、行列に用いれば行列式を表す）。したがって、縦棒が絶対値を表すためのものか判断するには、その引数が絶対値の概念が定義される代数的対象（例えば、実数や複素数や四元数などのノルム多元体）かどうかに注意が払われなければならない。絶対値とよく似て非なる概念に縦棒記法が使われる例として、 $R n$ のベクトルに対するユークリッドノルム^[6]^:1および上限ノルム^[7]^:4などが挙げられるが、これらについては二重縦棒と下付き添字を用いた記法（それぞれ $‖ • ‖ 2$ および $‖ • ‖ \infty$ ）を用いるのがより一般的で紛れも少ない。

定義

実数 $x$ の絶対値は「実数から符号を取り除いたもの」:

|x|:=\max\{x,-x\}={\begin{cases}x&(x\geq 0)\\-x&(x<0)\end{cases}}

として^[8]、あるいは「0 からの距離」^{[注釈 2]}:

|x|:={\sqrt {x^{2}}}

として^[9]^:A5与えられる。実数に対してこれら二つの条件は互いに同値である。

性質

基本的な性質として、任意の実数 $a, b$ について

非負性: $| a | \geq 0.$
非退化性: $a = 0$ のとき、且つそのときに限って、 $| a | = 0.$
偶性: $|- a | = | a |.$
劣加法性: $| a + b | \leq | a | + | b |.$

などが成立する。これは距離函数が満たす性質と対応する（後述）。また、

冪等性: $| | a | | = | a |.$
乗法性: $| ab | = | a |\cdot| b |.$

などの性質が成り立つ。実数の絶対値に関して、

|a|\leq b\iff -b\leq a\leq b

|a|\geq b\iff a\leq -b\lor b\leq a

は絶対値を含む不等式を扱うのに有用である。例えば、 $| x - 3| \leq 9 \Leftrightarrow -9 \leq x - 3 \leq 9 \Leftrightarrow -6 \leq x \leq 12$ などとできる。

絶対値函数

実数の絶対値が定める非負実数値函数 $R ∋ x \mapsto | x | \in R +$ は至る所連続で、 $x = 0$ を除き至る所微分可能^{[注釈 3]}である。また、区間 $(-\infty,0]$ 上で単調減少であり、区間 $[0,+\infty)$ で単調増加である。各実数とその反数の絶対値は同じ値であるから、絶対値函数は偶函数であり、それゆえ逆函数を持たない。この実絶対値函数は区分線型凸函数である。また、冪等である。

符号函数 $sign(x)$ を用いれば、 $| x | = x \cdotsign(x)$ と書ける。また $x = | x |\cdotsign(x)$ であり、 $x \neq 0$ のとき $sign(x) = x /| x | = | x |/ x$ が成り立つ。

$x \neq 0$ における導函数

d|x|/dx={\begin{cases}1&(x>0)\\-1&(x<0)\end{cases}}

は $sign(x)$ （あるいは本質的にヘヴィサイドの階段関数^[10]^[11]）であり、定義可能な範囲 $(-\infty, 0) \cup (0, \infty)$ における連続函数であるが、 $x = 0$ における値をどのように定めるとしても $R$ 全体で連続な函数へ延長することは出来ない。

$x = 0$ における $| x |$ の劣微分係数は、区間 $[-1,1]$ である^[12]^:31–32。
$| x |$ の $x$ に関する二階導函数は $x = 0$ を除く至る所存在して零に等しい（ $x = 0$ では存在しない）。しかし超函数微分の意味での二階導函数はディラックデルタの二倍に等しい。

また絶対値函数は任意区間で可積分であり、その原始函数が

\int |x|\,dx={\frac {1}{2}}x|x|+C

で与えられることも右辺を微分することにより直ちに確かめられる。

絶対値が誘導する距離

「ノルム」も参照

絶対値の基本性質、非負性・非退化性・偶性・劣加法性は、二数の絶対差を考えることにより、ノルム（絶対値ノルム）として距離函数が満たす性質と対応しており、 $x, y, z$ を任意の実数として

非負性: $| x - y | \geq 0,$
不可識別者同一性: $| x - y | = 0 \Leftrightarrow x = y,$
対称性: $| x - y | = | y - x |,$
三角不等式: $| x - y | \leq | x - z | + | z - y |$

と書いても同値である^{[注釈 4]}。即ち $d (x, y) = | x - y |$ と置けば $d$ は絶対距離と呼ばれる距離函数になる。

その他の絶対値

順序環における絶対値

任意の順序環 $R$ に対して、 $0$ を $R$ の加法単位元、" $- a$ " は $a$ の加法逆元とすれば、実数の場合とまったく同じく

|a|:={\begin{cases}a&(a\geq 0)\\-a&(a<0)\end{cases}}

として絶対値が定義される。

「全順序群」も参照

複素数の絶対値

詳細は「複素数の絶対値」を参照

複素数 $z = a + ib$ に対して、その絶対値は

|z|={\sqrt {a^{2}+b^{2}}}

で与えられる非負実数値である。 $b = 0$ とすることにより、 $z$ が実数値を取るときには実数の絶対値に一致することが確かめられる。

$z$ をガウス平面上の点として解釈すれば、 $| z |$ とは原点から $z$ までの距離である。複素数を扱う際に、その数を絶対値と偏角とによって表す極形式の考え方は有益である。

複素数 $z$ とその複素共軛 $z$ に対して ${\textstyle |z|=|{\bar {z}}|}$ が成り立つ。また、 ${\textstyle |z|^{2}=z{\bar {z}}}$ は $z$ が引き起こすガウス平面上の一次変換の母数（モジュラス）である。これを ${\textstyle |z|={\sqrt {z{\bar {z}}}}}$ と書けば、これは実数の絶対値を ${\textstyle |x|={\sqrt {x^{2}}}}$ と定める定義の対応版と見ることができる（実際、実数 $x$ を虚部が $0$ の複素数 $z ≔ x + 0\cdot i$ と見れば、 $z = x = z$ したがって $z z = xx = x 2$ である）。同様のことはより一般のノルム多元体（あるいはさらに一般の合成代数）において考えることができる。

ベクトルのノルム

詳細は「ノルム」および「ノルム空間」を参照

絶対値の概念を拡張したものとしてノルムがある。（実または複素数体） $K$ 上のベクトル空間 $V$ に属するベクトル $v$ のノルムあるいは大きさ (magnitude) または長さ (length) $‖ v ‖$ は、以下の性質

非負性: $‖ v ‖ \geq 0$
非退化性: $v = 0 \Leftrightarrow ‖ v ‖ = 0$
正斉次性: $‖ av ‖ = | a |\cdot‖ v ‖$ ( $a \in K$ )
劣加法性: $‖ v + w ‖ \leq ‖ v ‖ + ‖ w ‖$

を満たす。従って、ノルムは距離 $d (x, y) = ‖ x - y ‖$ を誘導する。上記の実数に対する絶対値、複素数に対する絶対値はどちらもノルムの条件を満たす。絶対値の誘導する距離はノルムの誘導する距離である。

リース空間における絶対値

詳細は「リース空間」および「実数値函数の正部分と負部分」を参照

リース空間と呼ばれる順序線型空間（英語版）のベクトル $v$ に対しては、 $| v | = v \lor (- v)$ で絶対値が定義される。例えば集合 $X$ 上の実数値（あるいはより一般に全順序群に値をとる）函数全体の成す集合は、 $f$ , $g$ に対して $(f \lor g)(x) ≔ max{f (x), g (x)}, (f \land g)(x) ≔ min{f (x), g (x)}$ と置くことによりリース空間となり、各 $f$ に対して

| f |(x) ≔ max{\pm f (x)}

が $f$ の絶対値を与える。 $f \pm ≔ \pm f \lor 0$ と置けば、絶対値は $| f | = f + + f -$ と書ける。

体の賦値

詳細は「賦値」および「絶対賦値（英語版）」を参照

有理数体上の p-進絶対値など、体の賦値も絶対値の一般化である。賦値には加法賦値と乗法賦値があり、乗法賦値（特に指数賦値）のことをしばしば絶対値あるいはモジュラスと呼称する。賦値体はその賦値の定める距離位相に関して位相体を成す。

複素数体 $ℂ$ の部分体がアルキメデス的な乗法賦値を持つならば、それは本項で述べたような通常の絶対値に（同値の差を除いて）一致する。代数体上のアルキメデス的な乗法付値 $|x|_{v}$ は、 $ℂ$ への埋め込み $σ$ をうまくとれば、 $|\sigma (x)|$ （ここで $|\cdot |$ は通常の絶対値）と同値となる。一方、代数体上の非アルキメデス的な乗法付値は、有理数体上のp進付値に（同値の差を除いて）一致する。代数体上の乗法付値の同値類のうち、有理数体上で通常の絶対値あるいは正規p進付値と一致するものを標準的な絶対値 (standard absolute value)という^[13]。

v が代数体 K 上の標準的な絶対値であるとき、この絶対値による K の完備化を $K_{v}$ とあらわす。また、この絶対値を有理数体上に制限したものによる、有理数体の完備化を $\mathbb {Q} _{v}$ とあらわす。このとき $K_{v}$ は $\mathbb {Q} _{v}$ の拡大体となっており、その拡大次数 $n_{v}=[K_{v}:\mathbb {Q} _{v}]$ を v の局所次数 (local degree) と呼ぶ。このとき、

\lVert x\rVert _{v}=|x|_{v}^{n_{v}}

を正規化された絶対値 (normalized absolute value) という。 v がアルキメデス的な絶対値であれば、 K の埋め込み σ をうまくとり、

\lVert x\rVert _{v}=|\sigma (x)|^{n_{v}}

とあらわせる。また、このとき σ が実埋め込みならば $n_{v}=1$ で、複素埋め込みならば $n_{v}=2$ が成り立つ。v が非アルキメデス的な絶対値で、 v の有理数体への制限が p-進付値に一致しているとき、 p の上にある K 上の素イデアル π をうまくとれば、 $\lVert \cdot \rVert _{v}$ は正規 π-進付値に一致する。すなわち

\lVert x\rVert _{v}=|x|_{\pi }

が成り立つ（この正規化された絶対値 $\lVert \cdot \rVert _{v}$ を $|\cdot |_{v}$ と書いている文献も存在する^[14]。）。

v がすべての標準的な絶対値を走るとき、 積公式

\prod _{v}\lVert x\rVert _{v}=\prod _{v}|x|_{v}^{n_{v}}=1

が成り立つ。

非アルキメデス的な乗法付値は一階の加法的な賦値と対応がとれ、これらはしばしば同一のものとして扱われる。加法的賦値体あるいは順序体においてその賦値環は、その体における正の数全体の集合を本質的に特徴付けるものである。有限体 $F q$ ( $q = p f$ ) において標準的な賦値（モジュラス）は $p$ -進絶対値の冪

|x|_{q}:=q^{-v_{p}(x)}=|x|_{p}^{f}

である。これを適当なハール測度による立方体の体積と理解することもある。

脚注

注釈

^ オックスフォード英語辞典第2版の最も古い引用は1907年から。もちろん relative value（相対値）と対照を成す語としても absolute value（絶対値）は使われる
^ 例えば実数直線を $xy$ -平面の $x$ -軸と看做せば、任意の実数 $x$ は点 $(x, 0)$ で表され、 $0$ は原点 $(0, 0)$ に対応する。平面上の任意の点 $(x, y)$ と原点とのユークリッド距離は $\sqrt (x - 0) 2 + (y - 0) 2 = \sqrt x 2 + y 2$ で与えられるから、 $x$ と $0$ との距離はちょうど $\sqrt x 2 に等しい。$
^ ただし、この微分可能性は複素微分可能を意味しない。つまり、複素変数の絶対値函数はコーシー–リーマンの方程式を満たさない^[10]。
^ この公理系は極小ではない。実際、非負性は他の三つから出る: $0 = d (a, a) \leq d (a, b) + d (b, a) = 2 d (a, b)$ .

出典

^ ^a ^b ^c ^d Oxford English Dictionary, Draft Revision, June 2008^{[要ページ番号]}
^ Nahin, O'Connor and Robertson, and functions.Wolfram.com.; for the French sense, see Littré, 1877
^ Lazare Nicolas M. Carnot, Mémoire sur la relation qui existe entre les distances respectives de cinq point quelconques pris dans l'espace, p. 105, - Google ブックス。
^ James Mill Peirce, A Text-book of Analytic Geometry, p. 42, - Google ブックス
^ Higham, Nicholas J., Handbook of writing for the mathematical sciences, SIAM., ISBN 0-89871-420-6
^ Spivak, Michael (1965). Calculus on Manifolds. Boulder, CO: Westview. ISBN 0805390219
^ Munkres, James (1991). Analysis on Manifolds. Boulder, CO: Westview. ISBN 0201510359
^ Mendelson 2008, p. 2.
^ Stewart, James B. (2001). Calculus: concepts and contexts. Australia: Brooks/Cole. ISBN 0-534-37718-1
^ ^a ^b Weisstein, Eric W. "Absolute Value". mathworld.wolfram.com (英語).
^ Bartle & Sherbert 2011, p. 163.
^ Wriggers, Peter (1999), Panatiotopoulos, Panagiotis, ed., New Developments in Contact Problems, ISBN 3-211-83154-1
^ Hindry & Silverman 2000, p. 171.
^ たとえば Yann Bugeaud; Kálmán Győry (1996), “Bounds for the solutions of unit equations”, Acta Arithmetica 74: 67--80, MRMR1367579

参考文献

Bartle; Sherbert (2011), Introduction to real analysis (4th ed.), John Wiley & Sons, ISBN 978-0-471-43331-6
Mendelson, Elliott (2008), Schaum's Outline of Beginning Calculus, McGraw-Hill Professional, ISBN 978-0-07-148754-2
Hindry, Mark; Silverman, Joseph H. (2000). Diophantine Geometry. Graduate Texts in Mathematics. 201. Springer-Verlag. doi:10.1007/978-1-4612-1210-2

外部リンク

Weisstein, Eric W. "Absolute Value". mathworld.wolfram.com (英語).
absolute value in nLab
absolute value - PlanetMath.（英語）
Hazewinkel, Michiel, ed. (2001), “Absolute value”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

[5] オックスフォード英語辞典第2版の最も古い引用は1907年から。もちろん relative value（相対値）と対照を成す語としても absolute value（絶対値）は使われる

[10] 例えば実数直線を $xy$ -平面の $x$ -軸と看做せば、任意の実数 $x$ は点 $(x, 0)$ で表され、 $0$ は原点 $(0, 0)$ に対応する。平面上の任意の点 $(x, y)$ と原点とのユークリッド距離は $\sqrt (x - 0) 2 + (y - 0) 2 = \sqrt x 2 + y 2$ で与えられるから、 $x$ と $0$ との距離はちょうど $\sqrt x 2 に等しい。$

[13] ただし、この微分可能性は複素微分可能を意味しない。つまり、複素変数の絶対値函数はコーシー–リーマンの方程式を満たさない^[10]。

[16] この公理系は極小ではない。実際、非負性は他の三つから出る: $0 = d (a, a) \leq d (a, b) + d (b, a) = 2 d (a, b)$ .

[oed-1] Oxford English Dictionary, Draft Revision, June 2008^{[要ページ番号]}

[2] Nahin, O'Connor and Robertson, and functions.Wolfram.com.; for the French sense, see Littré, 1877

[3] Lazare Nicolas M. Carnot, Mémoire sur la relation qui existe entre les distances respectives de cinq point quelconques pris dans l'espace, p. 105, - Google ブックス。

[4] James Mill Peirce, A Text-book of Analytic Geometry, p. 42, - Google ブックス

[6] Higham, Nicholas J., Handbook of writing for the mathematical sciences, SIAM., ISBN 0-89871-420-6

[7] Spivak, Michael (1965). Calculus on Manifolds. Boulder, CO: Westview. ISBN 0805390219

[8] Munkres, James (1991). Analysis on Manifolds. Boulder, CO: Westview. ISBN 0201510359

[FOOTNOTEMendelson20082-9] Mendelson 2008, p. 2.

[11] Stewart, James B. (2001). Calculus: concepts and contexts. Australia: Brooks/Cole. ISBN 0-534-37718-1

[MathWorld-12] Weisstein, Eric W. "Absolute Value". mathworld.wolfram.com (英語).

[FOOTNOTEBartleSherbert2011163-14] Bartle & Sherbert 2011, p. 163.

[15] Wriggers, Peter (1999), Panatiotopoulos, Panagiotis, ed., New Developments in Contact Problems, ISBN 3-211-83154-1

[FOOTNOTEHindrySilverman2000171-17] Hindry & Silverman 2000, p. 171.

[18] たとえば Yann Bugeaud; Kálmán Győry (1996), “Bounds for the solutions of unit equations”, Acta Arithmetica 74: 67--80, MRMR1367579

[1]

[2]

[3]

[4]

[注釈 1]

[5]

[6]

[7]

[8]

[注釈 2]

[9]

[注釈 3]

[10]

[11]

[12]

31–32

[注釈 4]

[13]

[14]

@@ 36行目: / 36行目: @@
 [[File:Absolute value.svg|thumb|絶対値函数のグラフ]]
 [[Image:Absolute value composition.svg|256px|thumb|[[三次函数]]と絶対値函数の異なる順番での[[写像の合成|合成]]]]
-実数の絶対値が定める非負実数値函数 <math>\mathbb R \ni x \mapsto |x| \in \mathbb R_+ </math>  は至る所[[連続函数|連続]]で、<math> x=0 </math> を除き至る所[[微分可能]]{{efn|ただし、この微分可能性は複素微分可能を意味しない。つまり、複素変数の絶対値函数は[[コーシー–リーマンの方程式]]を満たさない{{R|MathWorld}}。}}である。また、区間 <math> (-\infty ,0 ] </math> 上で[[単調写像|単調減少]]であり、区間 <math>[ 0,\infty) </math> で単調増加である。各実数とその[[反数]]の絶対値は同じ値であるから、絶対値函数は[[偶函数]]であり、それゆえ[[逆函数]]を持たない。この実絶対値函数は[[区分線型関数|区分線型]][[凸函数]]である。また、[[冪等]]である。
+実数の絶対値が定める非負実数値函数 {{math|'''R''' ∋ ''x'' {{mapsto}} {{abs|''x''}} ∈ '''R'''{{sub|+}}}} は至る所[[連続函数|連続]]で、{{math|1=''x'' = 0}} を除き至る所[[微分可能]]{{efn|ただし、この微分可能性は複素微分可能を意味しない。つまり、複素変数の絶対値函数は[[コーシー–リーマンの方程式]]を満たさない{{R|MathWorld}}。}}である。また、区間 {{open-closed|−∞,0}} 上で[[単調写像|単調減少]]であり、区間 {{closed-open|0,+∞}} で単調増加である。各実数とその[[反数]]の絶対値は同じ値であるから、絶対値函数は[[偶函数]]であり、それゆえ[[逆函数]]を持たない。この実絶対値函数は[[区分線型関数|区分線型]][[凸函数]]である。また、[[冪等]]である。
-* [[符号関数]] <math> \sgn x</math>を用いれば、<math> |x|=x\cdot \sgn x</math>、また <math>x=|x|\cdot \sgn x</math>と書ける。<math> |x| \ne 0 </math> のとき <math> \sgn x =\frac{x}{|x|}=\frac{|x|}{x} </math> が成り立つ。
+* [[符号函数]] {{math|sign(''x'')}} を用いれば、{{math|1={{abs|''x''}} = ''x''&sdot;sign(''x'')}} と書ける。また {{math|1=''x'' = {{abs|''x''}}&sdot;sign(''x'')}} であり、{{math|''x'' ≠ 0}} のとき {{math|1=sign(''x'') = ''x''/{{abs|''x''}} = {{abs|''x''}}/''x''}} が成り立つ。
-<math> x\ne 0</math>における導函数
+{{math|''x'' ≠ 0}} における導函数
-: <math>\frac{d}{dx}|x| = \begin{cases} 1 & (x>0)\\ -1 & (x<0)\end{cases}</math>
+: <math>d|x|/dx = \begin{cases} 1 & (x>0)\\ -1 & (x<0)\end{cases}</math>
-は<math>\sgn x </math>（あるいは本質的に[[ヘヴィサイドの階段関数]]<ref name="MathWorld">{{MathWorld|urlname=AbsoluteValue|title=Absolute Value}}</ref>{{sfn|Bartle|Sherbert|2011|p=163}}）であり、定義可能な範囲 <math>(-\infty, 0) \cup (0, \infty)</math> における連続函数であるが、<math>x=0</math> における値をどのように定めるとしても <math>\mathbb R</math> 全体で連続な函数へ延長することは出来ない。
+は {{math|sign(''x'')}}（あるいは本質的に[[ヘヴィサイドの階段関数]]<ref name="MathWorld">{{MathWorld|urlname=AbsoluteValue|title=Absolute Value}}</ref>{{sfn|Bartle|Sherbert|2011|p=163}}）であり、定義可能な範囲 {{math|(&minus;&infin;, 0) &cup; (0, &infin;)}} における連続函数であるが、{{math|1=''x'' = 0}} における値をどのように定めるとしても {{mathbf|R}} 全体で連続な函数へ延長することは出来ない。
-* <math>x=0</math> における <math>|x|</math> の[[劣微分|劣微分係数]]は、区間 <math>[-1,1]</math>である<ref>{{citation|first=Peter |last=Wriggers |editor-first= Panagiotis |editor-last= Panatiotopoulos |title= New Developments in Contact Problems |year= 1999 |isbn=3-211-83154-1}}</ref>{{rp|{{google books quote|id=tiBtC4GmuKcC|pg=PA31|31–32}}}}。
+* {{math|1=''x'' = 0}} における {{math|{{abs|''x''}}}} の[[劣微分|劣微分係数]]は、区間 {{closed-closed|−1,1}} である<ref>{{citation|first=Peter |last=Wriggers |editor-first= Panagiotis |editor-last= Panatiotopoulos |title= New Developments in Contact Problems |year= 1999 |isbn=3-211-83154-1}}</ref>{{rp|{{google books quote|id=tiBtC4GmuKcC|pg=PA31|31–32}}}}。
-* <math>|x|</math> の <math>x</math> に関する二階導函数は <math>x=0</math> を除く至る所存在して零に等しい（<math>x=0</math> では存在しない）。しかし[[シュヴァルツ超函数|超函数微分]]の意味での二階導函数は[[ディラックデルタ]]の二倍に等しい。
+* {{math|{{abs|''x''}}}} の {{mvar|x}} に関する二階導函数は {{math|1=''x'' = 0}} を除く至る所存在して零に等しい（{{math|1=''x'' = 0}} では存在しない）。しかし[[シュヴァルツ超函数|超函数微分]]の意味での二階導函数は[[ディラックデルタ]]の二倍に等しい。
 また絶対値函数は任意区間で可積分であり、その原始函数が
-: <math>\int |x|dx = \frac{1}{2}x|x| + C</math>
+: <math>\int |x|\,dx = \frac{1}{2}x|x| + C</math>
 で与えられることも右辺を微分することにより直ちに確かめられる。