1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
| | %indent
;,一般に、''正の実数範囲内''では、平方根は乗法に対して分配則が成り立つ。
#ceq(e)
$$ \rt{a \times b} $ = $ \rt a $ \times $ \rt b $$
#ceq(d)
具体的に、
#ceq(e)
$$ 6 $ = $ \rt{36} $ = $ \rt{4 \times 9} $ = $ \rt 4 $ \times $ \rt 9 $ = $ 2 $ \times $ 3 $$
#ceq(d)
;,$$ a > 0 $$かつ$$ b > 0 $$の成立条件を無視すると次の奇妙な式を導いてしまう。
#ceq(e)
$$ 6 $ = $ \rt{36} $ = $ \rt{(-4)\times(-9)} $ =\!\!\!\!? $ \rt{-4} $ \times $ \rt{-9} $ = $ 2\:i $ \times $ 3\:i $ = $ -6 $$
#ceq(d)
;,もちろん$$ 6 $ \neq $ -6 $$であるので、この式は間違っている。
;,実際、間違っているのは$$ =\!\!\!\!? $$の等号で左右の符号が変わるので破綻している。
;,つまり、
- $$ 6 $ = $ \rt{36} $ = $ \rt{(-4)\times(-9)} $ > $ 0 $$
- $$ \rt{-4} $ \times $ \rt{-9} $ = $ 2\:i $ \times $ 3\:i $ = $ -6 $ < $ 0 $$
;,これは単位量で考えると分かり易い:
#ceq(e)
$$ 1 $ = $ \rt{1} $ = $ \rt{(-1)\times(-1)} $ > $ 0 $ \neq $ \rt{-1} $ \times $ \rt{-1} $ = $ \:i $ \times $ \:i $ = $ -1 $ < $ 0 $$
#ceq(d)
;,奇妙な式が間違っていることは分かった。
;,以下では、その原因について考察する。
;,一般に、平方根と言えば、平方の逆演算を意味する概念である。
;,すなわち、任意の実数$$ p $$の平方根と言えば、$$ x^2 $ = $ p $$を満たす$$ x $$を意味する。
;,ところが、平方根の表記に用いられる根号は、''正の平方根''のみを表すのが習わしである。
;,例えば、$$ 36 $$の平方根は$$ 6 $$と$$ -6 $$の2つが存在するが、
;,$$ \rt{36} $$は$$ 6 $$、$$ -\rt{36} $$は$$ -6 $$を意味し、$$ \pm\rt{36} $$で両方の平方根を表す。
;,このため、$$ 36 $ = $ (-6) $ \times $ (-6) $$ではあるが、
;,$$ \rt{(-6)\times(-6)} $$と書いても$$ \rt{6 \times 6} $$と同じく正の平方根である$$ 6 $$を選択しているのに対し、
;,$$ \rt{-6} $ \times $ \rt{-6} $$に分配した場合、負の平方根である$$ -6 $$を選択したことになる。
;,どちらも$$ 36 $$の平方根に違いないが、$$ 6 $ \neq $ -6 $$の如く、$$ \rt{(-6)\times(-6)} $ \neq $ \rt{(-6)} $ \times $ \rt{(-6)} $$である。
;,以上の視点で$$ \rt{(-4)\times(-9)} $ \neq $ \rt{-4} $ \times $ \rt{-9} $$を眺めると、
;,左辺は$$ 36 $$の平方根の内、正の平方根を選択していると解釈でき、
;,右辺は虚数が現れるもが、結果的に負の平方根を選択していると解釈できる。
;,もし、負の平方根を選択していれば、分配則は成立すると見なせる:
#ceq(e)
$$ -\rt{(-4)\times(-9)} $ = $ \rt{-4} $ \times $ \rt{-9} $$
#ceq(d)
;,以下では、正の平方根と負の平方根を整理し、平方根としての分配則に一般化する。
;,任意の正実数$$ p $, $ x $, $ a $, $ b $$について、$$ p $ = $ x^2 $ = $ a $ b $$とする。
#ceq(e)
・正実数は正実数の平方で表せる
&br; $$ p $ = $ x^2 $$
#ceq(q)
・正実数は負実数の平方で表せる
&br; $$ p $ = $ (-x)^2 $$
#ceq(e)
・正実数の正平方根が存在する
&br; $$ \rt{p\mathstrut} $ = $ \rt{x^2\mathstrut} $ = $ x $$
#ceq(q)
・正実数の負平方根が存在する
&br; $$ -\rt{p\mathstrut} $ = $ -\rt{(-x)^2\mathstrut} $ = $ -x $$
#ceq(e)
・正実数の正平方根は、
&br; 正平方根の平方根の平方で表せる
&br; $$ \rt{p\mathstrut} $ = $ x $ = $ \rt{x\mathstrut}^2 $$
#ceq(q)
・正実数の負平方根は、
&br; 負平方根の平方根の平方で表せる
&br; $$ -\rt{p\mathstrut} $ = $ -x $ = $ \rt{-x\mathstrut}^2 $$
#ceq(e)
・正実数は正実数の積で表せる
&br; $$ p $ = $ a $ b $$
#ceq(q)
・正実数は負実数の積で表せる
&br; $$ p $ = $ (-a) $ (-b) $$
#ceq(e)
・乗法に対する正平方根の分配則:
&br; 正実数の積の正平方根は、
&br; 正実数の平方根の積で表せる
&br; $$ \rt{p\mathstrut} $ = $ \rt{ab\mathstrut} $ = $ \rt{a\mathstrut} $ \rt{b\mathstrut} $$
#ceq(q)
・乗法に対する負平方根の分配則:
&br; 負実数の積の負平方根は、
&br; 負実数の平方根の積で表せる
&br; $$ -\rt{p\mathstrut} $ = $ -\rt{(-a)(-b)\mathstrut} $ = $ \rt{-a\mathstrut} $ \rt{-b\mathstrut} $$
#ceq(d)
正平方根と負平方根の分配則を合わせて、
#ceq(e)
・積の平方根は、平方根の積に分配できる。(複号同順)
&br; $$ \pm\rt{(\pm a) \times (\pm b)} $ = $ \rt{\pm a} $ \times $ \rt{\pm b} $$
&br;ただし、$$ a $$と$$ b $$は正の実数である。
#ceq(d)
;,習慣的に、根号は正平方根を表すように定義されている。
;,その結果、乗法に対する平方根の分配則は正実数の範囲でしか成立しないように見える。
;,しかし、平方根の選択を注意深く行えば、分配則は実数全体で成り立つと見なせる。
|