# Strictly Positive Rational Numbers are Closed under Addition

## Theorem

$\forall a, b \in \Q_{>0}: a + b \in \Q_{>0}$

## Proof

Let $a$ and $b$ be expressed in canonical form:

$a = \dfrac {p_1} {q_1}, b = \dfrac {p_2} {q_2}$

where $p_1, p_2 \in \Z$ and $q_1, q_2 \in \Z_{>0}$.

As $\forall a, b \in \Q_{>0}$ it follows that $p_1, p_2 \in \Z_{>0}$.

$\dfrac {p_1} {q_1} + \dfrac {p_2} {q_2} = \dfrac {p_1 q_2 + p_2 q_1} {q_1 q_2}$
 $\ds p_1 q_2$ $>$ $\ds 0$ $\ds p_2 q_1$ $>$ $\ds 0$ $\ds q_1 q_2$ $>$ $\ds 0$ $\ds \leadsto \ \$ $\ds p_1 q_2 + p_2 q_1$ $>$ $\ds 0$ $\ds \leadsto \ \$ $\ds \dfrac {p_1 q_2 + p_2 q_1} {q_1 q_2}$ $>$ $\ds 0$
$\blacksquare$