Liu Hui (c. 225–c. 295 CE)

Quick Facts

• Full Name: Liu Hui (劉徽)
• Flourished: c. 225–c. 295 CE (State of Cao Wei, Three Kingdoms Period)
• Primary Fields: Geometry, Systems of Linear Equations, Mathematical Analysis, Cartography
• Known For: Commentary on The Nine Chapters on the Mathematical Art, Liu Hui's $\pi$ algorithm, early Gaussian elimination, Haidao Suanjing

The Han-Wei Paradigm and Axiomatic Exposition

Operating during the politically fractured but intellectually vibrant Three Kingdoms period, Liu Hui acted as the definitive analytical anchor for classical Chinese mathematics. In 263 CE, he published his foundational commentary on the ancient canon Jiuzhang Suanshu (The Nine Chapters on the Mathematical Art). Moving past the original text's purely practical, recipe-like computational directives, Liu Hui introduced systematic, formal proofs. He utilized geometric breakdowns, color-coded block transformations, and logical deductions to verify the mathematical validity of every operational rule.

Core Analytic & Algebraic Contributions

Liu Hui’s legacy rests on establishing limit principles and operational algorithms that anticipated Western breakthroughs by over a millennium:

• Liu Hui's $\pi$ Algorithm and Infinitesimal Geometry

  To move past the rough ancient approximation of $\pi = 3$, Liu Hui designed a brilliant iterative algorithm using regular polygons inscribed within a circle. By systematically doubling the polygon's sides to $96$, $192$, and ultimately $3072$ sides, he analyzed the remaining spatial gaps. He used early limits, declaring that when the side cuts become infinitely small, the polygon's area seamlessly joins with the circle. Through this exhaustion model, he delivered a pristine early estimation: $$\pi \approx \frac{3927}{1250} = 3.1416$$

• Early Column Matrix Reduction (Fangcheng)

  Inside Chapter 8 of his commentaries, Liu Hui formalized the Fangcheng process for solving systems of simultaneous linear equations. Utilizing counting boards, he arranged system coefficients into columns (essentially a vertical matrix grid). He then performed successive arithmetic reductions across columns to systematically cancel unknown variables—inventing the core mechanics of Gaussian elimination sixteen centuries before its formal adoption in the West: $$\begin{bmatrix} a_1 & b_1 & c_1 \\ a_2 & b_2 & c_2 \end{bmatrix} \xrightarrow{\text{Row/Col Operation}} \begin{bmatrix} a_1 & b_1 & c_1 \\ 0 & b'_2 & c'_2 \end{bmatrix}$$

• Solid Geometry and Volume Dissection

  Liu Hui advanced solid geometry by breaking down three-dimensional prisms to compute the volumes of spheres, cylinders, and pyramids. He famously constructed a dual-cylinder intersection puzzle known as the mouhefanggai (box-lid shape). By utilizing this framework, he proved that a definitive mathematical relationship binds a sphere's volume to its bounding envelope, setting a clean path for Zu Chongzhi's subsequent calculation of exact spherical volumes.

• The Sea Island Mathematical Manual (Haidao Suanjing)

  Originally an appendix to his commentary, this work established the standard for early surveying engineering. Liu Hui deployed advanced applications of properties of similar right triangles (Chong cha or double-triangulation) to compute the height and distance of inaccessible objects—such as coastal islands, mountain peaks, and deep valleys—by tracking relative shadow sights across fixed poles.

Universal Impact and Enduring Legacy

Liu Hui’s annotated scripts served as the official base textbook for imperial civil service examination systems across China, Korea, and Japan during subsequent dynasties. His operational philosophy shifted East Asian mathematics away from simple calculation into a sophisticated discipline governed by analytical proof and structural uniformity.

Liu Hui's legacy remains an unparalleled pillar of foundational mathematics. By showing how numerical systems can be reduced via linear matrices and how curves can be captured using infinite polygon steps, he independently discovered the core philosophies of linear algebra and integral calculus, cementing his position as one of history's absolute master logicians.