okosgep.eu - Okosságok

Tétel:

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

Bizonyítás:

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