okosgep.eu - Okosságok

Tétel:

∀ x∈R: -(-x))=x

Bizonyítás:

∀ x∈R: -x+(-(-x))=0

⇒

∀ x∈R: -x+(-(-x))+x=x

⇒

∀ x∈R: -x+x+(-(-x))=x

⇒

∀ x∈R: (-x+x)+(-(-x))=x

⇒

∀ x∈R: 0+(-(-x))=x

⇒

∀ x∈R: -(-x)=x