Solved simply: the impossible integral

Поділитися
Вставка
  • Опубліковано 24 лис 2024

КОМЕНТАРІ • 128

  • @mathemaniac
    @mathemaniac  3 роки тому +137

    Integral calculators hate him, see how he computed this integral with one simple trick.

    • @farissaadat4437
      @farissaadat4437 3 роки тому +6

      Nice video!
      Is (f(R)-f(R-dR))/dR as opposed to (f(R+dR)-f(R))/dR just to make the law of total expectation application a bit simpler?

    • @mathemaniac
      @mathemaniac  3 роки тому +9

      It is just to make the expansion simpler - we can't really expand (R / R + dR)^4 that simply, or alternatively, you have to move (R + dR)^4 to the other side, so this is just more convenient for the explanation.

    • @farissaadat4437
      @farissaadat4437 3 роки тому +1

      @@mathemaniac makes sense thanks.

    • @jayantanayak4981
      @jayantanayak4981 3 роки тому +3

      Hey! This is a nice channel. I just love it. However I need some guidance.
      Please tell me which video or playlist should I start from so that I can enjoy it fully.

    • @mathemaniac
      @mathemaniac  3 роки тому +2

      @@jayantanayak4981 Can't really recommend as I don't know your maths level and interests, but for this video, it is actually the finale of a video series, so if you want, go check out the video series "Average distance between two points in a unit disc" and watch it in full.
      Also done the "Essence of Group Theory" video series, which is about, you guessed it, group theory.

  • @gamedepths4792
    @gamedepths4792 3 роки тому +120

    The differential equation part feels like too good to be true

    • @mathemaniac
      @mathemaniac  3 роки тому +27

      Yes, indeed - the sheer simplicity is just mind-blowing, but it is indeed true :)

    • @yqisq6966
      @yqisq6966 2 роки тому +3

      Like a magic trick out of thin air.

  • @kummer45
    @kummer45 2 роки тому +8

    This is how math should be shown. NO step skipping but at the same time making it fast so the user can stop the video and see the details for himself.
    Now this is a great video.

  • @bobbysmith3445
    @bobbysmith3445 3 роки тому +79

    Mathemaniac: Your first instinct might be to use substitution, or integration by parts, or even change of variables
    Me, an applied mathematician: haha Monte Carlo integration go brrrrrrrrrrr

  • @djsmeguk
    @djsmeguk 3 роки тому +52

    I think the most unexpected part of that video is that the average distance in a unit ball is a rational number!

    • @cxpKSip
      @cxpKSip 2 роки тому +1

      True, considering pi is ever present when dealing with circles.
      However, using polar coordinates (r,theta,phi), it becomes a triple integral, where you look at the areas of circles of radius cos(phi)

    • @marinchan6334
      @marinchan6334 Рік тому +1

      it is rational for any odd dimension

  • @RedStinger_0
    @RedStinger_0 3 роки тому +32

    Since the last video, I've learned to understand multi-integrals and the jacobian. I now understand the problem way more than before. This is certainly one of the coolest calculus problem's I've seen.
    Also eyyyy, you have pi * 10^4 subscribers!

    • @mathemaniac
      @mathemaniac  3 роки тому +7

      Yes, this is one of those integrals that look intimidating, but actually with a clever trick, it isn't that horrible at all!

  • @emmettnelson7260
    @emmettnelson7260 3 роки тому +16

    That was really cool. I realized as soon as you introduced the functions g and h that they would just be simpler average distance problems as δ approached 0 and got exited for what was coming next.

    • @mathemaniac
      @mathemaniac  3 роки тому

      Indeed, this is just such a cool trick that I need to share it on UA-cam!

  • @luciuskhor554
    @luciuskhor554 3 роки тому +30

    Well done, another beautiful piece of mathematics. Keep it up man. We've got some quality content right here

    • @mathemaniac
      @mathemaniac  3 роки тому +2

      Thanks for the appreciation!

  • @qschroed
    @qschroed 3 роки тому +5

    I have been waiting on a digestible version of the more complete answer for this problem for years! Thank you for this!

  • @farissaadat4437
    @farissaadat4437 3 роки тому +11

    That is an incredible trick and a really well executed explanation!

    • @mathemaniac
      @mathemaniac  3 роки тому +1

      Thanks for the compliment! This trick is so incredible that I just have to share it on the internet!

  • @BCQM_BCQM
    @BCQM_BCQM 3 роки тому +10

    Incredible.
    This method is too clever!

    • @mathemaniac
      @mathemaniac  3 роки тому +1

      Yes, this is very clever, which is why I dedicated an entire video series to this :)

    • @BCQM_BCQM
      @BCQM_BCQM 3 роки тому

      @@mathemaniac Thanks for sharing this with us!

  • @notsojharedtroll23
    @notsojharedtroll23 3 роки тому +3

    To be fair, when I finally saw the equation of the radius of a circle I somewhat knew where the explanation was heading. Good video m8.

  • @yqisq6966
    @yqisq6966 2 роки тому +1

    Holy cow that's a heck of a method... basically imposing a geometric scaling constraint and then magic!

  • @peili3936
    @peili3936 2 роки тому +1

    The animated visualizations of formulas are awsome!

  • @zhuolovesmath7483
    @zhuolovesmath7483 3 роки тому +3

    This video is so so so well made yet few people watch it. Nevertheless, please keep sharing your ideas and I believe everyone here will enjoy this process!

    • @mathemaniac
      @mathemaniac  3 роки тому

      Thanks so much for the kind words!

  • @mathyland4632
    @mathyland4632 3 роки тому +1

    I watched this video when it came out, and I got complete lost. Now I tried again, and it makes sense! This is such a clever method!

    • @mathemaniac
      @mathemaniac  3 роки тому +1

      Yes indeed, which is why I wanted to make a video series about it in the first place!

  • @algorithminc.8850
    @algorithminc.8850 3 роки тому +2

    Thank you ... that was a fun series of videos.

  • @carly09et
    @carly09et 3 роки тому +1

    Nice use of topological properties - {have to rewatch the other videos in this series}...

  • @benYaakov
    @benYaakov 3 роки тому +2

    Even though I hadn't seen and knew the 'c' of calculus , but very glad that I watched it anyhow 😍

  • @hoodedR
    @hoodedR 3 роки тому +2

    Wow that was actually a fun problem to solve for the average distance between two points in the unit ball. Amazing approach and beautiful solution.
    I wonder if the same thing can be done to find the average distances between two points in a unit square

    • @mathemaniac
      @mathemaniac  3 роки тому +1

      Glad you found this problem fun! The use of symmetry means that computing g(R,R) in the square case is not quite straightforward. However, the square case has been covered somewhere else before on UA-cam.

    • @hoodedR
      @hoodedR 3 роки тому

      @@mathemaniac symmetry can still somewhat be exploited by restricting one of the points to move along one (or even half a side). Although it still seems difficult

  • @abbasmehdi2923
    @abbasmehdi2923 3 роки тому +1

    You just hacked the problem .
    Nice

  • @qrubmeeaz
    @qrubmeeaz 3 роки тому +4

    Very nice. This has some implications for what unit balls look like in high dimensions, and how our intuition about the shape of space in 2 or 3 dimensions fails in higher dimensions.

  • @falquicao8331
    @falquicao8331 3 роки тому +2

    I'm not good enough to try the n dimensional case, I'm just here to enjoy the show!

    • @mathemaniac
      @mathemaniac  3 роки тому

      That's cool! I didn't expect everyone to try, but just that hopefully someone might see this as some stimulating exercise, and try it.

  • @taopaille-paille4992
    @taopaille-paille4992 2 роки тому

    This looks like more physics than mathematics yet this was a great video to watch. I wonder how the limit arguments can be stated properly to arrive at the differential equation. I guess you have to assume or show that the functions are C1 or at least differentiable and that there is some kind of uniform convergence maybe

  • @Nithesh2002
    @Nithesh2002 3 роки тому +1

    Enjoyed the video series, keep up the great work!

  • @timurpryadilin8830
    @timurpryadilin8830 3 роки тому +1

    that is amazingly cool way of solving it

    • @mathemaniac
      @mathemaniac  3 роки тому +2

      Glad that you enjoyed it! Can't really take credit for this though - I just followed the paper in the description.

    • @timurpryadilin8830
      @timurpryadilin8830 3 роки тому

      @@mathemaniac still, we would probably never learn that without you!

  • @drvanon
    @drvanon 3 роки тому +1

    Is there any intuitive explanation for why the limit n to infinity would go to the square root of 2? What conclusions can we draw from that about infinite dimensional space?

    • @mathemaniac
      @mathemaniac  3 роки тому +2

      An intuitive but not a very explanatory answer is that in higher dimensions, the sphere behave more and more like lots of spikes. You can even compute the volume of an n-dimensional ball, and the volume shrinks and shrinks down to nothing as n goes to infinity. So eventually, when you sample the points, it will be at the edge of the "spheres" along the coordinate axes, and so the average distance is that between (1,0,0,...,0) and (0,1,0,...,0), which is sqrt(2).
      Yes, this is not a very satisfactory answer, but probably a more "intuitive" one, simply because it is extremely difficult if not impossible to visualise higher dimensions.

  • @oxbmaths
    @oxbmaths 3 роки тому +2

    Nice video! Interesting that the average distance in n-dimensional space has π in it when n is even but not when n is odd. Wonder if there is an intuitive explanation for this.

    • @mathemaniac
      @mathemaniac  3 роки тому +1

      I don' think there is an "intuitive" explanation in the sense of "oh, obviously!" because we can't even visualise higher dimensions. The reason seems to be that when actually doing the integral, you will encounter a term cos^(n+1) theta (just like here, we have cos^3 theta), which provides the extra pi if n is odd; but rational when n is even.

  • @ivarangquist9184
    @ivarangquist9184 3 роки тому

    0:0 This is the part where you scare away any eventual non-mathematicians.

  • @aashsyed1277
    @aashsyed1277 3 роки тому +1

    Wow thanks so much! A lot! It helped a lot!

  • @johnchessant3012
    @johnchessant3012 3 роки тому +2

    This is amazing.

  • @D3SC0N3CT3D
    @D3SC0N3CT3D 3 роки тому +12

    I don't even know what a integral is, I'm still going to watch it tho, I'm curious.

    • @mathemaniac
      @mathemaniac  3 роки тому +3

      The trick where we reduce the problem into a simpler one is the very clever bit, and doesn't really require any integration at all - and that's the most important bit of the entire video, not the actual integration that we do at the end.

    • @_Nibi
      @_Nibi 3 роки тому

      an*

    • @lesdervanegas3872
      @lesdervanegas3872 3 роки тому

      Integrals are another set of functions that are piecewise related.

  • @Anonymous-kj6cu
    @Anonymous-kj6cu Рік тому

    Thank you sir finally!

  • @guill3978
    @guill3978 2 роки тому

    How could you calculate the average distance between two random points in a semicircle or in any circular sector?

  • @guill3978
    @guill3978 5 місяців тому

    Can you use it if you got a surface and you want to find the average distancie between two points on that surface?

  • @ivarangquist9184
    @ivarangquist9184 3 роки тому +1

    „I solved it SIMPLY“

  • @tonaxysam
    @tonaxysam 3 роки тому +1

    This is great

  • @JojiThomas7431
    @JojiThomas7431 3 роки тому +1

    Impressive

  • @benweieneth1103
    @benweieneth1103 Рік тому

    I wonder: does the uniform PDF for random points result in the maximum average distance? If not, what PDF would maximize this average?
    EDIT: Sampling points exclusively from the edge of the disc gives a higher average distance.

  • @ridnap
    @ridnap 3 роки тому +1

    I dont understand how the average Distance in the unit Ball tends to sqrt(2) if the Volume of an n-dim. ball tends to 0?

    • @mathemaniac
      @mathemaniac  3 роки тому +1

      You can imagine the unit ball in higher dimensions are "pointier", and so even if the volume tends to 0, distances between points can still grow.

    • @ridnap
      @ridnap 3 роки тому

      @@mathemaniac yeah, I think that makes sense to me. Thanks!

  • @kiiometric
    @kiiometric 3 роки тому +2

    I tried the sphere version... first I got that g(R,R)=3R but I noticed an error so I tried fixing it and now I'm stuck because an integral turns either to infinity or zero, can somebody tell me if rho+=2R.sin(theta)/cos(phi) ?

    • @mathemaniac
      @mathemaniac  3 роки тому

      There shouldn't be any fractions here. In the spherical polars, we use, say, the south pole as our origin. By the way, g(R,R) should be 6R/5 in the three-dimensional case.

    • @kiiometric
      @kiiometric 3 роки тому

      @@mathemaniac thanks! I was placing the origin at the "west" of the sphere, maybe that was it

  • @benburdick9834
    @benburdick9834 3 роки тому

    That's one sexy result.

  • @tipsmatematika2602
    @tipsmatematika2602 3 роки тому +1

    Essence of ring and field please

    • @mathemaniac
      @mathemaniac  3 роки тому

      Thanks for the request! Currently, I couldn't find a unique enough perspective on rings and fields to make videos on them (I have also avoided symmetric groups for my series on group theory for this reason). I would make videos on those if I could find a good enough perspective that nobody has talked about.

    • @tipsmatematika2602
      @tipsmatematika2602 3 роки тому

      @@mathemaniac ok, thanks

  • @MrIneedalifenow
    @MrIneedalifenow 3 роки тому

    Seeing this integral made me cry. Plz no. Be gentle

    • @mathemaniac
      @mathemaniac  3 роки тому

      But the content of the video is hopefully simple - we are not computing it in the usual way, and there is a very clever trick to do this!

  • @hoodedR
    @hoodedR 3 роки тому

    Also how do you go about evaluating the g(R,R) in an n-dimensional ball? The 3D ball was already a bit of a mess for me to deal with but I got it after correcting a few mistakes

    • @mathemaniac
      @mathemaniac  3 роки тому +2

      Read the description to find out how to use n-dimensional spherical polars, and hopefully that should make sense, albeit very tedious.

  • @sli-ci5fw
    @sli-ci5fw Рік тому

    Why is the avg. distance doubled when the radius is doubled? This is intuitive, but there is no solid proof or explanation.

  • @coolmangame4141
    @coolmangame4141 2 роки тому +1

    genius.

  • @umarabdulhadi4840
    @umarabdulhadi4840 3 роки тому

    I love your video, sorry im late :(

    • @mathemaniac
      @mathemaniac  3 роки тому

      There is no need to be sorry :)

  • @hodaali4219
    @hodaali4219 2 роки тому

    Please I need a help in solving integration problem can u help me

  • @mathyland4632
    @mathyland4632 3 роки тому +2

    So many midroll ads :(

  • @laxmiverma1131
    @laxmiverma1131 3 роки тому +1

    Explain how scientists calculate π value

    • @mathemaniac
      @mathemaniac  3 роки тому

      I made a video about that - "How is pi calculated to trillions of digits" a year ago. Check that out if you want.

  • @尾崎元恒-j2u
    @尾崎元恒-j2u 3 роки тому

    この動画は作戦実行当日動画だと考えてます。

  • @CaesarsSalad
    @CaesarsSalad 3 роки тому

    I got lost at the cos(theta)d(theta) = d(sin(theta)) step. What logic is this?

    • @mathemaniac
      @mathemaniac  3 роки тому +1

      It is the usual u-substitution.

  • @honortruth5227
    @honortruth5227 3 роки тому

    ⭐️

  • @digxx
    @digxx 2 роки тому

    Was anyone able to solve the full integral?

  • @andrasfogarasi5014
    @andrasfogarasi5014 3 роки тому +1

    "You won't really be able to do the whole integral"
    aight bet

  • @namesurname7665
    @namesurname7665 3 роки тому

    Elegant

    • @mathemaniac
      @mathemaniac  3 роки тому +1

      Yes, this trick is really elegant, which is why I have to share on UA-cam!

  • @Froxina
    @Froxina 3 роки тому

    idk what this is but pretty cool

  • @berzerksharma
    @berzerksharma 3 роки тому

    NICEEEEEE!!!!!

  • @srijanbhowmick9570
    @srijanbhowmick9570 3 роки тому +1

    Hey buddy , I actually tried solving the exercise you gave , that is to try and find the average distance between 2 points on a sphere/ball , I got a triple integral because of the presence of 3 variables in the spherical coordinates , and I am very very close to the correct answer , in fact I am getting 9R/35 as my answer which is precisely 1/4th of the correct answer . Now I don't really know what's the source of my error , it can be either a calculation error (I checked my calculations at least 3 times) or something else . So umm can you help me rectify my error ? And the hardest part for me is that forget multivariable calculus , our school haven't even yet started integral calculus ! (I am self-taught by UA-cam and books)

    • @srijanbhowmick9570
      @srijanbhowmick9570 3 роки тому +1

      SO SORRY FOR BOTHERING YOU , it was indeed a calculation error , except this everything was smooth sailing thanks to you :) Also , subscribed !

  • @bitterbob30
    @bitterbob30 Рік тому

    This channel scares me. I'm scared.

  • @jyothishkumar3098
    @jyothishkumar3098 3 роки тому

    MindYourDecisions has a similar video on finding the distance between two points in a s̶p̶h̶e̶r̶e̶ square (youtube[dot]com/watch?v=i4VqXRRXi68). But so far these are the only two videos I could find solving this exact problem. All others seem to be about distances from the origin and the square of distances between two points since they're easier.
    I didn't fully watch the previous videos, but I'm not sure if the shape being a circle makes the problem easier or harder. I found another video too that deals with the same problem, but with a square.
    I'll try solving this problem for a sphere myself :)

    • @mathemaniac
      @mathemaniac  3 роки тому +1

      MindYourDecisions made a video on the *square*, not a sphere, right? I do know that video, and it is because of the fact that Presh kind of assumed the knowledge of pdf and the Jacobian seemingly out of nowhere, that I made a video series addressing those concepts in the previous videos so that everyone is on the same page. If you have already learnt all these, you don't need to watch the previous videos.
      I would say that the shape of the circle is much more difficult at first glance, because the limits of integration are more complicated, and even if we change to polar coordinates, there would be cosine inside a square root, and so there is really no hope of tackling the definite integral directly.
      However, because of the rotational symmetry of the setup, the method used here is more suited to the circular case than the square case, but it is, I would argue, much more difficult to come up with this sneaky trick. I mean, at least, I can't think of this method at all.
      The paper listed in the description also addressed the problem for a square, and they also said "and you thought the integral for the square was tough to evaluate directly!", so the circle case being more difficult is not only my opinion haha :)

    • @jyothishkumar3098
      @jyothishkumar3098 3 роки тому

      @@mathemaniac yeah I meant *square. I was watching an MIT Lecture on the average distance on a sphere and that's when I remembered your video and started looking for others who tried to do the same problem.
      Yeah Presh did assume some knowledge out of nowhere so props to you for including them. And yes, it does seem like circles are more difficult despite the symmetry.
      But a wild guess - since you're integration for a circle, couldn't you try integrating with root of a cosine with ellipting integrals, for theta from -pi/2 to pi/2? Looks like there can be an interesting solution to me. Like how Presh did, by reducing the independent variables to the distances between points instead of their coordinates.

  • @TheMazyProduction
    @TheMazyProduction 3 роки тому

    HOLY SHIT

  • @bonniewilson9709
    @bonniewilson9709 Рік тому

    I said no more reaserch ....bye

  • @nicklarry7791
    @nicklarry7791 2 роки тому

    Wrong! My first instinct is to jump off of a building.

  • @shambhav9534
    @shambhav9534 3 роки тому

    So, a complex 15 minute video is called "Solved Simply"?

    • @shambhav9534
      @shambhav9534 3 роки тому

      Or is it because I am not interested in circles and all the information I have on circles is just from school(which is very less, they don't teach anything useful)? I've never watched a maths video so helplessly, my brain is feeling insulted. I'm learning about circles now!(or after a month, haha).

    • @mathemaniac
      @mathemaniac  3 роки тому +1

      "Simply" is obviously in the eye of the beholder - a toddler can't see these maths as simple. What I mean is that for people who have learnt integral calculus, and therefore understand the problem at hand, would find this approach a lot easier than expected.
      All you need to know about circles is the area of it, and how to derive the length of a chord. Nothing more!

    • @shambhav9534
      @shambhav9534 3 роки тому

      @@mathemaniac How to derive the length of a chord, what does that mean? Deriving the length function?

    • @mathemaniac
      @mathemaniac  3 роки тому

      @@shambhav9534 No I mean just finding the length of a chord. It honestly shouldn't be too difficult.

  • @ashotvardanyan4417
    @ashotvardanyan4417 2 роки тому

    I couldn't get the documents.I dont have a subscription. Can someone please send them to me ? Respond and Ill give you my email.