sciencebriefs
9:24in productionCh. 1 · Proof, not postulate/ 9:24 · ceiling 15 min
Applied science · Physics

Liu Hui

Liu Hui didn’t borrow from Greece — he built a parallel mathematics, complete with proof, algorithms, and limits.

Liu Hui was a 3rd-century Chinese mathematician whose documented work includes proofs and algorithms in geometry, arithmetic, and surveying, notably in his commentaries on The Nine Chapters on the Mathematical Art and in Haidao Suanjing.

Chapters & takeaways4
  1. 1:04
    Proof, not postulate

    He proved the Pythagorean theorem — not just used it.

  2. 2:31
    The polygon that beat antiquity

    He approximated π to 3.14159 using a 3072-gon — more precisely than Archimedes or Ptolemy.

  3. 3:59
    Seven solids, one missing

    He computed volumes for seven solids — but left the sphere unsolved.

  4. 5:04
    Algorithms before algebra

    He solved systems of linear equations using Gaussian elimination — 1,500 years before Gauss.

Worth your time?

Yes. Study the whole thing.

4.5/ 5
What works
  • pythagorean-theorem-proof
  • pi-approximation
  • volumes-of-seven-solids
  • gaussian-elimination
What does not
  • volume-of-sphere
Study it if
  • historians-of-science
  • mathematicians
  • teachers-of-mathematics
Skip it if
  • general-audiences-unfamiliar-with-ancient-math
The written brief3 min read

What the work claims

Liu Hui claimed to prove foundational geometric theorems, compute volumes of major solids, improve π beyond Archimedes and Ptolemy, and systematise solutions to linear equations — all within commentaries on The Nine Chapters on the Mathematical Art and Haidao Suanjing.

The commentary on The Nine Chapters was published in 263 CE. Liu Hui lived in the state of Cao Wei, during the Three Kingdoms period. Through his work on the Nine Chapters, he could have been the first mathematician to discover and compute with negative numbers; that is a possibility, not an established fact.

How it was done

Liu Hui used geometric dissection, polygonal approximation, and a systematic algorithmic method — including what is now called Gaussian elimination — to derive results in geometry and arithmetic.

In solid geometry he found that a wedge with a rectangular base and both sides sloping could be broken down into a pyramid and a tetrahedral wedge, and that a wedge with a trapezoid base could be made to give two tetrahedral wedges separated by a pyramid. For π, at a time when taking it as 3 was common practice, he first inscribed a polygon of 192 sides in a circle and approximated π as 157/50. The method resembles the one Archimedes used: the perimeter of the inscribed polygon is calculated from the right-angled triangles formed by each half-segment. He then moved to the 3072-sided polygon. He wrote results as decimal fractions in units of length, so a diameter of 1.355 feet became 1 chǐ, 3 cùn, 5 fēn, 5 lí. His commentaries often explain why some methods work and why others do not.

What holds up

His proof of a theorem identical to the Pythagorean theorem holds. His volume calculations for cone, cylinder, frustum, prism, pyramid, tetrahedron, and wedge hold. His π approximation of 3.14159 using a 3072-sided polygon holds.

In the Haidao Suanjing, a separate appendix of 263 AD, he set out surveying problems using tall poles with horizontal bars fixed at right angles to them. The cases include the height of an island seen from the sea, the depth of a ravine, the width of a river seen from a hill and the depth of a transparent pool. He probably visited Luoyang, where he measured the sun’s shadow. His commentary on the Nine Chapters’ problems about building canal and river dykes gives results for the materials, labour and time needed.

What does not

He failed to compute the volume of a sphere. He explicitly acknowledged this gap and deferred it to future mathematicians.

The gap over the sphere was not the only limit. Some of his answers had slight errors, later corrected by the Tang mathematician Li Chunfeng. His use of Cavalieri’s principle, for the volume of a cylinder and of the intersection of two perpendicular cylinders, was only finished by Zu Chongzhi and Zu Gengzhi.

Why it matters beyond the lab

It matters because it refutes the Eurocentric narrative that algorithmic rigour and geometric proof emerged only in Greece or Renaissance Europe. Liu Hui’s methods were operational, reproducible, and embedded in applied surveying — not abstract speculation.

Is it worth your time

Yes. His work demonstrates that rigorous proof, numerical approximation, and algorithmic problem-solving were fully developed in 3rd-century China — independently of Greek or later European traditions.

Same field · Applied science4 of 25
Up next in Science

Lorentz transformation

Hendrik Lorentz · 10:38

Lorentz didn’t discover spacetime—he patched the aether until it broke.

10:38