Tétel:
∀ x∈R: -1*x=-x
Bizonyítás:
∀ x∈R: x+(-1*x)=x(1+(-1))=x*0=0
⟹
∀ x∈R: x+(-1*x)=0
⟹
∀ x∈R: x+(-1*x)+(-x)=-x
⟹
∀ x∈R: x+(-x)+(-1*x)=-x
⟹
∀ x∈R: (x+(-x))+(-1*x)=-x
⟹
∀ x∈R: 0+(-1*x)=-x
⟹
∀ x∈R: -1*x=-x
Felhasznált tételek:
https://okosgep.eu/cikk.php?cikkazonv=26