Proof
(related to Proposition: \(-(x+y)=-x-y\))
- From the existence of the negative numbers it follows that \[(x+y)+(-(x+y))=0.\]
- Adding \((-x)\) to both sides of the equation results in \[y+(-(x+y))=-x.\]
- On the other hand, from the unique solvability of the equation \(a+x=b\) with the solution \(x=b-a\) it follows that the equation \(y+z=-x\) has the unique solution \(z=-x-y\).
- This proofs the statement \(-(x+y)=-x-y\).
∎
Mentioned in:
Parts: 1
Thank you to the contributors under CC BY-SA 4.0!

- Github:
-

References
Bibliography
- Forster Otto: "Analysis 1, Differential- und Integralrechnung einer Veränderlichen", Vieweg Studium, 1983