okosgep.eu - Okosságok

azonos additív inverz

Tétel:

x+z=0 ∧ w+z=0 ⇒ x=w=-z

Bizonyítás:

x+z=0 ∧ w+z=0 ⇒x+z+(-z)=-z ∧ w+z+(-z)=-z ⇒ x+(z+(-z))=-z ∧ w+(z+(-z))=-z⇒x+0=-z ∧ w+0=-z ⇒ x=-z ∧ w=-z ⇒ x=w=-z