複素数の絶対値の定義といろいろな性質

更新日時 2021/03/07
複素数の絶対値

複素数 z=a+biz=a+bi の絶対値 z|z|z=a2+b2|z|=\sqrt{a^2+b^2} で定める。

複素数の絶対値について整理しました。

目次
  • 複素数の絶対値とは

  • 複素数平面と絶対値

  • 絶対値の非負性

  • 絶対値と三角不等式

  • 絶対値の積と商

  • 共役複素数と絶対値

複素数の絶対値とは

複素数 z=a+biz=a+bi の絶対値 z|z| の定義は z=a2+b2|z|=\sqrt{a^2+b^2} です。

3+4i3+4i という複素数の絶対値は
3+4i=32+42=5|3+4i|=\sqrt{3^2+4^2}=5

特に,b=0b=0 の場合は z=a2=a|z|=\sqrt{a^2}=|a| となります。つまり慣れ親しんでいる実数の絶対値の定義と一致します。

22 という複素数の絶対値は 2=2|2|=2

複素数の絶対値は定義より必ず実数です。

複素数平面と絶対値

複素数の絶対値は 複素数平面における原点からの距離を表すとも言えます。 複素数の絶対値

(三平方の定理より (0,0)(0,0)(a,b)(a,b) の距離は a2+b2\sqrt{a^2+b^2} であるためです)

  • 実数の絶対値は「数直線における原点からの距離」
  • 複素数の絶対値は「複素数平面における原点からの距離」

絶対値の非負性

ここから複素数の絶対値の性質をたくさん紹介します。

以下,z,wz,w は複素数とし,z=a+bi,w=c+diz=a+bi,\:w=c+di とします(a,b,c,da,b,c,d は実数)。

絶対値の非負性

z0|z|\geq 0 であり,z=0    z=0|z|=0\iff z=0

  • 前半の証明:a2+b20\sqrt{a^2+b^2}\geq 0 より成立
  • 後半の証明:a2+b2=0    a=0,b=0\sqrt{a^2+b^2}=0\iff a=0,b=0 より成立

絶対値と三角不等式

ここからは「四則演算+絶対値」に関する性質です。

三角不等式
  • z+wz+w|z+w|\leq |z|+|w|
  • zwzw|z-w|\geq |z|-|w|, z+wzw|z+w|\geq |z|-|w|

まず,和と差については上記の三角不等式が成立します。 いろいろな三角不等式(絶対値,複素数,ベクトル)で証明しています。地味に2もよく使います。

絶対値の積と商

  • zw=zw|zw|=|z||w|
  • zw=zw\left|\dfrac{z}{w}\right|=\dfrac{|z|}{|w|} (ただし w0w\neq 0
  • 上側は単純計算で証明できます: (a+bi)(c+di)=(acbd)+(ad+bc)i(a+bi)(c+di)=(ac-bd)+(ad+bc)i より,(acbd)2+(ad+bc)2=(a2+b2)(c2+d2)(ac-bd)^2+(ad+bc)^2=(a^2+b^2)(c^2+d^2) を証明すればよいが,これは簡単に確認できる。(実は有名な恒等式→ラグランジュの恒等式とその仲間) 特に,zz が実数の場合が頻出です。(例えば 2z=2z|2z|=2|z|

  • 下側も分母の実数化を用いて証明できます: a+bic+di=(a+bi)(cdi)c2+d2\dfrac{a+bi}{c+di}=\dfrac{(a+bi)(c-di)}{c^2+d^2} より,
    (ac+bd)2+(ad+bc)2c2+d2=a2+b2c2+d2\dfrac{\sqrt{(ac+bd)^2+(-ad+bc)^2}}{c^2+d^2}=\dfrac{\sqrt{a^2+b^2}}{\sqrt{c^2+d^2}} を証明すればよいが,上側と同様の恒等式に帰着される。 特に,z=1z=1 の場合が重要です(逆数の絶対値の公式)。
    また,上側で zzwz\to\dfrac{z}{w} としても 下側が導けます。

共役複素数と絶対値

zz の共役複素数 abia-biz\overline{z} と書きます。

  • z=z|z|=|\overline{z}|
  • zz=z2z\overline{z}=|z|^2
  • 上側は a2+b2=a2+(b)2\sqrt{a^2+b^2}=\sqrt{a^2+(-b)^2} から導けます。

  • 下側は (a+bi)(abi)=a2+b2(a+bi)(a-bi)=a^2+b^2 から分かります。非常に重要な性質です。→共役複素数の覚えておくべき性質
    z=z2z\overline{z}=\dfrac{|z|^2}{z} の形で使うことも多いです,

基礎的な話題でしたが,ブラーマグプタ-フィボナッチ恒等式が登場したのはなかなか嬉しいですね。

Tag:数学3の教科書に載っている公式の解説一覧