e^pi vs pi^e (no calculator)

แชร์
ฝัง
  • เผยแพร่เมื่อ 29 มิ.ย. 2016
  • e^pi vs pi^e, which one is larger? We will use calculus, NOT calculators, to find out. This is a very classic math-for-fun a^b vs b^a exponential question. It is very suitable for all calculus 1 and AP calculus students. My approach is to find the maximum of the function f(x)=x^(1/x) by doing logarithmic differentiation, finding the critical numbers, and then doing the first derivative test. Watch to find out the final answer!
    中文版(2021) 👉 • e^pi vs pi^e (外加兩個小故事)
    The general case: a^b vs b^a 👉 • are you tired of the a...
    Subscribe for more math for fun videos 👉 bit.ly/3o2fMNo
    For calculus tutorials, check out ‪@bprpcalculusbasics‬ 👉 / justcalculus

ความคิดเห็น • 1.2K

  • @MathIguess
    @MathIguess 4 ปีที่แล้ว +3340

    By the fundamental theorem of engineering, e = pi = 3. Both of those numbers are 27, which is approximately 30.

    • @Cream147player
      @Cream147player 4 ปีที่แล้ว +224

      @Another Random Cuber Depends if you're making a legitimate calculation or just back of the envelope. For sure back of the envelope engineers do exactly this, because really you're just looking for order of magnitude. On a real calculation the engineer will use the exact value + 20% for safety, plus an extra 20% for safety on the final result of the calculation!

    • @anuj8825
      @anuj8825 4 ปีที่แล้ว +39

      😂👌

    • @hatasesasd9631
      @hatasesasd9631 4 ปีที่แล้ว +29

      Well, that looks like an approximation that would cause a lot of errors

    • @anuj8825
      @anuj8825 4 ปีที่แล้ว +88

      @@hatasesasd9631 , its joke

    • @douglasstrother6584
      @douglasstrother6584 4 ปีที่แล้ว +145

      ... and 30 is "close enough" to 42.

  • @frostwobs
    @frostwobs 6 ปีที่แล้ว +1016

    There's actually another way
    Since e^x = 1 + x + x^2/2 +… by Macluarin series, e^x > 1 + x
    Then put x = pi/e - 1
    e^(pi/e-1) > 1 + pi/e - 1
    e^(pi/e) / e > pi/e
    e^(pi/e) > pi
    (e^(pi/e))^(e) > pi^(e)
    e^pi > pi^e

    • @matthewgrimm9036
      @matthewgrimm9036 6 ปีที่แล้ว +61

      Beautiful!!!

    • @yeshwant5875
      @yeshwant5875 6 ปีที่แล้ว +36

      Jonathan Ma loved it. I must congratulate you on this beautiful proof

    • @sonushaw1029
      @sonushaw1029 6 ปีที่แล้ว +9

      Amazing friend
      I have a doubt how x^(1÷x) can't be zero.
      If we put x=0 we get 0^infinity and we know 0^(any number) is zero.
      😕😕

    • @JamalAhmadMalik
      @JamalAhmadMalik 6 ปีที่แล้ว +25

      sonu shaw x^infinity doesn't have an answer.

    • @cameodamaneo
      @cameodamaneo 6 ปีที่แล้ว +4

      sonu shaw Watch this video. It doesn't explain your question exactly, but the thinking process is in the correct place:
      th-cam.com/video/BRRolKTlF6Q/w-d-xo.html

  • @BizVlogs
    @BizVlogs 7 ปีที่แล้ว +2244

    Dude... this is dank. Mindblowing! But why are you holding a thermal detonator?

    • @blackpenredpen
      @blackpenredpen  7 ปีที่แล้ว +752

      LOL. I have heard so many different nicknames for my mic and "thermal detonator" is so funny!

    • @bernardfinucane2061
      @bernardfinucane2061 7 ปีที่แล้ว +428

      In case the proof doesn't work.

    • @harry_page
      @harry_page 7 ปีที่แล้ว +42

      Because 50 thousand, no less

    • @alexwang982
      @alexwang982 7 ปีที่แล้ว +47

      OOOOH its a mike

    • @karanabrol4487
      @karanabrol4487 7 ปีที่แล้ว +7

      Exactly Pi hi exactly Tau /2

  • @japeking1
    @japeking1 7 ปีที่แล้ว +274

    It makes me feel very strange to find myself at 2.00 in the morning really enjoying videos like this. Its not even that I really understand it.... I think I just enjoy watching someone being so enthusiastically clever. Thank you. Now I'm going to go try and sleep.

    • @lunam7249
      @lunam7249 3 ปีที่แล้ว +4

      japeking1 mysteries of life....it’s enjoyable to see a thought a human mind solve a non trivial question.....logically....its bueatiful actually ..like the Mona Lisa painting...

    • @26IME
      @26IME 2 ปีที่แล้ว

      Is the blank space... is ok I guess...

    • @NazriB
      @NazriB 2 ปีที่แล้ว

      Lies again? EPA EPI

    • @equal7958
      @equal7958 2 ปีที่แล้ว

      I'm seeing it at 1, four years later

  • @technowey
    @technowey 6 ปีที่แล้ว +656

    You solved that with e's (ease). It was easy as pi.

    • @joonah7316
      @joonah7316 5 ปีที่แล้ว +7

      Goddamnit

    • @oxey_
      @oxey_ 5 ปีที่แล้ว +3

      It was a piece of cake for sure!

    • @mikenotpike
      @mikenotpike 5 ปีที่แล้ว +2

      r/iamverrysmart

    • @castroploiin
      @castroploiin 5 ปีที่แล้ว +4

      SpeedyMicherGD r/whooosh

    • @mikenotpike
      @mikenotpike 5 ปีที่แล้ว +2

      @@castroploiin r/ihavereddit

  • @alxjones
    @alxjones 7 ปีที่แล้ว +62

    Simplify the calculus immensely: x^y > y^x, log both sides and bring down the exponents to get ylogx > xlogy, then solve to get y/logy > x/logx, so the function to analyze is x/logx. We know x is bigger than 1 in both cases so we can ignore the asymptote. Derivative is 1/logx - 1/(logx)^2, and setting equal to zero gives logx(1-logx) = 0, so logx = 0 or logx = 1. Since x is bigger than 1, logx is bigger than 0, so logx=1 which means x=e. It's obvious that x grows faster than logx for large x, so the limit to infinity is infinity. Similarly, as x goes towards 1, the denominator goes to 0 while the numerator goes to 1, so the function goes to infinity. Thus, x=e is a minimum of the function, so e/loge = e is less than x/logx for any x>1, in particular, pi. So, pi/logpi > e/loge, so from the algebra in the beginning, we get e^pi>pi^e.

    • @ffggddss
      @ffggddss 7 ปีที่แล้ว

      Very nice!!

    • @geneyoung11111
      @geneyoung11111 ปีที่แล้ว

      Essence of Abstract analysis.

    • @xninja2369
      @xninja2369 ปีที่แล้ว

      I was going to write same thing bro

  • @Onyxyte
    @Onyxyte 5 ปีที่แล้ว +104

    Nice proof without a calculator!

  • @hughesyin9664
    @hughesyin9664 5 ปีที่แล้ว +639

    e=3=pi, which means 3^pi =pi^e😂😂

    • @subscribetopewdiepie4109
      @subscribetopewdiepie4109 5 ปีที่แล้ว +120

      Engineers be like

    • @alexbarac
      @alexbarac 5 ปีที่แล้ว +45

      Funny thing: in astronomy this is actually correct, you're never concered about what's behind the decimal symbol but rather about the magnitude of the result. So 3*3=pi*pi=10

    • @methatis3013
      @methatis3013 5 ปีที่แล้ว +7

      @@alexbarac 10?

    • @methatis3013
      @methatis3013 5 ปีที่แล้ว +16

      @@alexbarac also, its 3^3, not 3*3. 3*3=9, 3^3=27

    • @alexbarac
      @alexbarac 5 ปีที่แล้ว +4

      @@methatis3013 Yeah, it's an accepted approximation. In many cases you tend to get out of the equations pi*pi and to simplify the calculations, you just aproximate it to 10.

  • @sudipmaity8390
    @sudipmaity8390 6 ปีที่แล้ว +161

    wow.what an amazing application of maxima minima concept.

  • @TakionMan
    @TakionMan 6 ปีที่แล้ว +7

    I find your math videos quite relaxing to follow :) It's therapeutic.

  • @HummingbirdCyborg
    @HummingbirdCyborg 7 ปีที่แล้ว +20

    I love your channel. It's been awhile since I took calculus and I enjoy how you use it to solve understandable problems. Keeps me refreshed.

  • @REIDAE
    @REIDAE 2 ปีที่แล้ว +5

    e=pi=3
    both equal 27

    • @mrocto329
      @mrocto329 2 ปีที่แล้ว

      e = 2 = 3 = pi

  • @gabrielscinteie341
    @gabrielscinteie341 6 ปีที่แล้ว +6

    You can also demonstrate the inequality by using the monotony of the 1/x * ln x function

  • @ellelawliet8977
    @ellelawliet8977 4 ปีที่แล้ว +3

    In a video of yours, you claimed and demonstrated that if a>b>e, then b^a > a^b. Both e^pi and pi^e are greater than e, so we can deduce instantly that e^pi > pi ^e because pi>e

  • @louisthurston3067
    @louisthurston3067 5 ปีที่แล้ว

    I used e*ln(x)/x which is 1 at x=e and decreasing (take derivative) for x>e. So e*ln(Pi)/Pi

  • @alkankondo89
    @alkankondo89 7 ปีที่แล้ว +163

    Excellent video! You explain things VERY well!! Fortunately, I was able to figure it out after your statement at 1:46; that insight you gave was genuis! What I have found and love about math is that, often, the beauty comes, not in the answer or even the problem itself, but in the method used to find the answer and the creativity that such problems often require. Great presentation!

    • @blackpenredpen
      @blackpenredpen  7 ปีที่แล้ว +31

      alkankondo89 thank you for finding my video enjoyable. I also have another playlist called the "math for fun" you can check that out too

    • @captainhd9741
      @captainhd9741 3 ปีที่แล้ว +1

      @@blackpenredpen Sir how would you even have known that the maximum value of x^(1/x) is e^(1/e)? It is clear when we take the derivative but honestly I don’t see how anyone would even have thought of doing this in the first place to solve this problem.

    • @emiroercan
      @emiroercan 3 ปีที่แล้ว

      @@captainhd9741 we have 2 statements as e^(1/e) and π^(1/π) and we want to find which one is bigger. İn those statements, different values are e and π so we just write x for them. Than we can make the graph of the x^(1/x) function and see the results. Or try to prove as he did in the video.
      We wrote x for them mainly because we don't want to calculate the result, rather we want to prove that one is bigger than the other.
      Also if we have a proper function, it's sometimes easier to find the extremum points rather then calculating.

    • @paolo6219
      @paolo6219 3 ปีที่แล้ว

      Nice pfp

  • @hanako_2137
    @hanako_2137 5 ปีที่แล้ว +5

    Idk why but in this video the way you talk is relaxing af XD
    It's pretty relaxing in every video, but in this one it's at it's maximum

    • @blackpenredpen
      @blackpenredpen  5 ปีที่แล้ว

      TheMichus
      Wow!! Ok!!!!! Maybe Bc of the music??

    • @hanako_2137
      @hanako_2137 5 ปีที่แล้ว

      @@blackpenredpen
      I think this might be the case

    • @blackpenredpen
      @blackpenredpen  5 ปีที่แล้ว

      TheMichus : )

  • @Mizar88
    @Mizar88 7 ปีที่แล้ว +4

    beautiful! this proof is soooo satisfying!

  • @mohan153doshi
    @mohan153doshi 6 ปีที่แล้ว

    What an absolutely awesome explanation! Just love all your videos.

  • @vanessamagnano6375
    @vanessamagnano6375 ปีที่แล้ว +2

    This is absolutely amazing! I had no idea you could use calculus to solve problems like this and I am mind-blown. Thank you for your videos and your channel 💙

  • @chaosredefined3834
    @chaosredefined3834 5 ปีที่แล้ว +3

    2.7 < e < 2.8
    3.1 < pi < 3.2
    e^pi > 2.7^3.1 > 3.2^2.8 > pi^e
    Therefore, e^pi > pi^e.
    No need for exact values. Just the first two decimal places of each (2.7... vs 3.1...)

    • @theimprudentman7272
      @theimprudentman7272 ปีที่แล้ว +1

      That doesn't make any sense in this world , how can u say that 2.7^3.1 >3.2^2.8 without calculator

    • @uwuowo7775
      @uwuowo7775 หลายเดือนก่อน

      @@theimprudentman7272 just simply calculate it in the head !!!

  • @hmxr715
    @hmxr715 7 ปีที่แล้ว +296

    e to the pi is greater. I cheated..I used a computer.

    • @joelcoll4034
      @joelcoll4034 6 ปีที่แล้ว +29

      You were a computer? How did you become a human?

    • @fastfingereveryday4237
      @fastfingereveryday4237 6 ปีที่แล้ว +2

      Joel c.l what if he is a cat, not a hooman?

    • @SocksWithSandals
      @SocksWithSandals 5 ปีที่แล้ว +1

      Mark Zuckerberg was an android, so you are in good company.

    • @SYFTV1
      @SYFTV1 4 ปีที่แล้ว

      r/Not_cheating

    • @itsiwhatitsi
      @itsiwhatitsi 4 ปีที่แล้ว

      Now are you human?

  • @danielbranscombe6662
    @danielbranscombe6662 7 ปีที่แล้ว +1

    When I first saw this problem I used a similar approach but with y=e^x-x^e and using that you can prove that y>=0 for all x>0, with y=0 only when x=e. Thus you can say that for any x (obviously other than e) e^x is bigger than x^e and thus must also be true for x=pi

  • @iskrem596
    @iskrem596 7 ปีที่แล้ว +1

    I like how great amd simple your explanations are and also how nice your accent sounds

  • @rarebeeph1783
    @rarebeeph1783 7 ปีที่แล้ว +129

    I have a better question.
    Which is bigger: key lime pi^e or apple pi^e?

  • @seraphikimercury4921
    @seraphikimercury4921 6 ปีที่แล้ว +7

    Dude, that's brilliant! I've been a math professor for 8 years and never seen such innovation. Where did you find such a question? Let alone the inspiration to solve it.

    • @medielijah
      @medielijah 4 ปีที่แล้ว

      Sad Prof.

    • @ashwins1506
      @ashwins1506 4 ปีที่แล้ว

      It's a JEE ADVANCED Question.

  • @Galileosays
    @Galileosays 5 ปีที่แล้ว +1

    Taking double logarithm of pi^e: Ln(Ln(pi^e))=Ln(e.ln(pi))=1+ln(ln(pi)). Since 1+x < exp(x), we get.
    Ln(ln(pi^e)) < exp(ln(ln(pi)) = ln(pi).
    Taking exponent on both sides: ln(pi^e)

    • @akshettrj
      @akshettrj 5 ปีที่แล้ว

      No need to take double log, take single log and one no. Will be negative other will be positive , the positive one will be greater

  • @lnofzero
    @lnofzero 7 ปีที่แล้ว

    Very nicely done! You have a very pleasant presentation style.

  • @vari1535
    @vari1535 4 ปีที่แล้ว +7

    *starts using calculus on every question*
    Me: .-.

  • @sitangshusekharbhattacharj2637
    @sitangshusekharbhattacharj2637 7 ปีที่แล้ว +162

    r u crazy?
    e^x>1+x
    replace x by (pi/e)-1
    answer obtained.

    • @sergiokorochinsky49
      @sergiokorochinsky49 7 ปีที่แล้ว +75

      very impressive!...
      but this is just devine inspiration. I find his systematic approach a lot more useful.

    • @sitangshusekharbhattacharj2637
      @sitangshusekharbhattacharj2637 7 ปีที่แล้ว +4

      thats true

    • @bahadr8021
      @bahadr8021 6 ปีที่แล้ว +24

      Equation isn't correct for x=0 ?

    • @dasmarcy
      @dasmarcy 6 ปีที่แล้ว +19

    • @blackpenredpen
      @blackpenredpen  6 ปีที่แล้ว +14

      Hi sitangshu sekhar bhattacharjee

  • @pachbentley
    @pachbentley 3 ปีที่แล้ว

    Managed to do it by considering a^b and b^a where a>b. You can consider both scenarios and get a contradiction in a^b > b^a. Was very satisfying indeed

  • @tuerda
    @tuerda 7 ปีที่แล้ว

    I had this problem on a calculus exam 14 years ago. It was interesting to see a youtube video that tackled it (and did so in a very different way from how I did it back then).

  • @alexandergarcia6479
    @alexandergarcia6479 5 ปีที่แล้ว +6

    Thank you for helping me to remember first derivate test.

  • @mooncowtube
    @mooncowtube 7 ปีที่แล้ว +11

    There's one final observation you could add here --- because x=e was the maximum, the other number didn't matter at all. e^x > x^e for ALL non-negative x except x=e. So e^2 > 2^e, e^420000 > (420000)^e, etc, and, of course, e^pi > pi^e.
    EDIT: inserted the word "non-negative" -- thanks all who pointed that out

    • @zyrohnmng
      @zyrohnmng 7 ปีที่แล้ว

      as long as x > 0

    • @ffggddss
      @ffggddss 7 ปีที่แล้ว +1

      To expand on zyrohnmng's comment:
      Need to avoid using negative numbers in such an example, because a negative number raised to a non-integer power is highly problematic, and almost always, non-real & multi-valued. And complex numbers do not have ordering.

    • @zyrohnmng
      @zyrohnmng 7 ปีที่แล้ว

      That, and during his proof, he made the assumption that x was positive on multiple occasions for the very reason you just gave.

    • @mooncowtube
      @mooncowtube 7 ปีที่แล้ว

      True -- I should have said ALL *non-negative* x except x=e, and not used -420000 as an example! (Note to +zyrohnmng: the relation holds ok for x=0)

    • @zyrohnmng
      @zyrohnmng 7 ปีที่แล้ว

      The proof doesn't work for x=0 since the function and its derivative is undefined for x=0. You can check the case separately.

  • @terimummymerihojaa
    @terimummymerihojaa 3 ปีที่แล้ว

    I solved this with one simple observation i.e. a^b > b^a (when a π^e

  • @charlesrambo7845
    @charlesrambo7845 6 ปีที่แล้ว +1

    I've always wondered how to do this one! Thank you!

  • @sithlordbinks
    @sithlordbinks 5 ปีที่แล้ว +5

    I love how you solved it but you could just plug in the values to a calculator :P

  • @jehooft8569
    @jehooft8569 5 ปีที่แล้ว +5

    now this is e^pic

  • @zhenyuanlu1764
    @zhenyuanlu1764 4 ปีที่แล้ว

    Just consider the monotonicity of the function f(x) = ln(x)/x, since x^y > y^x i.e. ln(x)/x > ln(y)/y

  • @jayyyzeee6409
    @jayyyzeee6409 5 ปีที่แล้ว

    That was a fun one! Thanks!!

  • @diegoarend3281
    @diegoarend3281 7 ปีที่แล้ว +6

    SUNDAY MORNING RAIN IS FALLING

  • @austingulotta9817
    @austingulotta9817 6 ปีที่แล้ว +26

    Thank you. I was confident that pi^e would be bigger, and I'm glad to be humbled.

    • @MathsUnpluggedIndia
      @MathsUnpluggedIndia 4 ปีที่แล้ว +1

      Yah but it's hard to predict between (1.23)^e and e^1.23? By intuition
      ..
      Calculus is crazy....it was created with intuition and it give solutions to problems which are not at all intuitive....

    • @johnrambo1988
      @johnrambo1988 3 ปีที่แล้ว

      This is why you can't assume anything in math! Appearances are often deceiving

  • @jlinkels
    @jlinkels 7 ปีที่แล้ว

    Brilliant. Never saw an answer to this question before. And taking the derivative of x^(1/x) the way you do is very smart

  • @dreznik
    @dreznik 5 ปีที่แล้ว

    as a corollary to x^(1/x) having a single maximum at e, we can generalize the result:
    for ANY x,y: x^y > y^x when either the triples (e,x,y) or (y,x,e) are in order, i.e.:
    (1) e

    • @dreznik
      @dreznik 5 ปีที่แล้ว

      we notice that x^(1/x) falls faster from its maximum for x < e than for x > e, i.e., x^(1/x) is flatter right of e
      in case (3a) above, i.e., when x < e < y, can we show x^y < y^x when the x distance to the max (e) is bigger than the y distance to e, i.e., e-x > y-e, i.e.:
      3a: if x

  • @a2333232332
    @a2333232332 5 ปีที่แล้ว +4

    How about 2.001^1.999 vs 1.999^2.001

  • @chasemarangu
    @chasemarangu 7 ปีที่แล้ว +3

    I graphed them on my mac grapher app:
    y=e^x
    y=pi^x
    x=e
    x=pi
    and it turns out they are closer than I would've thought!

  • @notcyndi
    @notcyndi 7 ปีที่แล้ว

    e^pi > pi^e. Because both of them are >= e. This is true for ANY 2 numbers that are >= e; if e

  • @urfirasool32690
    @urfirasool32690 5 ปีที่แล้ว

    Superb...
    Out of all your lectures this is my favorite😍😍😍

  • @DarthChrisB
    @DarthChrisB 7 ปีที่แล้ว +18

    That's one big ass microphone!

  • @rafaeldeassis3230
    @rafaeldeassis3230 6 ปีที่แล้ว +37

    Sad about being on high school, i stopped understanding when he used calculus :(

    • @dekippiesip
      @dekippiesip 4 ปีที่แล้ว +2

      @Sulayman Hussain the reason why implicit differentiation works is not that hard. It basically works because of the chain rule, keep in the back of your mind that y is a function of x ;)

    • @Anteater23
      @Anteater23 4 ปีที่แล้ว +1

      Dy/dx (y) = d/dy(y) x (dy/dx) = 1 dy/dx = dy/dx
      You have always been implicit differentiating and you never realised. Every time you differentiate a y=___ equation. The LHS goes to dy/dx because of this reason.

    • @moontiger6393
      @moontiger6393 4 ปีที่แล้ว

      Have a look at the essence of calculus series on the channel 3blue1brown

    • @rasheedmohammed2227
      @rasheedmohammed2227 4 ปีที่แล้ว

      @Sulayman Hussain what you are saying is true. The fact that we can simplify differentials is not well defined in cal1 and cal2. With teachers telling us to pretend differentials as fractions. We don't get any concrete proof why until real analysis.

  • @charlesjones2122
    @charlesjones2122 7 ปีที่แล้ว

    that is a very elegant and easy proof, thank you so much 😊

  • @spacetimemalleable7718
    @spacetimemalleable7718 5 ปีที่แล้ว

    Very good logic! Excellent presentation.

  • @muhammadhussainsarhandi9928
    @muhammadhussainsarhandi9928 6 ปีที่แล้ว +37

    Sir, you teach in an excellent way, you cover those numerical which are neither present in any of the textbooks, nor they are taught by teachers in Colleges and in Universities.
    Sir can you please compare Phi (The Golden Ratio) with e and pi? I mean "phi to the e", "e to the phi", "phi to the pi", "pi to the phi", "e to the pi" and "pi to the e". Sir can you please compare them all together in a single video?

    • @blackpenredpen
      @blackpenredpen  6 ปีที่แล้ว +3

      Thank you! The work will be very similar. The ones with base e will win. I think I can work out e^phi vs. phi^e for fun : )

    • @muhammadhussainsarhandi9928
      @muhammadhussainsarhandi9928 6 ปีที่แล้ว +1

      blackpenredpen thank you for you reply Sir, but why are you so late in reply? I've commented on you "sine of 18 degree" video about a week earlier, I asked a question in that comment, but you havn't replied me,

    • @user-xi3kx3jq8s
      @user-xi3kx3jq8s 5 ปีที่แล้ว

      مشكور جدا حل ممتاز

    • @divyoroy9056
      @divyoroy9056 4 ปีที่แล้ว +1

      Muhammad Hussain Sarhandi lol

    • @muhammadhussainsarhandi9928
      @muhammadhussainsarhandi9928 ปีที่แล้ว

      @@divyoroy9056 what happened?

  • @indranathmukherjee6164
    @indranathmukherjee6164 6 ปีที่แล้ว +3

    You are awesome.

  • @awolgeordie9926
    @awolgeordie9926 7 ปีที่แล้ว

    Excellent demo.

  • @VSP4591
    @VSP4591 3 ปีที่แล้ว

    Very clever demonstration. Congratulation.

  • @Renegadezombies
    @Renegadezombies 7 ปีที่แล้ว +15

    Wow, by choosing to do implicit derivation instead of the chain rule you made that derivative waaaaay harder than it had to be.

    • @blackpenredpen
      @blackpenredpen  7 ปีที่แล้ว +18

      Brianna Baker waaaay harder? Please make it waaaaay easier for us. Apple sauce.

    • @Renegadezombies
      @Renegadezombies 7 ปีที่แล้ว +2

      Okay I'll be honest, I forgot that using the exponential rule doesn't work for functions of base x, which is where I thought the majority of the optimization would come from. Still, it can be done without implicit derivation though apart from the first step this is fundamentally the same process you took. I guess I just hate doing implicit derivation unless it is absolutely necessary. Anyways here's the steps for those interested:
      imgur.com/a/sghux

    • @blackpenredpen
      @blackpenredpen  7 ปีที่แล้ว +28

      -_-......
      I was expecting something waaaaaay easier.......

    • @sacha7601
      @sacha7601 7 ปีที่แล้ว +6

      easier solution:
      e^pi>pi^e ln(e^pi)>ln(pi^e) pi>e*ln(pi) pi-e*ln(pi)>0
      let f(x)=x-e*ln(x). we want to prove f(pi)>0:
      f'(x) = 1-e/x
      so for (x > e) we have f'(x)>0 so we have f(x) increasing and f(e)=0 which means f(pi)>0.
      which means e^pi>pi^e

    • @sergiokorochinsky49
      @sergiokorochinsky49 7 ปีที่แล้ว +10

      blackpenredpen... since you were expecting a derivative waaaaay easier, here it is:
      derivatives are just rules you memorise... like the product rule, similarly there is a power-exponent rule.
      For the product u*v the rule says "derivate u*v keeping u constant, plus derivate u*v keeping v constant".
      To derivate u^v "derivate u^v keeping u constant (exponential) plus derivate u^v keeping v constant (power)".
      Therefore
      d(u^v)/dx= u^v*Ln(u)*dv/dx + v*u^(v-1)*du/dx
      Using this rule (which is analogous to the multiplication rule) you can write the derivative in just one step. :-)

  • @serafeimzacharopoulos7862
    @serafeimzacharopoulos7862 7 ปีที่แล้ว +26

    Great proof, nice job. But I think you should write the inequality : e^(1/e) > pi^(1/pi) > 1 . Only then you can raise both sides to the same exponent, which is pi*e, and be right with the inequality you finally get. In fact, this stems from the fact that the exponential function a^x is monotonically increasing for a>1, and monotonically decreasing for 0

    • @destroctiveblade843
      @destroctiveblade843 7 ปีที่แล้ว +1

      well I think it's obvious since 1/e and 1/pi are positive they are both greater then 1

    • @LaTortuePGM
      @LaTortuePGM 7 ปีที่แล้ว +3

      Destroctive Blade neither 1/pi nor 1/e are greater than 1.

    • @destroctiveblade843
      @destroctiveblade843 7 ปีที่แล้ว +6

      of course they aren't but 1/pi and 1/e are positive so e^(1/e)and pi^(1/pi) are greater then 1

    • @serafeimzacharopoulos7862
      @serafeimzacharopoulos7862 7 ปีที่แล้ว +1

      this is what you want to prove, right?
      My initial comment was aiming to the fact that the proof was incomplete, that's all.

    • @destroctiveblade843
      @destroctiveblade843 7 ปีที่แล้ว

      yeah sure I just said that it is obvious

  • @randellrussell2400
    @randellrussell2400 6 ปีที่แล้ว +1

    Dude. I love your videos. I'm still learning algebra but I can't wait to be able to do these maths.

  • @mircoberner9528
    @mircoberner9528 3 ปีที่แล้ว

    much easier: e^pi > pi^e amounts to pi/ln(pi) > e = e/ln(e). take the function f(x)= x/ln(x); then is f'(x) = (ln(x)-1)/ln^2(x) so f'(e) = 0 with f'(e+h) > 0 > f'(e - h) for 0 < h < 1, which implies e = f(e) < f(pi) = pi/ln(pi)

  • @putinstea
    @putinstea 6 ปีที่แล้ว +5

    for a^b > b^a, could you describe a function to give you the the upper limit of a for any value of b?
    in other words could the problem of e^pi vs pi^e be generalized to ANY real numbers ?

    • @TC159
      @TC159 3 ปีที่แล้ว

      yes, and it was generalized in the video using the function x^(1/x). a^b > b^a iff e = a > b

  • @awseomgyhero
    @awseomgyhero 7 ปีที่แล้ว +6

    I got an ad asking why I need to watch math videos from 2006 to do my homework...

    • @blackpenredpen
      @blackpenredpen  7 ปีที่แล้ว +4

      The Epic Gamer I hate that ad too...

  • @lakshitbohra3372
    @lakshitbohra3372 4 ปีที่แล้ว

    You can also try this method
    Take ln both sides
    Pi vs e ln(pi)
    Consider a function x-elnx
    Differentiate
    We get, from e to infinity, the function is monotonically increasing
    Therefore minimum value 0(at x=e)
    Therefore x-e lnx> 0 for x>e
    Put x= pi (since pi>e)
    We get pi>e ln pi
    Take e power both sides
    Hence proved

  • @lbblackburn
    @lbblackburn 7 ปีที่แล้ว

    Very good! I did it like this: consider f(x) = e*ln(x) - x; take a derivative; find the maximum value is 0 at x = e. So, f(pi) < 0. So e*ln(pi) < pi. So, ln(pi^e) < pi. So, pi^e < e^pi.

  • @anon6514
    @anon6514 7 ปีที่แล้ว +3

    I sort of knew intuitively what the answer is but the beauty in math is seeing the proof :)
    wp.

  • @wallaman
    @wallaman 5 ปีที่แล้ว +3

    e^π and the π^e you like good p and I like the trees

  • @victorarmegioiu9349
    @victorarmegioiu9349 6 ปีที่แล้ว

    More elegantly put, use e^x >= x + 1; substitute x as x = pi / e - 1, getting; e^(pi / e - 1) > pi / e, hence e^(pi / e) > pi and finally e^pi > pi^e

  • @elbisho2045
    @elbisho2045 8 ปีที่แล้ว +2

    good proof, may you solve problems with conic sections please?

  • @simonruszczak5563
    @simonruszczak5563 7 ปีที่แล้ว +5

    Which one is bigger?
    I was told, size doesn't matter.
    The smaller one to the power of the bigger one.

    • @darrend.4835
      @darrend.4835 7 ปีที่แล้ว +2

      Simon Ruszczak The problem is, the sizes do matter. If you, for example, have 3^2 vs 2^3, 3^2 is greater. This is the simplest example without using zeroes and ones (which would naturally mess things up), and it goes against the rule.

    • @andreyrumming6842
      @andreyrumming6842 6 ปีที่แล้ว +1

      wouldn't 3^2 being bigger show that π^e be bigger ( pi~3 and e~2.6), which was proved otherwise?

  • @jemcel0397
    @jemcel0397 8 ปีที่แล้ว +177

    WOW!! I WORSHIP YOU IN THE SAME WAY AS I WORSHIP KHAN ACADEMY AND PATRICKJMT!

    • @blackpenredpen
      @blackpenredpen  8 ปีที่แล้ว +9

      Thank you~! = )

    • @tigermoth8902
      @tigermoth8902 8 ปีที่แล้ว

      Same this guy is amazing. Does mathematical hocus pocus to make hard problems easy.

    • @jemcel0397
      @jemcel0397 8 ปีที่แล้ว

      +blackpenredpen was there a context like this in Stewart's Calculus?

    • @blackpenredpen
      @blackpenredpen  8 ปีที่แล้ว +2

      Hmm, I am not sure..

    • @jemcel0397
      @jemcel0397 8 ปีที่แล้ว +1

      +blackpenredpen it's okay! Anyway I hope you could do Calc III videos. Just a suggestion though.

  • @ebrahimalfardan8823
    @ebrahimalfardan8823 7 ปีที่แล้ว

    Beautiful solution

  • @Pancake833
    @Pancake833 7 ปีที่แล้ว

    wow, this was an incredible solution to watch. very inspiring, very cool :)

  • @jardelkaique2522
    @jardelkaique2522 5 ปีที่แล้ว +3

    Aren't they both equal to 9?!
    As all engineer knows, e = π = 3, so
    3³ = 3³ = √81 = 9

    • @rsptouren9476
      @rsptouren9476 5 ปีที่แล้ว +2

      Man, 3^3 is 27.😅

    • @s.h.kaifee9530
      @s.h.kaifee9530 5 ปีที่แล้ว

      E is approximately 2.71828 whereas pi is approximately 3.14159

    • @lucifersdevilishdetails.
      @lucifersdevilishdetails. 5 ปีที่แล้ว

      S.H. Kaifee and if you’re an engineer you round to the closest whole number and both e and π is 3 to their closest while numbers

    • @s.h.kaifee9530
      @s.h.kaifee9530 5 ปีที่แล้ว

      Ohhh
      Getting smarter every day
      I didn't know that fact about engineers
      Thanks @@lucifersdevilishdetails.

  • @Larzsolice
    @Larzsolice 7 ปีที่แล้ว +3

    If you just take natural logs, you get pi vs. e.ln(pi). pi is between 3 and 4 and e is between 2 and 3, so ln(pi) must be greater than zero but less than 1, and thus e.ln(pi) must be smaller than both e and pi. Converting back to exponents takes you back to the original form of e^pi > pi^e.

    • @sacha7601
      @sacha7601 7 ปีที่แล้ว +7

      ln(pi) > 1

    • @quocanhnguyenle4952
      @quocanhnguyenle4952 5 ปีที่แล้ว

      The natural log of pi is greater than 1 tho.

  • @leogregorio
    @leogregorio 5 ปีที่แล้ว

    Let lp(a) = log(pi) (a)
    x = e^pi
    lp(x) = pi
    y = pi^e
    lp(y) = pi lp(e)
    e < pi then lp(e) y (e^pi > pi^e)

  • @shivani123cool
    @shivani123cool 6 ปีที่แล้ว

    That was such a wonderful explanation...thankyou so much ...

  • @MrYoung-ty4hn
    @MrYoung-ty4hn 6 ปีที่แล้ว +93

    Let's say e=2 and pi=3
    2^3=8
    3^2=9

    • @dasmarcy
      @dasmarcy 6 ปีที่แล้ว +133

      gotta love physicists

    • @trayto100
      @trayto100 6 ปีที่แล้ว +33

      quik maffs

    • @shrirammaiya4381
      @shrirammaiya4381 6 ปีที่แล้ว +22

      Mr. American man that’s a bad estimate 😂

    • @SamirBenaissa_is_awesome
      @SamirBenaissa_is_awesome 5 ปีที่แล้ว +30

      but e^pi is greater

    • @sultanelshirazy8184
      @sultanelshirazy8184 5 ปีที่แล้ว +16

      Wow same method bro, but wrong estimation, it supposed to be
      e = 2.5
      π = 3

  • @neverbackdown1918
    @neverbackdown1918 5 ปีที่แล้ว +4

    I think it’s obvious that e^pi is greater than pi^e lol. Still, great video

  • @user-vs1yv5eg8m
    @user-vs1yv5eg8m 4 ปีที่แล้ว

    I loved this!! you are awesome!

  • @Ksh3104
    @Ksh3104 4 ปีที่แล้ว +1

    Take natural log for both sides and it's way more easier to differentiate if you take fx as x/lnx

  • @naimy4511
    @naimy4511 4 ปีที่แล้ว +3

    That was e’s (easy) as pi.

  • @peppybocan
    @peppybocan 7 ปีที่แล้ว +3

    you derivate ln(y) by dx ...

    • @enzila468
      @enzila468 7 ปีที่แล้ว +9

      yea, you can do that so long as you leave the dy/dx at the end.

    • @tintom3t
      @tintom3t 7 ปีที่แล้ว

      Yes since you know that y is a function of x you evaluate it as such. By using dy/dx

    • @LordAmerican
      @LordAmerican 7 ปีที่แล้ว +9

      Yes. It's called *implicit differentiation* because the derivative of y is derived implicitly.

    • @abiedarkhamilhami2663
      @abiedarkhamilhami2663 7 ปีที่แล้ว +4

      Peter Bočan by using chain rule, we have:
      (d/dx)(ln y)
      = (d/dy)(dy/dx)(ln y)
      = (d(ln y)/dy)(dy/dx)
      = (1/y)(dy/dx)
      isn't it?

  • @Physicsnerd1
    @Physicsnerd1 2 ปีที่แล้ว

    Excellent! I enjoyed that very much. Thank you.

  • @JDiako97
    @JDiako97 7 ปีที่แล้ว

    Great job , much more difficult than the video i watched before (e^pi=1/e) . However , our math teacher in school always made us solve the min-max problems by setting df/dx>=0 which is quite hard to solve , especially if the df/dx function is big

  • @kyledean1966
    @kyledean1966 7 ปีที่แล้ว +105

    Or you could just estimate with 2^3 vs 3^2

    • @LaTortuePGM
      @LaTortuePGM 7 ปีที่แล้ว +177

      ENGINEER DETECTED

    • @user-ms9sh2ed5v
      @user-ms9sh2ed5v 7 ปีที่แล้ว +12

      that wouldn't have worked, since 2^3>(pi-3)

    • @letao12
      @letao12 7 ปีที่แล้ว +7

      La Tortue PGM LOL That's exactly how I guessed my answer (I got it right using a slightly better estimate). And I am an engineer.

    • @davidprochazka3709
      @davidprochazka3709 7 ปีที่แล้ว +14

      well, I did it for 2.7^3.1 and 3.1^2.7 and it worked

    • @LaTortuePGM
      @LaTortuePGM 7 ปีที่แล้ว +1

      btw mathematical mathematics memes is the best fb group ever

  • @JiveDadson
    @JiveDadson 7 ปีที่แล้ว +8

    That was going around when I was in math grad school in the early '70's. My solution was *_a lot_* simpler than yours. :-)

    • @blackpenredpen
      @blackpenredpen  7 ปีที่แล้ว +62

      JiveDadson but I have more TH-cam views tho! :)

    • @astolfo9377
      @astolfo9377 7 ปีที่แล้ว +27

      JiveDadson Fucking rekt

  • @Acleron
    @Acleron 7 ปีที่แล้ว

    Very clever and great explanation.

  • @vinicus508
    @vinicus508 4 ปีที่แล้ว

    Loved it. You are outstanding!!!

  • @johnnakos2841
    @johnnakos2841 5 ปีที่แล้ว

    Take e^pi vs pi^e. Rewrite that as: ln(e^pi) vs ln(pi^e) and then pi*lne vs e*ln(pi). Rewrite that as lne/e vs ln(pi)/pi. Now consider the function f(x)=lnx/x. This function is monotonous decreasing, hence lne/e>ln(pi)/pi. It follows pi*lne>e*ln(pi) so lne^pi>ln(pi^e) and in the end e^pi>pi^e

  • @poodlelord
    @poodlelord 7 ปีที่แล้ว

    You are very good at explaining this stuff nice!

  • @ptirodaktill
    @ptirodaktill 4 ปีที่แล้ว

    Is someone calculated at what point we can say that a^b>b^a ?. Seems like it work for every a>e and b>e .

  • @archnext
    @archnext 2 ปีที่แล้ว

    Another way:
    take the ln of two sides:
    ln(pi^e) vs ln(e^pi)
    then take out exponent:
    e*ln(pi) vs pi*ln(e)
    it equals to a:
    ln(pi)/ln(e) vs e/pi
    rephrase this:
    ln(pi-e) vs e/pi
    since e/pi has an order of (0.5,1), and ln(pi-e) has an order about (-1, -0.5) we can outstand the winner:
    ln(pi-e) < e/pi
    -->>>
    pi^e < e^pi. done.

    • @ojo2337
      @ojo2337 2 ปีที่แล้ว

      ln(pi)/ln(e) does not equal ln(pi-e), this way is wrong

  • @oskarszarowicz259
    @oskarszarowicz259 7 ปีที่แล้ว

    look at the function log(x)/x (any logarithm base will work but I'll use ln for simplicity of diffirentation) . The first derivative is (1/x^2) * (1-ln(x) ) (just looking at the (1-ln(x)) part ) there is one and only one turning point at x = e. After this the derivative is always negative . Therefore beyond e log(x)/x is a strictly decreasing function . If a>b>e ln(b)/b > ln(a)/a. -> aln(b) > bln(a) -> ln(b^a) > ln(a ^b) -> b^a > a^b . (This also shows e^x >x^e)

  • @Wutthehel0
    @Wutthehel0 2 ปีที่แล้ว +1

    A beautiful, simple to understand and elegant proof. I'm a grade 10 student. But I understand calculus because of you! I literally jumped when you proved the maxima value :D

  • @angelos-nikolaoskanatas8833
    @angelos-nikolaoskanatas8833 5 ปีที่แล้ว

    With the function f(x)=lnx/x π>e => f(π)π^e

  • @rahimeozsoy4244
    @rahimeozsoy4244 4 ปีที่แล้ว

    if you know x^1/x gets smaller for bigger x value. You can apply this
    e^1/e > pi^1/pi (pi > e)
    (Pi)e Exponent
    e^pi > pi^e

  • @lunam7249
    @lunam7249 3 ปีที่แล้ว +1

    God dam bro!!! You seriously destroyed that problem!!!wow!!! As a fellow mathematician I can say you are casual when you speak....but you are really one of the smartest people on earth!!!even to ask such a question is a 1 in a million people....

  • @gmayer66
    @gmayer66 5 ปีที่แล้ว +1

    Let e < x. In this interval, we have e/x < 1. On the interval e < x, both sides are positive. This means that the area under e/x in that interval is less than the area under 1 for the same interval. So the integral from e to pi of e/x dx < integral from e to pi of 1 dx. So e*ln(pi) - e*ln(e) < pi - e. So e*ln(pi) < pi. So e^pi < pi^e. QED

  • @matheuscardoso1
    @matheuscardoso1 7 ปีที่แล้ว

    Nice work, bro! Well explained, you could be an excellent teacher.

    • @blackpenredpen
      @blackpenredpen  7 ปีที่แล้ว +2

      Matheus Cardoso Thanks. I have been a teacher for many years already.

  • @CHEH_tf
    @CHEH_tf 2 ปีที่แล้ว

    bro that was so cool kee it up