Is there a problem with canonical forms for ratios?

64 Views Asked by At

High school maths and ratios at KA show how to solve ratio problems, and when ratios are equivalent - but don't say what the ratio is.

I've worked out some canonical forms, and I wondered why something like this isn't used, when they seem to underlie what is taught. Have I got them correct, and is there a problem with the idea of using canonical forms for ratios?

  • Naturals: the canonical form of a ratio is $p:q$ with $p, q \in \mathbf{N}$ are in lowest terms. This canonical form isn't a number itself, but can only be expressed as a ratio of numbers.

    Another ratio is equivalent to a canonical if both sides are the same multiple of the canonical's sides i.e. $m.p:m.q$ with $m \in \mathbf{N}$. So $4:3$ is the ratio, and $8:6$ and $16:12$ are equivalent. But there's no $m$ to give $10$ on the left (and the "corect" right side, $7\frac{1}{2}$, wouldn't be natural anyway).

  • Rationals: a canonical form of the ratio $p:q$ is the rational number $\frac{p}{q}$, again with with $p, q \in \mathbf{N}$ in lowest terms. This canonical form is simply a rational number.

    These are the "same" ratios as for naturals, but with additional equivalent ratios, because we can multiply by a rational instead of by a natural. i.e. $\frac{m}{n}.p:\frac{m}{n}.q$ where $m,n \in \mathbf{N}$ - which is equivalent to multiplying, dividing, or multiplying and dividing by naturals.

  • Reals: the canonical form of a ratio $p:q$, where $p,q \in \mathbf{R}$ is simply the real quotient $\frac{p}{q}$. This canonical form is simply a real number.

    A ratio is equivalent to a canonical form if its quotient equals the canonical form.

(I've omitted negatives because they don't seem to be used. They are straightforward to add, but make it less clear.)

Wikipedia's article on ratios mentions using the real quotient - but that's not how it's taught.

Perhaps it's a hangover from Euclid, who presented integral ratios (Book VII, D20) separately from rational (and kinda irrational) ratios, (Book V, D5)? Though he doesn't use canonical forms either. (BTW the wiki ratio article has a nice overview, in History and etymology, Euclid's Definitions).