Solving sin(x)^sin(x)=2

[@blackpenredpen]

What do you think about my "e-hoodie"?

[@andy-kg5fb]

I got till 2ln(2)×exp(2sinx)=2sinx. In sinx^(cosx)=2. Wolfram alpha can solve from there. I can't. Steps: First take ln on both sides. Then notice you have cos of an angle times something equal to something, so Pythagoras. Then exp both sides. Then simplify. Then Wolfram alpha. Edit: I messed up not 2ln(2)×exp(2sinx)=2sinx But exp(ln(2)²)×exp(sin²x)=exp(ln²(sinx))

[@andy-kg5fb]

Your "e-hoodie" is pretty cool.

[@Shreyas_Jaiswal]

e=2.7 1828 1828 45 90 45 235 360 ...

[@andy-kg5fb]

@@Shreyas_Jaiswal prove your claim.

[@Shreyas_Jaiswal]

@@andy-kg5fb From equation (i) and (ii) we conclude, LHS=RHS. Hence proved.

[@HungNguyen-rj3ek]

It's actually okay to have an irrational number that cannot be explained in known functions and constants. To solve this equation, just make up a new function like Larmbert W for it.

[@blackpenredpen]

😆

[@holyshit922]

That could be an idea

[@abhishekdevkota9538]

@@blackpenredpen new Maths discovery kzbin.info/www/bejne/bGSvnJqLepdqoJo

[@gary.h.turner]

We could call it the "BPRP" function: B(x) = (sin x)^(cos x)

[@HungNguyen-rj3ek]

@@gary.h.turner It should be: If f(x) = (sinx)^(cosx) Then B(x) = f^(-1)(x)

[@gabequinn9796]

How to make a homemade chain rule equation: 1. Preheat the oven to 400° 2. Gather all of your constants together, slowly mix with your variable(s) 3. Wrap this mix in parentheses, top off with a variable exponent or natural log 4. Bake for 45 min 5. Let stand for 5-10 min and serve Servings: 24 calculus students

[@hellblazephoenix643]

😂

[@LIA-52]

Looks like a recipe for the Chef language.

[@chri-k]

@@LIA-52 yes

[@sharpnova2]

i found a perfectly marvelous closed analytical solution to this equation but the comment section is too small to contain it

[@alham9656]

so true

[@ikocheratcr]

360yr later and the line never gets old ;)

[@dianeweiss4562]

Give us the link to your video.

[@maxwell1594]

Are you rebirth(reincarnation) of Fermat 😊 ?!

[@yunghollow1529]

"The link, dude. You forgot the link" -Albert Einstein

[@wesleydeng71]

Well, in the spirit of W Lambert function, let's define a Q function such that Q(x) is the solution of sin(t)^con(t) = x. Then obviously, the solution of the equation is Q(2).

[@viharsarok]

Agree. The Lambert W is a kind of cheating itself.

[@DatBoi_TheGudBIAS]

Give a numerical approximation of Q(2)

[@aa01blue38]

@@viharsarok well, so is sine and cosine

[@pedrosso0]

@@viharsarok Well, couldn't you say the same for ln? e^x=2, what is x? x=ln(2) where e^lnx := x Isn't that kind of cheating itself?

[@Felipe-sw8wp]

@@pedrosso0 all you guys contesting the elementary functions + lambert's, you have a point. However, all of those, including Lambert's W have a nice looking Taylor series. We could ask ourselves if that could also be the case for the Q function?

[@yoav613]

If you write in wolfram x^-sqrt(1-x^2)=2 you get the numeric sol x=0.4584 so x=arcsin(0.4584)=2.6653+2npi

[@MichaelGrantPhD]

Indeed, I think that once you concede that you can only solve it numerically, it's reasonably straightforward.

[@yoav613]

@@MichaelGrantPhD yes i think too that this can be solved only nemeicly,but i am not sure,anyway i guess that if wolfram gives only numeric sol,so this is the only way to solve it

[@andrasfogarasi5014]

@@jcd-k2s I'm pretty sure it would violate Gödel's incompleteness theorem if WolframAlpha could give an analytical solution to all solvable problems.

[@hOREP245]

@@andrasfogarasi5014 Gödel's incompleteness theorem's have nothing to do with this.

[@verifiedgentlemanbug]

@@hOREP245 Gödel's incompleteness theorem have something to do with this

[@goliathcleric]

I haven't solved the second one (it's 5am and I just woke up) but my instinct is telling me the first step is going to be to convert both sin(x) and cos(x) to their complex equivalent using e. I think it'll be similar to cubic equations, where you have to journey through the complex world to find their real solution.

[@Metalhammer1993]

Good Idea, I thought it might legit be necessary to brute force it into a differential equation (utilizing cosine being the derivative of sine) to arrive at some insane formulation for sine that takes a week to prove that it actually IS sine and hope you can set that crazy MFer to the power of its derivative equal to two. Yeah I know the very idea is bonkers and can't work for several reasons I just don't see yer, but I'll try (and regret it) now xD

[@fedem8229]

I don't think that helps. I believe there's no nice answer and the best you can do is a numerical approximation

[@Metalhammer1993]

@@fedem8229 yeah most likely.

[@williamcamp7665]

@@Metalhammer1993 did you figure out how to solve it?

[@scarmackd1498]

Me in 10th grade like hmm yes I see 🤔

[@johndoe9659]

Numerical approximations are, to a mathematician, what frozen ready meals are to a decent chef.

[@jefflambricks]

Is it a good thing or a bad thing?

[@LiteralBacon]

So you use them when you're feeling lazy and want something handy

[@nope110]

Used constantly but not enjoyed much? Chefs dont eat anywhere near as well as you'd think

[@bowkenpachi7759]

And this is why I hate it when it’s argued that .9 recurring is equal to 1

[@oliverqueen5883]

🤣

[@69k_gold]

My teacher always said "When you got a difficulty with algebra, use calculus to prove the sum" "When you got a difficulty with calculus, use algebra to prove the sum" "When both don't work, use trigonometry and get over it"

[@Vortex-qb2se]

Isnt trigonometry about triangles and Geometry shit 😭

[@Thecurseofoctober]

@@Vortex-qb2se the trigonometric values can be used to solve a lot of problems cause there are sooo many calculus formulas which revolve around trigonometry.

[@Propane_Acccessories]

@@Thecurseofoctober Trigonometric substitution wrecked me in calculus. Our professor didn't let us use a formula sheet, so we had to memorize all the substitutions and their derivations since there was not enough time to work them out manually. Luckily the class got a "do-over."

[@TatharNuar]

@@Propane_Acccessories For me, drawing out the triangle helped with trig substitution.

[@forgetittube5882]

As any transcendental equation, it doesn’t have an algebraic closed form solution. Of course, as many have already observed, you could try to define/find an auxiliary transcendental function Z() (‘similar’ to the Lambert one), but you would only ‘shift the problem’ (e.g. finding a solution in terms of Z(k) would just convert the problem in terms of solving Z(K), by definition, transcendental). Anyway, looking the function f(x)=sin(x)^cos(x)-2, it is cyclical (2pi) and in the interval [0,pi] it is real, diverging near pi. So, there is for sure a solution to the equation f(x) == 0. Using Numerical Analysis, newton-rapson (Xn+1 approx. -f(Xn)/f’(Xn) ) behaves really badly (lol, diverges quite quickly… the derivative diverges near pi as well). Trying two different ‘recurring equations’ Xn+1 approx. arcsin (exp (log(2)cos(Xn))) And Xn+1 approx. arccos (log(2)/log(sin(Xn))) Using an initial value Xo=1, unfortunately, (interacting over the function with matlab) one gets X = 1.02197646023983-0.973667917229243 (lol, matlab… btw, f(X) = i * 0.2220446049e-15 which isn`t that bad, it is a solution, just that it is a complex one, outside the [0;pi] interval) So, as a last resort (to find a real value), I tried the most mundane of all approaches: simple bisecting, starting with two values Xa=2.5 and Xb=2.9, defining the next value Xc = (Xa+Xb)/2 and evaluating f(Xc) (if greater than zero, Xb=Xc, if less than zero, Xa=Xc, rinse repeat)… after a few interactions, finally, it results in X = 2.66535707927136 (f(X) = 1.332267e-15 (real)) So, at least two set of solutions for the problem X=1.02197646023983-i*0.973667917229243 + n*2pi X=2.66535707927136+n*2pi ======= Edit:: now an algebraic approach (lol, I think I found one) Being `creative`, in sin(x)^cos(x) = 2 replacing sin(x) by sqrt(1-cos(x)^2) and extracting the log of both sides, one gets Cos(x) * log ( sqrt ( 1 - cos(x)^ 2)) = log (2) which can be rewritten as cos(x) / 2 * log ( (1-cos(x) * (1+cos(x) ) = log(2) or just Log(1+cos(x)) + log(1-cos(x)) = 2*log(2)/cos(x) now, one can take the derivative in both sides (d/dx)… I know..”tricky” (formally dangerous) -sin(x)/(1+cos(x)) + sin(x)/(1-cos(x)) = 2*log(2)*sin(x)/cos(x)^2 which can be rewritten as 2*sin(x)*cos(x)/(1-cos(x)^2) == 2*cos(x)/sin(x) = 2*log(2)*sin(x)/cos(x)^2 that follows cos(x)^3 = log(2)*sin(x)^2 or just cos(x)^3 = log(2)*(1-cos(x)^2) so, we, finally, have cos(x)^3 +log(2)*cos(x)^2 - log(2) == 0 Lol, using wolframalfa to solve this last one x = 2pi * n +/- 0.789383 x = 2pi * n +/- ( 2.13703 +/- i * 0.759387 )

[@sithlordbinks]

Wow, nice solution

[@lih3391]

I think the solution found with bisecting is the only correct real number solution looking at the graph on desmos. I can't verify the complex ones, but I don't think just taking the derivative on both sides works without integrating it back. For example, x^2=5 if you take the derivative on both sides, 2x=0 and I think you see the problem here

[@saimohnishmuralidharan5440]

Great Effort. Use the Cubic Equation to not make it as an approximation.

[@forgetittube5882]

@@lih3391 I know, that`s why I wrote `formally dangerous`… and it`s tricky, because, if you integrate it back you have two problems, obtaining the correct constant integral and solving the `resulting equation` (back to square one, it`s a transcendental equation again (I did the effort, no go…))

[@forgetittube5882]

@@saimohnishmuralidharan5440 with wolfram alpha you can obtain the complete, exact, solution, the expression is just painful long/complex (no point in even trying to copy and paste it here…)

[@kashgarinn]

You already know x has to be between pi/2 and pi, and you already know you’re looking for a negative power, which means it becomes about a ratio between sinx and cosx that must equal 2, i.e. Sinx/cosx = 2 where pi/2 < x < pi. I don’t know whether replacing cosx with a trig equality, or doing ln(sinx)-ln(cosx)=ln(2) would lead to an answer through switching to euler representation.

[@paulkolodner2445]

The first equation is easy to solve using a calculator: with y=sinx, we have y = exp(ln2/y). Guess a value of y for the RHS, obtain a new value using this equation. Iterating leads to y=1.5596105... Figuring out the complex value of x is your problem. The second equation requires more button pushing because you have to compute y = exp(ln2/(y^2 - 2)). Iterating leads to y = 0.4280110...

[@wiseSYW]

you'll need to define a new function like lambert W, I guess using google, putting in (sin x) ^ (cos x) and moving the mouse at the graph, you'll get x = 2.666... when y is about 2.0003...

[@gregwochlik9233]

I used your suggested x-point, and got "Solution found at x = 2.66535707927136 (c = 2.0)" from my Python script, which uses the secant method (similar to Netwon's)

[@DatBoi_TheGudBIAS]

The approx is 2.6653

[@myuu22]

Wolfram Alpha might have timed out, but Desmos did not. I just graphed y=(sin x)^(cos x) and y=2 and found where the two graphs intersected. The intersection points are, to three significant figures, 2.665+2πn

[@orangenostril]

Desmos is god tier

[@JemEklery]

Desmos "brute-forces" such equations and calculates y for every x on screen. We are looking for a clean solution

[@sergiokorochinsky49]

WolframAlpha does not time out, he just doesn't know how to use it. Try writing the equation using Mathematica Language, that is, Sin[x]^Cos[x]=2, and you will have much better information than that given by Desmos. (Never mind using the correct Mathematica command: Solve[Sin[x]^Cos[x]==2,x])

[@jbrady1725]

You're right. Wolfram Alpha actually gives a result with that input, in exact form.

[@vanderavongola]

hi @blackpenredpen! This is such a great video! I solved this equation almost the same way as you did but I had a different approach starting from 4:40. I expressed e^ix as cos x + i sin x and grouped real and imaginary terms. What I got was x = sin^(-1) {exp[W(ln2) \pm \sqrt(exp[2*W(ln 2)]-1)} which is a real solution if exp[2*W(ln 2)]-1. Is this consistent with your solution? Hope you see this!

[@chenghowkoh2178]

I tried solving it be letting y=sin x, then manipulating it to differentiate both sides. Where we have, ln y/ln 2 = +- 1/sqrt(1-y^2). If we input this pre differentiation, we will get numerical solution for y = 0.458437... when considering the negative side of the equation. However, after differentiation, you will get a cubic equation but my y values are all complex at least considering the negative one, while the positive one will yield a real value which still differs from the y= 0.45... solution as above

[@Fematika]

Just because two sides are equal at one point, doesn't mean their derivatives are. For instance, x^2 + 1 = x^3 has a solution, and so does 2x=3x^2, but they are difference values of x.

[@chenghowkoh2178]

@@Fematika yep, I just realised that! However can you explain when equality holds after differentiation and when doesn’t it, because I seem to remember when I was still in school that it also could be used to solve?

[@user-dh8oi2mk4f]

@@chenghowkoh2178 If you can remove all the constants then it will hold

[@Fematika]

@@chenghowkoh2178 If the equality is always true on some open interval (a,b) with a < b, then so are all of the derivatives. This is how you derived Taylor series, because you want the functions to be equal on an entire interval, not just at one point. Basically, if in some region they are equal, then their derivatives are equal on that region, but not just at one point.

[@Ploofles]

Thank you for making these videos, there are very fun to watch, very educational and you explain difficult (at least for me) topics very well! You are blessing on this Earth! Thank you

[@ubern3rd]

I was watching this at work and decided to try something on the second one. Instead of (sin(x))^cos(x) = 2, why not do (sin(x))^cos(x) = e? Since 2 is just a real number, we can use another real number to understand what it's doing, also I'm not very familiarized with the Labert W function with the exception that it gives you the fish back. I get stuck, you'll see where, but I wanted to lay out my thought process to see if anyone had any thoughts on it. Start: (sin(x))^cos(x) = e Take the cos(x) root of both sides: sin(x) = e^(1/(cos(x))) Divide by cos(x) on both sides: sin(x)/cos(x) = (1/cos(x))*(e^(1/(cos(x)))) We have a tangent function on the left with a n*e^n expression on the right! (I knew that based on the wolfram graph that this looked kinda like a tan function). Simplify: tan(x) = (1/cos(x))*(e^(1/(cos(x)))) Lambert W Function: W(tan(x)) = 1/cos(x) I don't know how to simplify W(tan(x)) further, so I guess that's where I stop. If we can find this out, then theoretically, we can do it for (sin(x))^cos(x) = 2, just convert 2 to e^n and go from there? Just a thought and any thoughts on this would be cool. I'd love to see bprp solve for this :)

[@Arnav2322]

Please check this out guys- Sinx^cosx = 2 cosxlnsinx = ln2 Cotxcosx - lnsinx x sinx = 0 ( Take derivative) cotxcosx = sinx lnsinx cos²x = sin²x lnsinx 1 = sin²x(1 + lnsinx) 1 = t²(1+lnt) 1 = t² + t²lnt 2t + t²/t + 2tlnt = 0 3t = -2tlnt lnt = -3/2 t = 0.22 hence sinx = 0.22 X 0.22 ??

[@nicholasng0507]

My suggestion is to square both sides of the equation and get sin ²x ^cos x=4 (1-cos²x)^cos x=4 Let u=cos x then (1-u²)^u=4 By using intermediate value theorem, we can show that u is in between -0.88 and -0.89(Yes I did a lot of trial and error) Then use Newton Raphson Method, we can get a great approximation of u(u≈ -0.8894), then u=cos x, x≈ 2.6668 Perhaps if we want to find the exact value, maybe we should introduce a new function like a Lambert W function?

[@awkwardhamster8541]

Its wrong

[@awkwardhamster8541]

I get 152.714≈

[@nicholasng0507]

@@awkwardhamster8541 Well, maybe try use False Position Method? I learnt this method now and is indeed easier than Newton-Raphson since False Position does not required to find the derivative of f(x). Probably there is an error in your derivative of f(x), I guess? I tried on my own, answer is x=2.6654

[@awkwardhamster8541]

Put ur x value on the calculator it doesn't work

[@awkwardhamster8541]

Anyways here's how I solved it ... I literally just estimated that sinx would be anywhere in between 1/2 and cosx will be something like -1 ... So in four quadrants the second quadrant will be where x lies on ...so by trial and error I get that someting in between 152.5-153 gives a real good approximation for this equation . So ye

[@PeterBarnes2]

Tried out the sin^cos a bit. Following from your next step, I substituted sin(x) for u, giving +/- sqrt(1-u^2) * lnu = c Where c is ln(2). I saw the lnu and thought that could be useful if I was integrating, so I integrated. It isn't pretty, but you can integrate. But that's about it. I have no idea how to use the integrated... thing, now. I'll put it here in case anyone has any ideas: Where c_1 = ln(2), c_1*u + c_2 = +/- [ arcsin(u)/2u - sqrt(1-u^2)/2 + ln(1+sqrt(1-u^2) / u) ]

[@chikenwingsteve]

I think x values are not equal anymore once you integrate

[@gamerpedia1535]

​@@chikenwingsteve if two things are equal (eg. a=b) then applying the same operation on both sides gives an equivalent result.

[@chikenwingsteve]

​@@gamerpedia1535 alright, let me test your logic : Let's say the parabola x^2 -1 = x +5 I integrate both sides (even tho there are no dx) and get : (1/3)x^3 - 1x should equal (1/2)x^2 + 5x Which means x should equal to either : - 0 - about -3.56 - about 5.06 Now, let's test all of these solutions in our original equation : x^2 -1 = x+ 5 Let's try 0 first : It would mean that -1 is equal to 5, which is absurd, so get that solution out. Let's try -3.56 : It would mean that 11.6736 is ruffly equal to 1.44, which is absurd. Let's try the very last solution... : 24.6036 should ruffly be equal to 10.06 Would you look at that... None of the solutions are possible. Integrating changed the entire equality. Therefore, you cannot just randomly integrate both sides and hope that the x's are still equal. In order to integrate, you must have a differencial equation. In other terms, you must have a dx, or a dy, or whatever variable that you need to integrate. Tell me if you see any mistakes in my reasonning. Thanks.

[@jschnei3]

7:21 I'm tempted to keep massaging the algebra here. Factor e^(2W(ln2)) out of the radicand. Since it's square, this factor emerges from the radical as e^(W(ln2)). It then factors out of the argument of the log, causing the log to split. It then cancels with the log. The result is gorgeous: π/2 − i (W(ln2) + ln(1 ± √(1 − e^(−2W(ln2)))))

[@abhishekdevkota9538]

new Maths discovery kzbin.info/www/bejne/bGSvnJqLepdqoJo

[@skylardeslypere9909]

Proving sinx^sinx = 2 has no real solution (without finding the complex solution) can be done as follows: Suppose sinx^sinx = 2 and let y=sin(x). Suppose y ≥ 0 (because exponents aren't really well defined for negative bases). Because y ≤ 1, we have y^y ≤ 1 which means y^y = 2 can never be satisfied for y in [0,1]

[@anshumanagrawal346]

That's what I did in my head

[@TrinoElrich]

For y in [0,1], y^y is not less than or equal to y lol

[@anshumanagrawal346]

@@TrinoElrich oh ya

[@anshumanagrawal346]

That's true

[@skylardeslypere9909]

@@TrinoElrich Oops, you're right. It is true that it's less than or equal to 1 though

[@javierferrandizlarramona6588]

Espectacular. Impresionante como resuelves en el campo complejo. Yo intenté resolver la primera ecuación y lo hice con W de Lambert como tú. Mi admiración completa. Eres un maestro. Muchas gracias. Disfruto viendo tus videos.

[@petrie911]

You can reduce the complex analysis in the first part considerably by solving (cos x)^(cos x) instead, then using cos(ix) = cosh(x) to end up with a purely real equation. Then use sin x = cos(pi/2 - x) to get the solution to the original equation.

[@chessematics]

Little fact: e^(W(x)) = x/W(x). So one more step of simplification.

[@Gniaum]

Isn't it e^((W(x)) = W(x)*e^(W(x))/W(x) = x/W(x) ?

[@chessematics]

@@Gniaum yeah that was just a slip of typography

[@hassanalihusseini1717]

That were two similiar equation with a surprising different solution. Thank you for that!

[@ankurage]

This is the time for the mathematics world to stand up and generalize the Lambert function wider than ever

[@sylowlover]

You forgot to add the multiples of 2pi*i as complex log is a multifunction :)

[@bbqandchill8631]

I noticed that too, but he made up for it by noticing that sin is periodic. This gives back the same result

[@sylowlover]

@@bbqandchill8631 those are real integer multiples of 2pi, complex log is imaginary integer multiples of 2pi

[@bbqandchill8631]

@@sylowlover but the whole function gets multiplied by i, meaning if you write out the imaginary multiples of 2pi, you get the real multiples if you take it out if the brackets

[@darzkzthelegend9667]

Would a maclaurin/ taylor series be useful for the sin(x)^cos(x) equation

[@georget8008]

An approach to find a solution. 1. We prove that the function f(x)=(sinx)^cosx-2 is increasing in the domain [π/2,π]. 2. We observe that f(π/2)=-1 and f(2*π/3)=2^(sqrt(3)/2) -2>0 3. We apply the binary search algorithm to find the solution in the (π/2, 2*π/3)

[@billcad15]

The solution to the second problem is close to 2.6653571 radians, which I calculated by iteration. Can you show how to prove whether the answer is going to be rational or irrational? BTW, your videos are fantastic.

[@JLConawayII]

How you solve this is you make a graph and find the intercept (or make a guess, it's clearly in the second quadrant somewhere), then make a series of increasingly accurate approximations using Newton-Raphson to get as close to the actual value as you need. I get x=2.6653570792714 after a few iterations. If you're hoping for some closed-form solution, you're going to be waiting a long time.

[@holdenmacock8526]

Hi, could you make a video about adding 1/x to different functions? More specifically, why is the new function is asymptotic to the original? I know that when you add functions together they combine characteristics, but I do not know how to prove this mathematically for any example other than x^2 + 1/x.

[@blackpenredpen]

Bc the limit of 1/x is 0 as x goes to inf. So we are like adding nothing.

[@holdenmacock8526]

Ok, I haven’t learned about limits yet so that helps.

[@stlemur]

does it help if you use a different identity for cosine, like cos(x) = sin(pi/2 - x)?

[@rikthecuber]

You cant use many other trig identities then.

[@anshumanagrawal346]

Nope

[@factsheet4930]

If you have a good enough computer, and you work out the period of the function, you can then work out pretty easily (given you have high enough precision) an approximation to the value of x. The function happens to be continuous on [2, 3], so just use the intermediate value theorem to narrow down like a billion times. I got x ~ 2.6653570792713603... Code: from math import sin, cos def func(x): return (sin(x) ** (cos(x))) - 2 def intermid(small, big): mid = (small + big) / 2 for i in range (1000): if func(mid) < 0: small = mid else: big = mid mid = (small + big) / 2 return mid print(intermid(2, 3))

[@rsv9999]

are you sure your value isn’t off due to floating point imprecision?

[@user-pr6ed3ri2k]

if you already know the value of the real square superroot of 2 (x^^2 = 2 or x^x =2), the sin one is obvious but tbh not many people do tetrational root stuffs

[@youkaihenge5892]

Since we know that cos(x) and sin(x) are complex exponentials couldn't we write these as a Complex Fourier Series raised to another Complex Fourier Series? And just find the coefficients such that when they are plugged into the exponential Fourier that it produces 2?

[@numberandfacts6174]

Γ(i∞+n) = 0 , Γ(-i∞+n)= 0 | n is any integer , Γ(1) = Γ(2) = 1 Γ(∞) = ∞ , Γ(0) = complex infinity , Γ(-∞) = ∞ What is s for Γ(s) = ∞ s is not equal to ∞ ?

[@蒋正-k6u]

0,-1,-2,-3,-4.... becasue (x-1)!=(x+k)!/(x+k)(x+k-1)...(x), u can clearly see poles at 0, -1,-2,-3....

[@hetsmiecht1029]

s= -infinity QED (Ps: Sorry)

[@csehszlovakze]

4:25 I think if you don't bring the 2 in the front you'll have a sqrt(a^2-b^2) inside, which would simplify a lot of things

[@crane8035]

actually if you are good with x being as an inverse function of cosine it is possible we can write the sinx^cosx as ( if we let ln(sinx)=a and ln(2)=b) cosx*(e^a)=e^b cosx=e^(b-a) cosx=e^(ln2-ln(sinx)) ln(cosx)= ln(2)-ln(sinx) and after a tedious bout of calculation x=cos^-1((0.5(1+i*(15^0.5)))^0.5)

[@arimermelstein9167]

It’s a pain the butt, but you could use Newton’s method or bisection to find an approximation to the real solution. I’m not sure how to do it analytically either.

[@srideviganesh441]

What about trying to put cos(x) as sin(pi/2 - x) or sin(pi/2 + x)

[@yinsdemise]

Hey, I thought of giving the (sinx)^(cosx)=2 a try and I may have found something (got stuck). Here is what I tried to use to solve it: sin(x) = 2*tan(x/2) / (1+(tan(x/2))^2) cos(x) = (1-(tan(x/2))^2)/(1+(tan(x/2))^2) I then tried to make a u-sub by setting (1+(tan(x/2))^2) = u. The formulas above (not replacing sin and cos) would look like: sin(x) = (2* sqrt(u-1))/u cos(x) = (2-u)/u Where: sqrt = square root (tan(x/2))^2 = u-1 => tan(x/2) = +/- sqrt(u-1) (took the positive part) (sinx)^cos(x) = 2 => [(2*sqrt(u-1))/u]^[(2-u)/u] = 2 and this is where I got stock 🤣

[@andrewshaw6921]

You seemed so devastated when you couldn’t solve the second one. I felt your pain there. Great vid :)

[@Nine-2545]

in the sin(x)^cos(x) = 2, we know that π/2 < x < π ,so we can say x = π/2 + y. After that, we will have sin(x)^cos(x) = sin(x)^(-sin(y)) =2

[@BeginWithDoubt]

What if you say y=sin x and z=cos x and reinterpret the problem as the intersection of y^z=2 and x^2 + z^2 = 1?

[@ididagood4335]

Did you mean y^2 + z^2 = 1?

[@BeginWithDoubt]

@@ididagood4335 Indeed. I suppose that was a reflexive x^2

[@LunizIsGlacey]

Certainly looks potentially promising!

[@bol9332]

I am wondering if the result of sinx to the cosx power is a periodical number. After some experimenting (not good experimenting tho), I found something interesting. The approximate result is 2.665356. But if you add the part 65356 as many times as you want to it, you get closer and closer to 2. Example: sinx to the cosx power ≈ 2 for x = 2.665356653566535665356. The exact result is about 1.999998228 = x

[@jackossie]

Have you tried substituting cos(x) by sin(x+pi/2) in the 2nd problem and then solve it in the same way as you did in the first problem?

[@terezakot2921]

Three ways to get infinite answers: -Lambert W branches -Sine period -Polar form of i has infinite angles

[@rossjennings4755]

A tangent half-angle substitution (always a good trick) puts (sin x)^(cos x) = 2 into the juicy-looking form (2/(1+t^2) - 1)*ln(2t/(1+t^2)) = ln 2, where t = tan(x/2). Unfortunately I don't think any more progress can be made from there -- even though you can get a term like A ln A, where A = 2/(1+t^2), by expanding the left side, there's a bunch of other terms too that throw a wrench in things, so you still can't use the Lambert W function. Maybe there's some other sneaky trick that can make it work, but I doubt it.

[@jeremymwilliams]

Numerical Method seems to be the only way.

[@charlietlo4228]

I haven't any method for sin^cos but you can approximate this around the point wher y=2 with 10x³-45x²+62x-35. With Cardan's method you can have the exact expression of the IR solution of "this polynomial = 0". And if sin^cos is f(x) and if you call the solution of the cubic k, 2/f(k) ≈ 0,995... So an approximation good to 99,5%, I think it's a great first result tho !

[@ChefSalad]

You can get WolframAlpha to give you an answer, but it's wholly unsatisfying. The numerical solutions are, of course, nice, but the exact solution it provides is basically of the form "root of this horribly complex polynomial with one term that's exponential involving multiple embedded tangent functions" which isn't a particularly useful answer, seeing as "solution to this equation" isn't really a solution. I'll have to think about whether this has any exact closed form solution at all. To get WA to accept it as input, put in "(sin(x))^(cos(x))=2" without writing solve or anything. If you just write out an equation, WA will usually try to solve it. You don't need to tell it to solve. You could also put it in actual Wolfram language code, but it's not necessary here, and often when that is necessary it can only be done on one of their Wolfram programming shells, whatever they're called, Notebooks or something like that.

[@smartube4828]

I liked it. But how about we use log2 base 2 instead of Ln?

[@jbrady1725]

Entering Solve[Sin[x]^Cos[x] == 2,x] in Wolfram Alpha gives this odd result. Quite complicated. x = root of... -2 + e^( { [ ln( tan(x/2) / (tan^2(x/2) + 1) ) * ( 1 - tan^2(x/2) ) ] / [ tan^2(x/2) + 1 ] } + [ ln(2) * (1 - tan^2(x/2) ] / [ tan^2(x/2) + 1) ] ) near x = 2.66536 + 2πn where n is within R. I don't understand why the answer includes x in the expression.

[@LunizIsGlacey]

The second (just looking at intersection of x^2+y^2=1 and x^y=2, this wasn't my idea but someone else's) has a solution close to around x=2.665 radians. It's exact value, ¯\_(ツ)_/¯

[@AbouTaim-Lille]

The main problem is just solving U^u = C and it is pretty easy if we have a tool called Lambert W function then the rest is just replacing u with sin X and taking the arcsin.

[@TatharNuar]

I love how you juggle the markers so easily.

[@shreejipatel2084]

Someone give this man a bigger board! ! !

[@davidt1152]

Um... Solve(Sin(x))^cos(x)=2...doesn't anyone see the error in this one? I know it was only up for a second, but of course Wolfram can't solve it! . . . In case you haven't noticed yet, there is a parentheses error. . . . Wolfram solution of Solve(Sin(x)^cos(x)=2) is (after some rearranging): x = root of log((2 tan(x/2))/(tan^2(x/2) + 1)) tan^2(x/2) + log(2) tan^2(x/2) - log((2 tan(x/2))/(tan^2(x/2) + 1)) + log(2) near x = 2.66536 + 2 π n element Z, n element Z near x = 2.66536 + 2 π n and n element Z Oh, and if you are trying to do it by hand remember that sin(x) = 2sin(x/2)cos(x/2), which leads to the tan function results, etc.

[@maximlavrenko1164]

(sinx)^cosx=2 Works in Wolfram alpha right now

[@ceeceelemons]

Late to the party. I tried my own approach for p2, I haven’t seen anybody try it this way. I got stuck near the end but maybe somebody can piggyback off of me. I split the sin and cos bits by their half angle formulas so that the whole system was in terms of cos, no sin involved. From there I could do a lot of simplifying and conjugate multiplying. The new form of the equation that I ended up with was: -sin(2x)/2 • ln(csc(x)) • e^ln(csc(x)) = ln(2) Left side of the equation lines up with the log of the old expression in desmos so I must have done something right. Plugging this into wolfram doesn’t do me any good. If anybody can take this further, please give it a try.

[@PowerUpStudio_]

i did it before the video started and also found it using the lambert w function :) and i got the same solution

[@akhilrao2015]

sin(x)^(cos(x)) blows up to infinity at x =pi; ie 0^-1 hence the equation has real roots. I do not know exactly how to solve the equation probably talyor series, but you can approximate it by just guessing values!

[@luna9200]

I mean.... Lambert W is the inverse of a pretty arbitrary function. It just happens to have its applications, mostly in complex analysis/number theory. I'd say the way you "solved" (sinx)^(sinx) = 2 is with a pretty liberal definition of "solved." You defined a new function to be the inverse of a common function (xe^x), and forced it to fit that form. If you use this free definition of "solve", then the solution to (sinx)^(cosx) = 2 is just V(2), where V(x) is the inverse of f(x)=(sinx)^(cosx) in the domain [0,pi).

[@anshumanagrawal346]

Exactly my thoughts

[@herbie_the_hillbillie_goat]

I don't follow your argument at all. First EVERY function could be considered arbitrary that just happens to have applications. Second, the Lambert W function (a.k.a. productlog) is a very well established solution for transcendental equations dating back to Euler. He didn't just make it up. That's how you isolate x. If you know another way, kindly share it. In what way is this a "liberal definition of solved" and how did he "force it to fit"?

[@MichaelGrantPhD]

What makes it "arbitrary"? After all, neither sin x nor cos x can be computed exactly except for a limited subset of its domain. Even square roots cannot be computed exactly for most values in finite time. Of course, we know how to compute them *to as much precision as we wish*-but we know that for the Lambert W function as well. The bottom line is that the mathematical community has decided that some functions occur frequently enough in practice to be treated as "known", free to be employed in algebraic manipulation such as this, and others not. Whether or not W is included in this special family is not for us to decide in a KZbin comment thread :-)

[@luna9200]

@@herbie_the_hillbillie_goat I don't think we disagree. I'm familiar it dates back to Euler. As you interpreted my point, "EVERY function could be considered arbitrary that just happens to have application." Yes. It's all arbitrary. Which is why you need to specify what you mean by "solve" when you do. When you say something doesn't have a "closed form" solution, you really need to specify what functions you allow for something to be "closed" under. I pointed out that you really could use as many special functions as you want, which makes this generic (or as I say "liberal") notion kind of meaningless. Just use an arbitrary amount of special functions, until you can express your solution as some algebraic combination of them. Typically, the curriculum only includes polynomials, which just come out in the wash from the operations of arithmetic, and e^x, the function such that f' = f and f(0)=1. Everything else falls out from there. ln(x) is its inverse, sinx = Im(e^ix), cosx = Re(e^ix). I will admit the point I was trying to make was a bit vague. Maybe that clears it up.

[@herbie_the_hillbillie_goat]

@@luna9200 You're not wrong, but I think you're being a bit pedantic. I just don't think it's necessary to be that precise in the context of a KZbin video done for fun. I'm not sure what you mean by "special" functions. How many videos does bprp have with solutions containing logarthmic or exponential functions. Would you call them all out or do you have a particular problem with using W(x)? Lambert W is (or rather should be, IMO) among the set of primitive functions, e.g. e^x, ln(x), sin(x), etc. which are typically accepted as part of a closed-form solution unless otherwise stated.

[@blank0s162]

let y = cosx we know sinx > 0, so we can assure that √(1-y²) = sinx. with this we have (1-y²)^(y/2) = 2 (1-y²)^y = 4 yln(1-y²) = ln(4) this is something wolfram alpha can help us with, though it doesn't give an exact solution. But the numeric approximation of -0.8887 works well enough. cosx = y ≈ -0.8887 x ≈ acos(-0.8887) ≈≈ 2.6653 radians.

[@matniet43]

For the second one I think you could square both sides and rewrite sin²x as 1-cos²x, so that there aren't any radicals in the exponent and just a variable (cos(x))

[@pk1pro]

Squaring makes it sinx^(2sinx)=4

[@matniet43]

@@pk1pro That's right! I didn't notice that at first. Maybe before squaring you could take the ln if both sides so that the exponent becomes a factor and we have really just one variable sin(x)

[@matniet43]

​@@pk1proMore importantly, the mistake you made here was referring to the first equation, when I explicitly told I was talking about the second equation

[@pk1pro]

@@matniet43 ohh yeah makes sense

[@cadenaspoke9027]

sinx ^ cosx = 2 sinx ^ sin2x = 4^sinx sin2x Log(sinx) = 2 sinx Log(2) sinx Log(sinx) = (2Log(2))/sin2x sinx = W(Log(4) / sin2x) Maybe that will help

[@biggybrolunch3809]

Would it be helpful to use u=sinx and u'=cosx? Wolfram does give a solution for u(x) in this case, which does include the W function.

[@Tzizenorec]

Nah, if you just give Wolfram "u^u'=2" without specifying that u=sin(x), then Wolfram proceeds to tell you that u is something else that is definitely _not_ sin(x).

[@piraptor4963]

I think this somehow works you will turn your equation into differential equation problem

[@biggybrolunch3809]

u=sinx would actually be a trivial solution, because we defined it that way in the first place. What I'm asking is whether the differential form gives a solving advantage, where sinx is equal to a general solution u to u^u'=2. Looking at that solution, though, it seems like it would not be helpful, because 1) we would still have functions of x on both sides, and 2) the initial condition u(0)=0 appears to be instead an indeterminate hole requiring limits. Therefore, my bad.

[@Tahsanbinjafor]

(sinx)^cosx = 2 gives us the solution: x=2.665357079 radian or 152.7137115 degree(Using Newton's Method where x_1=5*pi/6).

[@kevinibarravera9265]

x=arccos(-1/n) where n is solution of the equation 1-1/n^2=1/4^n.

[@mokshpatel8977]

Hey bprp, I sure ain't mathematically smart enough to get the answer, but I think I can do it computationally. My tip is, just use some sort of gradient descent and define the loss function as (sinx^cosx - 2)². Then find the gradient and iterate through the process. I know its not what you have in mind as a mathematician, but I guess it's an alternative

[@_jojo11]

Wow this is clever 🤔

[@DaChrisstar]

Seems to me like basic newton iteration

[@iabervon]

One thing that's worth remembering is that sin^-1 x for all real x>1 has real part pi/2 plus 2npi.

[@120Luis]

I was about to get mad that you didn't consider the log branches, until you did lmao That was a pretty clever way to bring that +2nπ without going into the complex log definition

[@sujalsinghnegi3707]

I am in 12th grade in India, I found that I am understanding your problems and getting it, only understanding your problems it feels so good. Only I didn't understand was the 'W' Function What you think about me, my level ?

[@davidalejandrogarciamoncad5566]

That is the W Lambert Function...

[@MrKA1961]

W is the Lambert function:en.wikipedia.org/wiki/Lambert_W_function

[@mrpineapple7666]

Kirby Plushie in a maths video!!!

[@alexk5990]

This is the fastest I havent understood anything in a video in a long time

[@lafamiglia3736]

never watch BlackpenRedpen in the last hour of your exam....😂 you will think twice before even adding 5+5🤣🤣🤣🤣🤣

[@yogeshsinghal2723]

For the eq. Sinx^(cosx) = 2 , wolfram alpha actually gave an solution of x=2.66536

[@rogerkearns8094]

The blackpenredpen I function (I for I dunno). ;)

[@zainjdnsje7482]

I’m in 6th grade and I’m writing this bc once I go into high school or something I’ll try to understand this but I. Very fascinated by this next yr I’m gonna take sin,cos,adj,hyp,etc. And pre calculus I’m inspired by this thank you

[@FunctionallyLiteratePerson]

Just a heads up, you probably won't learn some of this (especially the W function) in highschool. This shouldn't stop you from trying to learn it though, stay curious!

[@mryip06]

Maybe u can invent a bew function to solve the 2nd equation. Without Lambert W function, the 1st one cannot be solved, right?

[@pizza8725]

I calculated that x=-i(ln(-e^w(ln(-2i))±sqrt(e^2w( ln(-2i)) +1) here and it's funny that wolfram doesn't work bc it fails to calculate w(ln(-2i)) which is funny

[@LuigiElettrico]

In the meanwhile best parenthesis closing ever :D

[@RobertGabor]

May there is a good rule for convert cosinus and sinus for more familiar sin x ^ cos x = cos x+pi/4 ^cos x || ln (cos x+pi/4 ^cos x) = ln 2 => cos (x+pi/4) ln cos (x) and cos x+pi/4 = cos x cos pi/4 - sin pi/4 sin x = it is coming back... to sin x WRRR ot use (1-x^2/2! + ....) ln sin x?

[@yunghollow1529]

Brilliant Yung Man, i like your videos.. Thanks for enlightening this yung hollow's mind.

[@Goku_is_my_idol]

Nice to learn something new

[@sasisasisasisasisasisasisasi]

тропики = северный тропик, ПЕРЕВЕРНУТЫЙ С южным тропиком С ТАКИМИ ХАРАКТЕРИСТИКАМИ Мяч Южной Америки, мяч Ближнего Востока, мяч Аляски (3 мяча на карте мира) Линия Ближнего Востока,середина линии меридиана, линия Аляски, северная тропическая линия, линия середины Берингова пролива (пять линий притяжения, направленных вверх на Цереру) пункт назначения: Германия Ближневосточный шар предназначен для стран северного полушария, а мяч Южной Америки - для стран южного полушария, в то же время северный тропик предназначен для стран северного полушария, а южный тропик - для стран южного полушария. Карта перевернута, как и в тропиках - юго-запад - северо-восток, юг - север, юго-восток - северо-запад. Это координаты притяжения астероидов к Земле. мяч Аляски действует так же, как линия, и он в команде (пока я не нашел расчетов, координат мяча Аляски, чтобы он действовал как мяч). Единственное, что осталось, это указать на небе эти 3 астероида (Церера, Веста, Европа), и я притяну их к Земле согласно этой теории, и координаты притяжения астероидов к Земле! (Чтобы привлечь их на Землю, мне нужно знать их местоположение на небе!) I NEED THE LOCATION OF CERES,VESTA,EUROPE ON THE SKY, AND I WILL ATTRACT THEM TO EARTH,ACCORDING TO THIS THEORY! ...-AND THERE'S A LOT MORE TO OFFER;THE COMET IS JUST THE FIRST STEP...THERE ARE AT-LEAST [150](ONE HUNDRED AND FIFTY) MORE (STEPS) IN MY MIND(BRAIN)...TO DISCOVER! -чтите, что я потерял более 50% контента, поэтому остальные 70-80 шагов в среднем, должно было быть где-то 120-150, но получилось 70-80... эффект приходит в среднем! должно было быть 150 учений жизни, но, к сожалению, только 70... В следующий раз будет больше! сто пятьдесят к договору,подписанный Сергеевым Сергеем!

[@SyberMath]

Easy! (1/2)^(-1)=2 😜😂

[@priyanshugoel3030]

{1-y²}^(y/2)=2 Solving for y and putting cos x=y.

[@saurabhsanghvi9654]

The answer is 2.665357 radians for equation sinx ^ cosx -2 =0

[@christopherthomas6124]

I was scrolling through math stackexchange and saw someone was able to write out the real solution to this (sin x)^(cos x) = 2! Can you update this video and do this solution for us!?

[@thecolossus_5917]

One solution of (sin(x))^(cos(x))=2 can be given by y*ln(1-y^2) = 2ln(2) with y=cos(x) The first equation can be solved numerically (just like the lambert W function), and the rest should foilow.

[@rongjunhuang258]

It does have the exact solve wolframalpha just need more time to compute it -2+exp((log(tan(x/2)/(tan^2(x/2)+1)) (1-tan^2(x/2)))/(tan^2(x/2)+1)+(log(2) (1-tan^2(x/2)))/(tan^2(x/2)+1))+2 \[Pi] n

[@olivermany123]

This is what the wolfram alpha app thinks : x = root of -2 + exp((log(tan(x/2)/(tan^2(x/2) + 1)) (1 - tan^2(x/2)))/(tan^2(x/2) + 1) + (log(2) (1 - tan^2(x/2)))/(tan^2(x/2) + 1)) near x = 2.66536 + 2 π n and n element Z

[@XJWill1]

I tried a Weierstrass substitution, t = tan(x/2) , sin(x) = 2*t/(1+t^2) , cos(x) = (1-t^2)/(1+t^2) but that did not help. I could not find a closed form solution for t, and neither could Wolfram.

[@metorasay]

for the second i put in desmos sin(x)^{-[1-SQRT(sin^2(x))]} because only the negative posibility is right (as you said so yourself) and it was equal to 1 when x is 2 i think thats the answer

[@Jrcoaca]

Best I could do is Let y = cos(x) y^2 = 1 - 4^(1/y) Using logarithms. If you numerically solve for y and take arccos you will get x, then if you plug that x in, you will get 2. Can’t find out how to analytically solve it though.

[@SafetySkull]

Is there a reason why we didn't say " ln(i) = (π/2)i + (2π n)i "? Other than the fact that we were going to add 2pi*n later anyway?