Li Shanlan identity

Last updated November 25, 2024

In mathematics, in combinatorics, the Li Shanlan identity (also called Li Shanlan's summation formula) is a certain combinatorial identity attributed to the nineteenth century Chinese mathematician Li Shanlan.^[1] Since Li Shanlan is also known as Li Renshu (his courtesy name), this identity is also referred to as the Li Renshu identity.^[2] This identity appears in the third chapter of Duoji bilei (垛积比类 / 垛積比類, meaning summing finite series), a mathematical text authored by Li Shanlan and published in 1867 as part of his collected works. A Czech mathematician Josef Kaucky published an elementary proof of the identity along with a history of the identity in 1964.^[3] Kaucky attributed the identity to a certain Li Jen-Shu. From the account of the history of the identity, it has been ascertained that Li Jen-Shu is in fact Li Shanlan.^[1] Western scholars had been studying Chinese mathematics for its historical value; but the attribution of this identity to a nineteenth century Chinese mathematician sparked a rethink on the mathematical value of the writings of Chinese mathematicians.^[2]

The identity

The Li Shanlan identity states that

\sum _{k=0}^{p}{p \choose k}^{2}{{n+2p-k} \choose {2p}}={{n+p} \choose p}^{2}

.

Li Shanlan did not present the identity in this way. He presented it in the traditional Chinese algorithmic and rhetorical way.^[4]

Proofs of the identity

Li Shanlan had not given a proof of the identity in Duoji bilei. The first proof using differential equations and Legendre polynomials, concepts foreign to Li, was published by Pál Turán in 1936, and the proof appeared in Chinese in Yung Chang's paper published in 1939.^[2] Since then at least fifteen different proofs have been found.^[2] The following is one of the simplest proofs.^[5]

The proof begins by expressing $n \choose q$ as Vandermonde's convolution:

{n \choose q}=\sum _{k=0}^{q}{{n-p} \choose k}{p \choose {q-k}}

Pre-multiplying both sides by $n \choose p$ ,

{n \choose p}{n \choose q}=\sum _{k=0}^{q}{n \choose p}{{n-p} \choose k}{p \choose {q-k}}

.

Using the following relation

{n \choose p}{{n-p} \choose k}={{p+k} \choose k}{n \choose {p+k}}

the above relation can be transformed to

{n \choose p}{n \choose q}=\sum _{k=0}^{q}{p \choose {q-k}}{{p+k} \choose k}{n \choose {p+k}}

.

Next the relation

{p \choose {q-k}}{{p+k} \choose {k}}={q \choose k}{{p+k} \choose {q}}

is used to get

{n \choose p}{n \choose q}=\sum _{k=0}^{q}{q \choose k}{n \choose {p+k}}{{p+k} \choose q}

.

Another application of Vandermonde's convolution yields

{{p+k} \choose q}=\sum _{j=0}^{q}{p \choose j}{k \choose {q-j}}

and hence

{n \choose p}{n \choose q}=\sum _{k=0}^{q}{q \choose k}{n \choose {p+k}}\sum _{j=0}^{q}{p \choose j}{k \choose {q-j}}

Since $p \choose j$ is independent of k, this can be put in the form

{n \choose p}{n \choose q}=\sum _{j=0}^{q}{p \choose j}\sum _{k=0}^{q}{q \choose k}{n \choose {p+k}}{k \choose {q-j}}

Next, the result

{q \choose k}{k \choose {q-j}}={q \choose j}{j \choose {q-k}}

gives

{n \choose p}{n \choose q}=\sum _{j=0}^{q}{p \choose j}\sum _{k=0}^{q}{q \choose j}{j \choose {q-k}}{n \choose {p+k}}

=\sum _{j=0}^{q}{p \choose j}{q \choose j}\sum _{k=0}^{q}{j \choose {q-k}}{n \choose {p+k}}

=\sum _{j=0}^{q}{p \choose j}{q \choose j}{{n+j} \choose {p+q}}

Setting p = q and replacing j by k,

{n \choose p}^{2}=\sum _{k=0}^{p}{p \choose k}^{2}{{n+k} \choose {2p}}

Li's identity follows from this by replacing n by n + p and doing some rearrangement of terms in the resulting expression:

{{n+p} \choose p}^{2}=\sum _{k=0}^{p}{p \choose k}^{2}{{n+2p-k} \choose {2p}}

On Duoji bilei

The term duoji denotes a certain traditional Chinese method of computing sums of piles. Most of the mathematics that was developed in China since the sixteenth century is related to the duoji method. Li Shanlan was one of the greatest exponents of this method and Duoji bilei is an exposition of his work related to this method. Duoji bilei consists of four chapters: Chapter 1 deals with triangular piles, Chapter 2 with finite power series, Chapter 3 with triangular self-multiplying piles and Chapter 4 with modified triangular piles.^[6]

Related Research Articles

In mathematics, the binomial coefficients are the positive integers that occur as coefficients in the binomial theorem. Commonly, a binomial coefficient is indexed by a pair of integers $n \geq k \geq 0$ and is written $It is the coefficient of the x k term in the polynomial expansion of the binomial power (1 + x) n; this coefficient can be computed by the multiplicative formula$

In elementary algebra, the binomial theorem (or binomial expansion) describes the algebraic expansion of powers of a binomial. According to the theorem, it is possible to expand the polynomial $(x + y) n$ into a sum involving terms of the form $ax b y c$ , where the exponents $b$ and $c$ are nonnegative integers with $b + c = n$ , and the coefficient $a$ of each term is a specific positive integer depending on $n$ and $b$ . For example, for $n = 4$ ,

In mathematics, the Chinese remainder theorem states that if one knows the remainders of the Euclidean division of an integer n by several integers, then one can determine uniquely the remainder of the division of n by the product of these integers, under the condition that the divisors are pairwise coprime.

In number theory, a perfect number is a positive integer that is equal to the sum of its positive proper divisors, that is, divisors excluding the number itself. For instance, 6 has proper divisors 1, 2 and 3, and 1 + 2 + 3 = 6, so 6 is a perfect number. The next perfect number is 28, since 1 + 2 + 4 + 7 + 14 = 28.

<span class="mw-page-title-main">Cubic equation</span> Polynomial equation of degree 3

In algebra, a cubic equation in one variable is an equation of the form $in which a is not zero.$

In combinatorics, double counting, also called counting in two ways, is a combinatorial proof technique for showing that two expressions are equal by demonstrating that they are two ways of counting the size of one set. In this technique, which van Lint & Wilson (2001) call "one of the most important tools in combinatorics", one describes a finite set from two perspectives leading to two distinct expressions for the size of the set. Since both expressions equal the size of the same set, they equal each other.

In linear algebra, a Vandermonde matrix, named after Alexandre-Théophile Vandermonde, is a matrix with the terms of a geometric progression in each row: an $matrix$

<span class="mw-page-title-main">Hurwitz zeta function</span> Special function in mathematics

In mathematics, the Hurwitz zeta function is one of the many zeta functions. It is formally defined for complex variables $s$ with $Re(s) > 1$ and $a \neq 0, -1, -2, \dots$ by

The Basel problem is a problem in mathematical analysis with relevance to number theory, concerning an infinite sum of inverse squares. It was first posed by Pietro Mengoli in 1650 and solved by Leonhard Euler in 1734, and read on 5 December 1735 in The Saint Petersburg Academy of Sciences. Since the problem had withstood the attacks of the leading mathematicians of the day, Euler's solution brought him immediate fame when he was twenty-eight. Euler generalised the problem considerably, and his ideas were taken up more than a century later by Bernhard Riemann in his seminal 1859 paper "On the Number of Primes Less Than a Given Magnitude", in which he defined his zeta function and proved its basic properties. The problem is named after Basel, hometown of Euler as well as of the Bernoulli family who unsuccessfully attacked the problem.

In combinatorics, Vandermonde's identity is the following identity for binomial coefficients:

Mathematics emerged independently in China by the 11th century BCE. The Chinese independently developed a real number system that includes significantly large and negative numbers, more than one numeral system, algebra, geometry, number theory and trigonometry.

In mathematics and physics, a Hamiltonian vector field on a symplectic manifold is a vector field defined for any energy function or Hamiltonian. Named after the physicist and mathematician Sir William Rowan Hamilton, a Hamiltonian vector field is a geometric manifestation of Hamilton's equations in classical mechanics. The integral curves of a Hamiltonian vector field represent solutions to the equations of motion in the Hamiltonian form. The diffeomorphisms of a symplectic manifold arising from the flow of a Hamiltonian vector field are known as canonical transformations in physics and (Hamiltonian) symplectomorphisms in mathematics.

In number theory, the Padovan sequence is the sequence of integers P(n) defined by the initial values

Euclid's theorem is a fundamental statement in number theory that asserts that there are infinitely many prime numbers. It was first proven by Euclid in his work Elements. There are several proofs of the theorem.

In mathematics, in the field of combinatorics, the q-Vandermonde identity is a q-analogue of the Chu–Vandermonde identity. Using standard notation for q-binomial coefficients, the identity states that

Li Shanlan was a Chinese mathematician of the Qing Dynasty.

Wang Xiaotong (王孝通), also known as Wang Hs'iao-t'ung, was a Chinese mathematician, calendarist, politician, and writer of the early Tang dynasty. He is famous as the author of the Jigu Suanjing one of the Ten Computational Canons.

<i>Jade Mirror of the Four Unknowns</i> 1303 mathematical monograph by Zhu Shijie

Jade Mirror of the Four Unknowns, Siyuan yujian, also referred to as Jade Mirror of the Four Origins, is a 1303 mathematical monograph by Yuan dynasty mathematician Zhu Shijie. Zhu advanced Chinese algebra with this Magnum opus.

The Euclid–Euler theorem is a theorem in number theory that relates perfect numbers to Mersenne primes. It states that an even number is perfect if and only if it has the form $2 p -1 (2 p - 1)$ , where $2 p - 1$ is a prime number. The theorem is named after mathematicians Euclid and Leonhard Euler, who respectively proved the "if" and "only if" aspects of the theorem.

References

1 2 Jean-Claude Martzloff (1997). A History of Chinese Mathematics. Heidelberg Berlin: Springer Verlag. pp. 342–343. ISBN 9783540337829.
1 2 3 4 Karen V. H. Parshall, Jean-Claude Martzloff (September 1992). "Li Shanlan (1811–1882) and Chinese Traditional Mathematics". The Mathematical Intelligencer. 14 (4): 32–37. doi:10.1007/bf03024470. S2CID 123468479.
↑ Josef Kaucky (1965). "Une nouvelle demonstration elementaire de la formula combinatoire de Li Jen Shu". M.-Fuzik. Cas.. 15: 206–214.
↑ Bréard, Andrea (2013). "China". In Robin Wilson, John J. Watkins (ed.). Combinatorics: Ancient & Modern. Oxford: OUP. pp. 78–79. ISBN 9780191630637.
↑ John Riordan (1979). Combinatorial Identities. New York: Robert E Krieger Publishing Company. pp. 15–16. ISBN 0882758292.
↑ Tian Miao (2003). "The Westernization of Chinese mathematics: The case study of the Duoji method and its development". East Asian Science, Technology, and Medicine. 20: 45–72. doi:10.1163/26669323-02001004.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[history-1] 1 2 Jean-Claude Martzloff (1997). A History of Chinese Mathematics. Heidelberg Berlin: Springer Verlag. pp. 342–343. ISBN 9783540337829.

[MI-2] 1 2 3 4 Karen V. H. Parshall, Jean-Claude Martzloff (September 1992). "Li Shanlan (1811–1882) and Chinese Traditional Mathematics". The Mathematical Intelligencer. 14 (4): 32–37. doi:10.1007/bf03024470. S2CID 123468479.

[3] Josef Kaucky (1965). "Une nouvelle demonstration elementaire de la formula combinatoire de Li Jen Shu". M.-Fuzik. Cas.. 15: 206–214.

[4] Bréard, Andrea (2013). "China". In Robin Wilson, John J. Watkins (ed.). Combinatorics: Ancient & Modern. Oxford: OUP. pp. 78–79. ISBN 9780191630637.

[5] John Riordan (1979). Combinatorial Identities. New York: Robert E Krieger Publishing Company. pp. 15–16. ISBN 0882758292.

[6] Tian Miao (2003). "The Westernization of Chinese mathematics: The case study of the Duoji method and its development". East Asian Science, Technology, and Medicine. 20: 45–72. doi:10.1163/26669323-02001004.

[1]

[2]

[3]

[4]

[5]

[6]