Sum of cubes

Поділитися
Вставка
  • Опубліковано 7 чер 2019
  • In this video, I give an explicit formula for the sum of cubes, and I show in particular why it’s the square of the sum of integers. It is really clever and neat, enjoy!
    Sum of squares: • Sum of squares
    Subscribe to my channel: / drpeyam

КОМЕНТАРІ • 138

  • @rnjsaudwo
    @rnjsaudwo 5 років тому +22

    Oh my goodness... You solved a question that has puzzled me for long time ... I mean... ever since my high school days. Thank you very very much.!!!

  • @tur2017
    @tur2017 5 років тому +9

    Wow this is a really clever way to get to that equality. I had no idea there could be such intuition behind this problem.

  • @TrimutiusToo
    @TrimutiusToo 5 років тому +11

    You could have derived that area of the big square is actually (N*(N+1))^2 too... By just noticing that single outer side has N+1 squares of side length N
    This would make proof even more awesome

  • @plaustrarius
    @plaustrarius 5 років тому +27

    @0:43 So that means it's the square of the sum of n consecutive numbers!
    Its also the triangular sum of odd numbers!
    1 = 1^3
    3 + 5 = 2^3
    7+9+11= 3^3
    etc.
    So we can write it as an iterated sum!!
    Edit: I now see BPRP has put up a video about iterated sum, it's like you guys plan this =D haha

  • @AhmedHan
    @AhmedHan 5 років тому +4

    Why is this channel not famous enough?

  • @rome8726
    @rome8726 5 років тому +1

    I got it as soon as you drew the squares. Thanks Dr Peyam.👍🏾👍🏾👍🏾

  • @noniakishibusu2433
    @noniakishibusu2433 5 років тому +2

    4:10 "and 4 times N cubed... and gamecube"
    A man with culture

  • @federicovolpe3389
    @federicovolpe3389 5 років тому +28

    Is there a formula for 1+(2^2)+(3^3)+(4^4)...+n^n?

    • @HasXXXInCrocs
      @HasXXXInCrocs 5 років тому +8

      A quick search of the OEIS (online encyclopedia of integer sequences) and google shows no results. I assume this is because of how wildly divergent that series is, but I'd love to see someone try and solve it!

    • @MrCigarro50
      @MrCigarro50 5 років тому +5

      @@HasXXXInCrocs Indirectly I was also benefitted by your commentary. Thank you.

    • @yoavshati
      @yoavshati 5 років тому +1

      @@MegaUpstairs That's n^n, not the sums

    • @MrRyanroberson1
      @MrRyanroberson1 5 років тому

      there is, however, a formula for the sum of k^p

    • @arthurqueiroz5842
      @arthurqueiroz5842 5 років тому

      No.

  • @sea34101
    @sea34101 5 років тому

    That proof was really cool! Added to my favourite videos list.

  • @MrCigarro50
    @MrCigarro50 5 років тому

    Muchas gracias. En estadística cuando hacemos una transformación a rangos, esta suma se vuelve fundamental. Luego ser posible que mis alumnos puedan ver este vídeo es muy importante y motivante a la vez. Muchísimas gracias.

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

    Hmm... that brings back memories!
    40 years ago I worked as a student in an exchange program in Germany and attended a party where I knew of Carl Friedrich Gauss that calculated the sum of the simple. The squares I also knew, but the cubes I did not. And then a passed a note that formulated the cube problem - with a questionmark. I'm not well trained in math.
    It passed around till it got to a mathematician. Immediately he said: I don't know. But then:
    1) Within a minute the boys were dispatched to get pen, paper and calculator. That taught me how organised Germans are - teamwork is their second nature.
    2) All the girls threw their hands in the air and moaned - they KNEW that the boys would have no interest in them - before the problem was solved!
    3) My contribution was that I remarked it was the simple squared.
    4) But I never found the general formula.

  • @g0rgth3b0rg
    @g0rgth3b0rg 5 років тому +1

    This is the most elegant proof of this identity I have seen yet!

  • @AlejandroGomez-wq2gy
    @AlejandroGomez-wq2gy 5 років тому

    25.000th suscriber, really like your videos and proofs

  • @egillandersson1780
    @egillandersson1780 5 років тому

    Perfectly clear ! Thank you Dr 𝜫M

  • @Fdan36
    @Fdan36 5 років тому

    Great video. The algebra trick for the sum of all integers is so neat.

  • @sergioh5515
    @sergioh5515 5 років тому +1

    I always wondered the same thing thank you for clearing this up :)

  • @sanelprtenjaca9776
    @sanelprtenjaca9776 5 років тому +3

    Bravo Dr. Peyam

  • @ed.puckett
    @ed.puckett 2 роки тому

    Thank you, this is so fascinating and beautiful!
    I wanted to share my summary that helped me wrap my head around what your described:
    4 1x1 squares arranged in a 2x2 square
    8 2x2 squares surrounding the previous inner 2x2 square
    12 3x3 squares surrounding the previous inner 6x6 square
    16 4x4 squares surrounding the previous inner 12x12 square
    20 5x5 squares surrounding the previous inner 20x20 square
    ...
    4n nxn squares surrounding the previous inner 2Tnx2Tn square where Tn = n(n+1)/2 = n-th triangular number
    Each successive layer consists of:
    + 4 nxn corners
    + n-1 nxn squares extending of each of the 4 sides
    = (4 + 4*(n-1)) nxn squares = 4n nxn squares
    Note: each side extension of each layer "fits" because it is subdividing (n-1)x(n-1) squares into n-1 pieces

  • @benjaminbrady2385
    @benjaminbrady2385 5 років тому +45

    How do you even spot this kind of stuff? Are you secretly a wizard?

    • @sahilbaori9052
      @sahilbaori9052 5 років тому +1

      That requires some deep-thinking and good observation.

    • @easymathematik
      @easymathematik 5 років тому +3

      It's not sooo difficult.
      He knows the sum of first powers, second powers, third powers and so on.
      This relation between summing up cubes and summing up natural numbers and square them is not secret result.
      Because of the square on the right hand side it is natural to consider the area of squares.
      Before somebody misunderstood me... I don't want to say it is "easy" in conventional sense. But his level allows him to think about in a mathematical "natural" way. That's makes it quite "easy". That's all.

    • @benjaminbrady2385
      @benjaminbrady2385 5 років тому +3

      @@easymathematik Understandable but yeah, there was a slight misunderstanding. My question was focused on why someone who makes videos about linear algebra and integration is able to spot a relation like that without writing down and attempting a full proof

    • @easymathematik
      @easymathematik 5 років тому

      @@benjaminbrady2385 I can't follow you, pardon.
      He shows a (one out of different) possibility to proof it.
      Where is your problem?

    • @benjaminbrady2385
      @benjaminbrady2385 5 років тому +3

      @@easymathematik Yeah, he could've taken time to prove it. I just think that it's unlikely that he took time out of his day to actually prove it which makes me think that he actually came up with this in his head, hence my amazement

  • @JLConawayII
    @JLConawayII 5 років тому

    This explanation is far better than mashing several Play-Doh cubes together to try to figure out what's going on.

  • @AlwinMao
    @AlwinMao 5 років тому

    0 dislikes 100% deserved so elegant so pleasurable

  • @colleen9493
    @colleen9493 5 років тому +2

    So cool!

  • @MrDannyDetail
    @MrDannyDetail 5 років тому +1

    Wow, weirdly this video literally launched itself on my computer, I wasn't even using youtube at the time it suddenly started playing unbidden. But I love his enthusiasm for maths and will look out for more of his videos for sure.

    • @drpeyam
      @drpeyam  5 років тому

      It’s a sign! 😄

  • @Vampianist3
    @Vampianist3 5 років тому

    Actually proving this algebraically is quite nice too. Expanding the square of sum you get sum of squares from 1 to N plus sum[2 to N](i^2(i-1)), leaving 1 out, the rest simplifies to sum[2 to N] i^3, but 1=1^3 so you get the result. That said, you still win because of the nice picture ~

  • @mrflibble5717
    @mrflibble5717 5 років тому +1

    Excellent!

  • @PackSciences
    @PackSciences 5 років тому +2

    When I learnt about this identity, I checked on the proofwiki "Sum of Sequence of Cubes
    " and it turned out there were many different proofs for it.
    You chose the visual demonstration but my favorite is the one by recursion.

    • @plaustrarius
      @plaustrarius 5 років тому

      Recursive proof FTW

    • @erikkonstas
      @erikkonstas 5 років тому

      He did mention the inductive proof.

  • @ulyssedurand6810
    @ulyssedurand6810 5 років тому +1

    Hello from France (thank you Dr Peyan, I love what you do, I am a highschool student, and when I can understand what you are doing I am very impressed)

    • @drpeyam
      @drpeyam  5 років тому +1

      Salut!!! 😄

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

    Great video! Σn can be also be derived using the area of rectangle and Σn² using the volume of cubes. I thought Σn³ would require 4th dimension but you amazingly did it with the area of squares!

  • @eliyasne9695
    @eliyasne9695 5 років тому

    Beautiful!

  • @bagusamartya5325
    @bagusamartya5325 5 років тому

    Neat solving methods like this is one thing I love about math

  • @RemunJ66
    @RemunJ66 5 років тому

    Like your enthusiasm as well. Thanks for uploading your math Dr. Peyam. 👌😉

  • @tarunpurohit6522
    @tarunpurohit6522 5 років тому

    U are solved a thing that I cound't for a long time Dr. peyham yeah:)

  • @The_Professor123
    @The_Professor123 5 років тому +1

    very cool :) thanks for sharing

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

    Watching Your Videos make me Happy☺

  • @completeandunabridged.4606
    @completeandunabridged.4606 5 років тому +1

    Ok now this is epic

  • @mipmip4575
    @mipmip4575 5 років тому

    super awesome derivation!

  • @williamperezhernandez7331
    @williamperezhernandez7331 5 років тому

    A few weeks ago, tried to prove this without using induction. Didn't think of this cool geometric proof. Did find a nice double summation.
    Sum_{i=1,...,n-1}Sum_{j=1,...,i} j^2 = n×(Sum of squares) - Sum of cubes.
    So double sum gives n×n(n+1)(2n+1)/6 - [n(n+1)/2]^2 = n^2 (n^2 - 1)/12

  • @elementsofphysics7324
    @elementsofphysics7324 5 років тому +1

    Hey mate, this is dope! You're on @3blue1brown 's path... Please don't stop! :)

  • @tamimabdullah4638
    @tamimabdullah4638 5 років тому

    Thank you very very much sir . You are awesome .

  • @alejandro54683
    @alejandro54683 5 років тому

    Dr. Peyam
    I must admit that you noticed something ... Mathematics is even more beautiful when you can find a representative graphical explanation.
    After all, this is how the Greeks and physicists got used to thinking a long time ago.

  • @aram9167
    @aram9167 5 років тому +1

    I was wondering about whether or not this was a coincidence or not since Calc II days, thanks Dr. πm

  • @erikkonstas
    @erikkonstas 5 років тому +1

    Nice geometry proof!

  • @drsuper8180
    @drsuper8180 4 роки тому +1

    Very nice. Yesterday I had just done a similar visual proof with actual blocks (I have a collection of original Wooden Deines Blocks). Just imagine that your squares all have a height of 1 then you can make cubes out of them and your square are the slices of height one for each cube of sides 1,2 ,3 3 etc. I am wodering if there are visual proof for all powers beyond 3?

  • @adolfocarrillo248
    @adolfocarrillo248 5 років тому +1

    Excellent geometrical approach, receive a big hug in my behalf dear friend 🍻 Cheers. ( I don't know if that is well expressed)

  • @dgrandlapinblanc
    @dgrandlapinblanc 5 років тому

    Hello Dr Peyam's. Great idea. For me I've used a recursive serie for finding the result plus more work. Peyam's^3 !

  • @barutjeh
    @barutjeh 5 років тому

    Last step also follows from the length of the side expressed in just the largest of the squares, which gives N(N+1).

  • @JorgetePanete
    @JorgetePanete 5 років тому

    8:00 That's a cool proof!

  • @shyamdas6231
    @shyamdas6231 4 роки тому

    Thank you sir!

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

    That's really cool sir :)

  • @vtvtify
    @vtvtify 5 років тому

    I was just about to try that! XD

  • @MrRyanroberson1
    @MrRyanroberson1 5 років тому

    sum[1 to n](k^4) = sum[0 to n-1]((k+1)^4) = sum[0 to n-1](k^4 + 4k^3 + 6k^2 + 4k + 1) = five sums. The last three sums can be determined (as each is dependent on the next) to be n(n-1)(2n-1) (6 * sum of k^2), 2n(n-1) (4 * sum of k), and n (sum of 1), also considering the index which changes things from the normal setup. so we have (sum of fourths from 1 to n) = (sum of fourths from 1 to n-1) + 4(sum of cubes from 1 to n-1) + n(n-1)(2n-1) + 2n(n-1) + n; therefore (subtracting the ^4 sums from 1 to n-1) we get n^4 = 4(sum of cubes from 1 to n-1) + n(n-1)(2n+1) + n = 4(sum of cubes from 0 to n-1) + (2n-1)n^2, subtracting, dividing, and factoring we get (n(n-1)/2)^2 = sum of cubes from 0 to n-1, and finally with a shift of index (just adding n^3 to the end) we get that the sum of cubes is (n(n+1)/2)^2

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

    Neat demo, thanks!
    The only thing I miss is at 2:30. You assume it is 4N squares and do not demonstrate it. There is a mathematical explanation showing that adding exactly 4N squares of size N to the (N-1)th figure (a square of size N(N-1)) makes it the Nth figure (a square of size N(N+1))
    edit:
    after redrawing your construction myself, I got the point: your construction works because the edge size of the nth square is (n+1), which stems from the well-known formula (1+...+n) = n(n+1)/2 you (neatly!! I appreciated that!) demonstrated at the end.
    Some comments complained that this last demo ((1+...+n) = n(n+1)/2) was useless, because you had under your eyes a square whose size is n(n+1) under your eyes. The flow is the other way around: you have it under your eyes and were able to build it precisely because 2(1+...+n) = n(n+1); the fact is only that this demonstration comes too late in your video.
    Thanks a lot again for the nice video :)

  • @SeasOfCheese929
    @SeasOfCheese929 5 років тому

    Plugging -3 into the Reimann Zeta function gives 1/120, which is different from (-1/12)^2. Does that contradict this at all?

    • @easymathematik
      @easymathematik 5 років тому +1

      No it does not.
      Why?
      This values of zeta have nothing to do with the sum of cubes.
      zeta(-3) = 1/120. That's okay so far.
      But zeta(-3) != 1^3 + 2^3 + 3^3 ...
      Because for -3 zeta is not defind.
      zeta(-3) is defind via analytic extension. It has nothing to do with summing up cubes.
      Clear? :)

  • @mehdisi9194
    @mehdisi9194 5 років тому +4

    So geometry is not so bad😉

    • @JorgetePanete
      @JorgetePanete 5 років тому

      geometry is cooler when you understand it

  • @Ayla-qw6jg
    @Ayla-qw6jg 5 років тому

    Hi, I will next year be a college student in physics. And I was asking myself the question : would this proof be considered as formal and so, would you give all the points to a student making this kind of proof?
    Thank you for recording this video because I lately asked myself the question of why it was the case ^^

  • @HerbertLandei
    @HerbertLandei 5 років тому +1

    Very elegant! Now please the closed form for Sum (1/i^3)

  • @abdulalhazred5924
    @abdulalhazred5924 5 років тому

    that's rather nice

  • @richardfredlund3802
    @richardfredlund3802 5 років тому +6

    'series'-ously :)

  • @prasaddash5139
    @prasaddash5139 5 років тому

    That's a classic

  • @HoSza1
    @HoSza1 5 років тому

    Let me introduce you to the Faulhaber's formula, the mighty beast that does the same trick but not only for k=3 but for every positive integer k.

    • @elementsofphysics7324
      @elementsofphysics7324 5 років тому

      Thank you for this comment, I've just read the Wikipedia page about it, very interesting. You should make a video about it! :)

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

    Thank you. I've always found the induction method to be vaguely unsatisfying .

  • @shinli256
    @shinli256 5 років тому

    Cool! I thought it's just a coincidence!

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

    เจ๋ง

  • @isaacnewton1545
    @isaacnewton1545 5 років тому

    Can we take it as rigours proof ?

  • @PradeepSharma-ob2pc
    @PradeepSharma-ob2pc 5 років тому +1

    Sir i am having problem in finding the roots of x^3+48x^2+49x+1
    Please help

    • @drpeyam
      @drpeyam  5 років тому

      en.m.wikipedia.org/wiki/Cubic_function

    • @PradeepSharma-ob2pc
      @PradeepSharma-ob2pc 5 років тому

      Sir but according to rational root theorem the rational root satisfying the equation is either +1 or -1 only but both does not satisfies the equation

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

      There are no sign changes therefor only imaginary roots. See Deacates sign rule.

  • @MrRyanroberson1
    @MrRyanroberson1 5 років тому

    your proof makes me think... is there an analogue in 3d? is it truly possible to guarantee that always there will be an integer number of cubes of side n+1 that can envelop the previous iteration composed of n? 8 * 1^3, + (27-1) * 2^3, + (4^3 - 2^3) * 3^3, it appears so. the sum from 0 to N of the terms: ((k+1)^3 - (k-1)^3) * k^3 = 8 * the cube of the sum of integers. In 2d, there seems to be this guarantee that ((k+1)^2 - (k-1)^2) = 4k, which is very simple, but let's see for cubes: k^3 + 3k^2 + 3k + 1 -k^3 + 3k^2 -3k +1 = 6k^2 + 2, less easy. So, we have a two-termed sum: sum from 0 to N of (6k^5 + 2k^3) = (n(n+1))^3, and you just calculated the sum of cubes to be (n(n+1)/2)^2, so we can subtract twice that value from both sides to very easily (and i think very beautifully) calculate the sum of fifths! this is absolutely amazing! maybe you can do a video about some of these? or maybe there's a bigger pattern here? 6 * the sum of k^5 = (n(n+1) - 1/2) * (n(n+1))^2, so the final result is something to the order of (2n^2+2n-1)(n(n+1))^2 /12, which is indeed correct.

    • @MrRyanroberson1
      @MrRyanroberson1 5 років тому

      i wonder... yes. this seems to be generally true as well: you only need an N dimensional space to calculate the sum of k^(2N-1), as the volumes of the partial cubes are k^N, but their quantity is proportional to the *surface* of said cubes, which is k^(N-1), giving the k^(2N-1) term. So in 1d, you could sum the integers in order to calculate... the sum of integers. :P ((k+1)-(k-1)) * k = 2k, nothing special XD, but still the pattern exists.1->1, 2->3, 3->5, 4->7

  • @kamehamehaDdragon
    @kamehamehaDdragon 5 років тому

    Woow

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

    And there i was, expecting a geometric proof using hypercubes :(

  • @martinepstein9826
    @martinepstein9826 5 років тому +2

    My one complaint is that at the end you show a standard proof of the triangular sum formula, but there's already a proof of it staring us in the face on the board! The side length of the square you drew is n+1 segments of length n.

    • @MichaelRothwell1
      @MichaelRothwell1 5 років тому +1

      Yep, I spotted that too.
      The fact you point out is also the missing step in Dr. P's argument.

    • @elementsofphysics7324
      @elementsofphysics7324 5 років тому

      Yes, it would have been so neat to have the sum of integers, the sum of cubes and the link between them in just one graph!

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

    Now do sum of n^4 in 2d.

  • @cobalius
    @cobalius 4 роки тому

    Can you then do this?:
    sum(i=1, n; i^5) =
    (sum(i=1, n; i^3)^2 =
    (sum(i=1, n; i)^4

    • @drpeyam
      @drpeyam  4 роки тому

      Sadly no, it’s not that easy

  • @Mathmagician73
    @Mathmagician73 5 років тому +1

    Sir pls solve value of
    -4^-4^-4^-4........ infinity =????

    • @eliasarguello9961
      @eliasarguello9961 5 років тому

      Mathmagician that does not evaluate to anything. Infinite titrations do not work for all inputs, there is an interval of real numbers such that only those numbers can be inputs of an infinite titration. -4 is not in that interval.

    • @eliasarguello9961
      @eliasarguello9961 5 років тому

      Mathmagician if ur wondering, that interval for the domain is e^(-e)

    • @Mathmagician73
      @Mathmagician73 5 років тому

      My question is (-1)*4^(-1)*4^(-1)*4^........ infinity
      i have solution i prove this.......

    • @Mathmagician73
      @Mathmagician73 5 років тому

      (-4)^(-4)^(-4)^....... infinity this question have no solution but
      (-1)*4^(-1)*4^(-1)*4^........ have solution just try one time

    • @eliasarguello9961
      @eliasarguello9961 5 років тому

      Mathmagician I just tried your problem. Using your corrected problem and properties of the Lambert W function, the answer should be -1/2. I checked convergence over the real numbers and it does converge to -1/2 (or -0.5, whichever way you prefer to write it.)

  • @mundodejoel
    @mundodejoel 5 років тому

    blackpenredpengreenpen hahah

  • @ab_lk
    @ab_lk 5 років тому

    sum of cubes but now with squares

  • @yrcmurthy8323
    @yrcmurthy8323 5 років тому +1

    No dislikes

  • @user-sj2vg8hb5q
    @user-sj2vg8hb5q 5 років тому +1

    Has someone been steeling bprp's black markers 😂

  • @qubix27
    @qubix27 5 років тому

    Think Twice wants to know your location

    • @erikkonstas
      @erikkonstas 5 років тому

      Berk... er, I mean, nobody give his location to anybody else he is precious!!!

  • @alastairbateman6365
    @alastairbateman6365 5 років тому

    Clever but over complicated and embellished to my way of thinking and the reasoning gets muddled. Far, far simpler is to take the 'difference of squares' 4^2 + 3^2 = 7. Multiply thro' by 7^2 to give 28^2 - 21^2 = 7^3. 28 & 21 are of course triangular numbers. 'SIMPLES'!

  • @WizardOfArc
    @WizardOfArc 5 років тому

    Excellent!