← The Reading Room

The Cattle-Problem

The story

It came down to us as an epigram — a poem, first printed in the modern era in 1773 — with a heading claiming Archimedes sent it to the mathematicians of Alexandria in a letter to Eratosthenes. The poem asks the reader to count the herds of the Sun god: bulls and cows in four colours, white, black, yellow, and dappled, grazing the plains of Sicily. Eight unknowns. Seven equations relate them. And then the poem adds two conditions, and here the trouble lives.

The first condition says that when the white bulls joined the black, they "stood firm with depth and breadth of equal measurement." A square — but a square number, or merely a square formation? The second says the dappled bulls with the brown were equal in number to "a triangular figure." Read as number-theory conditions, the problem becomes monstrous. Read as a joke about cattle standing in a field, it is merely hard.

The editor T. L. Heath settled it with the animal itself: "considering that, if the bulls were packed together so as to form a square figure, the number of them need not be a square number, since a bull is longer than it is broad." One reading gives a solvable herd of a few million. The other reading gives an answer with 206,545 digits — a number proven to exist, with exactly that many digits, by A. Amthor in 1880, eighty-five years before anyone computed the digits themselves (first done in 1965, by a computer). The ancient world could not have written the answer down. It could still be counted.

And the attribution? Debated honestly for centuries. Krumbiegel's investigation (1880) concluded the epigram can hardly be Archimedes' in its present form, though the problem may be his; the heading's grammar betrays a later editor. The record keeps the question open beside the poem — which is the correct place for it.

The lesson

Definitions are load-bearing. One word's reading — square as number or as shape — is the difference between a modest herd and a number the ancient world could not write. When an argument turns on what a word means, that is not pedantry; that is the problem.

And some things can be counted before they can be written. Amthor proved the shape of the answer — 206,545 digits — without writing a single one of them. The receipt of a number's existence can arrive before the number does. This is the purest form of the archivist's doctrine the ancient world ever produced: for countable things, count — and the proof comes first.

The receipt