なんで(-1)x(-1)=1なの?って話。
中一くらいで疑問の思うありがちな話ですよね〜。でも、「整数の数体系」を考える限り、こうならざるを得ないんです。*1
この手の話のって、証明しちゃえば、まずはぐうの音も出ませんよね。
では早速〜。
Prop.
である。
Proof
まずは、
ですよね。両辺にを書けると
で、左辺、右辺なので、
両辺にを加えて、
ですね。■
さて、上の証明を眺めてみると、
- 式の両辺に対して、を掛け算
- 分配法則の適用
という「ルール」を適用しただけです。
逆にこれらの「ルール」が成立する体系であれば、常にという等式は成立することになります。
寝起きで何だか頭が寝ぼけてるんですが(汗)、ま、そういうことで(笑)
*1:話はややこしいので、詳しくは説明しませんが、そうじゃない「数」の体系も作れるカモですが、今日は話しません