I Solved A Nice Exponential Equation (NOT REALLY!)

Поделиться
HTML-код
  • Опубликовано: 8 сен 2024
  • 🤩 Hello everyone, I'm very excited to bring you a new channel (aplusbi)
    Enjoy...and thank you for your support!!! 🧡🥰🎉🥳🧡
    / @sybermathshorts
    / @aplusbi
    Also check out the following videos to COMPARE and CONTRAST:
    * I Was Wrong and WA Was Right! | Problem 138
    • I Was Wrong and WA Was...
    * Solving A Weird Exponential Equation | Any Solutions?
    • Solving A Weird Expone...
    ⭐ Join this channel to get access to perks:→ bit.ly/3cBgfR1
    My merch → teespring.com/...
    Follow me → / sybermath
    Subscribe → www.youtube.co...
    ⭐ Suggest → forms.gle/A5bG...
    If you need to post a picture of your solution or idea:
    in...
    #exponentialequations #algebra #complexnumbers
    via @RUclips @Apple @Desmos @NotabilityApp @googledocs @canva
    PLAYLISTS 🎵 :
    Number Theory Problems: • Number Theory Problems
    Challenging Math Problems: • Challenging Math Problems
    Trigonometry Problems: • Trigonometry Problems
    Diophantine Equations and Systems: • Diophantine Equations ...
    Calculus: • Calculus

Комментарии • 143

  • @TedHopp
    @TedHopp 8 месяцев назад +39

    This video is a good example of why the exponent rules of real numbers cannot be blindly applied to complex numbers. In particular, the real identity (a^b)^c = a^(bc) does NOT hold in general in the complex world. (It does work for integer exponents, but not for fractional exponents like is done in this video.) With more care, you wouldn't end up with nonsense results claiming that an expression with modulus clearly equal to 1 equals a value with modulus e.

    • @SyberMath
      @SyberMath  7 месяцев назад +1

      I agree!

    • @j.r.8176
      @j.r.8176 7 месяцев назад +3

      @@SyberMath I feel like you posted this video legitimately and after people pointed out that it's wrong, you've decided to play it off as just a joke.

    • @WhosBean
      @WhosBean 7 месяцев назад

      The distribution rule holds when you explicitly state the paramedic function n, as the video did. That's not an issue.

    • @cegexen8191
      @cegexen8191 7 месяцев назад

      no you're wrong because i is a very broken number in the first place. you can't deal with such expression with that number i that is equal to its reciprocal, to its opposite, and i is also a number that proves that any number equals any number. + plus it doesn't make sense in geometry so yeah heck that

    • @WhosBean
      @WhosBean 7 месяцев назад

      @@cegexen8191 are you tripping?

  • @tcmxiyw
    @tcmxiyw 7 месяцев назад +7

    If a and b are real numbers, a^(bi)=e^(bi*ln(a))=cos(b*ln(a))+i*sin(b*ln(a)), which has magnitude 1. It follow that for all complex z=u+Iv, 1^z=1^u*1^(iv) which has magnitude 1 and can therefore cannot be e.

    • @WhosBean
      @WhosBean 7 месяцев назад

      You are only considering the priniciple value of the complex logarithm, and also left out the parameter for periodicity in the complex expression of 1. The principle value does have a modulus of 1 but there are other values with a higher value. The video is correct.

    • @tcmxiyw
      @tcmxiyw 7 месяцев назад +2

      @@WhosBean Okay, I will reduce the problem of solving 1^x=e in C to finding a solution when 1 is in the branch, B, of ln containing
      [-i*pi,i*pi). In this branch, ln(1) = ln(|1|) +i*arg(1)=ln(1)=0, and if x=a+bi, then for this branch 1^x=1^(a+bi)=1^a*1^(bi)=1^(bi)=e^(bi*ln(1))=e^0=1 (=e^(2*pi*k*i) where on our branch, the integer k is zero). So for 1 on the branch B of ln, 1^x=1 for all x in C. For any other representation of 1 as e^(2*pi*k*i), 1^x=1, since e is 2*pi*i periodic. Therefore 1^x = e has no solutions in C.
      In situations where you have to limit the domain or range of a function to where it is one-to-one in order to find an inverse function, you have to decide how to restrict the function’s domain (or range). The definition (branch) of the inverse function depends on that decision. In using an inverse function when there is more than one possibility, you have to specify, either explicitly or by convention, which inverse function you are using. Switching from one possible inverse to another is perilous and most likely leads to errors. You don’t have to leave the real numbers to see that problems can develop. For example, there are two possible branches for the inverse of f(x)=x^2: for a >=0 (1) sqrt(a^2)=a, or (2) msqrt(a^2)=-a. There is a useful identity for each of these possible inverses: sqrt(x^2)=|x| and msqrt(x^2)=-|x|. In the “where’s the error” problem, 1=sqrt(1^2)=sqrt((-1)^2)=~1, one error is that the second application of sqrt is actually an application of the other inverse.
      In the real numbers, the branches of sqrt, arcsin, arccos, and arctan are established by convention.
      In the video, he goes from e^a = e^b to a=b. This is incorrect as f(x)=e^x is not a one-to-one function. If a and b are in different branches of ln, then getting to a=b will require applying one branch of ln on one side and another branch on the other side. Mixing inverses, in other words. It is true that e^2=e^(2+2*pi*i), but we certainly cannot conclude that 2=2+2*pi*i.

    • @WhosBean
      @WhosBean 7 месяцев назад

      @@tcmxiyw yes what you're saying is right but it doesn't disprove the video because he never swapped from one branch to the other, he used the parametric form which includes all branches at once.
      In the principle branch the modulus in 1, that's not debated. If you set n=k=0 in the results then you'll get that too. But there are OTHER branches which do have solutions. All are equally valid. Which branch is principle is a matter of convention, it isn't inheritely "better" in any sense to the other branches.

    • @tcmxiyw
      @tcmxiyw 7 месяцев назад

      @@WhosBean Concluding from e^a = e^b that a=b is an error without proving that a and b are on the same branch. All you can conclude from e^a =e^b is that a and b differ by a multiple of 2*pi*i. Moving numbers out of the exponent is taking the Ln of both sides. You have to use the same branch of Ln on each side. He makes this error at around 4:55. This can be cleaned up. Also, for the equation he develops at about 4:55, it would be helpful to ask, “Given values of n and k, for what values of x do the numbers on each side of the equation have arguments that differ by less than 2*pi?” For these values of x we can apply the same branch of Ln to each side.
      I made an error in my first response to you: 1^z IS multivalued: if z=a+bi, where a and b are real then the multiple branches of 1^z are given by
      1^z=1^(a+bi)=e^((a+bi)*ln(1))=e^((a+bi)*(ln(|1|)+2pi*k*i))=e^(-2*pi*k*b+2*pi*a*k*i).
      I erred in looking at the periodic representations of 1 rather than multiple values of the Ln.

    • @WhosBean
      @WhosBean 7 месяцев назад

      @@tcmxiyw I'm not saying that a and b are equal of they're from different branches. I'm saying the opposite. When you take logarithm of e^a you have to return it in parametric form because log is a periodic function. Same with b. Their PARAMETRIC FORMS are what's equal to each other. When you set BOTH parameters equal to the same constant, then that is comparing values along the same branch.

  • @moskthinks9801
    @moskthinks9801 8 месяцев назад +6

    Makes me think about that one limit definition of e = lim (1+1/n)^n as n->infty and how that's the indeterminate form 1^infty which equals e (unfortunate that 1^x in the video is always 1, even in the complex world if using the principal root)

  • @thomaslangbein297
    @thomaslangbein297 8 месяцев назад +26

    I am a bit disappointed. My math hero falls for the same ”trap“! 1 has a modulus of 1, e one of e. Exponentiating complex numbers works by multiplying the argument with the exponent and exponentiating the modulus. You can only reach all n complex n-th roots of 1 by exponentiating 1. They have all a modulus of 1. Otherwise 1 to anything is always 1. I only say: De Moivre. Too sad!

    • @monasimp87
      @monasimp87 8 месяцев назад

      Truly it was quite sad that he fell for the trap

    • @SyberMath
      @SyberMath  8 месяцев назад +1

      What's the trap?

    • @TedHopp
      @TedHopp 8 месяцев назад +14

      ​@@SyberMath The trap is that (a^b)^c = a^(bc) is not generally valid in complex arithmetic.

    • @SyberMath
      @SyberMath  8 месяцев назад +2

      Oh, I see. Thanks!

    • @QuasiRandomViewer
      @QuasiRandomViewer 8 месяцев назад +7

      @@SyberMath Yes. And you can see the trouble if you reconsider your step at 7:50 where you are checking your candidate solution x=1 - (1 / 2π)i. At that point you chose to represent 1 as e^2π, then misapplying the Laws of Indices outside of where it is valid, you erroneously find that 1^x=e. But what if, when checking the solution with that same value of x, you instead chose to represent 1 as e^0 (a more natural choice as it lies within what is most commonly chosen as the principal branch of the complex logarithm function)? Then, by applying the very same steps as before, you would find 1^x=0. You certainly are not arguing that e=0, so that clearly shows a problem in your methodology.

  • @Hobbitangle
    @Hobbitangle 4 месяца назад

    1^x=e
    x•Log(1)=Log(e)
    Log(1) = 2πki
    Log(e)=1+2πni
    x=(1/2πi+n)/k, where k,n are the arbitrary integer numbers, k≠0
    The equation has the infinite numbers of roots

  • @pinedelgado4743
    @pinedelgado4743 8 месяцев назад +5

    I've never heard of the word "complexify" before today! Thank you, SyberMath, for making it a part of my mathematical vocabulary!! :) :)

    • @nevoitzhak2092
      @nevoitzhak2092 8 месяцев назад +1

      Well it can also be used outside of math and is actually less common in math. It means to make something complex so if someone is making things more difficult than they should be you could say that person is complexifying things

    • @SyberMath
      @SyberMath  8 месяцев назад +2

      My pleasure!

    • @tcmxiyw
      @tcmxiyw 7 месяцев назад

      When you “complexify” 1, you get 1, or maybe an alternate expression for 1, but it’s 1. If “complexify” means to make it complex, then it is a redundant operation. Remember, every real number is a complex number. R is a subset of C.

    • @ferudunatakan
      @ferudunatakan 7 месяцев назад

      Because it's probably not a real word

  • @MrBeen992
    @MrBeen992 8 месяцев назад +6

    8:39 "1 ^ 💩💩"

  • @ManjulaMathew-wb3zn
    @ManjulaMathew-wb3zn 5 месяцев назад

    When you back substitute the general solution in the equation the most simplified value of LHS is e^(1/n) This can only be equal to e only if n=1.
    So the general solution reduces to k +i/2PI ?

    • @ManjulaMathew-wb3zn
      @ManjulaMathew-wb3zn 5 месяцев назад

      Or since the principal value of n is not allows can we say no solutions?

  • @mcwulf25
    @mcwulf25 8 месяцев назад +2

    Nice problem.
    Thinking about the last bit. I think it's right to ignore complex roots because you have already split real and imaginary parts.

  • @niiiiiiiiiiicooooo
    @niiiiiiiiiiicooooo 8 месяцев назад +3

    As mentioned by other comments, the proof is not valid.

  • @honestadministrator
    @honestadministrator 8 месяцев назад +2

    e is defined as
    lim ( h --> 0) ( 1 + h) ^ ( 1/h)
    Hereby only feasible value of x is Infinity

    • @ScrewY0UguyS
      @ScrewY0UguyS 7 месяцев назад

      infinity is not a value

  • @michaelmehlhorn1899
    @michaelmehlhorn1899 7 месяцев назад

    Mhm.
    Multiply each site with its complex conjugate creates an equation with only real numbers:
    x=a+ib
    1^(a+ib) * 1^(a-bi) = e * e
    1^2ae^2
    a is a real number and 1 raised by any real number is 1.

    • @SyberMath
      @SyberMath  7 месяцев назад

      Are 1^(a+ib) and 1^(a-bi) conjugates?

    • @michaelmehlhorn1899
      @michaelmehlhorn1899 7 месяцев назад

      @@SyberMath
      Yes.
      In general
      With a, b, c real
      c^(a+bi) =c^a * e^(ln(c) * b *i)
      ln(c) * b is the angle. To get the conjugate replace b by - b.

  • @moonyl5341
    @moonyl5341 7 месяцев назад +1

    it works in wolfram alpha if you input xth root of e = 1

    • @SyberMath
      @SyberMath  7 месяцев назад

      it did not work for me

    • @moonyl5341
      @moonyl5341 7 месяцев назад +1

      @@SyberMath Surd[e,x]=1 ?

  • @jonasvuillemin9412
    @jonasvuillemin9412 7 месяцев назад

    4:18 is wrong u can’t put the x inside, u used Moivre which only work for x in integer

  • @kennethgee2004
    @kennethgee2004 8 месяцев назад +1

    yeah but a solid 1 that we have here raise to any power including 0 is always 1 by definition.

  • @trojanleo123
    @trojanleo123 6 месяцев назад

    Could someone explain why (a^b)^c = a^(bc) is not generally valid in the complex world?

    • @yannld9524
      @yannld9524 6 месяцев назад

      With usual definitions : a = e, b = 2i pi, c = 1/2 then (a^b)^c = 1^(1/2) = 1 but a^(bc) = e^(i pi) = -1

    • @trojanleo123
      @trojanleo123 6 месяцев назад

      @@yannld9524 Didn't understand that at all because you used a = 1 in one instance and a = e in another. Can you try again?

    • @yannld9524
      @yannld9524 6 месяцев назад

      @@trojanleo123 a = e, b = 2i pi, c = 1/2
      So a^b = e^(2i pi) = 1 and (a^b)^c = 1^(1/2) = 1.
      On the other hand bc = i pi so a^(bc) = e^(i pi) = -1.

    • @trojanleo123
      @trojanleo123 6 месяцев назад +1

      @@yannld9524 Thank you. I get it now.

  • @felipegomabrockmann2740
    @felipegomabrockmann2740 7 месяцев назад

    great!!!

  • @scottleung9587
    @scottleung9587 8 месяцев назад +1

    Cool - I got the complex part of the answer, but not the real part.

    • @SyberMath
      @SyberMath  8 месяцев назад +1

      You got partial credit for that: i points! 😁

    • @scottleung9587
      @scottleung9587 8 месяцев назад

      @@SyberMath good to know!

  • @MrGeorge1896
    @MrGeorge1896 8 месяцев назад +1

    Checking the calendar is it really April Fools' Day today? Fun watching it anyway...

    • @QuasiRandomViewer
      @QuasiRandomViewer 7 месяцев назад +1

      I wanted to think that it was a joke -- that it was going to end with "OK, clearly this answer is incorrect, so where was the faulty step in the logic?"
      But alas, that was not to be.

  • @mathisnotforthefaintofheart
    @mathisnotforthefaintofheart 8 месяцев назад

    Took the ln on both sides. Very easy. Interestingly with the use of complex numbers, 1^x has a true meaning because it can be anything (except zero)

    • @tcmxiyw
      @tcmxiyw 7 месяцев назад

      No, 1^x power cannot “be anything”. Suppose z=a+bi, where a and b are real numbers.
      If a and b are real numbers, then 1^(a+bi)=(1^a)(1^(bi)) = e^(bi*ln(1)+2*i*pi*k) = e^(2*i*pi*k) = cos(2*pi*k)+i*sin(2*pi*k) = 1 for every integer k. In other words, for all z in C, 1^z = 1. That is why Wolfram Alpha reports that 1^z = e has no solutions. What I’ve written is somewhat redundant because I’m using ln as a real valued function. This is okay, because for complex z, the ln function is defined in terms of the ln function on the positive real line. By definition for z in C, ln(z) = ln(|z|) + i*arg(z), where you specify which argument you are using by specifying which branch of ln you are using.

    • @QuasiRandomViewer
      @QuasiRandomViewer 7 месяцев назад

      What did you get when you took the ln on both sides?

    • @mathisnotforthefaintofheart
      @mathisnotforthefaintofheart 7 месяцев назад +1

      @@QuasiRandomViewer . A lot of answers. Because the ln is multi-valued in complex numbers. Remember that ln(1) is not only zero. So you are not dividing by zero. It boils down to the same answer as in the video. Some raise to the power "e", others take the ln. It is also important to note two auxiliary variables, being "k" and "n". It should be noted that, when referring to the video, most folks don't forget the "k", but DO forget the "n". In other words, the notation "x=e^lnx" is technically incomplete. Sybermath has taken that perfectly into account

    • @j.r.8176
      @j.r.8176 7 месяцев назад

      @@mathisnotforthefaintofheartWhat are you smoking?

    • @mathisnotforthefaintofheart
      @mathisnotforthefaintofheart 7 месяцев назад

      @@j.r.8176Sober as always:) How about yourself?

  • @tontonbeber4555
    @tontonbeber4555 8 месяцев назад +3

    Yep, simple ... no solution ... you can find any number of pseudo-solutions, they must all be rejected.

    • @QuasiRandomViewer
      @QuasiRandomViewer 8 месяцев назад

      The trick is finding where the bogus step lies in this "proof" that e=1. (Ans: Misapplication of law of indices to domains in which they don't apply.
      The problem is that it was presented as a legitimate proof.

  • @barberickarc3460
    @barberickarc3460 8 месяцев назад

    WolframAlpha not having the solution really messed me up, did the same method as you for the same answer, but WolframAlpha kept saying my complex number was equal to 1, i didn't think to check it by hand haha
    Great question keep them coming

    • @QuasiRandomViewer
      @QuasiRandomViewer 8 месяцев назад

      WolframAlpha had it right.
      You may wish to look at the comments here by @thomaslangbein297 & @TedHopp (and their replies) which explain where @SyberMath when wrong with this one.

    • @tcmxiyw
      @tcmxiyw 7 месяцев назад +1

      If a and b are real numbers, then 1^(a+bi)=(1^a)(1^(bi)) = e^(bi*ln(1)+2*i*pi*k) = e^(2*i*pi*k) = cos(2*pi*k)+i*sin(2*pi*k) = 1 for every integer k. In other words, for all z in C, 1^z = 1. That is why Wolfram Alpha reports that 1^z = e has no solutions.

    • @omarsayed3874
      @omarsayed3874 7 месяцев назад

      if you type e^(1/x) = 1, which is the same equation in a different form, you will get the answer

    • @surfgamer7136
      @surfgamer7136 7 месяцев назад

      @@tcmxiyw If you write 1^(-i/(2 pi)) in wolframalpha, then several values will be output, one of which is e

  • @suntzu751
    @suntzu751 7 месяцев назад

    1/(ln(1)) with is undefined

  • @viktoryudin9114
    @viktoryudin9114 7 месяцев назад

    I have just invented Perpetuum mobile

  • @user-ie9un8eo1h
    @user-ie9un8eo1h 8 месяцев назад +2

    Log(1)e

  • @nynirf975
    @nynirf975 7 месяцев назад

    ln(1) is only 0, not 2kπi . Function can have only 1 answer for 1 argument, it can be that ln(1)=0 and also 2kπi.

  • @javierlopezferrero
    @javierlopezferrero 7 месяцев назад

    e IS NOT Euler's number.

    • @SyberMath
      @SyberMath  7 месяцев назад

      Whose number is it?

    • @trojanleo123
      @trojanleo123 6 месяцев назад

      'e' is indeed Euler's number. Perhaps you are confusing 'e' with Euler's constant which is a different mathematical constant denoted as gamma (γ).

  • @stefankrimbacher7917
    @stefankrimbacher7917 7 месяцев назад

    Please talk half the speed

  • @ulasdurakk
    @ulasdurakk 7 месяцев назад

    lan abisi

  • @yannld9524
    @yannld9524 8 месяцев назад +35

    This is wrong, obviously 1^z = exp(z ln(1)) = exp(0) = 1 for any z. You should delete

    • @Bruh-bk6yo
      @Bruh-bk6yo 7 месяцев назад +15

      Clearly, you don't know the power of the complex world.

    • @yannld9524
      @yannld9524 7 месяцев назад +1

      @@Bruh-bk6yo sorry to tell you that complex world is not that powerful

    • @Bruh-bk6yo
      @Bruh-bk6yo 7 месяцев назад +19

      @@yannld9524 it is. Do you know the definition of the complex logarithm?
      Ln(z)=ln(|z|)+i(phi+2πk)

    • @roygalaasen
      @roygalaasen 7 месяцев назад

      @@yannld9524Have you met my friend Quaternion? He is complex and powerful. If you ever seen anything moving graphics around on your phone/computer, it is complex power behind the scenes.

    • @yannld9524
      @yannld9524 7 месяцев назад +2

      @@Bruh-bk6yo Yes i know what is "a" (not "the") complex logarithm , but that doesn't change my point. By the very definition of the exponentiation if a > 0 and z complex then a^z = exp(z ln(a)). With a = 1 that gives 1^z = 1.
      I'm really annoyed by these videos where a guy who doesn't master the subject he talks about (here math) explains something that everyone knows is false, but in a convincing enough way that a "non expert" can believe him.

  • @ronbelanger8812
    @ronbelanger8812 8 месяцев назад

    You are amazing!

    • @SyberMath
      @SyberMath  8 месяцев назад

      Wow, thank you! 😍

    • @leif1075
      @leif1075 8 месяцев назад

      ​@SyberMath Thanks for sharing. I don't mean to pester but I hope you can respond to.mynquestuon on the sum pf squares of integers videos..how tomsolve without using cubes formula..since wouldn't younagree I don't see anyone thinking of thst of they didn't know it beforehand?

  • @BilguunBolguun
    @BilguunBolguun 8 месяцев назад +1

    first

  • @pelasgeuspelasgeus4634
    @pelasgeuspelasgeus4634 8 месяцев назад +1

    Complex numbers are fake invented math because (1) the definition of a complex number contradicts to the laws of formal logic, because this definition is the union of two contradictory concepts: the concept of a real number and the concept of a non-real (imaginary) number-an image. The concepts of a real number and a non-real (imaginary) number are in logical relation of contradiction: the essential feature of one concept completely negates the essential feature of another concept. These concepts have no common feature (i.e. these concepts have nothing in common with each other), therefore one cannot compare these concepts with each other. Consequently, the concepts of a real number and a non-real (imaginary) number cannot be united and contained in the definition of a complex number. The concept of a complex number is a gross formal-logical error; (2) the real part of a complex number is the result of a measurement. But the non-real (imaginary) part of a complex number is not the result of a measurement. The non-real (imaginary) part is a meaningless symbol, because the mathematical (quantitative) operation of multiplication of a real number by a meaningless symbol is a meaningless operation. This means that the theory of complex number is not a correct method of calculation. Consequently, mathematical (quantitative) operations on meaningless symbols are a gross formal-logical error; (3) a complex number cannot be represented (interpreted) in the Cartesian geometric coordinate system, because the Cartesian coordinate system is a system of two identical scales (rulers). The standard geometric representation (interpretation) of a complex number leads to the logical contradictions if the scales (rulers) are not identical. This means that the scale of non-real (imaginary) numbers cannot exist in the Cartesian geometric coordinate system.

    • @PaulMurrayCanberra
      @PaulMurrayCanberra 7 месяцев назад +1

      A person who thinks using words, I see. In math, 'Real' and 'Imaginary' are simply labels - they don't have their conventional meaning. All numbers are imaginary, in your sense of the word. Pls post me a '3' by physical mail if you believe that not to be the case.

    • @pelasgeuspelasgeus4634
      @pelasgeuspelasgeus4634 7 месяцев назад

      @@PaulMurrayCanberra does the concepts "countable" and "uncountable" help you understand?

    • @v8torque932
      @v8torque932 7 месяцев назад

      You’re not making sense. What do you mean essential features negates another concept? Have you seen galios or group theory

    • @v8torque932
      @v8torque932 7 месяцев назад

      You’re not making sense. What do you mean essential features negates another concept? Have you seen galios or group theory

    • @v8torque932
      @v8torque932 7 месяцев назад

      You’re not making sense. What do you mean essential features negates another concept? Have you seen galios or group theory

  • @pasqualepettrone7025
    @pasqualepettrone7025 8 месяцев назад

    Hi Cybermath, can you solve this goniometric inequality?
    √3sinx≥cosx-1
    Thank you so much if you will ❤❤