実数に対して虚数は足せないが負の数は足せる理由を探したら負の数の概念がない異世界に転生した。

※今回はテーマがテーマなので小説形式にしようかと思います。
50%は脚色です。

プロローグ

　中学校の教科書で負の数の単元を眺めたら、とある疑問が浮かんだ。
　「整数＋虚数」はできないのに「整数＋負の数」ができるのはなぜだか？
　僕が調べものをするときにまず真っ先に開くWebサイトは、Wikipediaだ。Wikipediaには面白い記事が載っているのでよく読む。だが、今日のは「負の数が虚数と違い、実数と同列に扱うことができる理由」を探しに来た。
　さっそく『正の数と負の数 - Wikipedia』のページを開いた瞬間、モニターに吸い込まれ、なんと異世界に転生してしまった。

負の数は存在しない

　負の数は現実世界だと、受け入れられるのに時間がかかったらしい。
　理由はなんとなく分かる。１個のリンゴは存在するが、－３個のリンゴは存在しないからだ。
　直観に反する事象は受け入れがたい。

　また、昔は現代と違って宗教的理由も考慮しなくてはならない。例えば、無理数は今でこそ使われているが、ピタゴラス教団の教義に反するとされていた。
　あのピタゴラスが無理数の存在を認めなかったのである。
　その教義のため「無理数は、あります」と公言したメンバーの１人が処刑されてしまった。
　もちろん現在は無理数が使われており、処刑されることもない。

　最初に使われた記録があるのは７世紀インドだが、ヨーロッパでは１７世紀くらいまでは負の数は受け入れられなかったらしい。ヨーロッパで受け入れられるようになったのはオイラー、ガウスなど、数学者のキセキの世代が活躍しはじめたあたりで、意外にも誕生年が虚数と近い。　それもそのはず、虚数には負の数が使われている。虚数を受け入れるには負の数も受け入れなければならない。
（※具体的な年号順は不明です。申し訳ありません。）

異世界での負の数の計算

　負の数は虚数と同じく存在しない。ー3個のリンゴも存在しないし、5$i$個のリンゴも存在しない。
　しかし、負の数は虚数と違い、実数との演算が可能である。
　この違いは何か。
　そのカギはこの異世界にあるのだろう。

演算

　どうやらこの異世界には負の数が存在せず、すべての実数を以下のように表すことができる。
$(a,b) (a,b\in \mathbb{R},a,b>0)$
（「実数を使って実数を表現するな」という野暮なことは言ってはいけない。負の数は必ずこの表記で、0および正の数はどちらの表記でもよい、というルールなら矛盾しないだろう。）

　そして、以下のように演算する
$1.(a,b)+(c,d)=(a+c,b+d)$
$2.(a,b)\times (c,d)=(ac+bd,ad+bc)$

　「なぜこんなにややこしいんだ！」と叫びたくなった。この演算が合理的だと気付くのに数日はかかった。

　この$(a,b)$という表記は、現実世界でいうと
　$(a-b)$
に相当し、あらゆる実数を表せる。
　例えば
　$(8,6) \to 8-6=2$
　$(6.52,2)\to 6.52-2=4.52$
　$(5,6) \to 5-6=-1$
　$(9,10)\to 9-10=-1$
　負の数の概念が存在しない代わりに、二つの正の数の差で表しているのだろう。

　そうすると、上記の演算は現実世界では以下のように書き換えられる。
$1.(a,b)+(c,d)=(a+c,b+d)$
$\to (a-b)+(c-d)=(a+c)-(b+d)$

$2.(a,b)\times (c,d)=(ac+bd,ad+bc)$
$\to (a-b)(c-d)=(ac+bd)-(ad+bc)$

　よし、この異世界のルールになんとなく慣れてきたぞ！

同値関係

　また、この異世界では、例えば$(5,6)$と$(9,10)$は同じ数値としてみなすという。
　分数でいう$\frac{2}{4}=\frac{4}{8}=\frac{1}{2}$のようなものだな。

　つまり、同値関係～が
　$(a,b)～(c,d)⟺a+d=b+c$
で定義できるということだ。

　例えば
　$5+10=6+9=15$ より $(5,6)～(9,10)$
　$4+285=5+284=289$ より $(4,5)～(284,285)$

　この同値関係～は、$(5,6)$も$(9,10)$も$(4,5)$も$(284,285)$も、全て同じ数値であるということを示している。
　そして、これらは全て現実世界の$-1$に相当する。

全順序

　さらに、この異世界では順序も決まっていて、全順序が
$(a,b)\le (c,d)⟺a+d\le b+c$
　と定義されている。

　例えば
　$5+10\le 6+13$ より $(5,6)\le (13,10)$
　$2+8\le 4+9$ より $(2,4)\le (8,9)$

　これらは現実世界で言うとそれぞれ
　$-1\le 3$
　$-2\le -1$
　に相当する。

　これらの演算方法、同値関係、全順序から、「負の数は全て実数と同列に演算でき、実数直線上に表すことができる」ということがわかる。

エピローグ

　気が付くと、研究室のパソコンの前で突っ伏していた。どうやらレポートに追われ、いつの間にか寝ていたようだ。さっそくこの奇妙な体験をゼミの先生に話した。
　すると、ゼミの先生はこう答えた。
「私もそのパソコンで無理数のことを調べていたら過去にタイムスリップした夢を見たことがある。無理数を公表してピタゴラス教団に殺されたところで目が覚めたんだがね」
　あれお前か。

補足

　同値関係、全順序には厳密な証明が必要なので、改めてここに記します。

　同値関係
　$(a,b)～(c,d)⟺a+d=b+c (a,b,c,d\in \mathbb{R})$

1.反射律（自分自身は同値）
　$a+b=b+a$ より $(a,b)～(a,b)$
2.対称律（同値な組は左右入れ替えても同値）
　$(a,b)～(c,d) \Rightarrow a+d=b+c$
　$\iff c+b=d+a$
　$\iff (c,d)～(a,b)$
3.推移律（A $\Rightarrow$ B かつ B $\Rightarrow$ C のとき、A $\Rightarrow$ C）
　$(a,b)～(c,d) かつ (c,d)～(e,f)$
　$\Rightarrow a+d=b+c かつ c+f=d+e$
　$\iff a+d+c+f=b+c+d+e$
　$\iff a+f=b+e$
　$\iff (a,b)～(e,f)$

　全順序
　$(a,b)\le (c,d)⟺a+d\le b+c$

1.反射律（自分自身）
　$a+b\le b+a$ より $(a,b)\le (a,b)$
2.反対称律（左右入れ替えて成り立つのは同値の場合のみ）
　$(a,b)\le (c,d) かつ (c,d)\le (a,b)$
　$\Rightarrow a+d\le b+c かつ b+c\le a+d$
　$\iff a+d=b+c$
　$\iff (a,b)=(c,d)$
3.推移律（A $\Rightarrow$ B かつ B $\Rightarrow$ C のとき、A $\Rightarrow$ C）
　$(a,b)\le (c,d) かつ (c,d)\le (e,f)$
　$\Rightarrow a+d\le b+c かつ c+f\le d+e$
　$\iff a+d+c+f\le b+c+d+e$
　$\iff a+f\le b+e$
　$\iff (a,b)\le (e,f)$
4.完全律（必ず　A≤B　または　B≤A　のどちらかが成り立つ）
　$(a,b)>(c,d) \Rightarrow a+d>b+c$
　$\iff c+b<d+a$
　$\iff (c,d)<(a,b)$
　等号が成り立つ場合は同値関係「2.対象律」を参照