Li Ye (mathematician)

The master figure in Sea mirror of circle measurements, that all the problems use. It shows a circular city wall, inscribed in a right triangle and a square.

Ceyuan haijing (Sea mirror of circle measurements) is a collection of 170 problems, all related to the same example of a circular city wall inscribed in a right triangle and a square.[1][9] They often involve two people who walk on straight lines until they can see each other, meet or reach a tree in a certain spot. The purpose of book was to study intricate geometrical relations with algebra and provide solutions to equations.[10]

Many of the 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".[1][11] The method was known before him in some form. It is a positional system of rod numerals to represent polynomial equations.

For example, 2x² + 18x − 316 = 0 is represented as

which is equal to in Arabic Numbers.

The 元 (yuan) denotes the unknown x, so the numerals on that line mean 18x. The line below is the constant term (-316) and the line above is the coefficient of the quadratic (x²) term. The system accommodates arbitrarily high exponents of the unknown by adding more lines on top and negative exponents by adding lines below the constant term. Decimals can also be represented. Later, the line order was reversed so that the first line is the lowest exponent.

Li does not explain how to solve equations in general, but shows it with the example problems. Most of the equations can be reduced to the second or sometimes third order. It is often assumed that he used methods similar to Ruffini's rule and Horner scheme.

Problem 8 in Yigu yanduan

Yigu yanduan (New steps in computation) is a work of more basic mathematics written soon after Li Ye completed Ceyuan haijing, and was probably written to help students who could not understand Sea mirror of circle measurements. Yigu yanduan consists of three volumes dedicated to solving geometrical problems on two tracks, through Tian yuan shu and geometry. It also contained algebraic problems, but with slightly different notations.[11]

The huntian (渾天) theory of the celestial sphere stipulated that the earth was flat and square, while the heavens were spherical in shape, along with celestial bodies such as the sun and moon (described by 1st-century AD polymathic scientist and statesman Zhang Heng like a crossbow bullet and ball, respectively).[12] However, the idea of a flat earth was criticized by the Jin dynasty astronomer Yu Xi (fl. 307-345 AD), who suggested a rounded shape as an alternative.[13] In his Jingzhai gu zhin zhu (敬齋古今注),[14] Li Ye echoed Yu's idea that the Earth was spherical, similar in shape to the heavens but smaller in size, arguing that it could not be square since that would hinder the movement of the heavens and celestial bodies.[15]

However, the idea of a spherical earth was not accepted in mainstream Chinese science and cartography until the 17th century during the late Ming and early Qing periods, with the advent of evidence of European circumnavigation of the globe.[16] The flat Earth theory in Chinese science was finally overturned in the 17th-century. Jesuits in China also introduced the spherical Earth model advanced by ancient Greeks such as Philolaus and Eratosthenes[17] and presented in world maps such as Matteo Ricci's Kunyu Wanguo Quantu published in Ming-dynasty China in 1602.[18]