# Rational number

A **rational number** is a real number which can be written as *a/b* where *a* (the **numerator**) is any integer and *b* (the **denominator**) is an integer different from zero. The set of all rational numbers is named [math]\mathbb{Q}[/math].

The notation *a/b* is called **fraction**. A fraction is irreducible when both numbers are coprime, otherwise it can be reduced to an irreducible form by dividing both the numerator and the denominator by their greatest common divisor. This operation does not change the rational number represented by the fraction.

The following operations are defined:

## Contents

## Addition

- [math]\large \frac AB\,+\,\frac CD = \frac{A\,D\,+\,B\,C}{B\,D}[/math]

## Subtraction

- [math]\large \frac AB\,-\,\frac CD = \frac{A\,D\,-\,B\,C}{B\,D}[/math]

## Multiplication

- [math]\large \frac AB\,\frac CD = \frac{A\,C}{B\,D}[/math]

## Division

Valid only when the second rational number is not zero.

- [math]\large \frac AB\,/\,\frac CD = \frac{A\,D}{B\,C}[/math]

Between two rational numbers there are infinite other rational numbers. This is because between the numbers [math]a[/math] and [math]b[/math] we have the following [math]n[/math] numbers:

- [math]\large a +\frac {k(b-a)}{n+1}[/math]

by varying the number [math]k[/math] from 1 to [math]n[/math]. Then we can make the value [math]n[/math] as high as we please.

This means that the set of rational numbers is a *dense subset* of the real numbers.

From the above reasoning one can think that all real number are rational, but it can be shown that the set of irrational numbers (those real numbers that are not rational) is also dense and there are more irrational numbers than rationals (there are different types of infinites).

## Decimal representation of rational numbers

A rational number can be represented exactly when the denominator of the irreducible fraction is a perfect power of 2 multiplied by a perfect power of 5, i.e. it has the form 2^{n} × 5^{m}.

Otherwise the number represented in decimal is periodic where the period is a divisor of the Euler totient function of the denominator. This function can be computed by factoring the denominator. As a special case, when the denominator is a prime number, the period is a divisor of the denominator minus 1.

When we have the number represented in decimal form, to convert it to a fraction depends on whether the decimal expansion is exact or periodic.

In the first case, when the number N in decimal has the form m.n where n has d digits at the right of the decimal point (d=0 for integers), the fraction is:

- [math]\large N\,=\,\frac {m * 10^d + n}{10^d}[/math]

In the second case, when the number N in decimal has the form m.npppp... where n has d digits and p has e digits, the fraction is:

- [math]\large N\,=\,\frac {(m * 10^d + n)\,(10^e-1)+p}{10^d (10^e-1)}[/math]