マイナスかけるマイナスがなぜプラスになるのか

負の数同士の2項のかけ算がなぜ正の数になってしまうのかをちょっと考えてみた。このことはつまり、負の数同士のかけ算と正の数同士のかけ算とが互いに等しいことを証明することだと思われる。

\[ a \times b = -a \times -b \hspace{1cm} (a, b \in \mathbb{N}) \]

ちなみに、\( a, b \in \mathbb{N} \)はaとbが自然数であることを表した。そういうわけで0は、かけ算ではすべての数を0に吸収してしまうので、ここでは例外としておく。

例えば、aに2を、bに3を代入してみると、どちらも同じ6になることが分かる。

\[ \begin{align*}
a = 2 \\
b = 3 \\
2 \times 3 = 6 \\
-2 \times -3 = 6
\end{align*} \]

そもそもかけ算とはどういうことか

自然数同士のかけ算が累加（ ルイカ ） を表わすことはよく知られている。累加とは0に同じ数を次々に加えてゆくという足し算の繰り返しだから、文字式では例えば次のように表わすことができるのではないかと思われる。ちなみにΣは総和記号、要するに合計を表わす。

\[ \begin{align*}
a \times b &= 0 + a_1 + a_2 + \dots + a_b \\
&= 0 + \sum_{k=1}^{n=b} a
\end{align*} \]
\[ \begin{align*}
b \times a &= 0 + b_1 + b_2 + \dots + b_a \\
&= 0 + \sum_{k=1}^{n=a} b
\end{align*} \]

これではピンと来ないので、これらの文字式の文字に具体的な数を代入してみる。

\[ \begin{align*}
2 \times 3 &= 0 \underbrace{+ 2 + 2 + 2}_{3回足す} \\
&= 0 + \sum_{k=1}^3 2 \\
&= 6
\end{align*} \]
\[ \begin{align*}
3 \times 2 &= 0 \underbrace{+ 3 + 3}_{2回足す} \\
&= 0 + \sum_{k=1}^2 3 \\
&= 6
\end{align*} \]

累加の考え方をすると、2かける3は0に2を3回足したものであり、3かける2は0に3を2回足したものであるということになる。つまり、かけ算とは同じ数の合計なのだ。

2つの項のかけ算ではなく3つの項のかけ算ではどうなるか。それを文字式で表わすと次のようになると思われる。

\[ \begin{align*}
a \times b \times c &= 0 + \sum^{n=c}_{k=1}\left(0 + \sum^{n=b}_{k=1}a\right) \\
a \times c \times b &= 0 + \sum^{n=b}_{k=1}\left(0 + \sum^{n=c}_{k=1}a\right)\\
b \times a \times c &= 0 + \sum^{n=c}_{k=1}\left(0 + \sum^{n=a}_{k=1}b\right) \\
b \times c \times a &= 0 + \sum^{n=a}_{k=1}\left(0 + \sum^{n=c}_{k=1}b\right) \\
c \times a \times b &= 0 + \sum^{n=b}_{k=1}\left(0 + \sum^{n=a}_{k=1}c\right) \\
c \times b \times a &= 0 + \sum^{n=a}_{k=1}\left(0 + \sum^{n=b}_{k=1}c\right)
\end{align*} \]

いずれも入れ子の構造になっているのが分かる。ここで入れ子構造というのはPascalやC言語やJava言語のような構造化プログラミング言語で言うところのネストのこと。

これらの文字式では抽象的にすぎて分かりにくいので、これらの文字に具体的な数を代入してみる。ここでべつに括弧を用いなくてもいいのだが、かけ算の考え方を示すために括弧を用いる。

\[ \begin{align*}
1 \times 2 \times 3 &= 0 + \sum_{k=1}^3 \left(0 + \sum_{k=1}^2 1 \right) \\
&= 0 + \sum_{k=1}^3 (0 \underbrace{+ 1 + 1}_{2回足す}) \\
&= 0 \underbrace{+ (0 \underbrace{+ 1 + 1}_{2回足す}) + (0 \underbrace{+ 1 + 1}_{2回足す}) + (0 \underbrace{+ 1 + 1}_{2回足す})}_{3回足す} \\
&= 0 + 2 + 2 + 2 \\
&= 6 \\
1 \times 3 \times 2 &= 0 + \sum_{k=1}^2 \left(0 + \sum_{k=1}^3 1 \right) \\
&= 0 + \sum_{k=1}^2 (0 \underbrace{+ 1 + 1 + 1}_{3回足す}) \\
&= 0 \underbrace{+ (0 \underbrace{+ 1 + 1 + 1}_{3回足す}) + (0 \underbrace{+ 1 + 1 + 1}_{3回足す})}_{2回足す} \\
&= 0 + 3 + 3 \\
&= 6 \\
2 \times 1 \times 3 &= 0 + \sum_{k=1}^3 \left(0 + \sum_{k=1}^1 2 \right) \\
&= 0 + \sum_{k=1}^3 (0 \underbrace{+ 2)}_{1回足す} \\
&= 0 \underbrace{+ (0 \underbrace{+ 2}_{1回足す}) + (0 \underbrace{+ 2}_{1回足す}) + (0 \underbrace{+ 2}_{1回足す})}_{3回足す} \\
&= 0 + 2 + 2 + 2 \\
&= 6 \\
2 \times 3 \times 1 &= 0 + \sum_{k=1}^1 \left(0 + \sum_{k=1}^3 2 \right) \\
&= 0 + \sum_{k=1}^1 (0 \underbrace{+ 2 + 2 + 2)}_{3回足す} \\
&= 0 \underbrace{+ (0 \underbrace{+ 2 + 2 + 2}_{3回足す})}_{1回足す} \\
&= 0 + 6 \\
&= 6 \\
3 \times 1 \times 2 &= 0 + \sum_{k=1}^2 \left(0 + \sum_{k=1}^1 3 \right) \\
&= 0 + \sum_{k=1}^2 (0 \underbrace{+ 3)}_{1回足す} \\
&= 0 \underbrace{+ (0 \underbrace{+ 3}_{1回足す}) + (0 \underbrace{+ 3}_{1回足す})}_{2回足す} \\
&= 0 + 6 \\
&= 6 \\
3 \times 2 \times 1 &= 0 + \sum_{k=1}^1 \left(0 + \sum_{k=1}^2 3 \right) \\
&= 0 + \sum_{k=1}^1 (0 \underbrace{+ 3 + 3)}_{2回足す} \\
&= 0 \underbrace{+ (0 \underbrace{+ 3 + 3}_{2回足す})}_{1回足す} \\
&= 0 + 6 \\
&= 6
\end{align*} \]

1かける2かける3は0に1を2回足することを3回繰り返す計算であるし、1かける3かける2は0に1を3回足すことを2回繰り返す計算であるし、2かける1かける3は0に2を1回足すことを3回繰り返す計算であるし、2かける3かける1は0に2を3回足すことを1回だけする計算であるし、3かける1かける2は0に3を一回足すことを2回繰り返す計算であるし、3かける2かける1は0に3を2回足すことを1回だけする計算であることになる。

かけ算の項が増えるごとに入れ子がさらに入れ子になってゆくだけであり、項がどれだけ増えても考え方はこれと同じだと思われる。

負の数をかけるとは？

ここからがいよいよ本題。それじゃあ、負の数をかけるということはどういうことなのか。正の数をかけることが累加だったから、負の数をかけることは累減（ ルイゲン ） であると考えてみる。累加が0に同じ数を足し続ける足し算の繰り返しならば、累減は0から同じ数を引き続ける引き算の繰り返し。累減を文字式で表わすと次のようになると思われる。

\[ \begin{align*}
a \times (-b) &= 0 - a_1 - a_2 - \dots - a_b \\
&= 0 - (a_1 + a_2 + \dots + a_b) \\
&= 0 - \sum_{k=1}^{n=b} a \\
\end{align*} \]
\[ \begin{align*}
b \times (-a) &= 0 - b_1 - b_2 - \dots - b_a \\
&= 0 - (b_1 + b_2 + \dots + b_a) \\
&= 0 - \sum_{k=1}^{n=a} b
\end{align*} \]

これらの式を見ると分かるように、累減は累加した数を0から引くことと等しい。文字式のままだと抽象的で分かりにくいので、これらに具体的な数を代入してみる。

\[ \begin{align*}
2 \times (-3) &= 0 \underbrace{- 2 - 2 - 2}_{3回引く} \\
&= 0 - (2 + 2 + 2) \\
&= 0 - 6 \\
&= -6
\end{align*} \]
\[ \begin{align*}
3 \times (-2) &= 0 \underbrace{- 3 - 3}_{2回引く} \\
&= 0 - (3 + 3) \\
&= 0 - 6 \\
&= -6
\end{align*} \]

正の数をかけるということは、かけられる数をかける数回足してその数を0に加えることであるのに対し、負の数をかけるということは、かけられる数をかける数回足してその数を0から引くことであるのが分かった。

\[ \begin{align*}
2 \times 3 &= 0 \underbrace{+ 2 + 2 + 2}_{3回足す} \\
&= 0 + (2 + 2 + 2) \\
&= 0 + 6 \\
&= 6
\end{align*} \]
\[ \begin{align*}
3 \times 2 &= 0 \underbrace{+ 3 + 3}_{2回足す} \\
&= 0 + (3 + 3) \\
&= 0 + 6 \\
&= 6
\end{align*} \]

\[ \begin{align*}
2 \times (-3) &= 0 \underbrace{- 2 - 2 - 2}_{3回引く} \\
&= 0 - (2 + 2 + 2) \\
&= 0 - 6 \\
&= -6
\end{align*} \]
\[ \begin{align*}
3 \times (-2) &= 0 \underbrace{- 3 - 3}_{2回引く} \\
&= 0 - (3 + 3) \\
&= 0 - 6 \\
&= -6
\end{align*} \]

これでかけ算の計算手順が分かった。かけ算をするときには、かけられる数をかける数回だけ繰り返し足して、かける数が正の数ならその合計を0に足せばいいし、かける数が負の数ならその合計を0から引けばいい。

2項のかけ算ではなく3項のかけ算でもこの計算手順を試してみる。

\[ \begin{align*}
1 \times 2 \times (-3) &= 0 \underbrace{- (0 \underbrace{+ 1 + 1}_{2回足す}) - (0 \underbrace{+ 1 + 1}_{2回足す}) - (0 \underbrace{+ 1 + 1}_{2回足す})}_{3回引く} \\
&= 0 - 2 - 2 - 2 \\
&= 0 - (2 + 2 + 2) \\
&= 0 - 6 \\
&= -6
\end{align*} \]

より一般化して抽象的に文字式で表すと次のような入れ子構造になると思われる。

\[ a \times b \times (-c) = 0 - \sum_{k=1}^{n=c} \left(0 + \sum_{k=1}^{n=b} a \right) \]

負の数に負の数をかける

それじゃあ、負の数に負の数をかけるとどうなってしまうのか。かけ算の計算手順にしたがって計算してみる。

\[ \begin{align*}
-2 \times (-3) &= 0 \underbrace{- (-2) - (-2) - (-2)}_{3回引く} \\
&= 0 - {(-2) + (-2) + (-2)} \\
&= 0 - (-6) \\
&= 0 + 6 \\
&= 6
\end{align*} \]

あるいは次のように計算しても同じことだろうと思う。

\[ \begin{align*}
-2 \times (-3) &= 0 \underbrace{- (-2) - (-2) - (-2)}_{3回引く} \\
&= 0 \underbrace{+ 2 + 2 + 2}_{3回足す} \\
&= 0 + 6 \\
&= 6
\end{align*} \]

この式において、ある数から負の数を引くことがその数を足すことに等しくなっていることに要注意。

この計算を一般化して抽象的な文字式で表わすと次のようになると思われる。

\[ \begin{align*}
-a \times -b &= 0 - (-a_1) - (-a_2) - \dots - (-a_b) \\
&= 0 + a_1 + a_2 + \dots + a_b \\
&= 0 + \sum_{k=1}^{n=b} a
\end{align*} \]

この形、どこかで見た覚えがある。そう、aかけるbと同じだ。

\[ \begin{align*}
-a \times -b &= 0 - (-a_1) - (-a_2) - \dots - (-a_b) \\
&= 0 + a_1 + a_2 + \dots + a_b \\
&= 0 + \sum_{k=1}^{n=b} a \\
&= a \times b
\end{align*} \]

この文字式に具体的な数を代入してみる。

\[ \begin{align*}
-2 \times -3 &= 0 \underbrace{- (-2) - (-2) - (-2)}_{3回引く} \\
&= 0 \underbrace{+ 2 + 2 + 2}_{3回足す} \\
&= 2 \times 3
\end{align*} \]
\[ \begin{align*}
2 \times 3 &= 0 \underbrace{+ 2 + 2 + 2}_{3回足す} \\
&= 0 \underbrace{- (-2) - (-2) - (-2)}_{3回引く} \\
&= -2 \times -3
\end{align*} \]

正の数同士のかけ算と負の数同士のかけ算が等しいことをこれで導き出すことができた。

まとめ

1. aかけるbは、0にaをb回足すこと
2. -aかけるbは、0に-aをb回足すこと
3. aかける-bは、0からaをb回引くこと
4. -aかける-bは、0から-aをb回引くこと
5. 0から-aをb回引くことは0にaをb回足すことと等しい
6. したがってaかけるbは-aかける-bと等しい
7. それゆえ-aかける-bの答えは正の数にならなくてはならない

• かける数が増えて3項や4項になると、それは入れ子構造として計算される