Using Zorn's lemma show that $\mathbb R^+$ is the disjoint union of two sets closed under addition. Let $\Bbb R^+$ be the set of positive real numbers. Use Zorn's Lemma to show that $\Bbb R^+$ is the union of two disjoint, non-empty subsets, each closed under addition.

Let $\mathcal{P}$ the set of the disjoint pairs $(A,B)$, where $A,B\subseteq\mathbb{R}^+$ are not empty and each one is closed under addition and multiplication by a positive rational number. Note that $\mathcal{P}\neq\emptyset$ because if we consider $X=\mathbb{Q}^+$ and $Y=\{n\sqrt{2}:n\in\mathbb{Q}^+\}$, then $(X,Y)\in\mathcal{P}$. Define $\leq$ as follows:
$(X_1,Y_1)\leq(X_2,Y_2)$ if and only if $X_1\subseteq X_2$ and $Y_1\subseteq Y_2$, for all $(X_1,Y_1),(X_2,Y_2)\in\mathcal{P}$.
Clearly, $(\mathcal{P},\leq)$ is a partially ordered set. Furthermore, it is easy to see that every chain in $(\mathcal{P},\leq)$ has an upper bound. We can now apply Zorn's lemma, so $(\mathcal{P},\leq)$ has a maximal element. Let $(A,B)\in\mathcal{P}$ a maximal element of $(\mathcal{P},\leq)$. We only have to show that $A\cup B=\mathbb{R}^+$.
Suppose that $\mathbb{R}^+\not\subseteq A\cup B$. Therefore, there exists $x\in\mathbb{R}^+$ such that $x\not\in A\cup B$. Consider $A_x=\{kx+a:k\in\mathbb{Q}^+\cup\{0\}\textrm{ and }a\in A\}$ and $B_x=\{kx+b:k\in\mathbb{Q}^+\cup\{0\}\textrm{ and }b\in B\}$. Then $A\subseteq A_x$, $B\subseteq B_x$ and $A_x,B_x\subseteq\mathbb{R}^+$. It is easy to verify that $A_x$ and $B_x$ are closed under addition and multiplication by a positive rational number.
If either $A_x\cap B=\emptyset$ or $A\cap B_x=\emptyset$, then $(A,B)$ would not be a maximal element of $(\mathcal{P},\leq)$. Therefore, $A_x\cap B\neq\emptyset$ and $A\cap B_x\neq\emptyset$, so there is some $q_0\in\mathbb{Q}^+$ and $a\in A$ such that $q_0x+a\in B$, and there is some $q_1\in\mathbb{Q}^+$ and $b\in B$ such that $q_1x+b\in A$. Note that $q_0,q_1\neq 0$ because $A\cap B=\emptyset$. It is easy to see that $q_0q_1x+q_1a+q_0b\in A\cap B$, so $A\cap B\neq\emptyset$, a contradiction. Therefore, $A\cup B=\mathbb{R}^+$.
