Some geometry behind the Basel problem

Рет қаралды 26,916

Күн бұрын

Пікірлер: 118

@allozovsky 6 ай бұрын

An ordinary simple magic sequence of "And then I'm going to do something weird with this sum right here" Michael Penn's style steps.

@TheEternalVortex42 6 ай бұрын

The whole time I’m imagining what Euler would have thought if he had seen this. I think he’d have found it incredible

@woody442 6 ай бұрын

He’d probably been simultaneously astonished by achievements of science and modern technology and shocked by the abundance of stupidity.

@primenumberbuster404 6 ай бұрын

Holy smokes. I was thinking this exact same thing. Haha. Euler would be amazed how far math has come.

@dang-x3n0t1ct 6 ай бұрын

@@woody442 can you give some examples of such stupidity?

@giladperiglass5734 6 ай бұрын

@@woody442 How do we know he didn't think of this?

@godfreypigott 6 ай бұрын

@@woody442 You of course mean denial of science and history ... brought to you by the supporters of DJT.

@colbyforfun8028 6 ай бұрын

15:42 argument from necessity: We know the first term has to sum to zero because it is a wholly imaginary number, and the sum of the reciprocals of the squares is obviously a real number with no imaginary part.

@minamagdy4126 6 ай бұрын

I don't see where the mistake is, but I can very easily tell that the imaginary component integral does not evaluate to zero.

@abhinavanand9032 6 ай бұрын

@@minamagdy4126it is 0

@jay_sensz 6 ай бұрын

@@minamagdy4126 There wasn't a mistake, his argument why the integral is 0 is just needlessly complicated. The integral ln |1+exp(i*theta)| dTheta is a real number that then gets multiplied by i, resulting in a purely imaginary number. Likewise the integral over arg(1+exp(i*theta)) dTheta will be a real number since arg() is a real-valued function. Since we now have a purely imaginary number plus a real number equal to a real number (the original sum), we know that the imaginary number and hence the integral over ln|1+exp(i*theta)| must be 0, so you can skip the evaluation entirely.

@minamagdy4126 6 ай бұрын

@jay_sensz the thing is, you can skip the evaluation, or you can do it. If you do it, it should yield the same result. My work shows me that this is not the case (integral of cos(t/2) dt from 0 to pi is 2, not 0). My question is, where is the mismatch coming from? Is it a mistake on my part? Michael's? Is there some other theory where the non-zero imaginary result makes sense, as wild as that is?

@jay_sensz 6 ай бұрын

@@minamagdy4126 He's referring to the argument of the ln function, not the whole expression under the integral because (according to Wolfram Alpha) abs(1+exp(i*theta)) = abs(2*cos(theta/2)) = 2*cos(theta/2) for theta in [0,pi]. However, the resulting integral is still very complicated and the closed form Wolfram Alpha spits out for the indefinite integral is an absolute monstrosity.

@reinerwilhelms-tricarico344 6 ай бұрын

It’s quite amazing how much gymnastics can be done to turn this thing first into something where the geometric series gets rid of the summation and then use much more general tricks to turn it into a path integral and finally just a simple integral. Now it would be nice to see the whole proof in reverse to see the the motivation behind all the seemingly bizarre rewriting of this.

@johnchessant3012 6 ай бұрын

agreed, especially when Michael pulls the "0th integral" trick it's very likely that the proof makes much more sense in reverse order. In this case we really should be starting with the inscribed angle theorem to get arg(1 + exp(iθ)) = θ/2 (where 0 < θ < π). Integrate both sides from 0 to π, then recognize that the left-hand side is the imaginary part of log(1 + exp(iθ)). Expand this as sum((-1)^(n+1)*exp(inθ)/n) and integrate term by term with respect to θ. We're now left with a sum of 1/n^2 but only the odd terms, so we just need to massage it into the Basel sum. Much smoother in my opinion.

@HoplitaiDFA 6 ай бұрын

@@johnchessant3012 You also more or less work backwards through this proof if you solve the integral from 0 to pi/2 of ln(sinx) dx by replacing sinx with (e^ix)(1-e^(-2ix))/2i

@johnchessant3012 6 ай бұрын

This is a very beautiful argument, but a rather unnatural way of presenting it. The main idea here is that the inscribed angle theorem implies arg(1 + exp(iθ)) = θ/2 (where 0 < θ < π). Integrate both sides from 0 to π, then recognize that the left-hand side is the imaginary part of log(1 + exp(iθ)). Expand this as sum((-1)^(n+1)*exp(inθ)/n) and integrate term by term with respect to θ. We're now left with a sum of 1/n^2 but only the odd terms, so we just need to massage it into the Basel sum. Nowhere was it required to make any steps that would leave the reader scratching their head wondering where we could possibly be going next.

@galoomba5559 6 ай бұрын

So basically going from the other direction?

@zh84 6 ай бұрын

The Basel problem is a favourite of mine. I've never seen this approach before. I never would have thought of it, but it's delightful!

@juniorcyans2988 6 ай бұрын

Amazing!🎉🎉🎉 This less than 20 minutes video took me more than one hour to fully understand! And I could follow all the steps thanks to what I learned in the past year. I felt so happy while I was following it. Thank you very much for bringing this to us!

@DrR0BERT 6 ай бұрын

BOOM! My favorite video of yours. The only way it could have been better is having a back flip in the middle, but that might be expecting too much.

@psychSage 6 ай бұрын

Как по мне, это лучше решение проблемы, из тех, что я когда-либо видел. Конечно, справедливость перестановки предельных операций ещё предстоит доказать, но в остальном, всё идёт просто по маслу!

@vladimir10 6 ай бұрын

Wow, that's a real breathtaking adventure!

@Math_oma 6 ай бұрын

Alternatively, we can see that arg(1+e^(i*θ))) is θ/2 by plotting e^(i*θ), then adding 1, which makes a rhombus. Thus the argument of 1+e^(i*θ) is the argument of the diagonal of this rhombus. But we know from high school geometry that the diagonal of a rhombus is an angle bisector, and thus we have θ/2 for its argument.

@scottgoodson8295 6 ай бұрын

Mathoma has appeared from beyond the pale (you don't know me but I'm a big fan)

@galoomba5559 6 ай бұрын

How do you get a rhombus from e^(i*θ)+1?

@Math_oma 6 ай бұрын

@@galoomba5559 Draw it out. We know e^(i*θ) is on the unit circle in the complex plane, since it has a modulus of 1. Using the parallelogram method of adding complex numbers, e^(i*θ)+1 falls one unit to the right. Note that all sides of this parallelogram have length 1. Thus, it's a rhombus.

@galoomba5559 6 ай бұрын

@@Math_oma Ah, i get it now. That's very nice

@o_fisico_das_ruas 6 ай бұрын

This approach is just the reverse of the proof using the Fourier series of F(x) = x^2. It uses almost the same path but backwards, until it arrives in the integral part.

@tomholroyd7519 6 ай бұрын

Adding zero and multiplying by one are so useful. If you can guess which of the infinite forms of zero or one you need

@hydropage2855 6 ай бұрын

I'm curious about the justification behind letting the integral of z go from 0 to e^iθ so easily. Isn't that a line integral in the complex plane? I feel like that needs some more definition, or you should've talked about how z will travel that path in the complex plane, no? Am I overthinking it?

@kkanden 6 ай бұрын

it's not said explicitly in the video, but if the integrand is a holomorphic function (and 1/(1+z) is besides z = -1) then the value of an integral depends only the endpoints. so in this case, while it's not standard, the notation makes sense.

@hydropage2855 6 ай бұрын

@@kkanden Is that because the Cauchy-Reimann equations essentially make any polya vector field conservative? I think I remember seeing something like that? That a polya vector field doesn’t curl, making it conservative

@kkanden 6 ай бұрын

@@hydropage2855 you got me here because i don't know the linear algebraic technicalities, i am much better versed in the raw theory ;) but from what i know, all the nice theorems and properties of holomorphic functioncs come down to complex derivatives being a "nice" linear transformation so it may very well be what you're saying

@charlievane 6 ай бұрын

Thanks

@matematicagoiania9341 6 ай бұрын

Wow! It’s an amazing result!

@NocturnalJin 6 ай бұрын

Yes but there were some amazing steps along the way, too.

@purplerpenguin 6 ай бұрын

What this video, like so many others, glosses over is the fact that it would be almost impossible to come up with these steps, in a reasonable amount of time, without knowing the method beforehand. So we see a series of "tricks" which probably do not help us to develop a reasoned way of solving a wider class of problems.

@camrouxbg 5 ай бұрын

Well that was impressive and delightful. There's no way in the universe of universes that I would have come up with anything like that, but I did thoroughly enjoy it.

@takyc7883 6 ай бұрын

wow that was cool, its so interesting to see all the different methods of solving the basel problem, keep them coming!

@holyshit922 6 ай бұрын

Method which Euler used can easily be generalized to sums of reciprocals of even powers

@videolome 6 ай бұрын

This is a great video. I am of the biggest critics of this channel and, in all truth, I was impressed. Congratulations!

@godfreypigott 6 ай бұрын

Why would you criticise this channel?

@kristianwichmann9996 6 ай бұрын

Name sounded familiar: Indeed, I started at University of Copenhagen at the same time as Dr. Brink. Small world

@RGAstrofotografia 6 ай бұрын

Nice! Can you do this to find the Apery's constant?

@Nolord_ 6 ай бұрын

Surely not

@RGAstrofotografia 6 ай бұрын

@@Nolord_ Why not? Just use the squine and cosquine functions from the previous video! 🤔

@Nolord_ 6 ай бұрын

@@RGAstrofotografia Go ahead and you'll become famous

@Quroxify 5 ай бұрын

OMG that's just over the top. Thanks 🙏

@divyakumar8147 4 ай бұрын

what did I just saw it was amazing thanks for delivering such quality content

@trananhkiet167 6 ай бұрын

I never thought about it , nice one , keep going .

@TheDannyAwesome Ай бұрын

How does this method break down if you try to use it to find a closed form for zeta(3) in terms of pi?

@MrFlaviojosefus 6 ай бұрын

Wow! This is flabbergasting! Absolutely stupefying!

@MrPictor 6 ай бұрын

Nice to see a circle while solving this problem.

@venkyforvenkatesh 6 ай бұрын

just wondering how do we know mod Z is less than 1 so that infinite geometric series sum can be applied.

@daniloalmeida744 6 ай бұрын

was thinking the same

@willemesterhuyse2547 6 ай бұрын

You chose the number in arg(1+z) equal to theta/2, which is the same as the integral variable. I would have chosen it as phi/2 since it should have nothing to do with the theta in the integral.

@lurkmoar3926 6 ай бұрын

Zeta(2) = Pi^2 / 6

@liamryden558 6 ай бұрын

That derivation was sexy af Mr. P!

@alokdhardubey5030 6 ай бұрын

That was super duper cool !!!!!

@jamesfortune243 6 ай бұрын

e^(i*Theta) has a length of 1. Does the 1/(1-z) have a complex radius of convergence? Does the single value of 1 act similar to an improper integral and did you hand wave past that point? Please excuse my ignorance.

@joelganesh8920 5 ай бұрын

He definitely hand waved past that point. The series representation of 1/(1+z) has radius of (uniform) convergence equal to 1, meaning that you can normally swap the series representation only if the parameter is strictly less than 1 in absolute value. In the paper mentioned in the video (you can find it online for free), they explicitly avoid Abel's theorem (which could sometimes be used to deal with these kinds of issues) and take a different approach by appealing to the Mercator series. It is pretty tricky to get around that issue at the boundary of convergence.

@annaboreatti227 5 ай бұрын

Please, can you explain the details you left? Why 1 + e^{i*theta} is equal to 2*cos(tehta/2}? Pleaseeee

@miloszforman6270 4 ай бұрын

That's simple geometry. 1+exp(iϴ) is the diagonal of the rhombus spanned by 1 and exp(iϴ). Hopefully, you are familiar with the definition of sine and cosine.

@The_Green_Man_OAP 6 ай бұрын

Makes me think of gravitational force components adding up on the surface of a spherical mass of uniform density: g at position r=xi^+yj^+zk^=|r|r^=(R,θ,φ) is: g(r)=μΣ(1/|r-r'|²)(r-r')^=(μ*/R²)(-r^) Where: (GM=)μ*=40.02×10¹³ (SI units: Nm²/kg), R=6400km, μ=μ*/N N= number of component masses. We can go a little further: μΣ(1/|r-r'|²)(r-r')^=(μ/|r|)Σ(1/|r^-r'/|r||²)(r-r')^ r'=|r'|(r')^ is the variable for a particular r=|r|r^. Note that: |r'|≠|r|=R or |r'|=R, such that: 0≤|r'|≤2R. Why does |g|≈π² [m/s²]❔🤔

@Lokalgott 5 ай бұрын

I liked this one very much!

@TheDannyAwesome Ай бұрын

I swear this "zero-th integral" idea is your favourite thing in the world

@nishitdohare 5 ай бұрын

15:33 it would [2cos(x/2)]²

@ingobojak5666 6 ай бұрын

As nice as this is (and I did enjoy it!), it's to me a bit of false advertising. What we have here is a lot of algebra / calculus crunching that at one single point makes use of a geometrical insight to simplify an integrand. When I hear "some geometry behind the Basel problem", I'm expecting some way of showing why summing an infinity of (reciprocal) squares leads to something that has to do with a circle (pi squared) - in a geometrical way. We get nothing of that sort. In terms of the expression we are simplifying, I have no geometrical intuition why this appears, why it's being integrated, what the factor 2/3 is doing there, etc.

@SusanaSoltner 6 ай бұрын

You have a point. Michael should have chosen a different title for this video. I enjoyed it all the same.

@59de44955ebd 6 ай бұрын

That was a long ride. And great stuff.

@kinshuksinghania4289 6 ай бұрын

Just wow!!!

@goodplacetostop2973 6 ай бұрын

19:30

@xinpingdonohoe3978 6 ай бұрын

Are you his wife or something? That's my guess.

@sikeimmike 6 ай бұрын

The penn is mightier than the sword

@EqSlay 6 ай бұрын

3Blue1Brown has a beautiful visualization of this topic.

@Nolord_ 6 ай бұрын

It's different

@godfreypigott 6 ай бұрын

@@Nolord_ It's still "this topic".

@Patapom3 6 ай бұрын

Amazing!

@alikaperdue 6 ай бұрын

It's a good one.

@minwithoutintroduction 6 ай бұрын

7:42 whay (-1)**n+1

@wagsman9999 6 ай бұрын

Wow, awesome.

@rafael7696 6 ай бұрын

Beautiful

@pedromadrid6234 6 ай бұрын

Wow!

@eduardochappa4761 6 ай бұрын

Thank you for mentioning the complex logarithm function, but those switches between sum and integrals and that complex integral you write without specifying its path should be explained and justified by you and not the viewer. It is extremely delicate to change the order of sum and integrals in series that do not converge absolutely in a neighborhood of the region you are interested in. Bad things can happen when you do this in conditionally convergent series, so more care should be taken to explain these changes in integration. Also, I realize you need to have a 1/(1+z) to make your picture beautiful, but if you had not put that (-1)^(n+1) there you would have obtained -Log(1-z), which gives you a similar picture to the one you did. The geometry is the important part, and that is the nice part of this video. If only you were more clear about the switch in integration and sum and the paths of integration, this would be a jewel to learn from.

@joelganesh8920 5 ай бұрын

This is what i don't like too. In the original paper they do a way better job. This video is like the equivalent of "proving" that sqrt(2 + sqrt(2 + ...)) = 2, using an argument where one takes convergence for granted; it's just incomplete. It's especially frustrating that Michael puts it as some kind of homework, like it is the easy part which you could work out in a couple of minutes.

@erikysilvagomes5496 5 ай бұрын

@@joelganesh8920 Would you tell me the title of the original paper? I was not able to find it.

@joelganesh8920 5 ай бұрын

@@erikysilvagomes5496 The title is "A Solution to the Basel Problem that Uses Euclid’s Inscribed Angle Theorem" (by D. Brink, 2014 as stated in the video). It is available for free on ResearchGate. I will say that they do not work out the details, but they are at least way more clear on how to work them out if you wanted to.

@carlosduarteconte3858 6 ай бұрын

Amazing!!!

@Bodyknock 6 ай бұрын

At first when I saw the video title I thought this would be similar to the 3Blue1Brown video on the Basel Problem where he shows geometrically how lighthouses surrounding a circular lake have an intensity that, as the lake's radius increases to infinity, approaches the Basel Problem solution. It's a pretty neat graphical solution if you haven't seen it yet. 🙂 kzbin.info/www/bejne/ml7SZJh4btiZotUsi=xIg2HcvqUkHdeiDh

@MyOneFiftiethOfADollar 6 ай бұрын

As excellent as your presentation is, the problem is unmotivated in the sense that you already know the answer. A priori, one would never think of a thing as equalling to 4/3 of the thing minus 1/3 of the thing, UNLESS one already knew the answer and was in the mood to Symbol Mash.... Still very cool thumbnail with circle and angles to motivate the miraculous appearance of PI in the answer!

@joelganesh8920 5 ай бұрын

Yeah I'm unsure why he took this route. The original paper even motivates it the "correct" way, starting at the Mercator series, working its way to the solution to the Basel problem.

@willemesterhuyse2547 6 ай бұрын

Error: the lower bound of the z-integral should be 1.