# Product of Rational Numbers is Rational

 It has been suggested that this article or section be renamed: Product of Rationally Expressible Numbers is Rational One may discuss this suggestion on the talk page.

## Theorem

Let $a, b \in \left\{{x \in \R_{>0} : x^2 \in \Q}\right\}$ be the lengths of rational line segments.

Furthermore, let $\dfrac a b \in \Q$.

Then, $a b \in \Q$.

In the words of Euclid:

The rectangle contained by rational straight lines commensurable in length is rational.

### Lemma

In the words of Euclid:

Since it has been proved that straight lines are commensurable in length are always commensurable in square also, while those commensurable in square are not always commensurable in length also, but can of course be either commensurable or incommensurable in length, it is manifest that, if any straight line be commensurable in length with a given rational straight line, it is called rational and commensurable with the other not only in length but in square also, since straight lines commensurable in length are always commensurable in square also.

But, if any straight line be commensurable in square with a given rational straight line, then, if it is also commensurable in length with it, it is called in this case also rational and commensurable with it in both in length and in square; but, if again any straight line, being commensurable in square with a given rational straight line, be incommensurable in length with it, it is called in this case also rational but commensurable in square only.

## Proof 1

Let the rectangle $AC$ be contained by the rational straight lines $AB$ and $BC$.

Let $AB$ and $BC$ be commensurable in length.

Let the square $AD$ be described on $AB$.

From Book $\text{X}$ Definition $4$: Rational Area, $AD$ is rational.

Since:

$AB$ is commensurable in length with $BC$

and:

$AB = BD$

it follows that

$BD$ is commensurable in length with $BC$.
$BD : BC = DA : AC$

Therefore $DA$ is commensurable in length with $AC$.

But $DA$ is rational.

It follows from Book $\text{X}$ Definition $4$: Rational Area that $AC$ is also rational.

$\blacksquare$

## Proof 2

We have that $b^2 \in \Q$ by definition.

We also have that $\dfrac a b \in \Q$ by hypothesis.

Therefore, by Rational Multiplication is Closed, their product, $a b$, is also rational.

$\blacksquare$

## Historical Note

This theorem is Proposition $19$ of Book $\text{X}$ of Euclid's The Elements.