Let us consider the integral
i∫0πln(1−eiθ)dθ
Now using
i∫0πln(1−eiθ)dθ1−eiθ=1−cosθ−isinθ=2sin(2θ)(sin(2θ)−icos(2θ))=2sin(2θ)ei(2θ−2π)
we have the integral as
∫0π(i(ln(2)+ln(sin(2θ))−(2θ−2π))dθ
Both its real and imaginary parts can be easily evaluated to get
answer as simply
4π2 (Yes as you can see the imaginary parts cancel each other)
Now, reconsider the integral
i∫0πln(1−eiθ)dθ
Let us substitute
z=eiθ
at θ=0z=1θ=πz=−1
also dz=ieiθ
We get the integral
−∫−11ln(1−x)x1dx
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+2x+3x2...)=2(11+321+521+...)=4π2(asprovedbefore)
ζ(2)=11+321+521+...+41ζ(2)(whichyouyourselfcancheck)
43ζ(2)=8π2→ζ(2)=6π2
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
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:
*italics*
or_italics_
**bold**
or__bold__
paragraph 1
paragraph 2
[example link](https://brilliant.org)
> This is a quote
\(
...\)
or\[
...\]
to ensure proper formatting.2 \times 3
2^{34}
a_{i-1}
\frac{2}{3}
\sqrt{2}
\sum_{i=1}^3
\sin \theta
\boxed{123}
Comments
FanTastic Proof. Hats off
Log in to reply
Thanks :)
Nice :) ...So, how did you come up with this? Were you fiddling around with infinite series?
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 :)
Log in to reply
That's nice :) ...I had thought that it might have in part been inspired by ∫01xln(1−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 .
Log in to reply
Ok , i will check it out, i havent heard of it yet,as i just looked at the basics ,thanks
Log in to reply
Nice proof @Mvs Saketh :)
@Ronak Agarwal Beware !! Here's some competition for you !
Log in to reply
thankyou but that was never the intention, i just posted it because i liked it,
Log in to reply
I was just kidding Saketh !!
Log in to reply
! at a time, it becomes hard to know whether you are shouting or telling :P
i know, please dont use more than oneLog in to reply
Log in to reply
Log in to reply
Log in to reply
Log in to reply