奇妙な式 EditToHeaderToFooter

一般に、正の整数範囲内では、平方根は乗法に対して分配則が成り立つ。

$$ \sqrt{a \times b} $$$$ = $$$$ \sqrt a $$$$ \times $$$$ \sqrt b $$

具体的に、

$$ 6 $$$$ = $$$$ \sqrt{36} $$$$ = $$$$ \sqrt{4 \times 9} $$$$ = $$$$ \sqrt 4 $$$$ \times $$$$ \sqrt 9 $$$$ = $$$$ 2 $$$$ \times $$$$ 3 $$

$$ a > 0 $$かつ$$ b > 0 $$の成立条件を無視すると次の奇妙な式を導いてしまう。

$$ 6 $$$$ = $$$$ \sqrt{36} $$$$ = $$$$ \sqrt{(-4)\times(-9)} $$$$ =\!\!\!\!? $$$$ \sqrt{-4} $$$$ \times $$$$ \sqrt{-9} $$$$ = $$$$ 2\:i $$$$ \times $$$$ 3\:i $$$$ = $$$$ -6 $$

もちろん$$ 6 $$$$ \neq $$$$ -6 $$であるので、この式は間違っている。
実際、間違っているのは$$ =\!\!\!\!? $$の等号で左右の符号が変わるので破綻している。
これは単位量で考えると分かり易い：

$$ 1 $$$$ = $$$$ \sqrt{1} $$$$ = $$$$ \sqrt{(-1)\times(-1)} $$$$ =\!\!\!\!? $$$$ \sqrt{-1} $$$$ \times $$$$ \sqrt{-1} $$$$ = $$$$ \:i $$$$ \times $$$$ \:i $$$$ = $$$$ -1 $$

奇妙な式が間違っていることは分かった。
しかし、ここで「分配則が成立しない」でお終いにするのは勿体ない。
以下では、その原因について考察する。

原因：平方根の人為的選択 EditToHeaderToFooter

一般に、平方根と言えば、平方の逆演算を意味する概念である。
すなわち、任意の実数$$ a $$の平方根と言えば、$$ x^2 $$$$ = $$$$ a $$を満たす$$ x $$を意味する。

ところが、平方根の表記に用いられる根号は、正の平方根のみを表すのが習わしである。
例えば、$$ 36 $$の平方根は$$ 6 $$と$$ -6 $$の２つが存在するが、
$$ \sqrt{36} $$は$$ 6 $$、$$ -\sqrt{36} $$は$$ -6 $$を意味し、$$ \pm\sqrt{36} $$で両方の平方根を表す。

以上の視点で$$ \sqrt{(-4)\times(-9)} $$$$ \neq $$$$ \sqrt{-4} $$$$ \times $$$$ \sqrt{-9} $$を眺めると、
左辺は$$ 36 $$の平方根の内、正の平方根を選択していると解釈でき、
右辺は虚数が現れるもが、結果的に負の平方根を選択していると解釈できる。
もし、左辺も負の平方根を選択していれば、分配則は成立すると見なせる：

$$ -\sqrt{(-4)\times(-9)} $$$$ = $$$$ \sqrt{-4} $$$$ \times $$$$ \sqrt{-9} $$

注意すべきは、形式的に左辺に符号が付くから分配則が成立しないように見えるが、
それは「正の平方根」が負の数の乗法に対して分配則が破綻するのであって、
平方根で見た場合、$$ -\sqrt{(-4)\times(-9)} $$も$$ \sqrt{-4} $$も、正負・実虚の別に関係無く、平方根である。
    数学 一覧 検索 最新 バックアップ リンク元   ヘルプ   最終更新のRSS