Problem-Solving Trick No One Taught You: RMS-AM-GM-HM Inequality

Поділитися
Вставка
  • Опубліковано 24 лип 2024
  • This inequality is famous in math competitions and in theoretical proofs. But why is it true? The video presents a great geometric visualization and proof for two variables. Pay attention--I'll use this inequality in an upcoming video!
    Desmos.com link
    www.desmos.com/calculator/6kb...
    Link to proofs of generalized case
    artofproblemsolving.com/wiki/...
    Playlist to watch all videos on MindYourDecisions
    • Uploads from MindYourD...
    This is the only channel to feature math topics suggested by people from around the world. Sadly some textbooks, websites, and other channels think math is limited to specific topics from certain countries--and they are vocal about it. Support the channel on Patreon so we can prove math really is universal:
    / mindyourdecisions
    If you buy from the links below I may receive a commission for sales. This has no effect on the price for you.
    My Books
    "The Joy of Game Theory" shows how you can use math to out-think your competition. (rated 4/5 stars on 34 reviews)
    amzn.to/1uQvA20
    "The Irrationality Illusion: How To Make Smart Decisions And Overcome Bias" is a handbook that explains the many ways we are biased about decision-making and offers techniques to make smart decisions. (rated 4.6/5 stars on 3 reviews)
    amzn.to/1o3FaAg
    "Math Puzzles Volume 1" features classic brain teasers and riddles with complete solutions for problems in counting, geometry, probability, and game theory. Volume 1 is rated 4.4/5 stars on 13 reviews.
    amzn.to/1GhUUSH
    "Math Puzzles Volume 2" is a sequel book with more great problems. (rated 4.3/5 stars on 4 reviews)
    amzn.to/1NKbyCs
    "Math Puzzles Volume 3" is the third in the series. (rated 4/5 stars on 6 reviews)
    amzn.to/1NKbGlp
    "40 Paradoxes in Logic, Probability, and Game Theory" contains thought-provoking and counter-intuitive results. (rated 4.4/5 stars on 13 reviews)
    amzn.to/1LOCI4U
    "The Best Mental Math Tricks" teaches how you can look like a math genius by solving problems in your head (rated 4.8/5 stars on 5 reviews)
    amzn.to/18maAdo
    "Multiply Numbers By Drawing Lines" This book is a reference guide for my video that has over 1 million views on a geometric method to multiply numbers. (rated 5/5 stars on 4 reviews)
    amzn.to/XRm7M4
    Connect with me
    My Blog: mindyourdecisions.com/blog/
    Twitter: / preshtalwalkar
    Facebook: / 168446714965
    Google+: plus.google.com/1083366085665...
    Pinterest: / preshtalwalkar
    Tumblr: / preshtalwalkar
    Instagram: / preshtalwalkar
    Patreon: / mindyourdecisions
    Newsletter (sent only for big news, like a new book release): eepurl.com/KvS0r
  • Наука та технологія

КОМЕНТАРІ • 432

  • @morethejamesx39
    @morethejamesx39 6 років тому +641

    Hey this is Presh Talkwalker

    • @JonSebastianF
      @JonSebastianF 6 років тому +70

      Identity crises can be brief but hard-hitting...

    • @Tehom1
      @Tehom1 6 років тому +12

      Because somebody in the comments misheard his name last video, I think.

    • @ffggddss
      @ffggddss 6 років тому +18

      Nah, people have been mis-hearing his name for ages & ages. He's just getting slower.
      Or something.
      Incidentally, you misspelled his name. There's no "e" in it. It ends with "ar."
      Fred

    • @WardenclyffeResearch
      @WardenclyffeResearch 6 років тому +24

      Did you figure this out?

    • @darreljones8645
      @darreljones8645 6 років тому +18

      Since "Walker" is a common English-language last name, I'm sure many people thought his name was "Preshtal Walker".

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

    I learned this for the first time when I was about 40 yrs old. This geometric proof is just so elegant. Such a shame I never encountered it at school or university.

  • @billy.7113
    @billy.7113 6 років тому +117

    *Thank you for the math lesson.* I've gained much more knowledge by watching this than those debatable puzzles.

  • @u5s9e2hb4ijk7bv
    @u5s9e2hb4ijk7bv 4 роки тому +18

    How to get root(ab): Use proportions. Let c be the length of the red segmant. Then a/c = c/b, which implies c^2 = ab, since the triangles are similar.

    • @raihanmaulana3744
      @raihanmaulana3744 8 місяців тому

      how do you know both triangles are congruent?

  • @GermansEagle
    @GermansEagle 6 років тому +280

    Seriously, how have I never heard of this proof.

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

      because this proof only works for two terms, which isn't the most useful form

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

      @@fernandowong5799 we can then apply induction to prove it for n number of terms.

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

      i know it is pretty off topic but does anyone know of a good site to stream newly released movies online?

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

      @Brodie Enrique Lately I have been using FlixZone. You can find it by googling :)

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

      @Kenzo Rowen definitely, I have been using FlixZone for months myself :)

  • @TheOfficialCzex
    @TheOfficialCzex 6 років тому +228

    Fresh Tall Water. Got it.

    • @greg939
      @greg939 4 роки тому +18

      You mean Fresh Saltwater

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

      Presh tall walker

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

      @Sai Sasank presh talwalkar l, his sirname is indian

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

      @@sahilsagwekar no he lives in USA

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

      @@sahilsagwekar r/whoosh

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

    This is the best video you've made thus far. A cool visualization / geometric proof of a useful theorem. Nice job

  • @deadfish3789
    @deadfish3789 6 років тому +52

    It took me quite a while to work out where you got sqrt(ab) and xAM=GM^2. So you could go into those more explicitly

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

      Similar triangles have sides of equal ratios
      GM/x = AM/GM

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

      Yes, so from similar triangles from his diagram:
      h/a = b/h
      ==> h^2 = ab
      ==> h = sqrt(ab) = GM

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

      @@anishkrishnan9698 Thanks a lot!

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

      @@adamwho9801 Aaah that seems easier I took wrote pythogoras equations for three triangles and equated them, 4 steps but yeah works

  • @AnshuKumar-oj8ww
    @AnshuKumar-oj8ww 6 років тому

    You have done everything elegantly. Nice immaculate work ! 👍

  • @Trinexx42
    @Trinexx42 6 років тому +82

    I have algebraic proofs of the inequalities using proof by contradiction:
    First, suppose that RMS

    • @bhardwajr01
      @bhardwajr01 6 років тому +1

      Nevan Lowe u may just suggest that it will be proven by contradiction and leave it to the readers

    • @jaroslavsevcik3421
      @jaroslavsevcik3421 6 років тому +2

      But he wanted to provide the solution too. It is his right. So next time let your suggestions at home please.

    • @dorijancirkveni
      @dorijancirkveni 6 років тому +12

      Jaroslav Ševčík
      The joke: y=1-x^2
      You: (0,0)

    • @marcusyang7686
      @marcusyang7686 6 років тому +1

      Jaroslav Ševčík he is obviously just joking. In most math Olympiad books there's always statements like this.

    • @facitenonvictimarum174
      @facitenonvictimarum174 6 років тому +2

      Nevan Lowe ...Thanks for sharing that with us, a math lesson in itself, and for taking all the time that must have been necessary to present it so well with the math symbol limitations of a computer keyboard. Good job!!

  • @titan1235813
    @titan1235813 6 років тому +2

    IMO, this is seriously one of your best videos ever. This one gets to show us that Geometry, I believe, is intrinsically linked to all of Mathematics, even with the most seemingly unrelated topic. What a beautiful proof, Presh. Thank you!

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

    My mind gets blown everytime when I watch your stuff. I can barely keep up.

  • @shanmugasundaram9688
    @shanmugasundaram9688 6 років тому

    The video description of all the means merging together when a=b is wonderful.

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

    Really helpful. Thank you very much. I am a twelth grader and have never seen such an interesting proof of this inequality.

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

      amazing ...ua-cam.com/video/hdgvuORnEiA/v-deo.html

  • @koenth2359
    @koenth2359 6 років тому +4

    Wow, very amazing and elegant! We can even see other things from the graph, for example that AM/RMS >= HM/GM.
    Explanation: These ratios are the cosines of the top angles. And the top angles are arctan((b-a)/2GM) and arctan((b-a)/2AM) respectively. Since arctan is ascending and AM and GM are in the denominator, the right top angle is smaller than the left top angle. And since cosine is a descending function on the interval [0, pi/2], the ratio AM/RMS is larger (or equal) than RM/GM.

  • @bernhard5295
    @bernhard5295 6 років тому

    Really nice prove! I would like to see more of this format.
    Thumps up👍

  • @popogast
    @popogast 6 років тому

    Most useful contribution of the last weeks. Thank You.

  • @GermansEagle
    @GermansEagle 6 років тому +17

    Thats awesome man! Nice video !!!!

  • @notspaso6644
    @notspaso6644 6 років тому +1

    Great one! Hope to see more videos like these in the future ^_^

  • @Etothe2iPi
    @Etothe2iPi 6 років тому

    Great idea to pepper your videos from time to time with this kind of educational content!

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

    A video on why each of these means is useful would be nice. I'm not a mathematician and sure I can go look it up myself, but it would be much easier for me if you did it. Jokes aside, an in depth explanation of these various means would make a video I would definitely watch.

  • @PhilipBlignaut
    @PhilipBlignaut 6 років тому +1

    The best description regarding means ever!

  • @isaacpark1016
    @isaacpark1016 6 років тому +1

    Beautifully demonstrated. Love it!

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

      amazing ...ua-cam.com/video/hdgvuORnEiA/v-deo.html

  • @PrithwirajSen-nj6qq
    @PrithwirajSen-nj6qq Місяць тому

    Enjoyed very much. Waiting for such type of videos.
    A nice visualised video.

  • @reidflemingworldstoughestm1394

    One of your best videos so far.

  • @sanseng000
    @sanseng000 6 років тому

    Simply superb! Super excellent!
    Awesomely simple.

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

    What a beauty! That was awesome! Thank Sir!

  • @erikmingjunma9403
    @erikmingjunma9403 6 років тому +2

    Alternatively: derive the general power mean and explain the intuitions behind them (with the sum fixed, the greater power has more impact when elements are more spread out)

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

    What about Gauss's arithmetic, geometric mean? (Useful for elliptic integrals.)

  • @Zack-xz1ph
    @Zack-xz1ph 5 років тому

    I had to learn about the root mean square when I was reading Descartes' Geometry but I never learned this. Fascinating

  • @user-uo8hc1ju4l
    @user-uo8hc1ju4l 2 роки тому

    helpful indeed, a lot better than complicated ways, my goodness, thank you for this super cool way. loved it

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

    Très belle démonstration géométrique ! Bravo.

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

    I was searching for such geometric approach for proving it today I am glad to watch this video, thanks!

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

      amazing ...ua-cam.com/video/hdgvuORnEiA/v-deo.html

  • @ashleypkumlvu2947
    @ashleypkumlvu2947 9 місяців тому

    Thank you, I always poor in math, but your lesson truly raises me up. I am in a tremendous excitment of handle some of these difficulties. Thanks again!💕💕💕

  • @iamyoda7917
    @iamyoda7917 6 років тому +19

    Real math! Hooray!

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

    I should be similar with all these series. Arithmetic Means is used in Statistics. Geometric means is used in calculation of population and compound interest. Wonderfully you have proveded some associations with other two.

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

    Nice. I am beginning to be addicted to your math problems.

  • @AmanKumar-vd1jc
    @AmanKumar-vd1jc 4 роки тому

    Gajab Bhai..I heard first time about root mean square

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

    Excellent proof dear. Zordaar zabardast zindabaad

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

    You, indisputably have the best technical/math presentation platform on the web. I would be filthy rich if I had a buck for every comment you have received begging you to disclose how you pulled this off?
    The animation and capacity to explain and erase stuff clearly is world class.

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

    Cool explanation. Thanks, amigo!

  • @izakj5094
    @izakj5094 6 років тому

    Amazing video, please do more of such proofs

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

    Me a 36 years old failure in both professional and personal life loves your video try to solve questions, watch them many times. They are lifeline for me.

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

    Hi Mr Presh thanks a lot for this beautiful explanation and believe me nobody can do better than you did . Perfect just perfect .

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

    Very nice, such a meaningful demonstration..

  • @rolfdoets
    @rolfdoets 6 років тому

    Very nice demonstration!

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

    Thanks, I have to visualize mathematics geometrically to really understand, so this was cool

  • @johnchristian5027
    @johnchristian5027 6 років тому +13

    Whenever he said 'mean' I heard 'meme'

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

    Beautiful demonstration.

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

    What an elegant set of proofs

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

    Very nice description.

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

    you can also use concavity of graphs to extend it to infinite positive no.s

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

    The RMS is also used in the kinetic theory of gases in thermodynamics

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

    This video deserves 1M+ likes, bcz it is really super awesome, and super cool idea .. No one ever told me this thing

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

    Sir,it is very useful video for all mathematics learner's:-CHVSN as a INDIAN mathematician

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

    Interesting, beautiful and useful. Thanks

  • @ffggddss
    @ffggddss 6 років тому +4

    + Presh: At 3m50s: You can also quickly verify that this altitude is the GM by similar triangles, because a/h = h/b
    And I really like your geometric demo of that chain of inequalities!!
    BTW, you might mention that all these means are related by being "functional transforms" of the simple (arithmetic) mean. A "transformed mean," TM, using a monotonic function f, is:
    TM( ֿx ) = f⁻¹(AM(f( ֿx )))
    where ֿx = x[1...n]; AM(f( ֿx )) = (1/n)∑ᵢ₌₁ⁿ f( xᵢ )
    So:
    • when f(x) = x², f⁻¹(x) = √x, and TM = RMS
    • when f(x) = x, f⁻¹(x) = x, and TM = AM
    • when f(x) = ln(x), f⁻¹(x) = eˣ, and TM = GM
    • when f(x) = 1/x, f⁻¹(x) = 1/x, and TM = HM
    Neat, huh? ;-)
    PS: I suspect that some property of each function - maybe something involving the second derivative - can be used to arrive at those inequalities, but I haven't delved into that.
    Actually, looking at the list, I'm getting a very strong hunch . . .
    Fred

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

      Fred: your hunch is correct. This all relies on Jensen’s inequality applied generally to the functions x^a. This leads to the so-called power means, which generalize the four special cases mentioned here.

  • @michaelempeigne3519
    @michaelempeigne3519 6 років тому

    Nice proof, I have never seen such proof although I have known about the inequality

  • @twistedsim
    @twistedsim 6 років тому

    This video was interesting. Thank you

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

    Presh you re just too awesome!!

  • @dlevi67
    @dlevi67 6 років тому

    +MindYourDecisions I would state the geometric mean - even for two numbers - as ab^(1/2). Differently from RMS, where the use of square and square root would not change with the number of terms, the power (or root) order in a geometric mean will change.
    I would put the segment at 7:00 at the front and use the fractional power notation for the root: this way it's clear one is always _dividing_ something by the numerosity of the data, then state this for n=2 and only last change the power notation to a root, if you think it's more familiar/easier to understand for people when looking at right triangles.
    Other than that, nice video and animation; thank you!

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

    Awesome....thanks...

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

    Our sir taught us
    He used it in many qns
    This is a really important and interesting inequality

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

    6:37 That animation seems to use way to much CPU for his PC (volume up)

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

    Nice explanation sir....thank u...

  • @pholioschenouda5395
    @pholioschenouda5395 6 років тому

    What program do ypu use to illustrate your problems???

  • @NikhilKumar-im8ls
    @NikhilKumar-im8ls 3 роки тому

    A beautiful proof. Thanks

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

    what would a and b have to be in order for the four values to be positive numbers?

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

    Please make similar type of video on circumcentre, orthocentre, incentre,

  • @turtlellamacow
    @turtlellamacow 6 років тому +1

    Finally a respectable video from this channel! How have I never seen this geometric argument

  • @susmitamishra8436
    @susmitamishra8436 6 років тому

    Thanks very much..... I was able to prove only A.M, G.M and H.M

  • @icew0lf98
    @icew0lf98 6 років тому

    before you said you made it in desmos, I thought to myself I should make this in desmos lol

  • @fizixx
    @fizixx 6 років тому +1

    Very interesting! This is one of my favorites! Thanks

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

    Your content is amazing

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

    thanks for wonderful geometry and you

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

    Thank-you!

  • @fuminocchi4533
    @fuminocchi4533 6 років тому

    You're a genius... how you can do such things like that in math...

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

    That was beautiful bro..

  • @bhardwajr01
    @bhardwajr01 6 років тому

    I really wanted this video....
    Thnx

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

    Excellent.

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

    Great..Well done

  • @fmakofmako
    @fmakofmako 6 років тому

    Beautiful champ. I liked it and have no criticism.

  • @woodchuk1
    @woodchuk1 6 років тому

    How about adding the contraharmonic mean to this? It's always greater than or equal to the RMS for any given data set...essentially it's the arithmetic mean of the squares of all the values divided by the arithmetic mean of the values. So for (3,4) it's equal to 3.571, which is greater than the RMS of 3.536. Could that be interpreted geometrically?

  • @full-metal_zero0683
    @full-metal_zero0683 5 років тому

    Where can I send you my doubt ?

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

    i have the algebric proof without using contradiction and I knew this inequalities a long before
    andthe inequalities only work if both a and b are positive

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

      archana rathore works also for negative but the signs flip

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

    What about the median and the mode? They, too, are also types of arithmetic means.

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

    is the hypotenuse length right doe?

  • @darreljones8645
    @darreljones8645 6 років тому

    In the two-variable case, at least, it's easy to show algebraically equality holds if a=b. Just set the two variables equal, and simplify all four expressions to a.

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

    Hello Mr presh . Hello everyone . When i went further ive found that the intersecting point of HM and RMS ALWAYS LAYS DOWN ON AN EYE SHAPE AND VERY BUTTOM POINT OF THE HM LAYS ON AN OVOID SHAPE ( Yes egg shape not an ellipse neither anoval ) and of course the midpoint of the segment GM LAYS ON AN ELLIPSE .

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

    at 3:48 where do we get the sqrt ab from?

  • @xaxuser5033
    @xaxuser5033 6 років тому

    Nice geometric proof i knew just how to prove it by algebra

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

    Bring more like this

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

    Visual proofs of algebraic theorems are always great.

  • @subhankarpramanik2224
    @subhankarpramanik2224 6 років тому

    This is really very helpful.....thnku...sir😁😁😁😁😁

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

    Fisrt time i understood "Fresh water" !

  • @srinathdas398
    @srinathdas398 6 років тому

    Sir,, if we know the diference of 'a' and 'b', and there is a problem like R.M.S. = x(A.M.), can we define 'x'??

  • @daklhs6460
    @daklhs6460 6 років тому

    Beautifull proff.

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

    thanks you very much.

  • @andabata43
    @andabata43 6 років тому

    Frank K.
    There is also a rather beautiful generalization: Let t be any real number, and for any POSITIVE x1, x2, ..., xn, define M[t](x1,x2,...,xn) = (Sum[(xk)^t, {k,1,n}])^(1/t). Then if t1 < t2, we have M[t1] ≤ M[t2], with equality iff all xk are equal. In particular, M[-1] = HM, M[0] = GM, M[1] = AM and M[2] = RMS, giving the result in the video. It is also interesting to note that Limit(t -> -Inf) M[t] = min{x1,x2,...,xn} and Limit(t -> +Inf) M[t] = max{x1,x2,...,xn}.

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

    Super sum