07/06/06 21:36:29
>>425
＞-1(1+(-1))=0
＞⇔(-1)(1)+(-1)(-1)=0
＞⇔-1+(-1)(-1)=0
＞⇔(-1)(-1)=1
「(-1)(1)=1」と定義すれば、「(-1)(-1)=1」になる。
従ってこれは、「(-1)(1)=-1」と定義された公理系における定理かと思われます。
07/06/06 21:36:29
>>425
＞-1(1+(-1))=0
＞⇔(-1)(1)+(-1)(-1)=0
＞⇔-1+(-1)(-1)=0
＞⇔(-1)(-1)=1
「(-1)(1)=1」と定義すれば、「(-1)(-1)=1」になる。
従ってこれは、「(-1)(1)=-1」と定義された公理系における定理かと思われます。