Video není dostupné.
Omlouváme se.

transforming an infinite sum into a finite sum

Sdílet
Vložit
  • čas přidán 10. 09. 2023
  • 🌟Support the channel🌟
    Patreon: / michaelpennmath
    Channel Membership: / @michaelpennmath
    Merch: teespring.com/stores/michael-...
    My amazon shop: www.amazon.com/shop/michaelpenn
    🟢 Discord: / discord
    🌟my other channels🌟
    mathmajor: / @mathmajor
    pennpav podcast: / @thepennpavpodcast7878
    🌟My Links🌟
    Personal Website: www.michael-penn.net
    Instagram: / melp2718
    Twitter: / michaelpennmath
    Randolph College Math: www.randolphcollege.edu/mathem...
    Research Gate profile: www.researchgate.net/profile/...
    Google Scholar profile: scholar.google.com/citations?...
    🌟How I make Thumbnails🌟
    Canva: partner.canva.com/c/3036853/6...
    Color Pallet: coolors.co/?ref=61d217df7d705...
    🌟Suggest a problem🌟
    forms.gle/ea7Pw7HcKePGB4my5

Komentáře • 53

  • @vanannguyen5365
    @vanannguyen5365 Před 10 měsíci +64

    Fun fact: The identity
    a^4 + 4b^4 = (a^2 + 2ab + 2b^2)(a^2 - 2ab + 2b^2)
    Is also known as the Sophie Germain's identity, named after the French mathematician Marie-Sophie Germain.

    • @demenion3521
      @demenion3521 Před 10 měsíci +1

      was about to right exactly that

    • @danielprovder
      @danielprovder Před 10 měsíci

      She also has a particular set of primes named after her

    • @azzteke
      @azzteke Před 10 měsíci +1

      @@danielprovder after HIM?

    • @danielprovder
      @danielprovder Před 10 měsíci

      @onebronx, @azzteke fixed

    • @urnoob5528
      @urnoob5528 Před 10 měsíci +1

      btw a^69+420b^666 is named after me
      solve the identity urself

  • @demenion3521
    @demenion3521 Před 10 měsíci +18

    that's a very specific, but nonetheless very neat trick. and it's very cool to show that every sum of the form on the lefthand side of the proposition is actually a rational number which you wouldn't necessarily expect from sums like these

  • @MathFromAlphaToOmega
    @MathFromAlphaToOmega Před 10 měsíci +26

    Now do the sum of 1/(4n^4+1) and you should get some nice π's and e^π's. :)

  • @manucitomx
    @manucitomx Před 10 měsíci +15

    Wow!
    And no pesky π’s, ln(2), no e^(-1/x).
    Thank you, professor.

    • @pappaflammyboi5799
      @pappaflammyboi5799 Před 10 měsíci +7

      If any of those values appeared, it would prove that they aren't transcendental numbers. That would be pretty neat if it happened, though.

  • @ConManAU
    @ConManAU Před 10 měsíci +6

    So it’s actually a telescoping sum in disguise. Neat!

  • @goodplacetostop2973
    @goodplacetostop2973 Před 10 měsíci +10

    12:09

  • @hybmnzz2658
    @hybmnzz2658 Před 10 měsíci +2

    The satisfaction when that final expression is 1

  • @veselindimov307
    @veselindimov307 Před 10 měsíci +2

    This trick was completely new for me, as well! Thank you for sharing with us, Prof. Penn!

  • @DrR0BERT
    @DrR0BERT Před 10 měsíci +1

    EXTREMELY clean board.

  • @showri.a9930
    @showri.a9930 Před 9 měsíci +1

    Another way would be this...
    Now sum(1/(n²+(n+1)²) = sum(1/2n²+2n+1)=sum(1/2(n+1)²-2n-1)
    Transposing everything other than the first term at n is 2 from 3rd to second equation we get the proposed equation to have the value 1

  • @tordr
    @tordr Před 10 měsíci +2

    This video pairs perfectly with @Mathologer recent video on Riemann rearrangement theorem.

  •  Před 10 měsíci

    Excellent video. I really enjoyed it.

  • @1991tnh
    @1991tnh Před 10 měsíci

    Great video ❤❤❤

  • @Patapom3
    @Patapom3 Před 10 měsíci

    Amazing!

  • @RandyKing314
    @RandyKing314 Před 10 měsíci

    that is a nice surprise!

  • @Noam_.Menashe
    @Noam_.Menashe Před 10 měsíci +3

    You needed to check that the n=infinity terms go to zero, which they do in this case.

  • @calamitates77
    @calamitates77 Před 10 měsíci

    Isn't the original series just a telescoping series? The generalization using the variable a extends the concept of telescoping series from t_n = a_{n+1}-a_n to t_n = a_{n+k}-a_n where k = 2a in this case

  • @iithomepatnamanojsir
    @iithomepatnamanojsir Před 10 měsíci

    Very nice

  • @tenormin4522
    @tenormin4522 Před 10 měsíci +1

    Could be manipulated so we get zeta(3)? Just shy away from a = 0, but maybe it could be forced somehow. This was my first thought - "we got zeta(3)" then I woke up and stood up from the crapper.

  • @minwithoutintroduction
    @minwithoutintroduction Před 10 měsíci +2

    جميل جدا كالعادة

  • @salkabalani1482
    @salkabalani1482 Před 10 měsíci +2

    wow!!!

  • @chayapholtopar5992
    @chayapholtopar5992 Před 10 měsíci

    This kinda work for the specific form of that fraction , what if the fraction changes to 5n^2 / 18n^5 +33 ?

  • @artichaug1719
    @artichaug1719 Před 10 měsíci +4

    Oh but check this out…😂😂😂

  • @gp-ht7ug
    @gp-ht7ug Před 10 měsíci

    Great

  • @tcmxiyw
    @tcmxiyw Před 10 měsíci

    Cool!

  • @camilocagliolo
    @camilocagliolo Před 10 měsíci +1

    What happens to the upper limit of the sum if 2a is not a natural number? Maybe I missed something.

    • @allanjmcpherson
      @allanjmcpherson Před 10 měsíci +1

      We assumed 2a is a natural number right at the very beginning.

    • @Alan-zf2tt
      @Alan-zf2tt Před 10 měsíci

      Yeh - I fell for that one too

    • @dragonmudd
      @dragonmudd Před 10 měsíci +5

      @camilocagliolo Then we wouldn't have been able to do the change of index at around the 8:00 mark.

  • @oida10000
    @oida10000 Před 10 měsíci +2

    4:25 can some one explain to me where the 1/(4a) comes from? That is random.

    • @yoav613
      @yoav613 Před 10 měsíci +1

      This comes from partial fraction you wil get 2an-(-2an)=4an so you need to divide by 4a to get n.

    • @penguinpenguin-zm2mr
      @penguinpenguin-zm2mr Před 10 měsíci +7

      partial fraction decomposition
      we split the initial fraction as a sum of two: A/(n^2 - 2an +2a^2) + B/(n^2 + 2an + 2a^2)
      A=-B to cancle out n^2 and 2a^2 terms
      and we need 2an*A - 2an*B = n = > 4anA=n = > A = 1/4a

    • @iabervon
      @iabervon Před 10 měsíci

      You can kind of guess the PFD: 1/(f-g)-1/(f+g)=2g/(f+g)(f-g). If you match the RHS against the problem, you're only missing a few things from the numerator, so you can just divide by them in front. This comes up all the time when you have a difference of squares in a denominator.

  • @MDNQ-ud1ty
    @MDNQ-ud1ty Před 10 měsíci +3

    So the question is if all absolutely convergent infinite sums of rational functions can be reduced to infinite sums. The likely answer is no but then what properties does the rational functions have to have so it is true?

    • @Alan-zf2tt
      @Alan-zf2tt Před 10 měsíci

      It is an interesting thought! Does this example completed by Michael represent a single animal on its own or does it represent a class of things?
      Ahhh ... the power of algebraic analysis?

    • @TheEternalVortex42
      @TheEternalVortex42 Před 10 měsíci +1

      Do you mean reduced to finite sums of rational numbers? If so then this is false for any transcendental. Otherwise it's trivial since you can have the sum of a single value.

    • @Alan-zf2tt
      @Alan-zf2tt Před 10 měsíci

      @@TheEternalVortex42 I wonder at times if some transformations introduce spurious answers.
      Mostly because I don't know enough about compositions of transformations.
      As an example .... czcams.com/video/NmJhxa33wnw/video.html

    • @MDNQ-ud1ty
      @MDNQ-ud1ty Před 10 měsíci

      @@Alan-zf2tt There are likely an entire class and on first glance seems to be related to a symmetry in some way. If f,g are rational function with f(x) = g(a+x) - g(a-x) then it the tails of g(x) will cancel.
      Basically there is only a finite "middle" part that will contribute to f(x) in the sum as the rest of the tail will cancel itself(it has a type of symmetric periodicity after some point).
      Those look like solutions to the wave equation also if g is an odd function so not sure if something is going on in there.
      The point is that the function behaves a certain way in it's tail so that terms will cancel out. I think this could get really complex though so I imagine the class is much larger.

  • @user-gs6lp9ko1c
    @user-gs6lp9ko1c Před 10 měsíci +2

    Writing an infinite sum as a finite sum obviously shows the infinite sum converges. Wonder if there are infinite sums that could be manipulated like this in which that is the "easiest" way to show that it converges?

    • @Alan-zf2tt
      @Alan-zf2tt Před 10 měsíci +1

      I agree. A first thought may be: ahh! Great! Second thought: hey wait a minute! Third thought: get a post-grad in here to check it out!
      Fourth though: flippin 'eck - it worked!

  • @andrec.2935
    @andrec.2935 Před 10 měsíci

    👍

  • @wojciechwisniewski6180
    @wojciechwisniewski6180 Před 10 měsíci

    Noice!

  • @ACDCROCKS135
    @ACDCROCKS135 Před 10 měsíci +2

    Here's an obligatory comment asking you how to use math to transform my finite sum of money into an infinite sum of money. Will share $$$ if successful

    • @joelganesh8920
      @joelganesh8920 Před 10 měsíci +1

      Oh that's easy! With Banach-Tarski's Theorem it is possible to decompose your money into a finite number of parts such that after reassembling you are left with twice the amount of bills you had. Now repeat the process until satisfied.
      Now where are my $$$?

  • @timothywaters8249
    @timothywaters8249 Před 10 měsíci

    The answer is always something obvious... the maths are optional.