Prove that negative numbers are closed under addition.
By Daniel Rodriguez •
So here's what I'm thinking, but it feels too simple...
All negative numbers can be added to one another and remain negative. Consider the integers $x$ and $y$, where $x,y<0$. Then take $x+y$,
then I want to say that having both x and y be negative, means that their sum is negative, but that seems too simple... like I'm using the fact I'm trying to prove to prove it.
How should I finish this?
$\endgroup$ 41 Answer
$\begingroup$Here is a more formal way to state your (correct) intuition. Let $\mathbb{R}^-$ denote the set of negative reals and let $x,y \in \mathbb{R}^-$.
Since $x,y \in \mathbb{R}^-$, we know $x,y<0$. Therefore,$$ x+y < x+0 = x < 0, $$hence $x+y \in \mathbb{R}^-$.
$\endgroup$ 2
