View source for Liu Hui's π algorithm

{{Short description|Calculation of π by 3rd century mathematician Liu Hui}}
{{DISPLAYTITLE:Liu Hui's {{pi}} algorithm}}
{{pi box}}
[[Image:Cutcircle2.svg|thumb|right|Liu Hui's method of calculating the area of a circle]]
'''Liu Hui's {{pi}} algorithm''' was invented by [[Liu Hui]] (fl. 3rd century), a mathematician of the state of [[Cao Wei]]. Before his time, the ratio of the circumference of a circle to its diameter was often taken experimentally as three in China, while [[Zhang Heng]] (78&ndash;139) rendered it as 3.1724 (from the proportion of the celestial circle to the diameter of the earth, {{math|92/29}}) or as <math>\pi \approx \sqrt{10} \approx 3.162</math>. Liu Hui was not satisfied with this value. He commented that it was too large and overshot the mark. Another mathematician [[Wang Fan]] (219&ndash;257) provided {{math|1=π ≈ 142/45  ≈ 3.156}}.<ref>Schepler, Herman C. (1950), “The Chronology of Pi”, Mathematics Magazine 23 (3): 165–170, {{issn|0025-570X}}.</ref> All these empirical {{pi}} values were accurate to two digits (i.e. one decimal place). Liu Hui was the first Chinese mathematician to provide a rigorous algorithm for calculation of {{pi}} to any accuracy. Liu Hui's own calculation with a 96-gon provided an accuracy of five digits ie {{math|π ≈ 3.1416}}.

Liu Hui remarked in his commentary to ''[[The Nine Chapters on the Mathematical Art]]'',<ref>Needham, Volume 3, 66.</ref> that the ratio of the circumference of an inscribed hexagon to the diameter of the circle was three, hence {{pi}} must be greater than three. He went on to provide a detailed step-by-step description of an iterative algorithm to calculate {{pi}} to any required accuracy based on bisecting polygons; he calculated {{pi}} to between 3.141024 and 3.142708 with a 96-gon; he suggested that 3.14 was a good enough approximation, and expressed {{pi}} as 157/50; he admitted that this number was a bit small. Later he invented a [[#Quick method|quick method]] to improve on it, and obtained {{math|π ≈ 3.1416}} with only a 96-gon, a level of accuracy comparable to that from a 1536-gon. His most important contribution in this area was his simple iterative {{pi}} algorithm.

==Area of a circle==
[[Image:Cutcircle.svg|thumb|right|The area within a circle is equal to the radius multiplied by half the circumference, or {{math|''A''}} = {{math|''r''}} x {{math|''C''}}/2 = {{math|''r''}} x {{math|''r''}} x {{pi}}.]]

Liu Hui argued:

:"''Multiply one side of a hexagon by the radius (of its circumcircle), then multiply this by three, to yield the area of a dodecagon; if we cut a hexagon into a dodecagon, multiply its side by its radius, then again multiply by six, we get the area of a 24-gon; the finer we cut, the smaller the loss with respect to the area of circle, thus with further cut after cut, the area of the resulting polygon will coincide and become one with the circle; there will be no loss''".

Apparently Liu Hui had already mastered the concept of the limit<ref>First noted by Japanese mathematician [[Yoshio Mikami]]</ref>
:  <math>\lim_{N \to \infty}\text{area of }N\text{-gon} = \text{area of circle}. \, </math>

Further, Liu Hui proved that the area of a circle is half of its circumference multiplied by its radius. He said:

"''Between a polygon and a circle, there is excess radius. Multiply the excess radius by a side of the polygon. The resulting area exceeds the boundary of the circle''".

In the diagram {{math|''d''}} = excess radius. Multiplying {{math|''d''}} by one side results in oblong {{math|ABCD}} which exceeds the boundary of the circle. If a side of the polygon is small (i.e. there is a very large number of sides), then the excess radius will be small, hence excess area will be small.

As in the diagram, when {{math|''N'' → ∞}}, {{math|''d'' → 0}}, and {{math|ABCD → 0}}.

"''Multiply the side of a polygon by its radius, and the area doubles; hence multiply half the circumference by the radius to yield the area of circle''".

When {{math|''N'' → ∞}}, half the circumference of the {{math|''N''}}-gon approaches a semicircle, thus half a circumference of a circle multiplied by its radius equals the area of the circle. Liu Hui did not explain in detail this deduction. However, it is self-evident by using Liu Hui's "in-out complement principle" which he provided elsewhere in ''The Nine Chapters on the Mathematical Art'': Cut up a geometric shape into parts, rearrange the parts to form another shape, the area of the two shapes will be identical.

Thus rearranging the six green triangles, three blue triangles and three red triangles into a rectangle with width = 3{{math|''L''}}, and height {{math|''R''}} shows that the area of the dodecagon = 3{{math|''RL''}}.

In general, multiplying half of the circumference of a {{math|''N''}}-gon by its radius yields the area of a 2{{math|''N''}}-gon. Liu Hui used this result repetitively in his {{pi}} algorithm.

==Liu Hui's {{pi}} inequality==
[[Image:Liuhui Pi Inequality.svg|thumb|right|Liu Hui's {{pi}} inequality]]

Liu Hui proved an inequality involving {{pi}} by considering the area of inscribed polygons with {{math|''N''}} and 2{{math|''N''}} sides.

In the diagram, the yellow area represents the area of an {{math|''N''}}-gon, denoted by <math>A_N</math>, and the yellow area plus the green area represents the area of a 2{{math|''N''}}-gon, denoted by <math>A_{2N}</math>. Therefore, the green area represents the difference between the areas of the 2{{math|''N''}}-gon and the ''N''-gon:

:<math>D_{2N}=A_{2N}-A_N.</math>

The red area is equal to the green area, and so is also <math>D_{2N}</math>. So

:Yellow area + green area + red area = <math>A_{2N} + D_{2N}.</math>

Let <math>A_{C}</math> represent the area of the circle. Then

:<math>A_{2N} < A_{C} < A_{2N} + D_{2N}.</math>

If the radius of the circle is taken to be 1, then we have Liu Hui's {{pi}} inequality:

:<math> A_{2N} < \pi < A_{2N} + D_{2N}.</math>

==Iterative algorithm==
{{Original research|section|date=March 2009}}
[[Image:Liuhui geyuanshu.svg|thumb|right|Liu Hui's {{pi}} algorithm]]

Liu Hui began with an inscribed hexagon. Let {{math|M}} be the length of one side {{math|AB}} of hexagon, {{math|''r''}} is the radius of circle.

Bisect {{math|AB}} with line {{math|OPC}}, {{math|AC}} becomes one side of [[dodecagon]] (12-gon), let its length be {{math|m}}.  Let the length of {{math|PC}} be {{math|j}} and the length of {{math|OP}} be {{math|G}}.

{{math|APO}}, {{math|APC}} are two right angle triangles. Liu Hui used the [[Pythagorean theorem]] repetitively:

: <math>{} G^2 = r^2 - \left(\tfrac{M}{2}\right)^2</math>
: <math>{} G = \sqrt{r^2- \tfrac{M^2}{4}}</math>
: <math>{} j = r - G = r - \sqrt{r^2- \tfrac{M^2}{4}}</math>
: <math>{} m^2 = \left(\tfrac{M}{2}\right)^2 + j^2</math>
: <math>{} m = \sqrt{\left(\tfrac{M}{2}\right)^2 + j^2}</math>
: <math>{} m = \sqrt{\left(\tfrac{M}{2}\right)^2 + \left(r - G\right)^2}</math>
: <math>{} m = \sqrt{\left(\tfrac{M}{2}\right)^2 + \left(r - \sqrt{r^2- \tfrac{M^2}{4}}\right)^2}</math>

From here, there is now a technique to determine {{math|m}} from {{math|M}}, which gives the side length for a polygon with twice the number of edges.  Starting with a [[hexagon]], Liu Hui could determine the side length of a dodecagon using this formula.  Then continue repetitively to determine the side length of an [[icositetragon]] given the side length of a dodecagon.  He could do this recursively as many times as necessary.  Knowing how to determine the area of these polygons, Liu Hui could then approximate {{pi}}.

With <math>r = 10</math> units, he obtained

: area of [[tetracontaoctagon|96-gon]] <math>{}A_{96} = 313 {584 \over 625} </math> 
: area of 192-gon <math>{}A_{192} = 314 {64 \over 625} </math> 
: Difference of 96-gon and 48-gon:

:<math>{}D_{192}  = 314\frac{64}{625} - 313\frac{584}{625} = \frac{105}{625}</math>

:from Liu Hui's {{pi}} inequality:

:<math> A_{2N} < A_{C} < A_{2N} + D_{2N}.</math>

:Since {{math|''r''}} = 10, <math>A_{C} = 100 \times \pi</math>
:therefore:
:<math>{}314\frac{64}{625}<100 \times \pi <314 \frac{64}{625} +\frac{105}{625}</math>
::<math>{}314\frac{64}{625}<100 \times \pi <314 \frac{169}{625}</math>
:<math>{} 3.141024 < \pi < 3.142704.</math>

He never took {{pi}} as the average of the lower limit 3.141024 and upper limit 3.142704. Instead he suggested that 3.14 was a good enough approximation for {{pi}}, and expressed it as a fraction <math>\tfrac{157}{50}</math>; he pointed out this number is slightly less than the actual value of {{pi}}.

Liu Hui carried out his calculation with [[rod calculus]], and expressed his results with fractions. However, the iterative nature of Liu Hui's {{pi}} algorithm is quite clear:

: <math> 2-m^2 =\sqrt{2+(2-M^2)}\, ,</math>

in which {{math|''m''}} is the length of one side of the next–order polygon bisected from {{math|''M''}}. The same calculation is done repeatedly, each step requiring only one addition and one square root extraction.

== Quick method ==
Calculation of square roots of irrational numbers was not an easy task in the third century with
[[counting rods]]. Liu Hui discovered a shortcut by comparing the area differentials of polygons, and found that the proportion of the difference in area of successive order polygons was approximately 1/4.<ref>Yoshio Mikami: Ph.D. Dissertation 1932</ref>

Let {{math|D}}<sub>{{math|N}}</sub> denote the difference in areas of {{math|N}}-gon and ({{math|N}}/2)-gon

: <math>D_N = A_N - A_{N/2}\,</math>

He found:

:<math>D_{96} \approx  \tfrac{1}{4} D_{48}</math>

:<math>D_{192} \approx  \tfrac{1}{4} D_{96}</math> {{ref|1|1}}

Hence:

:<math>
\begin{align}
D_{384} & {} \approx  \tfrac{1}{4} D_{192} \\
D_{768} & {} \approx  \left(\tfrac{1}{4}\right)^2 D_{192} \\
D_{1536} & {} \approx  \left(\tfrac{1}{4}\right)^3 D_{192} \\
D_{3072} & {} \approx  \left(\tfrac{1}{4}\right)^4 D_{192} \\
& {} \ \ \vdots
\end{align}
</math>

Area of unit radius circle&nbsp;=

: <math>{}\pi = A_{192} + D_{384} + D_{768}+D_{1536}+D_{3072} + \cdots \approx A_{192} + F \cdot D_{192}. \, </math>

In which

: <math> F = \tfrac{1}{4} + \left(\tfrac{1}{4}\right)^2 + \left(\tfrac{1}{4}\right)^3 + \left(\tfrac{1}{4}\right)^4 + \cdots=\frac{\frac{1}{4}}{1-\frac{1}{4}}=\tfrac{1}{3}.</math>

That is all the subsequent excess areas add up amount to one third of the <math>D_{192}</math>

: area of unit circle<math> {}=\pi \approx A_{192} + \left(\tfrac{1}{3}\right)D_{192} \approx {3927 \over 1250} \approx 3.1416.\,</math>{{ref|2|2}}

Liu Hui was quite happy with this result because he had acquired the same result with the calculation for a 1536-gon, obtaining the area of a 3072-gon. This explains four questions:

# Why he stopped short at {{math|''A''}}<sub>192</sub> in his presentation of his algorithm. Because he discovered a quick method of improving the accuracy of {{pi}}, achieving same result of 1536-gon with only 96-gon. After all calculation of square roots was not a simple task with [[rod calculus]]. With the quick method, he only needed to perform one more subtraction, one more division (by 3) and one more addition, instead of four more square root extractions.
# Why he preferred to calculate {{pi}} through calculation of areas instead of circumferences of successive polygons, because the quick method required information about the difference in '''areas''' of successive polygons.
# Who was the true author of the paragraph containing calculation of <math>\pi = {3927 \over 1250}.</math>
# That famous paragraph began with "A Han dynasty bronze container in the military warehouse of [[Jin Dynasty (265–420)|Jin dynasty]]....". Many scholars, among them  [[Yoshio Mikami]] and [[Joseph Needham]], believed that the "Han dynasty bronze container" paragraph was the work of Liu Hui and not Zu Chongzhi as other believed, because of the strong correlation of the two methods through area calculation, and because there was not a single word  mentioning  Zu's 3.1415926 < {{pi}} < 3.1415927  result obtained through 12288-gon.

==Later developments==
Liu Hui established a solid algorithm for calculation of {{pi}} to any accuracy.
*[[Zu Chongzhi]] was familiar with Liu Hui's work, and obtained greater accuracy by applying his algorithm to a 12288-gon.

:From Liu Hui's formula for 2{{math|N}}-gon:
:<math> A_{2N} = m_{N} \times r</math>
:For 12288-gon inscribed in a unit radius circle:
:<math> A_{24576}=3.14159261864 < \pi </math>.

:From Liu Hui's {{pi}} inequality:
:<math>  A_{24576} < \pi < A_{24576} +D_{24576}</math>
:In which <math> D_{24576}=A_{24576}- A_{12288}=0.0000001021</math>
:<math> A_{24576}=3.14159261864 < \pi <3.14159261864  +0.0000001021</math>.
:Therefore
:<math>3.14159261864 < \pi <3.141592706934</math>
Truncated to eight significant digits:
:<math> 3.1415926 < \pi <3.1415927</math>.
That was the famous Zu Chongzhi {{pi}} inequality.

Zu Chongzhi then used the interpolation formula by [[He Chengtian]] ([[:zh:何承天 (南朝)|何承天]], 370-447) and obtained an approximating fraction: <math>\pi \approx {355 \over 113}</math>.

However, this {{pi}} value disappeared in Chinese history for a long period of time (e.g. Song dynasty mathematician [[Qin Jiushao]] used  {{pi}}= <math>{22\over 7}</math> and  <math>\pi=\sqrt {10})</math>), until [[Yuan dynasty]] mathematician [[Zhao Youqin's π algorithm|Zhao Yuqin]] worked on a variation of Liu Hui's {{pi}} algorithm, by bisecting an inscribed square and obtained again <math>\pi \approx  {355 \over 113}.</math><ref>Yoshio Mikami said about the work of Zhao Yu Xin:"The sides and consequently the perimeters of these polygons are successively calculated  in such a manner as followed by Liu Hui of old", p136, Development of Mathematics in China and Japan</ref>

==Significance of Liu Hui's algorithm==
Liu Hui's {{pi}} algorithm was one of his most important contributions to ancient Chinese mathematics. It was based on calculation of {{math|N}}-gon area, in contrast to the Archimedean algorithm based on polygon circumference.  With this method Zu Chongzhi obtained the eight-digit result: 3.1415926 < {{pi}} < 3.1415927, which held the world record for the most accurate value of {{pi}} for centuries,<ref>Robert Temple, The Genius of China, a refined value of pi,  p144-145, {{isbn|1-85375-292-4}}</ref> until [[Madhava of Sangamagrama]] calculated 11 digits in the 14th century or [[Jamshid al-Kashi]] calculated 16 digits in 1424; the best approximations for {{pi}} known in Europe were only accurate to 7 digits until [[Ludolph van Ceulen]] calculated 20 digits in 1596.

== See also ==
* [[Method of exhaustion]] (5th century BC)
* [[Zhao Youqin's π algorithm]] (13-14th century)
* [https://proofwiki.org/wiki/Newton%27s_Formula_for_Pi Proof of Newton's Formula for Pi] (17th century)

==Notes==
{{Original research|section|date=March 2009}}
:{{note|1|1}} Correct value: 0.2502009052
:{{note|2|2}} Correct values:
:<math>A_{192}= 3.1410319509</math>
:<math>D_{192}=0.0016817478</math>
:<math>\pi \approx A_{192}+ \frac{1}{3} D_{192}\approxeq 3.1410319509 +0.0016817478/3</math>

:<math>\pi \approx 3.1410319509 +0.0005605826</math>

:<math>\pi \approx 3.1415925335.</math>
<br>
Liu Hui's quick method was potentially able to deliver almost the same result of 12288-gon (3.141592516588) with only 96-gon.

== References ==
{{reflist|2}}

== Further reading ==
*Needham, Joseph (1986). ''Science and Civilization in China'': Volume 3, Mathematics and the Sciences of the Heavens and the Earth. Taipei: Caves Books, Ltd.
* Wu Wenjun ed, ''History of Chinese Mathematics'' Vol III (in Chinese) {{isbn|7-303-04557-0}}

{{DEFAULTSORT:Liu Hui's Pi Algorithm}}
[[Category:Pi algorithms]]
[[Category:Chinese mathematics]]
[[Category:Cao Wei]]