Solutions to x^y=y^x

Sdílet
Vložit
  • čas přidán 21. 08. 2024
  • We will solve one of the most interesting and classic exponential equations x^y=y^x
    We will use a parametrization to find all the solutions to x^y=y^x
    Here's how to solve x^2=2^x (ft. Lambert W function) 👉 • ALL solutions to x^2=2^x
    Subscribe for more math for fun videos 👉 ‪@blackpenredpen‬
    For more calculus tutorials, check out my new channel @just calculus
    👉 / justcalculus

Komentáře • 1,2K

  • @blackpenredpen
    @blackpenredpen  Před 2 lety +98

    If you liked this video, then you would probably like this one too.
    Find all solutions to x^2=2^x (ft Lambert W function) 👉 czcams.com/video/ndA0sF_0Rwk/video.html

  • @mannypaul5744
    @mannypaul5744 Před 5 lety +3634

    Your ability to effortlessly switch between markers is majestic.

  • @maciejkubera1536
    @maciejkubera1536 Před 6 lety +592

    It's interesting, that if You draw a graph showing x^y=y^x and allow x=y, You get some curve and a ray y=x and the ray intersects the curve in point (e,e). :) Awesome!

    • @blackpenredpen
      @blackpenredpen  Před 6 lety +102

      Yay!!Yay!!

    • @Kino-Imsureq
      @Kino-Imsureq Před 6 lety +27

      thus it shows every possible x and y value where x^y = y^x

    • @SPACKlick
      @SPACKlick Před 6 lety +16

      I think the more interesting potion of the graph is the discontinuous section where one of X or Y is negative.

    • @davidramitdown
      @davidramitdown Před 5 lety +5

      OMG this is why I love the internet

    • @guythat779
      @guythat779 Před 4 lety +4

      It should intersect e,e and pi pi too
      It should intersect every point on x=y

  • @dakotaroberson9921
    @dakotaroberson9921 Před 6 lety +793

    I love these no-effort thumbnails, please keep them going 😂

  • @GreenMeansGOF
    @GreenMeansGOF Před 6 lety +3468

    Use this to impress girls. LOL. I’ll let you know if it works for me.

  • @gordonstallings2518
    @gordonstallings2518 Před 5 lety +196

    If you let t = (D+1)/D, where D is integer, you can find all solutions that do not contain radicals. Example: t = 3/2 gives x = 9/4 and y = 27/8.

    • @EebstertheGreat
      @EebstertheGreat Před 4 lety +30

      This yields the sequence of ordered pairs {(2, 4), (9/4, 27/8), (64/27, 256/81), (625/256, 3125/1024), (7776/3125, 46656/15625), ...}, which lists every rational solution. A simple way to generate it is:
      x = (1+1/D)^D
      y = (1+1/D)^(D+1).
      Thus evidently the rational solutions, when ordered in this way (or equivalently, by the size of the denominator when expressed in least terms) approach the irrational solution x = y = e, where the two parts of the curve x^y=y^x intersect.

    • @MichaelRothwell1
      @MichaelRothwell1 Před 2 lety +4

      Very nice! This certainly gives rational solutions, since 1/(t-1)=D is an integer. Probably it gives all rational solutions, but this requires proving.

  • @duckymomo7935
    @duckymomo7935 Před 6 lety +1223

    Parametric generator for x^y = y^x, wow

    • @themeeman
      @themeeman Před 6 lety +34

      wow

    • @lostsouldier
      @lostsouldier Před 6 lety +33

      Wow

    • @blackpenredpen
      @blackpenredpen  Před 6 lety +168

      I was like wow when I saw it too!

    • @JSSTyger
      @JSSTyger Před 6 lety +36

      I took 10 courses in math in college en route to a math apps minor and your videos still amaze me.

    • @projectnemesi5950
      @projectnemesi5950 Před 6 lety +131

      Here is what I did. First, I took the log of both sides. Thus, yln(x) = xln(y). Then I moved both sides over such that ln(y)/ln(x) = y/x. The problem now looks very simple, its simply saying that both side should be of the same ratio. I then assumed some parameter "c" between both sides of the equality. (We possibly could have done this at the beginning, but that way would have been very difficult). So now we have ln(y)/ln(x) = c and y/x = c. Then we use the linearity of these equations to make our lives very easy. ln(y) = cln(x) and y = cx. Now we simplify the first equation, y = x^c. These two equations imply that x^c = cx. Ah, now both sides have the same base, we can solve for c. x^c * x^-1 = c simplifies to x^(c-1) = c. Taking the (c-1) root of both sides simplifies the equations to x = c^(1/(c-1)). And there you have it! Plug a value into c, and it will yield the x value you need, then multiply that x value by c to get the corresponding y value. This forms the solution space of y^x = x^y

  • @Gaark
    @Gaark Před 6 lety +670

    "Don't be too crazy.." *maniacal cackle* oh the numbers I'll produce!!

    • @stamatiossargantanis7909
      @stamatiossargantanis7909 Před 6 lety +64

      The most fun part is when you plug in all the complex numbers and see that they all work. I plugged in t = i and not only did it work, but it also generated a real number. Fabulous.

  • @MagnusSkiptonLLC
    @MagnusSkiptonLLC Před 4 lety +74

    "Don't be too crazy"
    Me: puts t=1 *cackles maniacally*

    • @daniledenial
      @daniledenial Před 3 lety

      Actually y^x is always equal to x^y if you can write y^x or x^y as the (b-1)th-root of b ^ b * (b-1)th-root of b.
      If we say b=3, we have 2nd-root of 3 ^ 3* 2nd-root of 3, which is equal to 2nd-root of 27.
      And if b=4, we get that the 3rd-root of 4 ^ 4*3rd-root of 4 = 4*3rd-root of 4 ^ 3rd-root of 4

    • @daniledenial
      @daniledenial Před 3 lety

      I actually don’t understand how it takes 13 minutes to proof that x^y = y^x if x=squareroot of 3 and y= squareroot of 27

    • @Amoeby
      @Amoeby Před 3 lety +1

      @@daniledenial you just wrote the same thing that in the video. And the goal wasn't to proof x^y = y^x if x = sqrt(3) and y = sqrt(27), but to solve the equation for real x and y with the condition that x is not equal to y.

    • @daniledenial
      @daniledenial Před 3 lety

      @@Amoeby Yeah, but there Are More real Solutions

    • @Amoeby
      @Amoeby Před 3 lety

      @@daniledenial of course. But that was the example in the video.

  • @alan2here
    @alan2here Před 6 lety +365

    Are powers commutative? Lets just try some values :-P
    1, 1 --> 1^1 = 1^1 = 1 --> yes
    2, 2 --> 2^2 = 2^2 = 4 --> yes
    2, 4 --> 2^4 = 2*2*2*2 = 4^2 = 4*4 = 16 --> yes
    2, 3 --> near enough
    maybe something a bit less round
    sqrt(3), sqrt(27) --> yep
    Powers are commutative :-P :) Indisputable proof.

  • @adriengrenier8902
    @adriengrenier8902 Před 6 lety +77

    I just let y be dependent on x, so that y = x^p. We get x^(x^p)=(x^p)^x.
    x^(x^p)=x^(px).
    x^p=px
    x^(p-1)=p
    x=p^(1/(p-1))
    Plugging in any value for p we get solutions

    • @jadegrace1312
      @jadegrace1312 Před 6 lety +7

      Adrien Grenier you get the same thing

    • @tuchapoltr
      @tuchapoltr Před 5 lety +2

      EDIT: Ohhh, okay I completely misunderstood what you were trying to do.

    • @SadisticNiles
      @SadisticNiles Před 5 lety +2

      He knows that. He is looking for values where exponentiation is commutative, that's why he assumes that x^y = y^x (associativity is something else btw)

    • @nikogruben9573
      @nikogruben9573 Před 5 lety

      But how is x^(x^p)=x^(px) equal to x^p=px?

    • @user-ii5ch8nw6s
      @user-ii5ch8nw6s Před rokem

      @@nikogruben9573 Both side taking logarithm x-based

  • @ffggddss
    @ffggddss Před 6 lety +125

    This was very high on the "cool thermometer"!
    In college in the late 1960's, a few of us math majors were investigating solutions to that equation, just out of curiosity.
    While we concluded that (2,4) and its symmetric partner (4,2) give the only integer solution where x≠y, we never hit on this parametric formula.
    We did find that if you graph the solution set in the first quadrant, it consists of the line y=x (obviously), along with a curve that loosely resembles the rectangular hyperbola xy = 1, but shifted by (+1,+1); and that the two lines intersect at (e,e) [which is also pretty cool].
    Of course, the graph is symmetric about y=x; and as either x or y → ∞, the other → 1⁺.
    So this means that the curve mentioned above, more closely resembles
    (x-1)(y-1) = (e-1)² ≈ 3
    Fred

    • @blackpenredpen
      @blackpenredpen  Před 6 lety +24

      ffggddss thanks Mr. Fred! Part 2 is coming soon : )

    • @ffggddss
      @ffggddss Před 6 lety +14

      You're welcome! I'll be on the lookout for that. It *is* kind of an intriguing topic.
      And having put it aside so many years ago, I was glad to see your parametric solution which, for one thing, makes it a whole lot easier to plot...
      Fred

  • @blomblorpf
    @blomblorpf Před 5 lety +118

    To me, a highschool student who has only done a watered-down version of Calc 1 in a course, because my country doesn't care about Math, I saw this problem as impossible from the title. But as you started with the second solution, I realized how elegant and connected Math can be sometimes.
    It just shows how well you can actually communicate your thoughts and explain them well. I'm more of a physics guy, but a deep connection to Math is quite important to me, not just getting something right. You've helped me through that. Thank you for your efforts, and hopefully, with enough practice as it is, I'll be able to view seemingly impossible problems the same way you do!
    Totally possible!

    • @diptoneelde836
      @diptoneelde836 Před 5 lety +9

      Where do you live?

    • @pigeonlove
      @pigeonlove Před 5 lety +10

      @@diptoneelde836 he lives his own Dreamland where he thinks his own short comings are his country's mistakes. He needs psychology not maths.

    • @wadda4039
      @wadda4039 Před 5 lety +31

      @@pigeonlove you have serious problems

    • @TheTacticalMess
      @TheTacticalMess Před 5 lety +9

      plo Judging by the fact you went out of your way to be a douchebag, I think you need psychology.

    • @tannernatebryce6259
      @tannernatebryce6259 Před rokem +3

      Nah nah, I agree, absolutely zero countries can function without maths, maths is a quintessential subject in every country for basic functionality over stock exchanges to expeditions, no country doesn't value maths, either the original post is lying and he is just bad and not passionate about maths, or he lives in the tribelands of somalia

  • @cr5678
    @cr5678 Před 4 lety +451

    Just when I thought there was nothing left for Asians to beat me at, this dude starts writing with two pens in one hand.

    • @alvachan88
      @alvachan88 Před 4 lety +2

      never knew this was an asian thing. when i was in school holding a pencil and pen in one hand was normal.

    • @zylnexxd842
      @zylnexxd842 Před 3 lety +1

      You can't beat us Asians. No one can.

    • @einzuschauer5463
      @einzuschauer5463 Před 3 lety +1

      @@alvachan88 lol never seen anyone do that except this guy

    • @paolo6219
      @paolo6219 Před 3 lety +1

      Musicians rule: there is always an asian better, and younger than you. Whether you are asian or not.

  • @harrisons62
    @harrisons62 Před 5 lety +16

    7:55 That’s what my old maths teacher in high school used to say, when we would suggest a harder way to solve a problem.

  • @rodolforiverol
    @rodolforiverol Před 5 lety +11

    If you introduce y = x^t instead of y = tx @13:58 you will get to the same place just as fast but maybe just a bit easier. Good videos, very enjoyable.

  • @JimmyXOR
    @JimmyXOR Před 6 lety +312

    The equation e^x=x^e only have the solution x=e. That's the only positive number with this property.

    • @blackpenredpen
      @blackpenredpen  Před 6 lety +58

      Yes! : )

    • @JimmyXOR
      @JimmyXOR Před 6 lety +31

      personsname0 The equation 71^x=x^71 also has a solution x=1.06609898594648539. My equation doesn't have another solution..

    • @personsname0686
      @personsname0686 Před 6 lety +3

      thought you were talking bout integer solutions, serves me right for being a smarmy

    • @JimmyXOR
      @JimmyXOR Před 6 lety +40

      personsname0 of course I talked about the integer e ;)

    • @personsname0686
      @personsname0686 Před 6 lety +2

      lol... oh man, think i might be actually losing my mind

  • @MinecraftRosarino
    @MinecraftRosarino Před 6 lety +35

    Really interesting. I really like the explanation. Though, when you raise [x^(tx)]^(1/x) x≠0! A big shout out from Argentina!

  • @joelcohen8672
    @joelcohen8672 Před 5 lety +7

    Actually, one of the solutions you find in your first method is the value y itself (in your example x = 3 is a solution), which you excluded. On way to study the number of solutions of this equation is to rewrite it by taking logarithms (you get y ln(x) = x ln(y) ) and rearranging to a more symmetrical : ln(x)/x = ln(y)/y. So you have to study when the function f(t)=ln(t)/t takes the same value twice. Since f is increasing on ]0, e] from -∞ to 1/e and decreasing on [e,+∞[ from 1/e to 0, it can be shown that for any x in ]1,e[, there is exactly one y in ]e,+∞[ such that f(x) = f(y).

  • @mattkilgore7323
    @mattkilgore7323 Před 6 lety +14

    What a great introduction to solving equations with parametrics!

  • @BulaienHate
    @BulaienHate Před 6 lety +415

    Best way to impress your girls 13:17

  • @olbluelips
    @olbluelips Před 6 lety +135

    x^y=y^x is one of my favourite equations

    • @blackpenredpen
      @blackpenredpen  Před 6 lety +11

      Yay!!

    • @jackren295
      @jackren295 Před 6 lety +10

      I actually thought about this problem once, and I was considering natural number solutions for x and y, and I got stuck. After you showed the function x=t^(1/t-1), I graphed it and found that it asymptotes to x=1 as t->+infinity [(+infinity)^0=1 perhaps?], and to t=0 as t->0+. The graph only crosses one lattice point at (2, 2). x is already smaller than 2 for t>2, so no more whole number solutions can exist for t>2. And t=1 is undefined, the limit approaches e=2.718... as t->1 t^(1/t-1) = n->0 (1+n)^1/n = k->+infinity (1+1/k)^k. Therefor, 2^4=4^2 is the only natural number solutions for x^y=y^x.

    • @t_kon
      @t_kon Před 6 lety +1

      Jack Ren 2 is the only integer solution as t-1 | t can only happen if and only if t = 2

    • @jackren295
      @jackren295 Před 6 lety +3

      For x=t^(1/t-1), t=2 gives the only whole number solution of x=2^[1/(2-1)]=2^1=2.
      For y=t^(t/t-1), t=2 gives the only whole number solution of y=2^[2/(2-1)]=2^2=4.
      2^4=4^2 is the only equation with whole numbers in the form of x^y=y^x, x≠y.

    • @jelle717
      @jelle717 Před 5 lety +1

      The equastion x^y=y^x on his own is pretty easy. The answer is x=y. But with the data he gave it is a realy hard equastion.

  • @faith3174
    @faith3174 Před 6 lety +140

    Great video! This is one of my favorite equations of all time.
    Try to prove that 2^4 = 4^2 is the only Integer solution in the next video. It's a fun proof

    • @MrBoubource
      @MrBoubource Před 6 lety +1

      Even tho it's fun it has absolutely no meaning from what i can tell... no real problem would lead to this equation, i guess?

    • @blu5037
      @blu5037 Před 6 lety

      y = x^x or x = y^y
      It will work

    • @theoajuyah9584
      @theoajuyah9584 Před 6 lety

      Please write it, it seems interesting - one of those thing's u have a hunch of but just find difficult to prove. He accidentally made a mistake in saying 3 & 27 work. Thx in advance

    • @theoajuyah9584
      @theoajuyah9584 Před 6 lety +3

      Actually no. It might seem like it, but actually see it to completion. Example case (3,3³=27): 3²⁷(3 multiplied 27 times) is NOT equal to 27³(three 3s multiplied 3 times, hence 3 multiplied 9 times)
      It all comes down to the solutions of that xᵗ = tx, which I believe to have only (x=2, t=2) as the only integer solutions, related to 2² = 2(2). 35cut may know how to prove it

    • @blu5037
      @blu5037 Před 6 lety

      Theo Ajuyah oh my bad thx for correcting me

  • @shilinyou6632
    @shilinyou6632 Před 5 lety +73

    In another video u said never trust Wolframalpha

  • @charbelnakad7668
    @charbelnakad7668 Před 5 lety +16

    0:54 *P O W E R*

  • @Agreedtodisagree
    @Agreedtodisagree Před 5 lety +375

    me: oddly satisfying video
    others: nerd

  • @L1N3R1D3R
    @L1N3R1D3R Před 6 lety +69

    9:26 At this point, you divide by t before plugging in x, but then you multiply by t before solving for y. Can't you just plug in x directly and skip a couple steps here?

  • @Oribi5
    @Oribi5 Před 3 lety +1

    This guys enthusiasm as he takes us through his story brings unexpected amounts of joy into my life

  • @alexdagios28
    @alexdagios28 Před 6 lety +13

    as always, a very satisfying answer

  • @NasirKhan-lq5jl
    @NasirKhan-lq5jl Před 5 lety +7

    Thumbs up. That y=tx relation was excellent

  • @humzam9422
    @humzam9422 Před 5 lety +9

    1:09 the color of the markers on his shirt are the same of the colors of marker he uses.

  • @alfiechenery4146
    @alfiechenery4146 Před 4 lety +2

    What’s cool is if you plot x^y=y^x you get what looks like two graphs super imposed on top of each other. You get the line y=x for obvious reasons, but you also get this asymptote like bit. But from that you can show that 2 and 4 are the only integer solutions (I’m only considering real numbers, not sure if you could have some complex number solutions with integer real and imaginary parts)

  • @nohackers2037
    @nohackers2037 Před 4 lety +4

    8:58
    I like that trick. Idk why I haven't thought about it. I might use it on a logarithim question

  • @ecekucuk3868
    @ecekucuk3868 Před 6 lety +3

    That impressed me a lot! Seeing such equations solved makes me feel kind of satisfied...

  • @rubendekker5605
    @rubendekker5605 Před 3 lety +1

    I thought about it, when t < 0, it does not work, x^y will be negative and y^x will be positive, but they have the same decimals. You just add |these| and its okay tho, its a piece of art!

  • @houseflyer4014
    @houseflyer4014 Před 3 lety

    btw if you do this with natural logs:
    x^t-1 = t
    take ln of both sides
    ln(x^t-1) = ln(t)
    put power to the front
    t-1ln(x) = ln(t)
    divide both sides by t-1
    ln(x) = ln(t)/t-1
    put e as a base to both sides
    e^(ln(x)) = e^(ln(t)/t-1)
    cancel out e and ln
    x = 1/t-1

  •  Před 6 lety +2

    Hi. Thanks for your math videos! I have a question: around 7:25 you make a simplification which basically is: if a^b = c^b, then a = c. But if b is even, a = -c is also a solution, and this simplification may make you lose solutions. So the proof would have to be completed with the possibility that a = -c and b = 2k, with k an integer, right?

  • @orestismper7304
    @orestismper7304 Před 5 lety +19

    How you can divide by x when the x belongs to the |R?

    • @erynn9770
      @erynn9770 Před 4 lety +2

      Well, there obviously are no (sane?) solutions for x=0 anyway, so...

  • @pratikmaity4315
    @pratikmaity4315 Před 3 lety +1

    You can try to find integral solutions to the equation with some different approach

  • @Pklrs
    @Pklrs Před 5 lety +1

    Assuming that x,y are positive we can write lnx/x = lny/y or f(x)=f(y) (1) , where f(x)=lnx/x. Through the graph we can see that (1) has infinite solutions (x,y) if x belongs to (1,e) and y belongs to (e, inf.) and vice versa.

  • @erickmerinoyanez9185
    @erickmerinoyanez9185 Před 5 lety +6

    Haces la matemática más fácil y entretenida... Más entretenida de lo que de por sí, ya es.
    Muchas gracias!

  • @codegurt5165
    @codegurt5165 Před 6 lety +187

    setting y = tx to x = y/t was redundant lol

    • @KnakuanaRka
      @KnakuanaRka Před 5 lety +21

      AniPrograms Yeah, That part was totally unneeded. Still a great video.

    • @orcishh
      @orcishh Před 5 lety +70

      You have an anime profile picture

    • @ilprincipe8094
      @ilprincipe8094 Před 5 lety +8

      @@orcishh setting y = tx to x = y/t was redundant lol
      Now its a valid comment thank me later

    • @orcishh
      @orcishh Před 5 lety +11

      @@ilprincipe8094 but this kid has an anime profile picture

    • @ilprincipe8094
      @ilprincipe8094 Před 5 lety +2

      @@orcishh goddamnit you are right

  • @dustinbachstein3729
    @dustinbachstein3729 Před 3 lety

    Using our beloved W function, we can solve for x with given y>0:
    x=e^(-W(-ln(y)/y))
    Note that -ln(y)/y is between -1/e and 0, which means the W "function" has actually two different values, one of which gives us the boring x=y result.

  • @davidseed2939
    @davidseed2939 Před 6 lety

    You could save a step or two in the third column by starting at y= xt. Also this parametric form shows that the only integer solution occurs at x=t=2 , y=4. Also note that replacing t with 1/t swaps x and y. So all solutions can be found choosing t>1 ie y>x .
    Further insights may be obtained by considering the graph of ln(t) against lnx and lny

  • @camerongray7767
    @camerongray7767 Před 5 lety +4

    I feel so smart that I understood what you did in this video

  • @link_z
    @link_z Před 6 lety +8

    I liked this one a lot!

  • @apenasmeucanal5984
    @apenasmeucanal5984 Před 6 lety +1

    The solution to this problem for natural numbers goes like this
    x | y:
    1^(1^1)
    2^(2^2)
    3^(3^3)
    4^(4^4)
    5^(5^5)
    What a lovely pattern.

  • @collin9143
    @collin9143 Před 6 lety +4

    Another amazing thing is that if you graph out y^x = x^y with a graphing software, 2.718 appears :0

    • @viktormikhaltsevich7400
      @viktormikhaltsevich7400 Před 5 lety

      if you solve this problem without parametrics, but instead through a first derivative function you get : dylny=dx, and as you know value for e is 2.71. I just came across this problem, and in another method, I am encountering a contraction to this solution -- y= x^(t/t-1), therefore x-->t and assumption y=tx may not be correct. (Honestly, makes a whole lot of sense given that rate of change is not linear)

  • @nassershehadeh4661
    @nassershehadeh4661 Před 5 lety +6

    I usually watch some videos of yours, but this one seriously made me think "holy shit this is genius" lol

  • @andrewcook1428
    @andrewcook1428 Před 6 lety +8

    Really cool vid this makes more excited to learn calculus although most of the questions probably will be mostly the daily grind type unlike this one

  • @aztroxer0yt
    @aztroxer0yt Před 2 měsíci +1

    4:03 That AaaaHaaa caught me off-guard ngl

  • @idavid8128
    @idavid8128 Před 5 lety +1

    I have a story with this problem. I had a crush on a girl I've met days ago and I discovered that she had a boyfriend which got me very sad. To distract myself I started thinking about the powers of two and noticed that 2^4 was equal to 4^2 and I was shocked. Decided to try to solve it. Spent two months trying to solve it. Completely forgot about the girl. Since then I have a new crush : solving math problems. Thank you for being an inspiration to me and helping me pursuit my dreams related to math. I'm in high school but I already know calculus because I loved watching your series "math for fun". Love from Brazil

  • @SeriousApache
    @SeriousApache Před 6 lety +6

    4:09 - i prefer to use ; instead of , between x and y value. For a moment i though that 2nd answer is x= 3.27 and not x=3 y=27

    • @pursuitsoflife.6119
      @pursuitsoflife.6119 Před 5 lety

      Unlike Europe, Asia and Americas generally use "." For decimal points, like 3"."27 and rarely use "," (except for grouping large numbers like 2,000,000) so yeah it's a bit different

    • @gepard1983
      @gepard1983 Před 5 lety +1

      its just that x=3 and y=27 dosnt work at all or i dont get it... 19683 =/= 7625597484987 witch whould be the results for x to the power of y and y to the power of x in this case

    • @willk7184
      @willk7184 Před 5 lety

      @@gepard1983 I was confused too, but I figured it out. Those points are the two solutions where x^3=3^x. The 3,27 point is the trivial one, where 3^3 = 3^3=27. The other one is where 2.4781^3 = 3^2.4781 = 15.2171.

  • @EssentialsOfMath
    @EssentialsOfMath Před 6 lety +196

    I don't know if you have done a video on this, but you should do a proof that sinh(x) and sinh inverse only intersect at the origin (without graphing tools). It was a problem from my calculus 3 class and I was the only one who got it :P

    • @blackpenredpen
      @blackpenredpen  Před 6 lety +50

      Essentials Of Math no. I don't have it yet. And I think I will need to think hard on that.

    • @EssentialsOfMath
      @EssentialsOfMath Před 6 lety +21

      blackpenredpen thinking hard is the best! I'll look forward to it!

    • @blackpenredpen
      @blackpenredpen  Před 6 lety +30

      Essentials Of Math
      I think I will consider f(x)=sinh(x)-arsinh(x) then use IVT for showing a root then use derivative for showing it's always increasing.

    • @EssentialsOfMath
      @EssentialsOfMath Před 6 lety +24

      blackpenredpen you're on the right track, but there is a much simpler function you can use! :)

    • @trueriver1950
      @trueriver1950 Před 6 lety +1

      blackpenredpen
      Think about the derivative of the separate functions sinh and arsinh

  • @angelmendez-rivera351
    @angelmendez-rivera351 Před 4 lety

    There is also a non-parametric solution to this equation. If you want y as a function of x, then x^y = y^x implies y·ln(x) = x·ln(y), which implies ln(x)/x = ln(y)/y. Multiply by -1 to get -ln(x)/x = -ln(y)/y, and this is the form we want the equation in to solve for y. -ln(y) = ln(1/y), hence -ln(y)/y = ln(1/y)/y = (1/y)·ln(1/y), and 1/y = e^ln(1/y), hence (1/y)·ln(1/y) = ln(1/y)·e^ln(1/y). Therefore, we can say ln(1/x)·e^ln(1/x) = ln(1/y)·e^ln(1/y). Now, use the Lambert W function, on both sides of the equation. Then W[ln(1/x)·e^ln(1/x)] = ln(1/y). Keep in mind that W[ln(1/x)·e^ln(1/x)] = ln(1/x) when you take the principal branch, but alternative branches give other solutions, hence why we keep in that open form. That is the key to acknowkedging the fact that solutions other than x = y also exist. y = e^(-W[ln(1/x)·e^ln(1/x)]).

  • @user-ft5rm9rs4i
    @user-ft5rm9rs4i Před 4 lety +1

    7:26 This is a big mistake. Not only you assumed x isn't 0; but there's also many exceptions , such like (x^2)^(1/2)=((-x)^2)^(1/2). By your simplification, x=-x. See where you are wrong?

  • @charlesokoh3373
    @charlesokoh3373 Před 6 lety +11

    👏 this is so good; so good
    #U deserve an applause

  • @john-athancrow4169
    @john-athancrow4169 Před 6 lety +6

    The 1's cancel out each other. -1+1=0

  • @snejpu2508
    @snejpu2508 Před 6 lety

    You can also write x as a^b and, then you have x^y = (a^b)^y = a^(by) and it's your another form of this, e.g. sqrt(27)^sqrt(3) = (sqrt(3)^3)^sqrt(3) = sqrt(3)^3sqrt(3) = sqrt(3)^sqrt(27).

  • @creepermat
    @creepermat Před 4 lety +1

    Special and unique cases:
    2^4 = 4^2
    2^3 +1 = 3^2

  • @DavideZamblera
    @DavideZamblera Před 5 lety +33

    "You can use whatever t you want" mmmh let's take t=1

    • @disc_00
      @disc_00 Před 4 lety +9

      Did you forget that y ≠ x?

    • @tylerchristensen7480
      @tylerchristensen7480 Před 4 lety

      Максим Быков yeah you’re right. If t=1 then y would equal x which isn’t allowed

    • @mohammadfahrurrozy8082
      @mohammadfahrurrozy8082 Před 4 lety +3

      @@disc_00 check it out again
      If t=1 ,then it would be a 1/0 as x's exponent
      Think first,comment after

    • @mohammadfahrurrozy8082
      @mohammadfahrurrozy8082 Před 4 lety

      @@tylerchristensen7480 @Максим Быков check it out again
      If t=1 ,then it would be a 1/0 as x's exponent
      Think first,comment after

    • @henrikljungstrand2036
      @henrikljungstrand2036 Před 4 lety

      @@mohammadfahrurrozy8082 Yes by the limit as t tends to 1 is still defined, this gives x = y = e.

  • @phscience797
    @phscience797 Před 6 lety +14

    There is also an explicit formula whit which you can find the y for a given x:
    If y^x = x^y, then y = -x*W(ln(x)/x)/ln(x).
    This can easily be verified by trying to transform the right expression into the left one.

    • @Jonas-wd8pl
      @Jonas-wd8pl Před 6 lety +1

      PHScience What is W in your equation?

    • @ldx748
      @ldx748 Před 6 lety

      Jonas the lambert W function

    • @Jonas-wd8pl
      @Jonas-wd8pl Před 6 lety

      I was thinking of the same. But I thought it wouldn't make sense in this context. thank you

    • @badlydrawnturtle8484
      @badlydrawnturtle8484 Před 6 lety +1

      Never logarithm when you can find another way.

    • @nucle4rpenguins534
      @nucle4rpenguins534 Před 6 lety +1

      What's the W function

  • @michaelwinter742
    @michaelwinter742 Před 5 lety +2

    13:04 Sets t = i ; sees into the future.

  • @Deathranger999
    @Deathranger999 Před 6 lety

    Carefully picked rational values lead to nice solutions. Say, anything of the form t = (a + 1) / a. Take a = 3. Then we have x = t^(1/(t - 1)) = ((a + 1) / a)^(1/(1/a)) = (a + 1)^a / a^a, and similarly y = (a + 1)^(a + 1) / a^(a + 1). So they look kind of messy, but plugging in numbers makes them much simpler. (2, 4), (9/4, 27/8), (64/27, 256/81), and so on. You could play around with other parametrized rational solutions that happen to work well and see what you get.

  • @krukowstudios3686
    @krukowstudios3686 Před 5 lety +15

    9:27 You divide by t and then multiply by t one step later ;)
    y was already isolated :) Still, cool video!

  • @piyalikarmakar5099
    @piyalikarmakar5099 Před 5 lety +3

    i have a question sir...in this case we assumed Y=tX, so there can be more linear equation to be assumed, and that's how we can get different expressions for the variables.don't we?

  • @flightforlife6553
    @flightforlife6553 Před 3 lety +1

    Everyone needs to learn this formula. Its great

  • @sherkoza
    @sherkoza Před 4 lety

    11:53 using a number “b” for t OR the reciprocal of that same number (1/b) will generate the same x and y values. take t=2 for example it will generate x=2 and y=4, now use the reciprocal t=1/2 and you will have x=4 and y=2
    y=x^t and x=y^-t

  • @tokajileo5928
    @tokajileo5928 Před 5 lety +4

    what about x^n+y^n = x^y for what x,y,n is it true for positive integers? what about negative ones? btw: can you use a head microphone so you do not have to hold 2 pencils in one of your hands?

  • @Jax-ke6jf
    @Jax-ke6jf Před 4 lety +3

    Me in precalc cp just learning about trig functions binging your videos: Wow, I wish I knew what was going on.

  • @venkatbabu186
    @venkatbabu186 Před 5 lety

    Increasing exponent equals decreasing exponent real value 3. Three tangents to a curve meeting point.

  • @Inspirator_AG112
    @Inspirator_AG112 Před rokem +1

    f(x, y) = f(y, x) on Desmos usually gives an identity line.

  • @dex_3k
    @dex_3k Před 5 lety +3

    I've recently had to solve sin(x)^cos(x)=cos(x)^sin(x) on my math exam 😀

  • @dutchkaluuk4580
    @dutchkaluuk4580 Před 6 lety +8

    Your accent has improved a lot .
    Keep up the good work.

  • @aliouali1009
    @aliouali1009 Před 3 lety

    Btw, you solved a parametric system of 2 equations.
    Remark
    At one step, you raised an equality to power .. but you loose the equivalence.
    Ex:
    A^2= B^2 implies A=B or A=-B.

  • @itismemd
    @itismemd Před 5 lety

    If you take any number for y, you can always take x=y^y!
    because you will have y^y^y on bouth sides...
    like 3 and 27 as shown in the graf-solution, you can do it with 5 and 3125 or any number

  • @ForestGramps
    @ForestGramps Před 5 lety +4

    Why not take the natural log of both sides and solve implicitly?

    • @imagineexistance4538
      @imagineexistance4538 Před 5 lety

      Micah Beiser it wont do anything
      Take the natural log of one side over the natural log of x or y and solve from
      log(x^y)/log(y)=x

  • @rot6015
    @rot6015 Před 6 lety +8

    BLACKPENREDPEN #YAY
    WE LOVE YOU

  • @aryansinghal6270
    @aryansinghal6270 Před 6 lety +2

    We cannot cancel ^x(1/x) as it is not valid if x is even, like (-2)^2=(2)^2 and here we cannot cancel the power directly. So we should only get solutions for odd x.

    • @samsonblack
      @samsonblack Před 6 lety +1

      In order for x^y to be well-defined for arbitrary real y, we must have x>0. So, he should have made that assumption at the beginning: x>0, y>0.

  • @Jordan-zk2wd
    @Jordan-zk2wd Před 6 lety

    If you set x1. Setting t>1, you can prove there are no integer solutions by showing t^(1/(t-1)) only has an integer solution for t=2, which is EZPZ. Pretty cool : D

  • @xaxuser5033
    @xaxuser5033 Před 6 lety +59

    Yes we want a video about pytagorian triples #yay

    • @RutvikPhatak
      @RutvikPhatak Před 6 lety +2

      Yahya Hamid I second this

    • @tamircohen1512
      @tamircohen1512 Před 6 lety

      Yep

    • @user-jb5nz6ji6y
      @user-jb5nz6ji6y Před 6 lety +5

      XaXuser it is easy man
      Let k and n be any positive integer
      A = k^2 + n^2
      B = 2kn
      C = k^2 - n^2

    • @xamzx9281
      @xamzx9281 Před 6 lety +1

      XaXuser what to proof here

    • @xaxuser5033
      @xaxuser5033 Před 6 lety

      Νικος Μανε what !? If we work in the set of positifs integers the your A will be greater than your C while the C is the hypotenuse?

  • @stevechen9761
    @stevechen9761 Před 5 lety +6

    Bro’ don’t forgot X & t are different to 0 (cause you divide by X & t)

    • @urieldaboamorte
      @urieldaboamorte Před 5 lety

      this is obvious in case of x because if we allow it to be 0, then 0^y = y^0 => 0 = 1, a contradiction

  • @tclf90
    @tclf90 Před 5 lety

    you don't need to know 2^4 = 4^2
    Just take log on both sides, and re-arrange a bit, you will get x/log(x) = y/log(y)
    Notice that LHS and RHS are symmetric. So you only need to consider one side.
    Notice that again, on either side, it is a ratio.
    That means you can multiply any non-zero constant to both numerator and denominator, and still, the number is unchanged.
    Say, for a non-zero constant k, you have x/log(x) = (k*x) / (k * log(x)) = kx / log(x^k)
    which means for any x and constant k, if you can have kx = x^k, then {x, y=kx} will be one of the solution.

  • @timhourigan6257
    @timhourigan6257 Před 4 lety +1

    I can't thank you enough! You're an excellent teacher.

  • @roquedefrutos8667
    @roquedefrutos8667 Před 5 lety +6

    9:53 Why do you divide by t and then, after substituding, multiply both sides by t??😂😂

  • @ariusmaximilian8291
    @ariusmaximilian8291 Před 6 lety +5

    SOOOOOOOOOO COOOOOOOOOOOOOL YEEEEEY! Thanks for being awesome with math

  • @saadsayed1620
    @saadsayed1620 Před 4 lety

    this is my favorite channel. I already loved math but on this channel, I learn things I love.

  • @cooldawg2009
    @cooldawg2009 Před 8 měsíci +1

    You already had an equation for Y with Y isolated. Why bother dividing Y by T if you were just going to multiply T to both sides anyways?
    Aside from that, thanks for the video. I tried to do the ln and got stuck. I thought I could do lambert W function but couldnt find a way to get it into the form once I had x^(1/x) = (#)^(1/#)

  • @nafay
    @nafay Před 6 lety +3

    This guy is a sorcerer! A sorcerer I tell you!

  • @me_lolo
    @me_lolo Před 6 lety +6

    is this considered pre-calculus? how important would parametrics be going into calc 2?

    • @blackpenredpen
      @blackpenredpen  Před 6 lety +4

      I think it's do-able in precalc. Parametric equations are useful in calc2, 3, and more : )

    • @me_lolo
      @me_lolo Před 6 lety

      thanks! and are you at UCB? do you teach there? would be fun to have you

  • @VinyJones2
    @VinyJones2 Před rokem

    Note: you can divide by x because x≠0 otherwise y=x×t=0t=0=x with is in contradiction of x≠y

  • @VihMelchior
    @VihMelchior Před 6 lety

    The complex numbers makes everything more fun

  • @priyanksisodia5889
    @priyanksisodia5889 Před 5 lety +3

    I hve learn new thing today, thanks

  • @Superman37891
    @Superman37891 Před 5 lety +3

    Great solution!
    (Should I do this? Eh, it’s a rare opportunity. No offense though, you’re still WAY smarter than me. See below for his mistake)
    At 9:30 just multiply tx through; that’s exactly what you did after wasting 30 seconds and adding unnecessary confusion.

  • @volodymyrgandzhuk361
    @volodymyrgandzhuk361 Před 4 lety

    What's interesting is that if x^y=y^x, then x and y are proportional to their logarithms. In fact, we have
    x^y=y^x
    y ln x=x ln y
    (y ln x)/(ln x ln y)=(x ln y)/(ln x ln y)
    x/ln x=y/ln y

  • @mrfreezy7457
    @mrfreezy7457 Před 5 lety

    Your second solution is nice for proving that 1^infinity is indeterminant. As t gets very large (approaches infinity), 1/(t-1) will approach 0 => x will approach 1, and t/(t-1) will will approach 1, which means y will approach infinity. You'll get a conclusion that 1^infinity = infinity, which is an alternative to the intuitive solution that 1^a = 1 for all a.

  • @MrPhilipp456
    @MrPhilipp456 Před 6 lety +4

    really nice video! but can you also solve x^2=e^x with it?

    • @user-eh4tq4hk3t
      @user-eh4tq4hk3t Před 6 lety +3

      Philipp Huber parametric equations is used to solve implicit equations

    • @user-eh4tq4hk3t
      @user-eh4tq4hk3t Před 6 lety +2

      Philipp Huber while you can still solve it using the lambert w function
      x^2=e^x
      x^2 e^(-x)=1
      xe^(-1/2x)=±1
      -1/2xe^(-1/2x)=±1/2
      -1/2x=W(±1/2)
      x=-2W(±1/2)
      while W(-1/2) is complex
      so the real solution of x is-2W(1/2)

    • @user-eh4tq4hk3t
      @user-eh4tq4hk3t Před 6 lety +1

      Philipp Huber en.wikipedia.org/wiki/Lambert_W_function

    • @lucazara9137
      @lucazara9137 Před 6 lety +2

      無謂 I generalize it with this formula
      x^p=b^x
      x=-pW(-ln(b)/p)/ln(b)

    • @MrPhilipp456
      @MrPhilipp456 Před 6 lety

      無謂 ok this is a little too high for me

  • @15schaa
    @15schaa Před 6 lety +27

    Don't worry, be commutative! #yay

  • @1234Daan4321
    @1234Daan4321 Před 4 lety

    If you say (3sqrt(3))^sqrt(3) = sqrt(3)^(3sqrt(3)), you can say the same thing, where you only use the number 3 for t=3.

  • @SefJen
    @SefJen Před 5 lety

    Are there other solutions ?
    a^x=b^x=> a=b ?
    Wrong if x=2 and a= -b0