# Definition:Ratio

This page has been identified as a candidate for refactoring of basic complexity.Until this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

## Definition

Let $x$ and $y$ be quantities which have the same dimensions.

Let $\dfrac x y = \dfrac a b$ for two numbers $a$ and $b$.

Then the **ratio of $x$ to $y$** is defined as:

- $x : y = a : b$

It explicitly specifies how many times the first number contains the second.

In the words of Euclid:

*A***ratio**is a sort of relation in respect of size between two magnitudes of the same kind.

(*The Elements*: Book $\text{V}$: Definition $3$)

### Existence of Ratio

A ratio exists between two quantities $x$ and $y$ if and only if:

- $\exists m, n \in \Z: m x > n, n y > m$

This condition is known as the Archimedean property.

In the words of Euclid:

*Magnitudes are said to***have a ratio**to one another which are capable, when multiplied, of exceeding one another.

(*The Elements*: Book $\text{V}$: Definition $4$)

### Equality of Ratios

Let $p, q, r, s$ be quantities.

Then $p : q = r : s$ if, for any positive integers $m$ and $n$, $n p < m q, n p = m q, n p > m q$ according as $n r < m s, n r = m s, n r > m s$ respectively.

In the words of Euclid:

*Magnitudes are said to***be in the same ratio**, the first to the second and the third to the fourth, when, if any equimultiples whatever be taken of the first and third, and any equimultiples whatever of the second and fourth, the former equimultiples alike exceed, are alike equal to, or alike fall short of, the latter equimultiples respectively taken in corresponding order.

(*The Elements*: Book $\text{V}$: Definition $5$)

## Sources

- 2014: Christopher Clapham and James Nicholson:
*The Concise Oxford Dictionary of Mathematics*(5th ed.) ... (previous) ... (next):**ratio**