# Srinivasa Ramanujan

**Srinivasa Ramanujan** (1887-1920) was an Indian mathematician who made great and original contributions to many mathematical fields, including complex analysis, number theory, infinite series, and continued fractions. He was "discovered" by G. H. Hardy and J. E. Littlewood, two world-class mathematicians at Cambridge, and enjoyed an extremely fruitful period of collaboration with them from 1914 to 1919. Unfortunately, his mathematical career was curtailed by health problems; he returned to India and died when he was only 32 years old.

Hardy, who was a great mathematician in his own right, recognized Ramanujan's genius from a series of letters that Ramanujan sent to mathematicians at Cambridge in 1913. Like much of his writing, the letters contained a dizzying array of unique and difficult results, stated without much explanation or proof. The contrast between Hardy, who was above all concerned with mathematical rigor and purity, and Ramanujan, whose writing was difficult to read and peppered with mistakes but bespoke an almost supernatural insight, produced a rich partnership.

Since his death, Ramanujan's writings (many contained in his famous notebooks) have been studied extensively. Some of his conjectures and assertions have led to the creation of new fields of study. Some of his formulas are believed to be true but as yet unproven.

There are many existing biographies of Ramanujan. *The Man Who Knew Infinity*, by Robert Kanigel, is an accessible and well-researched historical account of his life. The rest of this wiki will give a brief and light summary of the mathematical life of Ramanujan. As an appetizer, here is an anecdote from Kanigel's book.

In 1914, Ramanujan's friend P. C. Mahalanobis gave him a problem he had read in the English magazine *Strand*. The problem was to determine the number \( x \) of a particular house on a street where the houses were numbered \( 1,2,3,\ldots,n \). The house with number \( x \) had the property that the sum of the house numbers to the left of it equaled the sum of the house numbers to the right of it. The problem specified that \( 50 < n < 500 \).

Ramanujan quickly dictated a continued fraction for Mahalanobis to write down. The numerators and denominators of the convergents to that continued fraction gave *all* solutions \( (n,x) \) to the problem (not just the particular one where \( 50 < n < 500 \)). Mahalanobis was astonished, and asked Ramanujan how he had found the solution.

Ramanujan responded: "...It was clear that the solution should obviously be a continued fraction; I then thought, Which continued fraction? And the answer came to my mind."

This is not the most illuminating answer! If we cannot duplicate the genius of Ramanujan, let us at least find the solution to the original problem. What is \( x \)?

**Bonus:** Which continued fraction did Ramanujan give Mahalanobis?

###### This anecdote and problem is taken from *The Man Who Knew Infinity*, a biography of Ramanujan by Robert Kanigel.

#### Contents

## Taxicab numbers

Many of Ramanujan's mathematical formulas are difficult to understand, let alone prove. For instance, an identity such as \[ \frac1{\pi} = \frac{2\sqrt{2}}{9801}\sum_{k=0}^{\infty} \frac{(4k)!(1103+26390k)}{(k!)^4 396^{4k}} \] is not particularly easy to get a handle on. Perhaps this is why the most famous mathematical fact about Ramanujan is trivial and uninteresting, compared to the many brilliant theorems he proved.

The story goes that Hardy was visiting Ramanujan in the hospital, and remarked offhandedly that the taxi he had taken had a "dull number," 1729. Instantly Ramanujan replied, "No, it is a very interesting number! It is the smallest positive integer expressible as the sum of two positive cubes in two different ways."

That is, \( 1729 = 1^3+12^3 = 9^3+10^3 \).

Hardy and Wright proved in 1938 that for every \( n \), there is a positive integer \( \text{Ta}(n) \) that is expressible as the sum of two positive cubes in \( n \) different ways. So \( \text{Ta}(2) = 1729 \). (The value of \( \text{Ta}(2) \) had been known since the 17th century, which is in some sense characteristic of Ramanujan as well: as he was largely self-taught, he was often rediscovering theorems that were already well-known at the same time as he was constructing entirely new ones.) The numbers \( \text{Ta}(n) \) are called *taxicab numbers* in honor of Hardy and Ramanujan.

## Nested radicals and continued fractions

Ramanujan developed several formulas that allowed him to evaluate nested radicals such as \[ 3 = \sqrt{1+2\sqrt{1+3\sqrt{1+4\sqrt{\cdots}}}} \] This is a special case of a result from his notebooks, which is proved in the wiki on nested functions.

He also contributed greatly to the theory of continued fractions. One of the identities in his letter to Hardy was
\[
1+\frac{e^{-2\pi}}{1+\frac{e^{-4\pi}}{1+\frac{e^{-6\pi}}{\cdots}}} = \left( \sqrt{\frac{5+\sqrt{5}}2} - \frac{1+\sqrt{5}}2 \right)e^{2\pi/5}
\]
This and several others along these lines were among the results that convinced Hardy that Ramanujan was a brilliant mathematician. This result is in fact a special case of the **Rogers-Ramanujan continued fraction**, which is of the form
\[
R(q) = \frac{q^{1/5}}{1+\frac{q}{1+\frac{q^2}{1+\frac{q^3}{\cdots}}}}
\]
and is related to the theory of modular forms, a deep branch of modern number theory.

## Partitions

Ramanujan's work with modular forms produced the following celebrated divisibility results involving the partition function \( p(n) \): \[ \begin{align} p(5k+4) &\equiv 0 \pmod 5 \\ p(7k+5) &\equiv 0 \pmod 7 \\ p(11k+6) &\equiv 0 \pmod{11} \end{align} \] Ramanujan commented in the paper in which he proved these results that there did not appear to be any other simple results of the same type. But in fact there are similar congruences of the form \( p(ak+b) \equiv 0 \pmod n \) for any \( n \) relatively prime to \( 6\); this is due to Ken Ono (2000). (Even for small \( n\), the values of \( a \) and \( b \) in the congruences are quite large.) The topic remains the subject of much contemporary research.

## Ramanujan primes

Ramanujan proved a generalization of Bertrand's postulate, as follows: Let \( \pi(x) \) be the number of positive prime numbers \( \le x \); then for every positive integer \( n \), there exists a prime number \( R_n \) such that \[ \pi(x)-\pi(x/2) \ge n \text{ for all } x \ge R_n. \] (The case \( n = 1 \), \( R_n = 2 \) is Bertrand's postulate.)

The \( R_n \) are called **Ramanujan primes**.

## Ramanujan sums

The sum \( c_q(n) \) of the \(n\)th powers of the primitive \( q\)th roots of unity is called a **Ramanujan sum**. It can be shown that these are multiplicative arithmetic functions, and in fact that
\[
c_q(n) = \frac{\mu(q/d)\phi(q)}{\phi(q/d)}
\]
where \( d = \text{gcd}(q,n)\), and \( \mu \) and \( \phi \) are the Mobius function and Euler's totient function, respectively.

Ramanujan found nice infinite sums of the form \( \sum a_n c_q(n) \) or \( \sum a_q c_q(n) \) representing the standard arithmetic functions that are important in number theory. For instance, \[ d(n) = -\frac1{2\gamma+\ln(n)} \sum_{q=1}^{\infty} \frac{\ln(q)^2}{q} c_q(n), \] where \( \gamma \) is the Euler-Mascheroni constant.

Another example: the identity \[ \sum_{q=1}^{\infty} \frac{c_q(n)}{q} = 0 \] turns out to be equivalent to the prime number theorem.

Sums involving \( c_q(n) \) are known as **Ramanujan sums**; these were also used in applications including the proof of Vinogradov's theorem that every sufficiently large odd positive integer is the sum of three primes.

## The Ramanujan \( \tau \) function and Ramanujan's conjecture

Ramanujan's \( \tau \) function is defined by the formula \[ \sum_{n=1}^{\infty} \tau(n) q^n = q\prod_{n=1}^{\infty} (1-q^n)^{24} \] and is related to the theory of modular forms.

Ramanujan conjectured several properties of the \( \tau \) function, including \[ |\tau(p)| \le 2p^{11/2} \text{ for all primes } p. \] This turned out to be an extremely important and deep result, which was proved in 1974 by Pierre Deligne in his Fields-medal-winning proofs of the Weil conjectures on points on algebraic varieties over finite fields.

**Cite as:**Srinivasa Ramanujan.

*Brilliant.org*. Retrieved from https://brilliant.org/wiki/srinivasa-ramanujan/