Omar Khayyam · Mathematics

What Is a Number? Ratios and the Reality of the Irrational

In the second part of his Euclid commentary, Khayyam reexamined the theory of ratios in Book V of the <em>Elements</em> and pressed a revolutionary idea: that a ratio - even between incommensurable magnitudes - is itself a kind of number. In treating irrational magnitudes as numbers, he took an early step on the road to the real numbers.

From the lesson

Greek mathematics kept two kinds of quantity strictly apart. On one side stood number (arithmos), meaning the whole numbers used for counting: 1, 2, 3, and their ratios. On the other stood magnitude - continuous things like lengths, areas, and volumes. The wall between them was forced by a famous crisis: the Pythagoreans discovered that the diagonal of a square is incommensurable with its side, sharing no common unit, so the ratio of diagonal to side (what we call the square root of two) could not be written as a ratio of whole numbers. To keep their logic sound, the Greeks refused to call such a ratio a ‘number’ at all. Euclid’s Book V built a rigorous theory of proportion for magnitudes that carefully avoided ever treating a ratio as a number. Khayyam inherited this wall - and began to dismantle it.

Here is Khayyam’s revolutionary move. Confronted with the ratio of two magnitudes that have no common measure - an irrational ratio - the Greeks had said: this is not a number. Khayyam said: it is. He argued that the ratio of any two magnitudes can be assigned a number that measures it, obtained by the process of mutual measurement (laying the smaller against the larger repeatedly, then the remainder against the smaller, and so on), which generates a sequence of whole numbers capturing the ratio to any precision. Whether or not that process ever terminates - whether the magnitudes are commensurable or not - the ratio deserves the name of number. In one stroke, Khayyam proposed to enlarge the concept of number to include the irrationals, placing counting-numbers and irrational ratios on a single operational footing. This is a genuine conceptual revolution, reaching for a unified idea of quantity that Greek mathematics had refused.

Khayyam’s attitude to Euclid is a model of how to treat a great predecessor. He did not tear down Book V; he strengthened its foundations and then extended its reach. He proved that the intuitive, subtraction-based definition of proportion agrees with Euclid’s austere multiple-based one, giving the theory both rigour and intelligibility. Then he pushed past Euclid’s self-imposed limit, arguing for a wider concept of number that Euclid had deliberately avoided. This double motion - securing the old rigour while enlarging the old boundaries - is characteristic of Khayyam across all his mathematics: in the cubic, in the parallel postulate, and here in the theory of ratios, he combines deep respect for demonstrative proof with a restless push toward greater generality. He wanted mathematics to be both certain and free.

This is the opening of the lesson. The rest — the dialogue, the primary source, and the recall — is in the app.

What you'll be able to recall

You learned that Khayyam scrutinized Euclid’s Book V theory of proportion, connected it to an older definition based on the process now linked to continued fractions, and argued that ratios of magnitudes - including incommensurable ones - are genuine numbers. Explain why treating irrational ratios as numbers was a ste…

Leads to Euclid.

Begin this lesson →
← All lessons on Omar Khayyam

epoché — a humanities education that remembers you.