# The Zeta Function:Finding a general formula Part 3

The Cauchy Product Formula tells us that

$$\displaystyle(\sum_{n=0}^{\infty} a_n )(\sum_{n=0}^{\infty} b_n )=\sum_{j=0}^{\infty} c_j$$

,where $c_j=\displaystyle\sum_{k=0}^{j} a_k.b_{j-k}$

From last time we got

$1=\displaystyle\sum_{n=0}^{\infty}\frac{\beta_n}{n!}.z^n.\sum_{n=0}^{\infty} \frac{z^{n}}{(n+1)!}$

So using the formula from above we get

$1=\displaystyle\sum_{j=0}^{\infty}\sum_{k=0}^{j} \frac{\beta_k}{k!.(j-k+1)!}z^j$

Since j does not depend on k, we can multiply the rightmost sum by $(j+1)!$ and divide by that in the inner sum.But when doing that, we get a binomial in the right sum

So

$1=\displaystyle\sum_{j=0}^{\infty}\frac{1}{(j+1)!}\sum_{k=0}^{j} \binom{j+1}{k}\beta_kz^k$

When j=0, the output is 1(because $\beta_0$ must be 1), so the sum of all the others is exactly 0.But we defined z not to be equal to 0, so

$\displaystyle\sum_{k=0}^{j} \binom{j+1}{k}\beta_k=0$.

Thus we can find a relation between the $\beta_k$'s and , as we know $\beta_0=1$, we can find all terms in the sequence (these numbers are called Bernoulli numbers).

So now we have found the terms in the infinite series for $\displaystyle\frac{z}{e^z-1}$.

So

$\displaystyle\pi.s.cotan(\pi.s)=\pi.i.s + \frac{2\pi.i.s}{e^{2\pi.i.s}-1}=\pi.i.s + \sum_{n=0}^{\infty}\frac{\beta_n}{n!}(2\pi.i.s)^n$.

Note that the function $x cotan x$ is even, thus all the powers in its series must be even, so $\beta_{2k+1}=0$ for $k>0$.

Now let's rewrite that sum of ours, starting from n=2.

$\displaystyle\pi.s.cotan(\pi.s)=\pi.i.s + \frac{\beta_0}{0!}+\frac{\beta_1}{1!}.2\pi.i.s+\sum_{n=2}^{\infty}\frac{\beta_n}{n!}(2\pi.i.s)^n$

But $\beta_1=-0.5$, so the first and the third cancel.Also, $\beta_{2k+1}=0$, so we can again rewrite our sum

$\displaystyle \pi.s.cotan(\pi.s)= 1+\sum_{n=1}^{\infty}\frac{\beta_{2n}}{2n!}(2\pi.i.s)^{2n}$

Now let's put a $-\frac{1}{2}$ in the sum so we get a -2 up front.

We get

$\displaystyle \pi.s.cotan(\pi.s)= 1-2\sum_{n=1}^{\infty} -\frac{1}{2}.\frac{\beta_{2n}}{2n!}(2\pi.i.s)^{2n}$

From Part 2 we know that

$\displaystyle \pi.s.cotan(\pi.s)=1-2.\sum_{n=1}^{\infty} \zeta (2n).s^{2n}$

So comparing the coefficients we get that

$-\frac{1}{2}.\frac{\beta_{2n}}{2n!}(2\pi.i.s)^{2n} = \zeta(2n).s^{2n}$

So, finally

$\displaystyle\boxed{\zeta(2n)=(-1)^{n+1}\frac{\beta_{2n}}{2n!}.2^{2n-1}.\pi^{2n}}$ Note by Bogdan Simeonov
7 years, 3 months ago

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

• Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
• Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
• Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold
- bulleted- list
• bulleted
• list
1. numbered2. list
1. numbered
2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in $$ ... $$ or $ ... $ to ensure proper formatting.
2 \times 3 $2 \times 3$
2^{34} $2^{34}$
a_{i-1} $a_{i-1}$
\frac{2}{3} $\frac{2}{3}$
\sqrt{2} $\sqrt{2}$
\sum_{i=1}^3 $\sum_{i=1}^3$
\sin \theta $\sin \theta$
\boxed{123} $\boxed{123}$