我流負数定義の修正

前回に定義した負数の乗法は自然数の乗法の定義でいけるんじゃないか、と閃いたので試してみます。
あとはマイナス×マイナスに関する乗法も定義しました。

負数の我流定義

負数について考えてみたんですが。 正の整数（自然数）と同じ定義でいけるかなあと。-1が-∞の方向へ増えるのだと考えていいのならですが。 その場合、正の整数と演算で交わる場合には正・負の方向性の違いを持たせる必要がありますが、負と負であるなら...

riku-nagahama.xyz

2024.01.20

a×-(s(0))(前提)
a×s(0)×-1(定義)
((a×0)+a)×-1(定義)
(0+a)×-1(定義)
a×-1(定義)
-a(定義)

実際の数で

1×-1(前提)
-1(定義)

-1×-1(前提)
1×-1×1×-1(定義)
-1×-1(定義)

マイナス×マイナスは定義してしまうべきなのかなと。

-1×-1=1

まとめると、新たに負数の乗法を定義せずとも自然数乗法でもやれる。

修正版負数乗法定義
-0=0
0×-a=0
-1×-1=1
a×-1=-a