My failed attempts to the integral of sqrt(sin^2(x))
ฝัง
- เผยแพร่เมื่อ 13 ธ.ค. 2023
- I have been trying to integrate sqrt(sin^2(x)) and get the same answer as on WolframAlpha, which is -sqrt(sin^2(x))*cot(x)+C, but I just can't. So let me show you what I have tried (including how to integrate sqrt(x^2) with integration by parts) and maybe some of you will have an idea!
🛍 Shop Ultimate calc 2 integral sweatshirt: www.amazon.com/dp/B0C9L798F2
----------------------------------------
💪 Support the channel and get featured in the video description by becoming a patron: / blackpenredpen
AP-IP Ben Delo Marcelo Silva Ehud Ezra 3blue1brown Joseph DeStefano
Mark Mann Philippe Zivan Sussholz AlkanKondo89 Adam Quentin Colley
Gary Tugan Stephen Stofka Alex Dodge Gary Huntress Alison Hansel
Delton Ding Klemens Christopher Ursich buda Vincent Poirier Toma Kolev
Tibees Bob Maxell A.B.C Cristian Navarro Jan Bormans Galios Theorist
Robert Sundling Stuart Wurtman Nick S William O'Corrigan Ron Jensen
Patapom Daniel Kahn Lea Denise James Steven Ridgway Jason Bucata
Mirko Schultz xeioex Jean-Manuel Izaret Jason Clement robert huff
Julian Moik Hiu Fung Lam Ronald Bryant Jan Řehák Robert Toltowicz
Angel Marchev, Jr. Antonio Luiz Brandao SquadriWilliam Laderer Natasha Caron Yevonnael Andrew Angel Marchev Sam Padilla ScienceBro Ryan Bingham
Papa Fassi Hoang Nguyen Arun Iyengar Michael Miller Sandun Panthangi
Skorj Olafsen Riley Faison Rolf Waefler Andrew Jack Ingham P Dwag Jason Kevin Davis Franco Tejero Klasseh Khornate Richard Payne Witek Mozga Brandon Smith Jan Lukas Kiermeyer Ralph Sato Kischel Nair Carsten Milkau Keith Kevelson Christoph Hipp Witness Forest Roberts Abd-alijaleel Laraki Anthony Bruent-Bessette Samuel Gronwold Tyler Bennett christopher careta Troy R Katy Lap C Niltiac, Stealer of Souls Jon Daivd R meh Tom Noa Overloop Jude Khine R3factor. Jasmine Soni L wan na Marcelo Silva Samuel N Anthony Rogers Mark Madsen Robert Da Costa Nathan Kean Timothy Raymond Gregory Henzie Lauren Danielle Nadia Rahman Evangline McDonald Yuval Blatt Zahra Parhoun Hassan Alashoor Kaakaopuupod bbaa Joash Hall Andr3w11235 Cadentato Joe Wisniewski Eric Maximilian Mecke Jorge Casanova Alexis Villalobos Jm Law Siang Qi Tancredi Casoli Steven Sea Shanties Nick K Daniel Akheterov Roy Logan
----------------------------------------
Thank you all!
Try this one next: th-cam.com/video/mMFJUZAHhf0/w-d-xo.html
11:31 sir, u make mistake, isn't (1/cos x) . sin x = tan x ??
Feyneman?
I used the trig identity
Cos(2x)=1-2sin²(x)
And then u sub cos2x
And i got -√cos²(x)
I might have done smth wrong
Perhaps the simplest substitution: sin(x) = u … dx=du/cos(x)=du/sqrt(1-u^2)
One way I found it:
sqrt(sin^2x) = sin^2x/sqrt(sin^2x) = 1/sqrt(sin^2x) - cos^2x/sqrt(sin^2x) = sqrt(sin^2x)/sin^2x - [(1/2)cotx][2sinxcosx/sqrt(sin^2x)]
Integrate the part with square bracket expressions using integration by parts differentiating (1/2)cotx and integrating 2sinxcosx/sqrt(sin^2x) by using u=sin^2x, du=2sinxcosxdx
You are left with -cotxsqrt(sin^2x) and two integrals of the leftover expression sqrt(sin^2x)/sin^2x but with opposite sign, leaving finally just the result -cotxsqrt(sin^2x)
+C
nice. u did it.
obviously there is a bit of a hole when sin(x) = 0
since you expressed sqrt(sin^2(x)) = sin^2(x)/sqrt(sin^2(x)) (so undefined at sin(x) = 0)
but we are just trynna get it to be the same as wolframalpha (i guess w/o piecewise manipulation) and there we have it.
Wow! I think this works and it’s exactly what I am looking for. I will come back to this comment latter to read more. Big thanks!!
@@blackpenredpen i'm looking forward to seeing this on a whiteboard. i struggle with plaintext math.
@@blackpenredpen you should also check my method, unfortunately my comment got lost in the stack. I found a method that works for any integral { sqrt(f(x)^2) } dx without introducing absolute value in the process...
@@blackpenredpen Dude! Your determination and humility is a breath of fresh air for me. This world needs more math profs like you.
As I think back at the profs I had (shudder). If I had you I just might have stuck with math instead of transitioning my career to Comp Sci.
I applaud you for making videos like this! Those of us who have been on the planet for some time recognize that, of course, none of us can know it all.
Thanks for being a trend setter - helping math students see first hand what teamwork is all about.
For the second method multiplying 1/cos(x) and 1/2(sin(x)sqrt(sin²(x)) gives you 1/2(tan(x)sqrt(sin²(x)) not cot(x)
Yes, dear blackpenredpen- you should be writing uv=tanx.sqrt sin^2x and NOT cot x....
How can it give tan(x)? Isn’t the sin and cos being multiplied on the denominator? Isn’t tanx = sinx divided by cosx?
@@Kero-zc5tcbecause sin(x) is not in the denominator in this case. Only cos(x) is
Do you mean 1/2 multiplied by sinx then, sorry I commented before getting up to that part
@@Kero-zc5tc Yes, that's what they wrote
I love this kind of video - Showing a problem that you are not totally certain about and authentically presenting your ideas and challenges. I would love to teach more like this in my class and see how students engage. It made for a very engaging hook.
Your videos make me happy, i havent done any math since high school and my grades werent perfect but i just love working through stuff with you in my mind
If you graph -√(sin²(x))cot(x), you get a graph with discontinuities at 0, π, 2π, etc., which is not the integral of √(sin²(x)). The integral has the discontinuities fixed by adding a staircase function.
yep. i saw this algebraically when i tried to shoehorn -cot(x)|sin(x)| into the solution when solving the integral of |sin(x)| piecewise
in order to shoehorn the soln (when doing piecewise), multiplication of sin(x)/sin(x) is necessary, and this is not possible with sin(x) = 0
i.e. at x = any integer multiple of pi.
so yeah, -cot(x)|sin(x)| is not the most accurate form of the antiderivative of sqrt(sin^2(x)).
nice.
I dont get it. Sqrt(sin(x)^2) always positive, but -cot(x)*sqrt(sin(x)^2) have negative values
@@domahidipeter6092 just because a function is always positive does not guarantee it's antiderivative to always have positive values
take x^2 which is never negative
integrate it you get x^3/3 + C
But last time i check for x < 0, it is negative.
@@user-pv5hd1vu1t by integral comparison test, if f(x)>0, and a 0 also. So the first comment is correct.
[Conversely, if a > b then the integral < 0, explaining the negative on the integral of x²]
@@r-prime sure, if we're talking about definite integrals.
but the comment wasnt necessarily stating definite integrals., merely it was stating a singular point rather than an interval.
i.e. for some values of x, the anti-derivative has negative outputs. (this is fine).
----
so if sqrt(sin^2(x)) was represented as a definite integral
then the antiderivative -cot(x)sqrt(sin^2(x)) can be used on the condition that the integral is split every integer multiple of pi (due to the holes at sin(x) = 0) [and this would lead to the 'positive values case']
but again, i dont think thats what the original commentor who had doubts about the 'answer' -cot(x)|sin(x)| was talking about.
11:36, isn't it tan(x) instead of cot(x)?
1/cos * sin = tan
I think so
Yeah, it's tan x
He didn't have the right board up :(
Yes u r right. That was my mistake
You are really a great person with even greater petsonality. This video is a proof of this fact , which is more important than proving that integration problem.
11:21 It's only the coolest calculus teachers that can make the whiteboard erase itself out if respect, just by tapping it. (Kudos for an amusing video cut.)
Correction: at 11:40 it's tan(x), not cot(x).
Early to blackpenredpen, nothing could be better :)
A piecewise solution shows that the generic antiderivative of |sin(x)| is discontinuous at multiples of pi. Each continuous piece of the discontinuous antiderivative has a separate integration constant. Only a very special choice of the integration constants gives a continuous antiderivative.
For the final attempt, you can simplify sin^-1(u) to sin^-1(cos(x)) and then to sin^-1(sin(x+pi/2)), which is just x+pi/2
That doesn't work since x+ pi/2 is not in the domain of arcsin, rather it would simplify to pi/2 - x instead.
@@elizabethsusanlibra Thank you
The integral of a non-negative function cannot be periodic (unless the non-negative function is 0).
If you look at the right side closely, it is not continuous, so that's why its derivative is the left side, but the integral of the left side is not the right side.
Exactly what I was thinking, but couldn't express it in a mathematically proper way. Thanks.
That's why I gave a dislike. Also, if anyone wondered where the problem is in the derivative of the Wolfram Alpha result: You cannot ignore handling of discontinuities. What BPRP is doing is non-mathematical technical usage of derivative rules without any understanding of what they mean.
Yes. You need to limit the range of x, or include a term like 2*pi*n where n are the number of cycles of the sin wave. This really is more natural as a definite integral rather than an anti-derivative.
Googling integral abs(sin(x)) seems finds the correct answer, which is 2 * floor(x/pi) - cos(x)sgn(sin(x))
@@tomhejda6450I'm reasonably certain he has a PhD in mathematics. If you think this video is evidence that he doesn't understand the basics, try to build a case and get his degree stripped from him.
You can rewrite |sin(x)| as sin(x)*sgn(sin(x)), since the derivative of sgn(sin(x)) is 0 when we use integration by parts the second bit becomes 0 and we get -cos(x)*sgn(sin(x)) which can we written as (-cos(x)*|sin(x)|)/sin(x) which is equal to |sin(x)|*-cot(x)
I wonder if this is too related to the piecewise solution he is avoiding
This. But it's interesting how Wolfram Alpha does it, because I remember I've once asked it about the integral of |sin(x)|dx and it used signum in the answer, but here it doesn't seem to recognize that √(x²)=|x| and uses something else.
Please i want you to make the formula for a^x + bx + c = 0 🙏
You got what you wished for 😎
where?@@matthewtallent8296
@blackpenredpen , please consider sqrt(sin² x) = |sin(x)| and that integral answer can be written like - sgn(sin(x))cos(x). Solving this way is easier!
hope you are joking
If you formulate sqrt(sin(x)^2) as (sqrt(sin(x)^2)/sin(x))*sin(x) and do integration by parts, then you get the correct result. Not sure if it's technically allowed, though, since the first part is not continuous.
I don't understand why continuity would be needed here? So long as they are continuous except on a measure zero subset it should be fine.
Integral calculator says you just pull the absolute value out of the integral
I'm pretty sure sqrt(sin(x)^2) formulates as sqrt(sin(x)^2/sin(x)^2)*sin(x), which indeed should not be allowed, since we get sqrt(1)*sin(x), implying that sqrt(sin(x)^2)=sin(x) (obviously not true)
@@FematikaFor integration by parts you of course need continuity for some bits. Certainly an integral of a continuous function is continuous, so the bit you pull out of the integral must be continuous! And exactly the result by Alpha is simply WRONG because it's discontinuous, so if BPRP arrived at it, he would have been wrong.
@@tomhejda6450 I don't think sqrt(sin^2(x)) is exactly continuous, though. There those sharp points every π, and wolfram alpha's solution is discontinuous and undefined every π. You might want to fact check me on that though.
in Hong Kong, the new extended Maths syllabus from 2012 removed a lot of interesting stuffs in Pure Maths, including integrals with absolute value. When I first encountered I thought the legit way- think about the graph.
Consider the graph of y=sinx. It attains ngative on the interval (kpi, 2kpi) for k belongs to integers.
Now to integrate abs(sinx), notice tha abs(cosx) has the graph but shifted pi/2, similar to the function without abs(). In fact, by applying inverse chain rule and Integration by Part, we have the integral of abs(x) dx = 1/2(xabs(x)). Hence by Integration by Part, int (abs(sinx)) dx = xabs(sinx)-int(abs(sinx)cosx dx)
=xabs(sinx)-1/2(sinx(abs(sinx))) (Let u = sinx, du = cosx dx)
=abs(sinx)(x-(1/2)sinx)
now note that abs(sinx)=-sqrt(sin^2x)((1/2)sinx-x)
Since I am on trip to the peak I will leave it here. If you have any thought or spot any mistakes, feel free to point it out.
Here's how to solve it ✅
• Step 1: Multiply and divide by √sin²(x):
∫ √sin²(x) (√sin²(x)/√sin²(x)) dx
= ∫ sin²(x)/√sin²(x) dx
• Step 2: Isolate a single sin(x):
= ∫ sin(x) (sin(x)/√sin²(x)) dx
• Step 3: Apply IBP:
u = sin(x)/√sin²(x) , dv = sin(x)
du = 0 dx , v = -cos(x)
∫ u dv = uv - ∫ v du
∫ √sin²(x) dx = (sin(x)/√sin²(x)) (-cos(x)) - ∫ 0 dx
= (sin(x)/√sin²(x)) (-cos(x)) + C
• Step 4: Again as Step 1, multiply and divide by √sin²(x):
= (sin(x)√sin²(x)/sin²(x)) (-cos(x)) + C
• Step 5: Cancel a single sin(x) from both numerator and denominator:
= (√sin²(x)/sin(x)) (-cos(x)) + C
= √sin²(x) (-cot(x)) + C.
The way you do math is so elegant
That video is brilliant!
Notice that the concept 'integrable does not imply differentiability or even continuity in the Riemannian Integral. As of Lebesgue integral this concept is much larger. For example the function f(x)= |x| which is not differentiable at zero, can be written as f(x) = { X if x>0 , -x if x0 , -½x²+C if x
Good to see you mr chaw❤❤
I can almost get there with u = sin(x) and dx = du/cos(x). Then x = arcsin(u) and so cos(x) = sqrt(1-u^s) so it becomes integral(sqrt(u^2/(1-u^2)),u) which gives the answer as -sqrt(sin^2(x)) ⋅ sqrt(cos^2(x))/sin(x) which is almost the WA answer, but not quite...
Hey, I have an idea (Consider this as alternative method)
Why don't we write sqrt(sin² x) as sqrt(1/(csc² x)) since csc x = 1/(sin x) so that sin x = 1/(csc x).
Then using the trigonometric identity csc² x = cot² x + 1
Then we can write the sqrt(sin² x) as 1 over sqrt(cot² x + 1). This is interesting because we can assume that maybe the result will still have the cot x term.
From there, we can use trigonometric substitution and it will yield a beautiful result.
Let cot x = tan y, then we have -csc² x dx = sec² y dy (There is "-" there, I think we are on the right track).
We can use the trigonometric identity once more
csc² x = cot² x + 1
Then, we will obtain
-(cot²x + 1) dx = sec² y dy
Remember that cot x = tan y, so cot² x = tan² y, so we can rewrite it as
-(tan² y + 1) dx = sec² y dy
dx = -(sec²y/(tan²y + 1)) dy
Hey, wait a second. We know that tan²y + 1 = sec²y from trigonometric identity.
So in the end, we yield dx = -dy.
Now we can write the integral of [1/sqrt(cot²x + 1)] dx as the integral of [1/sqrt(tan²y + 1)] • -dy or the minus of the integral of [1/sqrt(tan²y + 1)] dy.
Let's try simplify the 1/sqrt(tan²y + 1).
1/sqrt(tan²y + 1)
= 1/sqrt(sec²y)
= 1/sec y
= cos y (since sec y = 1/cos y so that cos y = 1/sec y)
So we will have the minus of the integral of cos y dy. Wow, another simple integral form.
Thus, the integral of it will be -sin y + c
Now, we need to change it back to x term.
However, we only have cot x = tan y, but we need sin y.
Then rewrite tan y as cot x over 1. So we have a triangle with sqrt(cot²x + 1) as the length of the hypotenuse.
Now we can write the integral result as
- (cot x)/sqrt(cot² x + 1) + C
Now we have the result similar to what wolfram alpha want, but it missing the sqrt(sin²x). Don't worry, we just need simplified the sqrt part. This we will have
- (cot x)/sqrt(cot² x + 1) + C
= - (cot x)/sqrt(csc² x) + C
= - sqrt(sin²x) cot x + C (QED)
How wonderful is that.
This is my way to beat Wolfram Alpha I guess 😅.
can’t we just do sqrt(sin²x) = |sin(x)|
To keep advancing on the third attempt you can treat arcsincosx as one side of a right triangle as one of the proofs of the derivative of arctanx
F(x) = 2* floor(x/PI) - cos(x-PI*floor(x/PI)) + C, best to see this by drawing the plot. First look at F(x) at (0,PI), this should be something like 1-cos(x) + C. We see that f(x) is cyclic so you're gonna get increase of 2 at every distance of PI and then you need to get the same shape and also you can shift whole plot up and down and we get it from C. The formula from Wolfram Alpha works at each of intervals (k*PI, (k+1)*PI) separately, but it fails to describe whole function because you need to use these parts and shift them each by different C to glue them into one continuous function. I mean as I said function needs to grow 2 per each PI (it can look like it grows linearly but with small oscillations, it has a trend) and the formula from Wolfram Alpha is bounder and has values from (C-1, C+1). It's because you need to choose different C for each interval to get the final formula. I leave it as excercise to prove details of my formula but I gave you a sketch already. :)
Edit: I guess you can change -cos(x-PI*floor(x/PI)) by -cos(x) * sgn(sin(x))=(kinda but not really because cot(x) explodes) -cot(x) * abs(sin(x)). Still -cos(x) * sgn(sin(x)) looks better and is defined everywhere so F(x) = 2*floor(x/PI) - cos(x) * sgn(sin(x)) + C and I think it's the prettiest of the formulas. The one with cot explodes at points like k*PI so I don't like it, but besides those points it works.
Very nice! I found a similar solution using the floor function to fix the jump discontinuities, but yours is neater.
Hi BPRP!
Very cool!
Did you try u = sin(x) ? It will eliminate sin() altogether.
Or abs(x) = x * sign(1/x)? And then to x < 0 and x > 0 separetedly.
I didn’t do it to completion, but if you try the tangent half angle substitution it seems much simpler.
|sin| is a piecewise function, integrate sin and -sin on different intervals. To get a continuous antiderivative on all reals, you have to pick "+C" as a step function sewing the two pieces of antiderivative together.
He mentioned that he didn't want to do it that way.
@@Bhuvan_MSwell, a continuous antiderivative on the real domain exists, and this discontinuous function in the video isn't it. But sure, integrating by parts with absolute values in cognito is cuter, so there's that.
In your second way you can write sin²x/cos²x as tan²x+1-1 and the integral=integral of (tanx)'sqrt(sin²x) - integral of sqrt(sin²x) and we have to just calculate the integral of (tanx)'sqrt(sin²x) with DI method i tried it and it works
at 13:00, we need to get the co-efficient of -sqrt(sin2x)cotx from 1/2 to -1. observation: sin2x(sqrt(sin2x)) = sin(3/2)x, aka u*sqrt(u) = u^1.5 if u=sin2x. if we can get that intergral to equal (3/2) sqrt(sin2x)cotx then we're good
Looks like there are several good answers via trig substitutions in the comments. One thing to point out in general: If you already have a solution (as from Wolfram Alpha), and you take the derivative, as you did, to verify that it gives you the integrand, you then have multiple lines of equivalent functions. You can try integrating any of those to see if they are easily solvable. For example, I would have tried the last two lines at 4:04.
Before doing that, I would have also tried plotting a numerical solution to each side (of course, that would be for the definite integral version) to see what insight it might yield. For example, the left hand side appears not to be periodic, while the right hand side (from Wolfram) does, and the numerical solution may explain what's going on. But, I'm an engineer, not a mathematician.
Another thought: Recognizing sqrt(sin(x)^2) = |sin(x)| = sin |x|, you might try the Taylor expansion and then integrating term by term. That yields an infinite sum which would be difficult to resolve back into trig functions, but it would take care of the discontinuities.
Related: have you ever talked about integrating sign(sin x)) and the surprise of functions like arccos(cos x) ? Seems like a fun topic.
sgn(sin x) doesn't have an antiderivative
@@adayah2933 sure it does, piecewise. It's obvious what the area has to be between any a and b (taken in finitely many pieces). The fun is finding a function with the right derivitive everywhere but nπ.
I find your videos very interesting
Can you use Euler's identities to transform sin^2(x) into (cos2x -1)/2 via sinx = (e^ix - e^-ix)/2i and continue from there?
the result has holes in domain at x=k*pi but sqrt(sin^2(x)) does not. I think that's the reason you cannot arrive at answer
since you can do (uv)' = u'v+uv'. you can reverse the step to get int(u'v+uv') = int(u'v) + int(uv') = uv - int(uv')+ int (uv') = uv. and voila.
I have a trick I = int of √(sin²x)dx remove the square root and inside square to obtain I = int of sinx•dx = -cos(x) +c. And the answer is given as -√(sin²x)•cotx +c = -sinx•cotx +c = -sinx•(cosx/sinx) + c = -cosx + c.
Haven't tried this but since the "trick" to the derivative of the solution simplifying is the fact that (csc^2(x)-cot^2(x))=1, wouldn't it follow that the intuition or missing piece to solve the integral is to multiply by 1 in that same form?
I can't figure out how to integrate but the derivative is almost the integral (kinda expected since the derivative of sinx is almost the integral of sinx). If we consider sqrt(sin²x) to be |sinx|, and the derivative of |x| can be thought of as |x|/x so the derivative of |sinx| can be (|sinx|/sinx)*cosx = |sinx|cotx which is almost the same, it just needs the negative sign. I couldn't think of another way of getting the answer wolfram alpha gave though.
A really solid attempt for someone who can't integrate!
There is a problem though: derivative is not almost like integral, they are, in fact, inverse, integral of derivative gives you the original function. So no, you can't differentiate istead of integrating.
Also, yes, integral and derivative of sin(x) can be considered similar, but check this out:
integral arctan(x) = arctan(x) *x - 1/2 * ln(1 + x^2)
derivative arctan(x) = 1/(1 + x^2)
Might not the the way forward that you are looking for, but this is quite simple if you write it as complex exponents and then integrate them.
You are integrating a positive definite expression. The result must be increasing. It should be a stair step function plus a cosine of the remainder. I don't know how nicely you can do this with elementary functions. abs value can be written with squares and square roots but I think you are into the land of infinite trig series here.
Multiply by sin(x)/sin(x)
Then D sqrt(sin^2(x))/sin(x)
And Int sinx
And the new integration will equal 0
Try it
Watching your video is just like watching entertaining movies keep it up 😊❤ I love math,if you are willing can you please make engineering video like thermodynamics thanks sami from Ethiopia
I like your magic words magic man
You already solved it in reverse, so you know how you have to change the sqrt(sin(x)^2). Turn it into sqrt(sin(x)^2)*(csc(x)^2-cot(x)^2) and continue working your way backwards.
I was thinking of subs sin(x) with complex function exp(u) -> sqrt(sin^2(x)) = sqrt(e^2u)
but Wolfram Alpha gives integral {sqrt(e^(2u))} = sqrt(e^(2u)) -> sin(x) because its treating u as a real!
I'm sure that some complex substitution might work but I wouldn't trust Wolfram to do that correctly!
Why this not taken into consideration when doing trigonometric substitution?
Nice example of the problem solving process. It isn't easy to show this as an instructor.
|x| < 0
Abs() isn't an analytic function so I think it is the problem. This fact produces these discontinuities apparently.
That way 1 / (1 + x *x) diverges when abs(x) >= 1 despite no apparent problems (but we have (i^2 = (-i)^2 = -1 of course).
Abs() isn't infinitely differentiable and integrable. It doesn't behave "well".
By the double angle formula: (Sinx)^2 =[1/2sin(x/2)cos(x/2)] ^ 2
Let u = sin 0.5x
Du = 0.5 cos0.5x dx
The remainder is self explanatory
Isn't it called Half Angle formula?
The master finally struggles!
for the cos²x can't we use thos eTchebyshev polnomials? I have a feeling it could help
Hi Mr ,can you explain Horizontal and Vertically Strip when calculating moment?
Honestly. I dunno how to get to the answer without using piecewise.
Here is how I get it piecewise (without just 'differentiating the goal anti-derivative and calling it a day')
\int sqrt(sin^2(x)) dx = \int |sin(x)| dx
= { \int sin(x) dx when sin(x) >= 0, \int (-sin(x)) dx when sin(x) < 0}
= { - cos(x) + c1 when sin(x) >= 0, cos(x) + c2, when sin(x) < 0}
= { -cot(x)sin(x) + c1 when sin(x) > 0 (multiply by sin(x)/sin(x)) so sin(x) cannot equal 0 , cot(x)sin(x), when sin(x) < 0}
= {-cot(x)|sin(x)| + c1 when sin(x) > 0 , -cot(x)(-sin(x)), when sin(x) < 0}
= {-cot(x)|sin(x)| + c1 when sin(x) > 0, -cot(x)|sin(x)|, when sin(x) < 0}
= -cot(x)|sin(x)| + c
= -cot(x)sqrt(sin^2(x)) + c
things glitch out when sin(x) = 0, because cot(x) is undefined when sin(x) = 0
so maybe we can't reach it 'without piecewise' because it isn't valid for sin(x) = 0.
but the original integral and the integrand allows sin(x) = 0 just fine.
I found it out thid way,
We can multiply the integrand by cosec(x) sin(x) which becomes cosec(x) sin(x) √sin²(x). Now if we integrate by parts by differentiating cosec(x)√sin²(x) and integrate sin(x), the differenriation (by rationalizing the denominator and all) will turn out to be 0. So we can get the final result -cosec(x)cos(x)√sin²(x) which is equivalent to -cot(x)√sin²(x).
I think the problem is that the Wolfram Alpha answer is wrong. If we integrate sqrt[ (sin(x))^2 ], we will get a monotonically not-decreasing function.
The WA answer =-cos(x) where sin(x)>0, cos(x) where sin(x)
Yes. I noticed that as well. Look up at my comment and find the real exact answer. I'm surprised how few people are noticing this.
Btw, arcsin(cos(x))=
pi/2 +/- x + 2pi(n) for all integers n
The solution:
make the integral to be: sinx(sqrt(sin^2(x)))/sinx, then integrate by parts by integrating sinx, so it'll become -cosx, which will give -cotx(sqrt(sin^2(x))) minus the integral of - cosx times the derivative of sqrt(sin^2(x)), which is equal to 0, so the integral will be equal to a constant, hence we get the answer -cotx(sqrt(sin^2(x))) + C
As identified in the beginning, this integral is the integral of |sin(x)|. This is -cos(x) when sin is nonnegative and +cos(x) where sin is positive. Thus the integral is -sign(sin(x))cos(x). Our function is not integrable where sin(x) = 0, so wherever the integral exists it is true that sign(sin(x)) = |sin(x)| / sin(x) = sqrt(sin^2(x)) / sin(x). Therefore the integral is -[sqrt(sin^2(x)) / sin(x)]cos(x), i.e. sqrt(sin^2(x))(-cot(x)).
sorry sorry, I just realised the answer, sorry my fav teacher
Since abs(sin(x)) is periodic fourier transform is kinda overkill but does the job very easely
I LOVE your shirt, but I can't find it online. I've seen other shirts, but not like THAT ONE. I LOVE math and science! 😎💯😍
I am not talking about this integral, my question is more general.
Is it possible that w=even if the software did it, the wolution would not be possible to find by a human" analytically ?
I think you might want to integrate by parts integral {sin(x) * sqrt(sin^2(x)) / sin(x) } dx, taking D = sqrt(sin^2(x)) / sin(x), I = sin(x). Logically it should work because sqrt(sin^2(x)) / sin(x) = |sin(x)| / sin(x) = sign(sin(x)). And d/dx (sign(sin(x))) = 0. You will get the correct result immidiately, because second part will be 0. You can apply this approach to any integral { sqrt(f(x)^2) } dx
Oh shit I made a comment abt this, i didn’t know sqrt(sin^2(x) / sin(x) had a name lol
Quando nao se ve a resposta antes de fazer o video , fica dificil de fazer a integral nao é?
Could we conclude or demomnstrate that : integral(abs(f(x)) dx) = abs(f(x)) / f(x) * F(x) ?
Oh hey, that’s pretty interesting. I am not sure yet!
Nice PROF 👍
∫|sinx|dx
Multiply top and bottom by sin x
∫(|sinx|/ sinx)×sinx dx
Since |sinx|/sin x is a constant we can bring it out the integral
So now we have
|Sinx|/sinx ∫sinx dx
=- |sinx|/sinx ×cosx +c
And cosx/sinx =cotx
So the final ans is
-|sinx|×cotx +c
And u can write |sinx|as √sin²x
One way I thought was doing sqrt(sin^2(x))=sin(x)*sgn(sin(x)), and I think that if we integrate a function times its sign, then we can put the sign outside and just integrate the function. We would need to prove this, but it is really correct to elementar functions. So we would have sgn(sin(x)) * I { sin(x) }, and so we have -cos(x)sgn(sin(x))=-cos(x)*|sinx|/sinx=-cot(x)*sqrt(sin^2(x)).
I think he’s trying to avoid this since this is basically the piecewise solution
bro, if you multiply by secxtanx on the top and the bottom, and you integrate by parts, integrate secxtanx and derivate the rest, you could reach the result, it also works if you multiply by senx on the top and the bottom and integrating by parts, integrate senx and derivate the rest. I think that only using this two functions and equivalents it works.
My first reaction on seeing this problem was that the antiderivative given by WolframAlpha is incorrect.
One way to see this is by noting that the alleged antiderivative function is periodic (in fact with period π), whilst the integrand √(sin²x)=|sin x| is nearly always positive, so its antiderivative is strictly increasing. Then there is the problem of the jump discontinuity at multiples of π. However, I found that both problems can be fixed, as I show in my solution to finding the antiderivative below.
To simplify things, I shall write the integrand as |sin x| instead of √(sin²x)
So we are to evaluate ∫|sin x|dx.
To illustrate the method, start with ∫|x|dx.
We have two cases:
x≥0: ∫|x|dx=∫x dx=½x²+c
x
@blackpenredpen i challenge you to find the answer of this question
If the rectangle has a length of 4 and breadth 2, and from the intersection point of the two diagonals of the rectangle originate two line segments which extend till the perimeter connecting the perimeter to the point of intersection of the diagonals and there's an angle 130 in between them, find the section enclosed within the interior of the angle
goal: ∫ √(f(x)²) dx
rewrite it as:
∫ √(f(x)²) dx = ∫ [√(f(x)²) / f(x)] * f(x) dx
integrate by parts taking:
D = √(f(x)²) / f(x)
I = f(x)
we will get:
∫ [√(f(x)²) / f(x)] * f(x) dx = ∫ I dx * D - ∫ { ∫ I dx * D'(x) } dx
after some manipulation we can show that D'(x) = 0
which means that:
∫ [√(f(x)²) / f(x)] * f(x) dx = ∫ I dx * D - 0 = ∫ f(x) dx * √(f(x)²) / f(x) + C
so:
∫ √(f(x)²) dx = ∫ f(x) dx * √(f(x)²) / f(x) + C
for f(x) = sin(x) we will get:
∫ √(sin(x)²) dx = ∫ sin(x) dx * √(sin(x)²) / sin(x) + C = - cos(x) / sin(x) * √(sin(x)²) + C = - √(sin(x)²) * cot(x) + C
Here are the details on how to show D'(x) = 0:
1) Simplify notation for readability:
d/dx [√(f(x)²) / f(x)] = d/dx [√(f²) / f]
2) Use chain rules:
... = [2 f f' / (2 √(f²)) * f - √(f²) * f' ] / f² = [f² f' / √(f²) - √(f²) * f' ] / f²
3) Multiply the first term by √(f²) / √(f²):
... = [f² f' * √(f²) / (√(f²) * √(f²)) - √(f²) * f' ] / f² = [f' * √(f²) - f' * √(f²) ] / f² = 0
I just had a thought. Doesn't |sinx| share a relationship with sinx?
If you take the third derivative of sinx you get -cosx. Is it possible to do the same thing with |sinx| and simplify?
Can you use Euler formula with imaginary numbers?
the last one the last step maybe you could substitute u = sinv so that then sqrt(1 - u^2) = cosv
The problem with your antiderivative is that it is wrong without restrictions on the intervals in which you use it. The reason being is that it gives you the wrong value in the interval [pi/2, 3pi/2] (your formula gives you a value of 0 in that interval.) The reason why this does not work is that the cotangent function has a vertical asymptote at pi, which makes your formula a non-continuous function in the interval [pi/2, 3pi/2], which breaks your antiderivative, so if you want a formula like the one you are trying to produce, you can only do it in intervals where the sine function has constant sign, and in that case you can compute the integral as follows:
sqrt(sin^2(x)) = |sin(x)| = sign(sinx)*sin(x), so when you integrate, you can put the sign(sin(x)) outside the integral sign (because it is constant), and then you get that integral of |sin(x)| = sign(sin(x))*integral(sin(x)) = sign(sin(x))*(-cos(x)) = -|sin(x))/sin(x)*cos(x) = -|sin(x))cot(x) = -sqrt(sin^2(x))*cot(x).
You can use this idea to compute the antiderivative of other trigonometric functions.
Sir, I found the answer to be 1/2 tan(x) √sin^2(x) - 1/2 √sin^2(x) cot(x) - 1/2 √sin^2(x) cosec(x) sec(x).
I differentiated it and it was √sin^2(x).
What about Feynmann's technique where you, I don't know, assume everything's a constant, differentiate it to zero then magic a rabbit out of a hat?
Could you try to solve 5^x - log2(x+3) = 3^x for all x < 0? (log2 means log base 2)
sqrt(sin²(x))=abs(sin(x)) then do it piecewise for every interval of the form [kπ,(k+1)π]. No need for explicit expressions.
0:25 : I'm just starting the video, so maybe you correct this, but don't try too hard to get the answer from Wolfram Alpha, because their answer is *wrong.* (Their function is not continuous; it's not an antiderivative of anything.)
A correct antiderivative is 2[x/π]+cos(x) when [x/π] is odd, 2[x/π]−cos(x) when [x/π] is even. (Plus C to get all antiderivatives.)
As for the method, I don't think you can get anywhere playing tricks with absolute values as square roots. You just have to break it into cases, depending on whether sin(x) is positive or negative, and then figure out how to stitch the pieces together to get a continuous function.
I noticed that this function has to increase steadily with x not be periodic.
@@CliffChafin : Good point, since its derivative (the integrand) is strictly positive (except at isolated points, the multiples of π), it must be strictly increasing.
Mupltiply and divide by sinx. Then use integration by parts: integrate sinx and differentiate |sinx|/sinx
I found a way to do it. If you consider the derivative of -sqrt(sin^2 x)*cot(x) you get sqrt(sin^2 x). Therefore the integral of sqrt(sin^2 x) is -sqrt(sin^2 x)*cot(x) + C
15:53
"How do we even simplify inverse sine of cosine x"
This might be a dumb question but can't you just sub in sin(90-x) for cosine and then cancel out the sine and inverse sine to be left with 90-x?
arcsin(cos(x)) is a triangle wave
Yes you are right and we will have to restrict the domain in order to get that. Btw we need to use radian in this case.
I want to ask:
In want case
Sin sq + cos sq not equal to 1?
Because of the stepwise nature of abs(sin(x)) should the integral not use discontinuous functions and become:
-cos(x-pi*floor(x/pi))+2*floor(x/pi)
How about you do it geometrically instead of analitically? The curves of |sinx| are quite related to the curves of sinx and if it were a defined integral we would be able to compute easily the area.
I didn't try to do the calculation but it seems much more elegant
ok so, integral( sqrt( sin^2(x) ) ) = integral( abs( sin(x)) ) = sin(x)/( abs( sin(x) ) * integral( sin(x) ) = - ( cos(x) )( sin(x) ) / abs( sin(x) ) = -cos(x)sin(x)/ sqrt(sin^2(x)) = -cos(x)sin(x)sqrt(sin^2(x))/ sin^2(x) = -cos(x)sqrt(sin^2(x))/ sin(x) = -cot(x)sqrt(sin^2(x)) and dont forget the +C
Cant u go just the back way of differentiating it. writing sqrt(sin^2 x) as sqrt(sin^2 x)(cosec^2 x - cot^2 x) and then multiplying sqrt(sin^2 x) inside and then integrating it
I didn’t work it all the way through but I had the same idea. Distribute, integrate the two integrals by parts, the recombine and a bunch of stuff cancels. The cotangent integral has to be integrated by parts twice.
11:47 doesn't 1/cosx times sinx equal to tanx
Yeah, i think your right 🤣
substituting from step 0 seems promising, ive tried (sinx)^2=u and got an interesting answer.
PS why tf people in some places use (co)secant functions just use 1/sin smh
i may be dumb but sqrt(sin²(x)) isnt it just |sin(x)| so we just want to multiply by 2 the integral of sin(x) which is -cos(x) so final ans -2cos(x) + C
When you combine D and I isn’t sin over cos tan?
Things like sin^-1 (cos (x)) can be evaluated (draw a right triangle)
How to solve integral from 0 to pi of x/(secx+tanx )?