# Archimedes' Cattle Problem

## Contents

## Classic Problem

The sun god had a herd of cattle consisting of bulls and cows, divided into $4$ herds according to their colour:

- white
- black
- dappled
- yellow.

(Accounts vary as to their actual colours, which are arbitrary.)

Among the bulls:

- the number of white ones was one half plus one third the number of the black greater than the yellow
- the number of the black ones was one quarter plus one fifth the number of the dappled greater than the yellow
- the number of the dappled ones was one sixth and one seventh the number of the white greater than the yellow.

Among the cows:

- the number of white ones was one third plus one quarter of the total black cattle
- the number of the black ones was one quarter plus one fifth the total of the dappled cattle
- the number of dappled cattle was one fifth plus one sixth the total of the yellow cattle
- the number of the yellow cattle was one sixth plus one seventh the total of the white cattle.

What was the composition of the herd?

### Difficult Version

In addition:

- All the white and black bulls were arranged in a square

- All the dappled and brown bulls were arranged in a triangle.

## Solution

Let:

- $W$ be the number of white bulls
- $B$ be the number of black bulls
- $D$ be the number of dappled bulls
- $Y$ be the number of yellow bulls
- $w$ be the number of white cows
- $b$ be the number of black cows
- $d$ be the number of dappled cows
- $y$ be the number of yellow cows.

Then the conditions can be expressed as:

\(\displaystyle W\) | \(=\) | \(\displaystyle \paren {\frac 1 2 + \frac 1 3} B + Y\) | |||||||||||

\(\text {(1)}: \quad\) | \(\displaystyle \leadsto \ \ \) | \(\displaystyle W - Y\) | \(=\) | \(\displaystyle \frac 5 6 B\) | |||||||||

\(\displaystyle B\) | \(=\) | \(\displaystyle \paren {\frac 1 4 + \frac 1 5} D + Y\) | |||||||||||

\(\text {(2)}: \quad\) | \(\displaystyle \leadsto \ \ \) | \(\displaystyle B - Y\) | \(=\) | \(\displaystyle \frac 9 {20} D\) | |||||||||

\(\displaystyle D\) | \(=\) | \(\displaystyle \paren {\frac 1 6 + \frac 1 7} W + Y\) | |||||||||||

\(\text {(3)}: \quad\) | \(\displaystyle \leadsto \ \ \) | \(\displaystyle D - Y\) | \(=\) | \(\displaystyle \frac {13} {42} W\) | |||||||||

\(\displaystyle w\) | \(=\) | \(\displaystyle \paren {\frac 1 3 + \frac 1 4} \paren {B + b}\) | |||||||||||

\(\text {(4)}: \quad\) | \(\displaystyle \) | \(=\) | \(\displaystyle \frac 7 {12} \paren {B + b}\) | ||||||||||

\(\displaystyle b\) | \(=\) | \(\displaystyle \paren {\frac 1 4 + \frac 1 5} \paren {D + d}\) | |||||||||||

\(\text {(5)}: \quad\) | \(\displaystyle \) | \(=\) | \(\displaystyle \frac 9 {20} \paren {D + d}\) | ||||||||||

\(\displaystyle d\) | \(=\) | \(\displaystyle \paren {\frac 1 5 + \frac 1 6} \paren {Y + y}\) | |||||||||||

\(\text {(6)}: \quad\) | \(\displaystyle \) | \(=\) | \(\displaystyle \frac {11} {30} \paren {Y + y}\) | ||||||||||

\(\displaystyle y\) | \(=\) | \(\displaystyle \paren {\frac 1 6 + \frac 1 7} \paren {W + w}\) | |||||||||||

\(\text {(7)}: \quad\) | \(\displaystyle \) | \(=\) | \(\displaystyle \frac {13} {42} \paren {W + w}\) |

This is a set of $7$ simultaneous equations in $8$ variables, and thus indeterminate.

From $(1)$ to $(3)$ we can find:

\(\displaystyle W\) | \(=\) | \(\displaystyle \frac {742} {297} Y\) | |||||||||||

\(\displaystyle B\) | \(=\) | \(\displaystyle \frac {178} {99} Y\) | |||||||||||

\(\displaystyle D\) | \(=\) | \(\displaystyle \frac {1580} {891} Y\) |

Because $\gcd \set {891, 1580} = 1$, we have that $Y$ must be a multiple of $891$: $G$, say.

Hence:

\(\displaystyle W\) | \(=\) | \(\displaystyle 2226 G\) | |||||||||||

\(\displaystyle B\) | \(=\) | \(\displaystyle 1602 G\) | |||||||||||

\(\displaystyle D\) | \(=\) | \(\displaystyle 1580 G\) | |||||||||||

\(\displaystyle Y\) | \(=\) | \(\displaystyle 891 G\) |

Substituting into equations $(4)$ to $(7)$, we obtain:

\(\displaystyle 12 w - 7 b\) | \(=\) | \(\displaystyle 11214 G\) | |||||||||||

\(\displaystyle 20b - 9d\) | \(=\) | \(\displaystyle 14220 G\) | |||||||||||

\(\displaystyle 30d - 11y\) | \(=\) | \(\displaystyle 9801 G\) | |||||||||||

\(\displaystyle 42y - 12w\) | \(=\) | \(\displaystyle 28932 G\) |

Solving these $4$ equations gives:

\(\displaystyle 4657 w\) | \(=\) | \(\displaystyle 7206360 G\) | |||||||||||

\(\displaystyle 4657 b\) | \(=\) | \(\displaystyle 4893246 G\) | |||||||||||

\(\displaystyle 4657 d\) | \(=\) | \(\displaystyle 3515820 G\) | |||||||||||

\(\displaystyle 4657y\) | \(=\) | \(\displaystyle 5439213G\) |

Because $4657$ is a divisor of none of the numbers on the right hand side, it must be the case that

- $4657 \divides G$

where $\divides$ denotes divisibility.

Hence the smallest solution is:

\(\displaystyle W\) | \(=\) | \(\displaystyle 10 \, 366 \, 482\) | |||||||||||

\(\displaystyle B\) | \(=\) | \(\displaystyle 7 \, 460 \, 514\) | |||||||||||

\(\displaystyle D\) | \(=\) | \(\displaystyle 7 \, 358 \, 060\) | |||||||||||

\(\displaystyle Y\) | \(=\) | \(\displaystyle 4 \, 149 \, 387\) | |||||||||||

\(\displaystyle w\) | \(=\) | \(\displaystyle 7 \, 206 \, 360\) | |||||||||||

\(\displaystyle b\) | \(=\) | \(\displaystyle 4 \, 893 \, 246\) | |||||||||||

\(\displaystyle d\) | \(=\) | \(\displaystyle 3 \, 515 \, 820\) | |||||||||||

\(\displaystyle y\) | \(=\) | \(\displaystyle 5 \, 439 \, 213\) |

$\blacksquare$

## Also known as

This problem is also known as:

- the
**bovinum problema**(that is,**cattle problem**in Latin)

**Archimedes' Reverse**

## Source of Name

This entry was named for Archimedes of Syracuse.

## Historical Note

There are various interpretations of this problem, as the initial wording can be construed as ambiguous.

In particular, it is not completely clear in the difficult version whether the white and black bulls need to be arranged in a square or a rectangle.

While the problem is attributed to Archimedes of Syracuse, it is far from certain that he was the one who originated it.

It appears, from the arbitrary nature of the numbers selected, and the difficulty of finding a solution, that the problem was contrived with no consideration of what the solution might be, or indeed whether there is one, in the same way that a lecturer in mathematics invents a problem, on the fly, as an illustration of the use of a particular solution technique, without first having checked that the solution will be immediately tractable.

The smallest solution to the Pellian Equation $t^2 - 4 \, 729 \, 494 u^2 = 1$ was discovered by A. Amthor and B. Krumbiegel in $1880$, but the corresponding total number of cattle was not actually calculated until $1965$.

This was done by computer. It took $7$ hours and $49$ minutes of computer time, and its printout filled $46$ pages.

This was checked in $1981$ on a more powerful machine, and this took $10$ minutes.

The full solution was published in the *Journal of Recreational Mathematics*.

## Sources

- 1897: T.L. Heath:
*The Works of Archimedes* - 1912: Sir Thomas L. Heath:
*The Works of Archimedes with the Method of Archimedes* - 1965: Heinrich Dörrie:
*100 Great Problems of Elementary Mathematics*(Translated by David Antin)

- 1992: David Wells:
*Curious and Interesting Puzzles*... (previous) ... (next): Archimedes' Cattle Problem: $16$

- Weisstein, Eric W. "Archimedes' Cattle Problem." From
*MathWorld*--A Wolfram Web Resource. http://mathworld.wolfram.com/ArchimedesCattleProblem.html