View source for Ceyuan haijing

{{italic title}}
[[File:圆城图式.jpg|thumb|300px|The master figure in ''Sea mirror of circle measurements'', that all the problems use. It shows a round town, inscribed in a right triangle and a square.]]

'''''Ceyuan haijing''''' ({{zh|t=測圓海鏡|s=测圆海镜|p=cè yuán hǎi jìng|l=sea mirror of circle measurements}}) is a treatise on solving geometry problems with the algebra of [[Tian yuan shu]] written by the mathematician [[Li Zhi (mathematician)|Li Zhi]] in 1248 in the time of the [[Mongol Empire]]. It is a collection of 692 formula and 170 problems, all derived from the same master diagram of a round town inscribed in a right triangle and a square. They often involve two people who walk on straight lines until they can see each other, meet or reach a tree or pagoda in a certain spot. It is an algebraic geometry book, the purpose of book is to study intricated geometrical relations by algebra.

Majority of the geometry problems are solved by polynomial equations, which are represented using a method called [[tian yuan shu]], "coefficient array method" or literally "method of the celestial unknown". Li Zhi is the earliest extant source of this method, though it was known before him in some form. It is a positional system of [[rod numeral]]s to represent [[polynomial equation]]s.

''Ceyuan haijing'' was first introduced to the west by the British Protestant Christian missionary to China, [[Alexander Wylie (missionary)|Alexander Wylie]] in his book ''Notes on Chinese Literature'', 1902. He wrote:{{blockquote|The first page has a diagram of a circle contained in a triangle, which is dissected into 15 figures; the definition and ratios of the several parts are then given, and there are followed by 170 problems, in which the principle of the new science are seen to advantage. There is an exposition and scholia throughout by the author.<ref>Alexander Wylie, ''Notes on Chinese Literature'', Shanghai, p116, reprinted by Kessinger Publishing</ref>}}

This treatise consists of 12 volumes.

== Volume 1 ==
[[File:LYYUANCHENTU.png|thumb|right|400px|Reconstructed Diagram of circular city in alphabets]]

=== Diagram of a Round Town ===

The monography begins with a master diagram called the Diagram of Round Town(圆城图式). It shows a circle inscribed in a right angle triangle and four horizontal lines, four vertical lines.
* TLQ, the large right angle triangle, with horizontal line LQ, vertical line TQ and hypotenuse TL
C: Center of circle:
*NCS: A vertical line through C, intersect the circle and line LQ at N(南north side of city wall),  intersects south side of circle at S(南).
*NCSR, Extension of line NCS to intersect hypotenuse TL at R(日)
*WCE: a horizontal line passing center C, intersects circle and line TQ at W(西, west side of city wall) and circle at E (东, east side of city wall).
*WCEB:extension of line WCE to intersect hypotenuse at B(川)
*KSYV: a horizontal tangent at S, intersects line TQ at K(坤), hypotenuse TL at Y(月).
*HEMV: vertical tangent of circle at point E, intersects line LQ at H, hypotenuse at M(山, mountain)
*HSYY, KSYV, HNQ, QSK form a square, with inscribed circle C.
*Line YS, vertical line from Y intersects line LQ at S(泉,  spring)
*Line BJ, vertical line from point B, intersects line LQ at J(夕, night)
*RD, a horizontal line from R, intersects line TQ at D(旦, day)

The North, South, East and West direction in Li Zhi's diagram are opposite to our present convention.

=== Triangles and their sides ===

There are a total of fifteen right angle triangles formed by the intersection between triangle TLQ, the four horizontal lines, and four vertical lines.

The names of these right angle triangles and their sides are summarized in the following table
{| class="wikitable" border="1"
|-
!  Number
!  Name
!  Vertices
!  Hypotenuse{{0}}c
!  Vertical{{0}}b
!  Horizontal{{0}}a
|-
|  1
|  通 TONG
|  天地乾 <math>\triangle TLQ</math>
|  通弦（TL天地）
|  通股（TQ天乾）
|  通勾（LQ地乾）
|-
|  2
|  边 BIAN
|  天西川 <math>\triangle TWB</math>
|  边弦（TB天川）
|  边股（TW天西）
|  边勾（WB西川）
|-
|  3
|  底 DI
|  日地北 <math>\triangle RDN</math>
|  底弦（RL日地）
|  底股（RN日北）
|  底勾（LB地北）
|-
|  4
|  黄广 HUANGGUANG
|  天山金 <math>\triangle TMJ</math>
|  黄广弦（TM天山）
|  黄广股（TJ天金）
|  黄广勾（MJ山金）
|-
|  5
|  黄长 HUANGCHANG
|  月地泉 <math>\triangle YLS</math>
|  黄长弦（YL月地）
|  黄长股（YS月泉）
|  黄长勾（LS地泉）
|-
|  6
|  上高 SHANGGAO
|  天日旦 <math>\triangle TRD</math>
|  上高弦（TR天日）
|  上高股（TD天旦）
|  上高勾（RD日旦）
|-
|  7
|  下高 XIAGAO
|  日山朱 <math>\triangle RMZ</math>
|  下高弦（RM日山）
|  下高股（RZ日朱）
|  下高勾（MZ山朱）
|-
|  8
|  上平 SHANGPING
|  月川青 <math>\triangle YSG</math>
|  上平弦（YS月川）
|  上平股（YG月青）
|  上平勾（SG川青）
|-
|  9
|  下平 XIAPING
|  川地夕 <math>\triangle BLJ</math>
|  下平弦（BL川地）
|  下平股（BJ川夕）
|  下平勾（LJ地夕）
|-
|  10
|  大差 DACHA
|  天月坤 <math>\triangle TYK</math>
|  大差弦（TY天月）
|  大差股（TK天坤）
|  大差勾（YK月坤）
|-
|  11
|  小差 XIAOCHA
|  山地艮 <math>\triangle MLH</math>
|  小差弦（ML山地）
|  小差股（MH山艮）
|  小差勾（LH地艮）
|-
|  12
|  皇极 HUANGJI
|  日川心 <math>\triangle RSC</math>
|  皇极弦（RS日川）
|  皇极股（RC日心）
|  皇极勾（SC川心）
|-
|  13
|  太虚 TAIXU
|  月山泛 <math>\triangle YMF</math>
|  太虚弦（YM月山）
|  太虚股（YF月泛）
|  太虚勾（MF山泛）
|-
|  14
|  明 MING
|  日月南 <math>\triangle RYS</math>
|  明弦（RY日月）
|  明股（RS日南）
|  明勾（YS月南）
|-
|  15
|  叀 ZHUAN
|  山川东 <math>\triangle MSE</math>
|  叀弦（MS山川）
|  叀股（ME山东）
|  叀勾（SE川东）
|}
In problems from Vol 2 to Vol 12, the names of these triangles are used in very terse terms. For instance

:"明差","MING difference" refers to the "difference between the vertical side and horizontal side of MING triangle.
:"叀差","ZHUANG difference" refers to the "difference between the vertical side and horizontal side of ZHUANG triangle."
:"明差叀差并" means "the sum of MING difference and ZHUAN difference"<math>(b_{14}-a_{14})+(b_{15}-a_{15})</math>

=== Length of Line Segments ===

This section (今问正数) lists the length of line segments, the sum and difference and their combinations in the diagram of round town, given that the radius r of inscribe circle is <math> r=120</math> paces <math>a_{1}=320</math>,<math>b_{1}=640</math>.

The 13 segments of ith triangle (i=1 to 15) are:

# Hypoteneuse <math>c_{i}</math>
# Horizontal  <math>a_{i}</math>
# Vertical    <math>b_{i}</math>
# :勾股和 :sum of horizontal and vertical <math>a_{i}+b_{i}</math>
# :勾股校: difference of vertical and horizontal <math>b_{i}-a_{i}</math>
# :勾弦和: sum of horizontal and hypotenuse <math>a_{i}+c_{i}</math>
# :勾弦校: difference of hypotenuse and horizontal <math>c_{i}-a_{i}</math>
# :股弦和: sum of hypotenuse and vertical <math>b_{i}+c_{i}</math>
# :股弦校: difference of hypotenuse and vertical <math>c_{i}-b_{i}</math>
# :弦校和: sum of the difference and the hypotenuse <math>c_{i}+(b_{i}-a_{i})</math>
# :弦校校: difference of the hypotenuse and the difference <math>c_{i}-(b_{i}-a_{i})</math>
# :弦和和: sum the hypotenuse and the sum of vertical and horizontal <math>a_{i}+b_{i}+c_{i}</math>
# :弦和校: difference of the sum of horizontal and vertical with the hypotenuse <math>a_{i}+b_{i}</math>

Among the fifteen right angle triangles, there are two sets of identical triangles:

:<math>\triangle TRD</math>=<math>\triangle RMZ</math>,
:<math>\triangle YSG</math>=<math>\triangle BLJ</math>
that is
:<math>a_{6}=a_{7}</math>;
:<math>b_{6}=b_{7}</math>;
:<math>c_{6}=c_{7}</math>;
:<math>a_{8}=a_{9}</math>;
:<math>b_{8}=b_{9}</math>;
:<math>c_{8}=c_{9}</math>;

==== Segment numbers ====

There are 15 x 13 =195 terms, their values are shown in Table 1:<ref name="孔国平 今问">Compiled from Kong Guoping p 62-66</ref>

[[File:今问正数.jpg|thumb|center|800px|'''Segment Table 1''']]

=== Definitions and formula ===

==== Miscellaneous formula ====

<ref name="Bai" >Bai Shangshu p24-25.</ref>
# <math>(c_{1}-a_{1})*(c_{1}*b_{1})</math>= <math>1 \over 2</math>*<math>(d_{1})^2</math>
# <math>a_{10}*b_{11} </math>= <math>1 \over 2</math><math>(d_{1})^2</math>
# <math>a_{13}*b_{1} </math>= <math>1 \over 2</math><math>(d_{1})^2</math>
# <math>a_{1}*b_{13} </math>= <math>1 \over 2</math><math>(d_{1})^2</math>
# <math>b_{2}*b_{15} </math>= <math></math><math>(r_{1})^2</math>
# <math>a_{14}*a_{3} </math>= <math>(r_{1})^2</math>
# <math>a_{5}*b_{4} </math>= <math>(d_{1})^2</math>
# <math>a_{8}*b_{6} </math>= <math>a_{9}*b_{7}</math><math>=(r_{1})^2</math>
# <math>(b_{14}*c_{14})*(a_{15}+c_{15}) </math>= <math>(r_{1})^2</math>
# <math>c_{6}*c_{8} </math>= <math>c_{7}*c_{9})</math>=<math>a_{13}*b_{13}</math>
# <math></math>

==== The Five Sums and The Five Differences ====

# <math>a_{2}+b_{2}+c_{2}=b_{1}+c_{1}</math><ref name="吴文俊 vI">Wu Wenjun Chapter II p80</ref>
# <math>a_{3}+b_{3}+c_{3}=a_{1}+c_{1}</math>
# <math>a_{4}+b_{4}+c_{4}=2b_{1}</math>
# <math>a_{5}+b_{5}+c_{5}=2a_{1}</math>
# <math>a_{6}+b_{6}+c_{6}=b_{1}</math>
# <math>a_{7}+b_{7}+c_{7}=b_{1}</math>
# <math>a_{8}+b_{8}+c_{8}=a_{1}</math>
# <math>a_{9}+b_{9}+c_{9}=a_{1}</math>
# <math>a_{10}+b_{10}+c_{10}=b_{1}+c_{1}-a_{1}</math>
# <math>a_{11}+b_{11}+c_{11}=c_{1}-b_{1}+a_{1}</math>
# <math>a_{12}+b_{12}+c_{12}=c_{1}</math>
# <math>a_{13}+b_{13}+c_{13}=a_{1}+b_{1}-c_{1}</math>
# <math>a_{14}+b_{14}+c_{14}=c_{1}-a_{1}</math>
# <math>a_{15}+b_{15}+c_{15}=c_{1}-c_{1}</math>

*<math>(b_{7}-a_{7})+(b_{8}-a_{8})+(b_{14}-a_{14})+(b_{15}-a_{15})=2*(b_{12}-a_{12})</math>
*<math>a_{8}+(b_{7}-a_{7})+(b_{8}-a_{8})=b_{7}</math>

Li Zhi derived a total of 692 formula in Ceyuan haijing. Eight of the formula are incorrect, the rest are all correct<ref name="Bai 2">Bai Shangshu, p3, Preface</ref>

From vol 2 to vol 12, there are 170 problems, each problem utilizing a selected few from these formula to form 2nd order to 6th order polynomial equations. As a matter of fact, there are 21 problems yielding third order polynomial equation, 13 problem yielding 4th order polynomial equation and one problem yielding 6th order polynomial<ref name="Wu">Wu Wenjun, p87</ref>

== Volume 2 ==

This volume begins with a general hypothesis<ref name="Bai p153">Bai Shangshou, p153-154</ref>

{| class="wikitable" border="1"
|-
|Suppose there is a round town, with unknown diameter. This town has four gates, there are two WE direction roads and two NS direction roads outside the gates forming a square surrounding the round town. The NW corner of the square is point Q, the NE corner is point H, the SE corner is point V, the SW corner is K. All the various survey problems are described in this volume and the following volumes.
|}

All subsequent 170 problems are about given several segments, or their sum or difference, to find the radius or diameter of the round town. All problems follow more or less the same format; it begins with a Question, followed by description of algorithm, occasionally followed by step by step description of the procedure.

;Nine types of inscribed circle
The first ten problems were solved without the use of Tian yuan shu. These problems are related to
various types of inscribed circle.
;Question 1: ''Two men A and B start from corner Q. A walks eastward 320 paces and stands still. B walks southward 600 paces and see B. What is the diameter of the circular city ?''
:Answer: the diameter of the round town is 240 paces.
:This is inscribed circle problem associated with <math>\triangle TLQ</math>
:Algorithm:<math>d={2a_{1} \times b_{1} \over a_{1} + b_{1}+c_{1}}</math>
:<math>={2 * 320 * 600 \over 320 +600 +\sqrt(320^2+600^2)}=240</math>
;Question 2:''Two men A and B start from West gate. B walks eastward 256 paces, A walks south 480 paces and sees B. What is the diameter of the town ?''
:Answer 240 paces
:This is inscribed circle problem associated with <math>\triangle TWB</math>
:From Table 1, 256 = <math>a_{2}</math>; 480 =<math>b_{2}</math>
:Algorithm:
:<math>{2a_{2} \times b_{2} \over a_{2} + b_{2}+c_{2}}=d</math>
:<math>={2*256 *480 \over 256+600+\sqrt(256^+600^2)}=240</math>
;Question 3:inscribed circle problem associated with <math>\triangle RDN</math>

<math>{2a_{3} \times b_{3} \over a_{3} + b_{3}+c_{3}}=d</math>
;Question 4：inscribed circle problem associated with <math>\triangle RSC</math>

<math>{2a_{12} \times b_{12} \over c_{12}}=d</math>
;Question 5：inscribed circle problem associated with <math>\triangle TWB</math>
<math>{2a \times b \over a+b}=d</math>
;Question 6:
<math>{2a_{10} \times b_{10} \over b_{10} - a_{10}+c_{10}}=d</math>
;Question 7:
<math>{2a_{11} \times b_{11} \over b_{11} - a_{11}+c_{11}}=d</math>
;;Question 8:
<math>{2a_{13} \times b_{13} \over b_{13} + a_{13} -c_{13}}=d</math>
;Question 9:
<math>{2a_{14} \times b_{14} \over c_{14} - a_{14}}=d</math>
;Question 10:
<math>{2a_{15} \times b_{15} \over c_{15} - b_{15}}=d</math>

=== Tian yuan shu ===
[[File:CIYUANHAIJINGXICAO-152-152.jpg|thumb|right|350px|Ciyuan haijing vol II Problem 14 detail procedure (草曰)]]

:From problem 14 onwards, Li Zhi introduced "Tian yuan one" as unknown variable, and set up two expressions according to Section '''Definition and formula''', then equate these two tian yuan shu expressions. He then solved the problem and obtained the answer.

:Question 14:''"Suppose a man walking out from West gate and heading south for 480 paces and encountered a tree. He then walked out from the North gate heading east for 200 paces and saw the same tree. What is the radius of the round own?"''
:Algorithm: Set up the radius as Tian yuan one, place the [[counting rods]] representing southward 480 paces on the floor, subtract the tian yuan radius to obtain

：<math>480-x</math>

:::::::::::{{counting rod|v-1}}元
:::::::::{{rod numbers|v-4|h8|0}}。

Then subtract tian yuan from eastward paces 200 to obtain:

<math>200-x</math>
:::::::::{{counting rod|v-1}}元
::::::::{{rod numbers|v2|0|0}}

:multiply these two expressions to get：<math>x^2-680x+96000</math>
:::::::::::{{counting rod|v1}}
:::::::::{{rod numbers|h6|h-8|0}}元
:::::::{{rod numbers|v9|h6|0|0|0}}

:::::::::{{counting rod|v2}}
:::::::::{{counting rod|0}}元

that is<math>x^2-680x+96000=2x^2</math>

thus：<math>-x^2-680x+96000=0</math>

:::::::::::{{counting rod|v-1}}
:::::::::{{rod numbers|h6|h-8|0}}元
::::::::{{rod numbers|v9|h6|0|0|0}}

Solve the equation and obtain <math> r= 120 </math>

== Volume 3 ==

:17 problems associated with segment <math>b_{2}</math>i.e TW in <math>\triangle TWB</math><ref name="李俨 8 75">Li Yan p75-88</ref>
The <math>a_{10}</math> pairs with <math>b_{11}</math>,<math>a_{11}</math> pairs with <math>b_{10}</math> and <math>a_{15}</math> pairs with <math>b_{14}</math> in problems with same number of volume 4. In other words, for example, change <math>a_{11}</math> of problem 2 in vol 3 into <math>b_{10}</math> turns it into problem 2 of Vol 4.<ref name=Martzloff>Martzloff, p147</ref>
{| class="wikitable"
|-
! Problem # !! GIVEN !! x !! Equation
|-
| 1 || <math>b_{2}</math>，<math>c_{4}</math> || || direct calculation without tian yuan
|-
| 2 || <math>b_{2}</math>，<math>a_{11}</math> || d ||<math>x^2+a_{11}x-2b_{2}a_{11}=0</math>
|-
| 3 || <math>b_{2}</math>，<math>b_{11}</math> || r ||  <math>x^2+b_{2}x-b_{2}b_{11}=0</math>
|-
| 4 || <math>b_{2}</math>，<math>a_{15}</math> || d ||<math>x^3+a_{15}x^2-4a_{15}b_{2}^2=0</math>
|-
| 5 || <math>b_{2}</math>，<math>a_{14}</math> || d || <math>x^3-(b_{2}-2a_{14})x^2+a_{14}^2*x+a_{14}^2*b_{2}=0</math>
|-
| 6 || <math>b_{2}</math>，<math>a_{10}</math> || r || <math>x^2+(b_{2}-(b_{2}-c_{10}))x+b_{2}(b_{2}-c_{10})=0</math>
|-
| 7 || <math>b_{2}</math>，<math>c_{2}</math> || r || <math>((1/2)*c_{2}-(1/2)*b_{2}+b_{2})*x^2-(1/2)*(c_{2}-b_{2})b_{2}^2=0</math>
|-
| 8 ||<math>b_{2}</math>， <math>c_{1}</math> || r || <math>2x^2+((c_{1}+b_{2})+(c_{1}-b_{2}))x-((c_{1}+b_{2})(c_{1}-b_{2})-(c_{1}-b_{2})^2))=0</math>
|-
| 9 || <math>b_{2}</math>，<math>c_{6}</math> || r || <math>2x^2-2(b_{2}-2(b_{2}-c_{5}))b_{2}=0</math>
|-
| 10 || <math>b_{2}</math>，<math>b_{14}</math> || r || <math>x^2-2b_{2}x+((b_{2}-b_{14})^2-b_{14}^2=0</math>
|-
| 11 || <math>b_{2}</math>，<math>a_{10}</math> || r || <math>(2b_{2}-a_{10})x-b_{2}a_{10}=0</math>
|-
| 12 || <math>b_{2}</math>，<math>c_{15}</math> || <math>b_{15}</math> || <math>x^2+(b_{2}+c_{15})x-b_{2}c_{15}=0</math>
|-
| 13 || <math>b_{2}</math>，<math>c_{14}</math> || <math>a_{14}</math> || <math>x^4-2(b_{2}-c_{14})x^3+(b_{2}-c_{14})^2x^2+2b_{2}c_{14}^2x-(2(b_{2}-c_{14})-b_{2}))b_{2}c_{14}^2=0</math>
|-
| 14 || <math>b_{2}</math>，<math>c_{6}</math> || || <math>r=\sqrt((2c_{6}-b_{2})b_{2})</math>
|-
| 15 || <math>b_{2}</math>，<math>c_{8}</math> || r || <math>-x^3-c_{8}x^2-b_{2}^2x+c_{8}b_{2}^2=0</math>
|-
| 16 || <math>b_{2}</math>，<math>b_{14}+c_{14}</math> || || calculate with formula for inscribed circle
|-
| 17 || <math>b_{2}</math>，<math>a_{15}+c_{15}</math> || || Calculate with formula forinscribed circle
|}

== Volume 4 ==

:17 problems, given <math>a_{3}</math>and a second segment, find diameter of circular city.<ref name="李俨 8 88">Li Yan p88-101</ref>
。

{| class="wikitable"
|-
! Q !! 1 !! 2 !! 3 !! 4 !! 5 !! 6 !! 7 !! 8 !! 9 !! 10 !! 11 !! 12 !! 13 !! 14 !! 15 !! 16 !! 17
|-
| second line segment || <math>c_{5}</math> || <math>b_{10}</math> || <math>a_{10}</math> || <math>b_{14}</math> || <math>b_{15}</math> || <math>c_{11}</math> || <math>c_{13}</math> || <math>c_{1}</math> || <math>c_{9}</math> || <math>a_{15}</math> || <math>b_{11}</math> || <math>c_{14}</math> || <math>c_{15}</math> || <math>c_{9}</math> || <math>c_{7}</math> || <math>a_{15}+c_{15}</math> || <math>b_{14}+c_{14}</math>
|}

== Volume 5 ==

18 problems, given<math>b_{1}</math>。<ref name="李俨 8 88"/>

{| class="wikitable"
|-
! Q !! 1 !! 2 !! 3 !! 4 !! 5 !! 6 !! 7 !! 8 !! 9 !! 10 !! 11 !! 12 !! 13 !! 14 !! 15 !! 16 !! 17 !! 18
|-
| second line segment || <math>b_{14}</math> || <math>a_{14}</math> || <math>a_{15}</math> || <math>b_{15}</math> || <math>b_{11}</math> || <math>a_{11}</math> || <math>c_{10}</math> || <math>c_{4}</math> || <math>c_{2}</math> || <math>c_{1}</math> || <math>c_{6}</math> || <math>c_{9}-a_{11}</math> || <math>c_{15}</math> || <math>c_{14}</math> || <math>c_{9}</math> || <math>c_{12}</math> || <math>a_{15}+b_{14}</math> || <math>c_{13}</math>
|}

== Volume 6 ==

18 problems.
:Q1-11，13-19 given<math>a_{1}</math>，and a second line segment, find diameter d.<ref name="李俨 8 88"/>
:Q12：given <math>a_{1}+c_{3}</math>and another line segment, find diameter d.
{| class="wikitable"
|-
! Q !! 1 !! 2 !! 3 !! 4 !! 5 !! 6 !! 7 !! 8 !! 9 !! 10 !! 11 !! 12 !! 13 !! 14 !! 15 !! 16 !! 17 !! 18
|-
|Given ||<math>a_{1}</math>||<math>a_{1}</math>||<math>a_{1}</math>||<math>a_{1}</math>||<math>a_{1}</math>||<math>a_{1}</math>||<math>a_{1}</math>||<math>a_{1}</math>||<math>a_{1}</math>||<math>a_{1}</math>||<math>a_{1}</math>||<math>a_{1}+c_{3}</math>||<math>a_{1}</math>||<math>a_{1}</math>||<math>a_{1}</math>||<math>a_{1}</math>||<math>a_{1}</math>||<math>a_{1}</math> ||
|-
| Second line segment || <math>a_{15}</math> || <math>b_{15}</math> || <math>b_{14}</math> || <math>a_{14}</math> || <math>a_{10}</math> || <math>b_{10}</math> || <math>c_{11}</math> || <math>c_{5}</math> || <math>c_{3}</math> || <math>c_{1}</math> || <math>c_{9}</math> || <math>b_{10}-c_{6}</math> || <math>c_{14}</math> || <math>c_{15}</math> || <math>c_{6}</math> || <math>c_{12}</math> || <math>a_{15}+b_{14}</math> || <math>a_{13}</math>
|}

== Volume 7 ==

18 problems, given two line segments find the diameter of round town<ref name="Kong Guoping">Kong Guoping p169-184</ref>

{| class="wikitable"
|-
! Q !! Given
|-
| 1 || <math>a_{14}</math>，<math>b_{15}</math>
|-
| 2 || <math>a_{15}</math>，<math>b_{14}</math>
|-
| 3 || <math>a_{14}</math>，<math>a_{15}</math>
|-
| 4 || <math>b_{14}</math>，<math>b_{15}</math>
|-
| 5 || <math>a_{14}</math>，<math>c_{8}</math>
|-
| 6 || <math>b_{15}</math>，<math>c_{7}</math>
|-
| 7 || <math>b_{15}</math>，<math>c_{13}</math>
|-
| 8 || <math>a_{14}</math>，<math>c_{13}</math>
|-
| 9 || <math>d-a_{14}</math>，<math>d-b_{15}</math>
|-
| 10 || <math>d-b_{14}</math>，<math>d-a_{15}</math>
|-
| 11 || <math>c_{12}</math>，<math>a_{15}+b_{14}</math>
|-
| 12 || <math>a_{15}+b_{14}</math>，<math>c_{13}</math>
|-
| 13 || <math>b_{15}+c_{13}</math>，<math>c_{13}-b_{15}</math>
|-
| 14 || <math>a_{14}+b_{15}+c_{13}</math>，<math>a_{14}+b_{15}+c_{13}-a_{14}</math>，
|-
| 15 || <math>c_{14}</math>，<math>d-b_{15}</math>
|-
| 16 || <math>c_{5}</math>，<math>d-a_{14}</math>
|-
| 17 || <math>a_{1}-a_{14}</math>，<math>b_{1}-b_{15}</math>
|-
| 18 || <math>a_{1}+a_{14}</math>，<math>b_{1}-b_{15}</math>
|}

== Volume 8 ==

17 problems, given three to eight segments or their sum or difference, find diameter of round city.<ref name="Kong Guoping p192">Kong Guoping p192-208</ref>

{| class="wikitable"
|-
! Q !! Given
|-
| 1 || <math>a_{14}+b_{14}</math>，<math>a_{15}+b_{15}</math>，<math>c_{12}</math>
|-
| 2 || <math>a_{14}+b_{14}</math>，<math>a_{15}+b_{15}</math>，<math>c_{13}</math>
|-
| 3 || <math>(c_{12}-a_{12})+(c_{12}-b_{12})</math>，<math>d_{14}+d_{15}</math>
|-
| 4 || <math>c_{15}</math>，<math>c_{14}</math>
|-
| 5 || <math>b_{14}+c_{14}</math>，<math>c_{15}+b_{15}</math>
|-
| 6 || <math>a_{15}+c_{15}</math>，<math>a_{14}+c_{14}</math>
|-
| 7 || <math>a_{1}+c_{1}</math>，<math>a_{15}+c_{15}</math><math></math>
|-
| 8 || <math>a_{1}+c_{1}</math>，<math>a_{14}+c_{14}</math><math></math>
|-
| 9 || <math>b_{1}+c_{1}</math>，<math>b_{15}+c_{15}</math><math></math>
|-
| 10 || <math>b_{1}+c_{1}</math>，<math>b_{14}+c_{14}</math>，<math></math>
|-
| 11 || <math>b_{14}+c_{14}</math>，<math>a_{15}+c_{15}</math>，<math>b_{14}+a_{15}-c_{13}</math>
|-
| 12 || <math>(b_{8}-a_{8})+(b_{2}-a_{2})</math>，<math>b_{14}+a_{15}-c_{13}</math><math></math>
|-
| 13 || <math>b_{7}-a_{8}</math>，<math>(b_{14}-a_{14})+(b_{15}-a_{15})</math>，<math>c_{12}-d</math>
|-
| 14 || <math>(b_{7}-a_{7})+(b_{8}-a_{8})</math>，<math>(b_{14}-a_{14})+(b_{15}-a_{15})</math><math></math>
|-
| 15 || <math>a_{14}+b_{14}</math>，<math>a_{15}+b_{15}</math><math></math>
|-
| 16 || <math>a_{14}+a_{15}</math>，<math>b_{14}+b_{15}</math><math></math>
|}

=== Problem 14 ===

:''Given the sum of GAO difference and MING difference is 161 paces and the sum of MING difference and ZHUAN difference is 77 paces. What is the diameter of the round city?''
:Answer: 120 paces.

Algorithm:<ref name="Bai p562">Bai Shangshu, p562-566</ref>

Given
:<math>(b_{7}-a_{7})+(b_{8}-a_{8})=161</math>
:<math>(b_{14}-a_{14})+(b_{15}-a_{15})=77</math>
：Add these two items, and divide by 2; according to [[#Definitions and formula]], this equals to
HUANGJI difference:
:<math>(b_{7}-a_{7})+(b_{8}-a_{8})+(b_{14}-a_{14})+(b_{15}-a_{15}) \over 2</math> <math>=(b_{12}-a_{12})</math>

:<math>b_{12}-a_{12}=</math><math>161 + 77 \over 2</math><math>=119</math>
:Let Tian yuan one as the horizontal of SHANGPING (SG):
: <math>x=a_{8}</math>
:<math> x+ 161</math> =<math>x+(b_{7}-a_{7})+(b_{8}-a_{8})=a_{8}+(b_{7}-a_{7})+(b_{8}-a_{8})</math>
::::<math>=b_{7}</math> (#Definition and formula)
:Since <math>a_{8}+b_{7}=c_{12}</math> (Definition and formula)
:<math>c_{12}=x+b_{7}=2*x+(b_{7}-a_{7})+(b_{8}-a_{8})=2*x+161</math>
:<math>c_{12}^2=(x+b_{7})^2=(2*x+161)^2=4*x^2+644*x+25921</math>

:<math>c_{12}^2-(b_{12}-a_{12})^2</math>
:<math>=4*x^2+644*x+25921-</math><math>((b_{7}-a_{7})+(b_{8}-a_{8})+(b_{14}-a_{14})+(b_{15}-a_{15}))^2 \over 4</math>
:<math>=4*x^2+644*x+11760=d</math>(diameter of round town),
:<math>d^2=(4*x^2+644*x+11760)^2=16*x^4+5152*x^3+508816*x^2+15146880*x+138297600</math>
:Now, multiply the length of RZ by <math>4*x</math>
:<math>4*x*b_{7}=4*x*(x+(b_{7}-a_{7})+(b_{8}-a_{8}))=4*x*( x+ 161)=4*x^2+644*x</math>
:multiply it with the square of RS:
:<math>d^2=4*x*b_{7}*c_{12}^2=</math><math>(4*x^2+644*x)*(4*x^2+644*x+25921)=</math><math>16*x^4+5152*x^3+518420*x^2+16693124</math>
:equate the expressions for the two <math>d^2</math>
:thus
:<math>16*x^4+5152*x^3+518420*x^2+16693124=</math><math>16*x^4+5152*x^3+508816*x^2+15146880*x+138297600</math>
:We obtain:
<math>9604*x^2+1546244*x-138297600=0</math>
:solve it and we obtain <math>x=a_{8}=64</math>;

This matches the horizontal of SHANGPING 8th triangle in [[#Segment numbers]].<ref name="continue">'''Footnote''':In Vol 8 problem 14, Li Zhi stop short at x=64. However the answer is evident, as from No 8 formular in [[#Miscellaneous formula]]:
<math>a_{9}*b_{7}=r^2</math>, and from [[#Length of Line Segments]]<math>a_{8}=a_{9}</math>, thus <math>a_{8}*b_{7}=r^2</math>, radius of round town can be readily obtain. As a matter of fact, problem 6 of vol 11 is just such a question of given <math>a_{8}</math>and<math>b_{7}</math>, to find the radius of the round town.</ref>

== Volume 9 ==

;Part I
{| class="wikitable"
|-
! Problems !! given
|-
| 1 || <math>a_{12}+b_{12}+c_{12}</math>，<math>b_{12}-a_{12}</math>
|-
| 2 || <math>c_{1}</math>，<math>b_{1}-a_{1}</math>
|-
| 3 || <math>c_{1}</math>，<math>a_{10}+b_{11}</math>
|-
| 4 || <math>c_{1}</math>，<math>a_{2}+b_{3}</math>
|}
;Part II
{| class="wikitable"
|-
! Problems !! given
|-
| 1 || <math>a_{1}+b_{1}</math>，<math>a_{2}</math>，<math>b_{3}</math>
|-
| 2 || <math>a_{1}+b_{1}</math>，<math>c_{13}+b_{13}-a_{13}</math>，<math>c_{13}-b_{13}+a_{13}</math>
|-
| 3 || <math>a_{1}+b_{1}</math>，<math>a_{11}+b_{11}</math>，<math>a_{10}+b_{10}</math>
|-
| 4 || <math>a_{1}+b_{1}</math>，<math>c_{10}-a_{10}</math>，<math>c_{11}-b_{11}</math>
|-
| 5 || <math>a_{1}+b_{1}</math>，<math>c_{6}+c_{8}</math>，<math>c_{6}-c_{8}</math>
|-
| 6 || <math>a_{1}+b_{1}</math>，<math>c_{10}</math>，<math>c_{11}</math>
|-
| 7 || <math>a_{1}+b_{1}</math>，<math>c_{4}</math>，<math>c_{5}</math>
|-
| 8 || <math>a_{1}+b_{1}</math>，<math>c_{2}</math>，<math>c_{3}</math>
|}

== Volume 10 ==

8 problems<ref name="Kong Guoping p220">Kong Guoping p220-224</ref>
{| class="wikitable"
|-
! Problem !! Given
|-
| 1 || <math>a_{1}+b_{1}+c_{1}</math>，<math>c_{1}-b_{1}</math>
|-
| 2 || <math>a_{1}+b_{1}+c_{1}</math>，<math>c_{1}-a_{1}</math>
|-
| 3 || <math>a_{1}+b_{1}+c_{1}</math>，<math>b_{1}-a_{1}</math>
|-
| 4 || <math>a_{1}+b_{1}+c_{1}</math>，<math>(c_{1}-b_{1})+(c_{1}-a_{1})</math>
|-
| 5 || <math>a_{1}+b_{1}+c_{1}</math>，<math>(c_{1}-b_{1})+(b_{1}-a_{1})+(c_{1}-a_{1})</math>
|-
| 6 || <math>a_{1}+b_{1}+c_{1}</math>，<math>d_{14}+d_{15}</math>
|-
| 7 || <math>a_{1}+b_{1}+c_{1}</math>，<math>c_{12}</math>
|-
| 8 || <math>a_{1}+b_{1}+c_{1}</math>，<math>c_{13}</math>
|}

== Volume 11 ==

：Miscellaneous 18 problems：<ref name="Kong Guoping p234">Kong Guoping p234-248</ref>

{| class="wikitable"
|-
! Q !! GIVEN
|-
| 1 || <math>c_{2}</math>，<math>c_{3}</math><math></math>
|-
| 2 || <math>c_{5}</math>，<math>c_{4}</math><math></math>
|-
| 3 || <math>b_{11}</math>，<math>c_{4}</math><math></math>
|-
| 4 || <math>a_{10}</math>，<math>c_{3}</math><math></math>
|-
| 5 || <math>a_{10}</math>，<math>b_{11}</math><math></math>
|-
| 6 || <math>b_{7}</math>，<math>a_{8}</math><math></math>
|-
| 7 || <math>b_{1}-b_{11}</math>，<math>a_{1}-a_{10}</math>
|-
| 8 || <math>b_{10}-a_{10}</math>，<math>b_{11}-a{11}</math><math></math>
|-
| 9 || <math>c_{13}</math>，<math>a_{10}-b_{11}</math><math></math>
|-
| 10 || <math>a_{12}+b_{12}</math>，<math>a_{13}+b_{13}</math><math></math>
|-
| 11 || <math>c_{1}</math>，<math>b_{1} \over a_{1}</math><math></math>
|-
| 12 || <math>d_{10}-d_{11}</math>，<math>d_{12}-d_{13}</math><math></math>
|-
| 13 || <math>c_{12}-[c_{10}-(b_{10}-a_{10})]</math>，<math>c_{11}+(b_{11}-a_{11})-c_{13}</math>，<math>b_{12}-a_{12}</math>
|-
| 14 || <math>c_{8}-(c_{1}-b_{1})</math>，<math>(c_{1}-a_{1})-c_{7}</math><math></math>
|-
| 15 || <math>a_{1}+c_{1}</math>，<math>(c_{1}-a_{1})+(c_{1}-b_{1})</math><math></math>
|-
| 16 || <math>a_{12}+b_{12}+c_{12}</math>，<math>(a_{13}+b_{13})-c_{13}</math><math></math>
|-
| 17 || From the book Dongyuan jiurong
|-
| 18 || From Dongyuan jiurong
|}

== Volume 12 ==

14 problems on fractions<ref name="Kong Guoping p255">P255-263</ref>

{| class="wikitable"
|-
! Problem !! given
|-
| 1 || <math>b_{1}+c_{1}</math>，<math>a_{1}</math>= <math>8 \over 15 </math><math>b_{1}</math>
|-
| 2 || <math>a_{1}+c_{1}</math>，<math>a_{1}</math>= <math>8 \over 15 </math><math>b_{1}</math>
|-
| 3 || <math>a_{1}=(1-5/9)*3d</math>，<math>b_{1}-a_{1}</math><math></math>
|-
| 4 || <math>a_{3}=(5/6)*d</math>，<math>b_{2}-a_{3}</math>
|-
| 5 || <math>(15/16)b_{1}=d</math>，<math>a_{1}+b_{1}</math><math></math>
|-
| 6 || <math>a_{12}=(8/15)*b_{12}</math>，<math>c_{12}-b_{12}</math>，<math>c_{12}-a_{12}</math>
|-
| 7 || <math>c_{1}</math>，<math>d=(1/2)b_{2}</math>，<math>a_{3}=(5/6)d</math>
|-
| 8 || <math>b_{2}+a_{3}+c_{2}</math>，<math>b_{2}=(12/17)c_{1}</math>，<math>a_{3}=(5/17)c_{1}</math>
|-
| 9 || <math>a_{3}+(5/6)b_{2}</math>，<math>b_{2}+(3/5)a_{3}</math><math></math>
|-
| 10 || <math>a_{11}+(1/3)b_{10}</math>，<math>b_{10}-(3/4)a_{11}</math><math></math>
|-
| 11 || <math>b_{1}-d=(3/5)b_{1}</math>，<math>a_{1}-d=(1/4)a_{1}</math>，<math>(b_{1}-d)-(a_{1}-d)</math>
|-
| 12 || <math>b_{1}-d=(3/5)b_{1}</math>，<math>a_{1}-d=(1/4)a_{1}</math>，<math>(1/5)b_{1}-(1/4)a_{1}</math>
|-
| 13 || <math>b_{14}=(1-(15/24)b_{10})</math>，<math>a_{15}=(1-(4/5))a_{11}</math>，<math>b_{14}-a_{15}</math>,<math>b_{10}-a_{11}</math>
|-
| 14 || <math>a_{1}+b_{1}+c_{1}</math>，<math>(b_{1}/a_{1})=8(1/3)</math>，<math>(a_{1}/b_{15})=10(2/3)</math>，<math>a_{14}-a_{13}</math>，<math>b_{13}-b_{15}</math>
|}

== Research ==

In 1913, French mathematician L. van Hoe wrote an article about Ceyuan haijing. In 1982, K. Chemla Ph.D. thesis Etude du Livre Reflects des Mesuers du Cercle sur la mer de Li Ye. 1983, University of Singapore Mathematics Professor Lam Lay Yong: Chinese Polynomial Equations in the Thirteenth Century。

== Footnotes ==
{{reflist|30em}}

== References ==
{{wikisource|zh:測圓海鏡|Ceyuan haijing}}
{{refbegin}}
*Jean-Claude Martzloff, ''A History of Chinese Mathematics'', Springer 1997 {{ISBN|3-540-33782-2}}
*Kong Guoping, ''Guide to Ceyuan haijing'', Hubei Education Press 1966 孔国平. 《测圆海镜今导读》 《今问正数》 湖北教育出版社. 1995
*Bai Shangshu: A Modern Chinese Translation of ''Li Yeh Ceyuan haijing''. Shandong Education Press 1985李冶 著 白尚恕 译 钟善基 校. 《测圆海镜今译》 山东教育出版社. 1985
*[[Wu Wenjun]] ''The Grand Series of History of Chinese Mathematics'' Vol 6 吴文俊主编 《中国数学史大系》 第六卷
* Li Yan, ''A Historic Study of Ceyuan haijing, collected works of Li Yan and Qian Baocong'' vol 8《李俨.钱宝琮科学史全集》卷8，李俨《测圆海镜研究历程考》
{{refend}}

[[Category:Chinese mathematics]]
[[Category:1248 works]]
[[Category:13th century in China]]
[[Category:Mathematics literature]]