掛算の順序問題について

1. はじめに

高校数学で算数の 掛算の順序問題 を解説した記事です。

2. 使用する道具

高校数学で学ぶ「写像の相等」条件の２項演算版を使います。

3. 掛算順序ルールの導入

3.1. 掛算は二つ存在する

小学２年生が学ぶ掛算は自然数の2項演算である掛算です。

この掛算の定義には、日本と欧米の二つの流儀があります。

例えば累加 $3+3+3+3$ を
$3$ $\times$ $4$ と表記するのが日本の掛算
$4$ $\times$ $3$ と表記するのが欧米の掛算
です。

これ以降、便宜的に

であらわします。
つまり

です。

足される数である 3 を、一つ分
一つ分の個数である 4 を、いくつ分
と称します。

この 3 と 4 は役割が違うので
一つ分といくつ分の順序は交換できません（と学校で学びます）。
3 と 4 を交換すると、以下の様に式の意味が変わってしまうからです。

3.2. 掛算順序ルール

今までに述べた掛算の立式に関する規則を「掛算順序ルール」と呼ぶことにします。

4. 掛算順序ルールの破綻

4.1. 本当は掛算は一つしか存在しない

日本の掛算と欧米の掛算は、記述順が違うだけで同じ事象（累加 3+3+3+3 の値）を表しています。

$3\leftarrow 4=3+3+3+3$
$4\to 3=3+3+3+3$

しかし、同じ事象を表しているからといって、掛算まで等しい $\leftarrow =\to$ と言えるでしょうか？

確認してみましょう。

掛算$\leftarrow$の乗算表は以下のようになります。表の縦成分が第１引数、横成分が第２引数です。１～４までの一部のみ表示しています。

掛算$\to$の乗算表は、上記の掛算$\leftarrow$の乗算表を転置したものになります。

ここで掛算$\leftarrow$の乗算表（無限次元行列$A$と表記）と掛算$\to$（${}^{t}A$と表記）の乗算表が等しければ、定義１「２項演算の写像の相等条件」を満たすので、掛算$\leftarrow$と掛算$\to$は等しくなります。

掛算$\leftarrow$と掛算$\to$は等しい
　$\iff$$A={}^{t}A$
　$\iff$$A$が対称行列
　$\iff$掛算$\leftarrow$の交換法則が成り立つ

ここから、以下の掛算の可換条件が得られます。

小学校で学んだように、掛算$\leftarrow$の交換法則は、掛算$\leftarrow$の定義から導かれることが分かっています。従って、日本の掛算$\leftarrow$と欧米の掛算$\to$は、同じ掛算であると結論できます。

定理1 系1 は以下のように書き直すことができます。

（４）$m\leftarrow n=m\to n$

左辺の一つ分 m は、右辺ではいくつ分です。
左辺のいくつ分 n は、右辺では一つ分です。
よって、一つ分といくつ分の役割は交換可能であることが分かります。

4.2. 掛算順序ルールの破綻

系２と、計算順序ルールの（順序１）（順序２）は両立しません。
また、交換法則を確認するまでは、系２が成り立つかどうかは不明であるため、以下が言えます。

4.3. 質疑応答

4.3.1. 立式で交換法則は使用禁止だ

4 x 3
は
3 x 4 = 4 x 3
と交換法則で計算したのではなく、立式時に
欧米の掛算$\to$
を選択したのです。

4.3.2. 欧米の掛算$\to$は暗黙の了解で使用禁止だ

日本の掛算$\leftarrow$ = 欧米の掛算$\to$
であるため

欧米の掛算 $\to$ が使用禁止なら
日本の掛算 $\leftarrow$ も使用禁止になり
掛算が計算できなくなります。

日本の掛算 $\leftarrow$ が使用可能なら
欧米の掛算 $\to$ も使用可能になり
欧米の掛算も使用可能です。

4.3.3. 記号では$\leftarrow$と$\to$を区別できているではないか

記号$\leftarrow$と$\to$は一つ分、いくつ分、記号の３項演算だから意味を区別して表記できるのです。立式では２項演算ｘを使うので意味を区別できません。

5. 掛算の意味

5.1. 交換法則の意味

交換法則の式
3 x 4 = 4 x 3
の解釈は4通りあります。

（１）3 $\leftarrow$ 4 = 4 $\to$ 3 かつ $\leftarrow$ = $\to$
（２）3 $\to$ 4 = 4 $\leftarrow$ 3 かつ $\leftarrow$ = $\to$
（３）3 $\leftarrow$ 4 = 4 $\leftarrow$ 3
（４）3 $\to$ 4 = 4 $\to$ 3

5.2. よくある間違い（その１）

3 $\leftarrow$ 4 = 4 $\to$ 3
という関係式は
3+3+3+3 = 3+3+3+3
であり交換法則
3+3+3+3 = 4+4+4
ではありません。

5.3. 掛算の数学的な意味

定義時の意味

（１）$3\leftarrow 4$の意味は$3+3+3+3$
（２）$3\to 4$の意味は$4+4+4$

意味の再定義

$\leftarrow =\to$ なので、（１）と（２）は

（１’）$3\to 4$の意味は$3+3+3+3$
（２’）$3\leftarrow 4$の意味は$4+4+4$

よって、（１）と（２’）、及び（２）と（１’）をまとめて

（３）$3\to 4$の意味は$4+4+4$かつ$3+3+3+3$
（４）$3\leftarrow 4$の意味は$3+3+3+3$かつ$4+4+4$

同様にして

（５）$4\to 3$の意味は$3+3+3+3$かつ$4+4+4$
（６）$4\leftarrow 3$の意味は$4+4+4$かつ$3+3+3+3$

となり、再定義された掛算の意味は、いずれも$3+3+3+3$かつ$4+4+4$となります。しかし、このようなロジックで掛算の意味を再定義してもよいのでしょうか。

5.4. 検証

掛算は日本の掛算でもあり、欧米の掛算でもあると言ってよいか検証します。復習になりますが、掛算は以下の手順で導入しました。

同様の手順で導入されるものとして、例えば、２次行列の逆行列があります。高校数学の教科書では以下の様になっているはずです。

行列としては、左逆行列=右逆行列=逆行列ですが
左逆行列と右逆行列は異なった意味を持ち
逆行列は左逆行列でもあり右逆行列でもあります。

関数としては、日本の掛算=欧米の掛算=掛算ですが
日本の掛算と欧米の掛算は異なった意味を持ち
掛算は日本の掛算でもあり欧米の掛算でもあります。

同じ構造です。逆行列の導出のロジックが許されるのなら、掛算のロジックも問題ないはずです。

6. 掛算順序ルールの解除のタイミング

遅くとも割算を学ぶ時点で解除すべきと考えます。
なぜなら、掛算順序ルールを解除しないと、割算が導入できないからです。

6.1. 割算の導入

掛算と同様に割算も二つ存在します。
割算は以下のように導入されます。

掛算順序ルールを解除する必要があるのは③です。

①等分除の定義

全体の数といくつ分から一つ分を求める等分除の割算を以下の様に定義します。等分除の割算は記号 / で表します。

（除１）　3 ← 4 = 12 $⟺$ 3 = 12 / 4

②包含除の定義

全体の数と一つ分からいくつ分を求める包含除の割算を以下の様に定義します。包含除の割算は記号 \ で表します。

（除２）　3 ← 4 = 12 $⟺$ 4 = 12 \ 3

ここで 、等分除 / を用いて 4 = 12 / 3 と記述できません。なぜなら

（理由１）3 は一つ分であっていくつ分ではない
（理由２）仮に 3 をいくつ分と見なしても、交換法則が使えない状況では 12 / 3 が 4 に等しい保証がない

からです。そのため、等分除と異なる割算として包含除を定義するのでした。

③等分除＝包含除

ここで掛算順序ルールを解除し、（除１）に対して掛算の交換法則を適用すると以下の式を得ます。

（除３）　4 ← 3 = 12 $⟺$ 4 = 12 / 3

（除２）と（除３）の割算の部分を抜き出すと

（割算２） 4 = 12 \ 3
（割算３） 4 = 12 / 3

これは定義１によれば、等分除の割算 / と 包含除の割算 \ が等しいことを示しています。

④割算 ÷ 記号の定義

包含除・等分除は等しい割算であるため、中立的な記号を用いて割算を ÷（ = / = \） と表記します。

6.2. よくある間違い（その２）

交換法則が成り立つから、割算 ÷ が等分除と包含除と二つの意味を持つことができるのです。つまり、この証明は循環論法です。

6.3. よくある間違い（その３）

[皿] は [個 / 皿] あたりの [個] と見做すことができます。

（除４）　 [皿] = [個 / (個 / 皿)]

このように[皿] が一つ分として解釈できるので、逆順の式であっても立式が可能のように思われます。しかし、これも循環論法です。なぜなら式（除４）の最初の割算 / は包含除です。また２番目の割算 / は等分除です。等分除と包含除が同じ記号で表現されていることから、等分除＝包含除であることが分かります。これは、式（除４）という表現自体が掛算の可換性を前提としていることを示しています。

7. まとめ

1. 日本の掛算と欧米の掛算は等しい。
2. 掛算順序ルールは、交換法則を確認するまでは有効である。
3. 掛算順序ルールは、交換法則を確認したあとは順守できない。
4. 執行できないルールは失効させねばならない。