Yet another proof for \(\zeta (2) = \frac { { \pi }^{ 2 } }{ 6 } \)

Let us consider the integral

i0πln(1eiθ)dθ\displaystyle i\int _{ 0 }^{ \pi }{ ln(1-{ e }^{ i\theta } } )d\theta

Now using

i0πln(1eiθ)dθ1eiθ=1cosθisinθ=2sin(θ2)(sin(θ2)icos(θ2))=2sin(θ2)ei(θ2π2)\displaystyle i\int _{ 0 }^{ \pi }{ ln(1-{ e }^{ i\theta } } )d\theta \\ \\ 1-{ e }^{ i\theta } = 1-cos\theta -isin\theta = 2sin(\frac { \theta }{ 2 } )(sin(\frac { \theta }{ 2 } )-icos(\frac { \theta }{ 2 } ))\\ = 2sin(\frac { \theta }{ 2 } ){ e }^{ i(\frac { \theta }{ 2 } -\frac { \pi }{ 2 } ) }

we have the integral as

0π(i(ln(2)+ln(sin(θ2))(θ2π2))dθ\displaystyle \int _{ 0 }^{ \pi }{ (i(ln(2) + ln(sin(\frac { \theta }{ 2 } )) - \left( \frac { \theta }{ 2 } -\frac { \pi }{ 2 } \right) )d\theta }

Both its real and imaginary parts can be easily evaluated to get

answer as simply

π24\displaystyle \frac { { \pi }^{ 2 } }{ 4 } (Yes as you can see the imaginary parts cancel each other)

Now, reconsider the integral

i0πln(1eiθ)dθ\displaystyle i\int _{ 0 }^{ \pi }{ ln(1-{ e }^{ i\theta } } )d\theta

Let us substitute

z=eiθ\displaystyle z= { e }^{ i\theta }\\

at θ=0z=1θ=πz=1\displaystyle \theta =0 \quad z=1\\ \theta =\pi \quad z=-1\\ also dz=ieiθdz\quad =\quad i{ e }^{ i\theta }

We get the integral

11ln(1x)1xdx\displaystyle -\int _{ -1 }^{ 1 }{ ln(1-x)\frac { 1 }{ x } dx } \\

Here i make use of the fact that the value of a definite integral depends only on the function and not on the varriable or its past

using taylor expansion we get,

11(11+x2+x23...)=2(11+132+152+...)=π24(asprovedbefore)\displaystyle \int _{ -1 }^{ 1 }{ (\frac { 1 }{ 1 } } +\frac { x }{ 2 } +\frac { { x }^{ 2 } }{ 3 } ...)\quad =\quad 2(\frac { 1 }{ 1 } +\frac { 1 }{ { 3 }^{ 2 } } +\frac { 1 }{ { 5 }^{ 2 } } +...)\quad =\frac { { \pi }^{ 2 } }{ 4 } (as\quad proved\quad before)\\

ζ(2)=11+132+152+...+14ζ(2)(whichyouyourselfcancheck)\displaystyle \zeta (2)\quad =\quad \frac { 1 }{ 1 } +\frac { 1 }{ { 3 }^{ 2 } } +\frac { 1 }{ { 5 }^{ 2 } } +...+\frac { 1 }{ 4 } \zeta (2)\quad \quad (which\quad you\quad yourself\quad can\quad check)

34ζ(2)=π28ζ(2)=π26\displaystyle \frac { 3 }{ 4 } \zeta (2) = \frac { \pi ^{ 2 } }{ 8 } \quad\rightarrow \boxed{\zeta(2)= \frac { \pi ^{ 2 } }{ 6 }}

Hence proved

Do point out any flaws i might have done

Entirely original, any resemblance is accidental

Inspritation - Ronaks proof (just inspiration to try to prove , not copy)

#Calculus #ZetaFunction #Usingelementarycalculus

Note by Mvs Saketh
6 years, 3 months ago

No vote yet
1 vote

  Easy Math Editor

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.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. 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 1

paragraph 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×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}

Comments

FanTastic Proof. Hats off

Ronak Agarwal - 6 years, 3 months ago

Log in to reply

Thanks :)

Mvs Saketh - 6 years, 3 months ago

Nice :) ...So, how did you come up with this? Were you fiddling around with infinite series?

Shashwat Shukla - 6 years, 3 months ago

Log in to reply

Well, i recently learnt some basics of contour integration, so i was fiddling around with the little knowledge i had and stumbled upon it :)

Mvs Saketh - 6 years, 3 months ago

Log in to reply

That's nice :) ...I had thought that it might have in part been inspired by 01ln(1x)xdx\int_{0}^{1}\frac{ln(1-x)}{x}dx (both of them have ln(1-z) )

Either ways, it's pretty cool.

Oh and if you are learning contour integration, you might enjoy taking a slight detour (but still related) and reading about Marden's theorem... It so cool (assuming you haven't already seen it) :D .

Shashwat Shukla - 6 years, 3 months ago

Log in to reply

@Shashwat Shukla Yes that too did inspire,

Ok , i will check it out, i havent heard of it yet,as i just looked at the basics ,thanks

Mvs Saketh - 6 years, 3 months ago

Log in to reply

@Mvs Saketh Cheers :)

Shashwat Shukla - 6 years, 3 months ago

Nice proof @Mvs Saketh :)

@Ronak Agarwal Beware !! Here's some competition for you !

A Former Brilliant Member - 6 years, 3 months ago

Log in to reply

thankyou but that was never the intention, i just posted it because i liked it,

Mvs Saketh - 6 years, 3 months ago

Log in to reply

I was just kidding Saketh !!

A Former Brilliant Member - 6 years, 3 months ago

Log in to reply

@A Former Brilliant Member i know, please dont use more than one !! at a time, it becomes hard to know whether you are shouting or telling :P

Mvs Saketh - 6 years, 3 months ago

Log in to reply

@Mvs Saketh Sorry , it's just that I'm not used to SMS language , i have learnt all that I know here from Brilliant , so pls bear with me :)

A Former Brilliant Member - 6 years, 3 months ago

Log in to reply

@A Former Brilliant Member Cheers :)

Mvs Saketh - 6 years, 3 months ago

@A Former Brilliant Member Me Too.

Rajdeep Dhingra - 6 years, 3 months ago

Log in to reply

@Rajdeep Dhingra It seems that your 100 follower question got a level 5 rating , cheers:)

A Former Brilliant Member - 6 years, 3 months ago

Log in to reply

@A Former Brilliant Member Yes but it should be level 3

Rajdeep Dhingra - 6 years, 3 months ago

Log in to reply

@Rajdeep Dhingra No worries , your question got rated . That's what you wanted , no ? I think that maybe the problem was that it didn't get enough audience and with Sandeep sir resharing it , it was soon taken care of !

A Former Brilliant Member - 6 years, 3 months ago
×

Problem Loading...

Note Loading...

Set Loading...