The Limit (do not use L'Hospital rule)

  Рет қаралды 675,021

blackpenredpen

blackpenredpen

5 жыл бұрын

The limit of sin(x)/x as x goes to 0,
Proof of the derivative of sin(x), • Derivative of sin(x) a...
No, we cannot use Taylor series for sin(x) since we need derivative as well. • Power series of sin(x)...
The limit as x goes to 0 of sin(x)/x ,
Geometric proof of sin(x)/x goes to 1 as x goes to 0,
don't use l'hospital's rule,
avoid circular reasoning,
Squeeze theorem example,
⭐️Please subscribe for more math content!
☀️support on Patreon: / blackpenredpen
😃 blackpenredpen.com
😃 / blackpenredpen
😃 / blackpenredpen
blackpenredpen

Пікірлер: 1 500
@alexatg1820
@alexatg1820 4 жыл бұрын
How physicists do the limit: In small θ, sinθ≈θ And 0 is very small So sinθ/θ=θ/θ=1
@JoQeZzZ
@JoQeZzZ 3 жыл бұрын
The small angle approximation actually comes from this exact reasoning!
@miso-ge1gz
@miso-ge1gz 3 жыл бұрын
unironically good enough
@86400SecondsToLive
@86400SecondsToLive 3 жыл бұрын
@@miso-ge1gz It's not a solution for the same reasons pointed out in the video. He used the Taylor approximation and you can only do that when you know the derivative.
@miso-ge1gz
@miso-ge1gz 3 жыл бұрын
@@86400SecondsToLive But he got the same answer? Or do you have to prove everything on the math tests
@86400SecondsToLive
@86400SecondsToLive 3 жыл бұрын
@@miso-ge1gz As explained in the video: You need to know the limit to know the derivative of sin(x) (hint: the limit is the derivative at 0). If you don't know the limit, you don't know the derivative. If you don't know the derivative, you have no approximation via Taylor. Without the approximation, his solution is not a valid solution. You do not need to prove everything on math tests, but you also can not assume the claim to be true in order to prove it true.
@restcure
@restcure 3 жыл бұрын
"of course, we're all adults now, this angle is in radians" - I love it!
@capsey_
@capsey_ 2 жыл бұрын
Everybody knows that real men use clock time for angles
@Abdullah-pu2dr
@Abdullah-pu2dr 2 жыл бұрын
@@capsey_ can't wait till I have to calculate cos(9:28)
@tolgaerdonmezorigamitutori1605
@tolgaerdonmezorigamitutori1605 2 жыл бұрын
Damn, I knew this was legit, but no one believed
@Ketsur0n
@Ketsur0n 2 жыл бұрын
@@capsey_ ah yes
@xrayDJalpha
@xrayDJalpha Жыл бұрын
@@Abdullah-pu2dr remember, it's periodical. the only angles you need are from 00:00 to 01:05
@zsoltvastag416
@zsoltvastag416 3 жыл бұрын
Engineer solution: Book says it's 1. So it's 1. qed.
@sharpfang
@sharpfang 3 жыл бұрын
No! Saying it is 1 is insufficient! It is 1, but with 0.0001% accuracy!
@blightedcrowmain8236
@blightedcrowmain8236 3 жыл бұрын
@@sharpfang brr
@mokaakasia4636
@mokaakasia4636 3 жыл бұрын
@@sharpfang ammm, no. It's 1, but with any Eps. accuracy , limit definition ref.
@sharpfang
@sharpfang 3 жыл бұрын
@@mokaakasia4636 Get back to your cave, you mathematician.
@GarGlingT
@GarGlingT 2 жыл бұрын
You cannot graduate with engineering stuff, you need to pass a proper calculus.
@Selicre
@Selicre 5 жыл бұрын
"circular reasoning" I don't know if this was a trigonometry pun, but it is now.
@banderfargoyl
@banderfargoyl 5 жыл бұрын
Yup. Trigonometry is invalid.
@marcushendriksen8415
@marcushendriksen8415 5 жыл бұрын
Hehehe I've used the phrase multiple times in my own maths journal when exploring trig; it's a quality pun
@reelgangstazskip
@reelgangstazskip 5 жыл бұрын
@@marcushendriksen8415 >"maths"
@marcushendriksen8415
@marcushendriksen8415 5 жыл бұрын
@@reelgangstazskip what's wrong with that? Last I checked, the subject was called "mathematicS", not "mathematic"
@joryjones6808
@joryjones6808 4 жыл бұрын
When my Calc 2 Teacher was doing a similar problem he said "by no means is this a pun, the reasoning ends up to be circular."
@emperorpingusmathchannel5365
@emperorpingusmathchannel5365 5 жыл бұрын
Do not use circular reasoning! *Proceeds to use the unit circle to define the inequality*
@blackpenredpen
@blackpenredpen 5 жыл бұрын
GLaDOS lollll I love this!!!!
@JensenPlaysMC
@JensenPlaysMC 5 жыл бұрын
@@dp-zn8bd "Circular"
@bensolomons4299
@bensolomons4299 5 жыл бұрын
ahah ahaha i love it!
@DianaHatter
@DianaHatter 5 жыл бұрын
of course your name is GLaDOS
@icew0lf98
@icew0lf98 5 жыл бұрын
@@dp-zn8bd ahahahah sarcasm ahahaha
@TIO540S1
@TIO540S1 5 жыл бұрын
You need to prove that the arc length is greater than sine and less than tangent. “You can see from the picture” isn’t good enough.
@blackpenredpen
@blackpenredpen 5 жыл бұрын
Rob Ryan then we can compare areas!
@samporterbridges577
@samporterbridges577 5 жыл бұрын
Yeah comparing areas is how i learned it
@BigDBrian
@BigDBrian 5 жыл бұрын
how would you compare the areas? what areas are you comparing?
@AlexandreRibeiroXRV7
@AlexandreRibeiroXRV7 5 жыл бұрын
@@BigDBrian the small right triangle with the green side, the circular sector with angle theta, and the big triangle with the blue side.
@mrbatweed
@mrbatweed 5 жыл бұрын
Does area correspond to length? Koch snowflake?
@ahmedalfuwaires
@ahmedalfuwaires 3 жыл бұрын
I love how enthusiastic you are about math. Need more educators like this
@nessigaming8175
@nessigaming8175 10 ай бұрын
that also why i like his channel. You know he loves maths
@n0ame1u1
@n0ame1u1 5 жыл бұрын
Well, since we all know sin(θ)=θ, lim θ→0 sin(θ)/θ = 1
@trace8617
@trace8617 4 жыл бұрын
good one lol
@gregoriousmaths266
@gregoriousmaths266 4 жыл бұрын
Dang it I just commented that but now I see this Well hello fellow engineer
@walrusninja3581
@walrusninja3581 4 жыл бұрын
Gregorious Maths I’m only in high school calculus right now, but how is this an engineer thing? Isn’t it true for all fields of math that during near zero situations, sinx=x
@alvachan88
@alvachan88 4 жыл бұрын
@@walrusninja3581 This is just a guess. I think this is especially close to home for engineers cause of the timing of 20 oscillations to find the value of g that we did in secondary school. Our physics teachers would always yell "small oscillations" without telling us why. Only in high school after learning the content of this video did we realise smaller oscillations isn't to reduce the effect of air resistance.
@bradyzimmerman8380
@bradyzimmerman8380 4 жыл бұрын
Lol a physics major I see
@craftbuzzwonky4752
@craftbuzzwonky4752 3 жыл бұрын
When I saw the thumbnail, I was like: The man has gone mad obiviously. Then I noticed that it was the factorial sign and not an exclamation mark for a new discovery in math!
@tollboothjason
@tollboothjason 5 жыл бұрын
It may be easier to tackle theta's plus/minus issue before taking limits. f(x) = sin(x) and g(x) = x are odd functions, and (odd function)/(odd function) = even function. Thus h(x) = (sin(x))/x is even, so its limit going to zero from either direction is the same. Thus we can say without loss of generality that theta>0 and proceed from there.
@george.6157
@george.6157 5 жыл бұрын
You're so cool :) I just thought of this a few hours ago because of prooving the derivate of sinx and this limit made me confused and now you explain it, best timing ever
@blackpenredpen
@blackpenredpen 5 жыл бұрын
G. E. Ahhh nice!!!! : )
@Kdd160
@Kdd160 4 жыл бұрын
U can do this by Maclaurin-Taylor series expansion of the sine function
@zeffar99
@zeffar99 3 жыл бұрын
@@Kdd160 no you can't it's still circular reasoning
@Kdd160
@Kdd160 3 жыл бұрын
@@zeffar99 yup i actually realized months after i had already written my comment 😆😆😆
@MrCigarro50
@MrCigarro50 5 жыл бұрын
Thank you, we saw this proof in class, but my students enjoy this video to clarify some questions.
@ninoporcino5790
@ninoporcino5790 3 жыл бұрын
The squeeze theorem, here in Italy we call it "the two cops theorem" because it's like two cops taking a thief to prison, they don't let him escape from the sides
@MysteryHendrik
@MysteryHendrik 2 жыл бұрын
In Germany we call it the ‘sandwich criterion.’
@qhw9
@qhw9 2 жыл бұрын
MysteryHendrik in kuwait we say sandwich theorem
@Crazmuss
@Crazmuss 2 жыл бұрын
That boring, lets call it chikan theorem!
@longsteinpufferbatch4949
@longsteinpufferbatch4949 2 жыл бұрын
@@Crazmuss is that Japanese?
@draaagoo7799
@draaagoo7799 2 жыл бұрын
we call it bocadio said theorem
@tomaszlosinski875
@tomaszlosinski875 5 жыл бұрын
I often have no idea what he's on about but his enthusiasm makes me keep coming back each time. I'm addicted now.
@Alfred-pr1qf
@Alfred-pr1qf 2 жыл бұрын
you are a great teacher! In the past I was afraid of math, but with you everything is much clearer and simple! thanks a lot
@dakkoshite
@dakkoshite 5 жыл бұрын
This is among my favourite proofs to demonstrate in my high school calculus class. It paves the way to have students think using a different mindset.
@lackdejuranez7084
@lackdejuranez7084 2 жыл бұрын
It's really beautiful, isn't it?
@discretelycontinuous2059
@discretelycontinuous2059 4 жыл бұрын
I'd be inclined to use the taylor series
@Peter_1986
@Peter_1986 4 жыл бұрын
I just learned the Taylor Series today, so I am very eager to practise it at the moment. I will totally use it on this expression as well.
@gerardmonsen1267
@gerardmonsen1267 4 жыл бұрын
But the Taylor Series uses derivatives to create the terms, so you end up running into the circular argument problem again.
@valeriobertoncello1809
@valeriobertoncello1809 4 жыл бұрын
But that still uses derivatives
@Pete-Logos
@Pete-Logos 3 жыл бұрын
1st) I know he'll use Squeeze Theorem 2nd) the video title didn't say don't use derivatives it said "don't use L'Hospital" 3rd) DiscretelyContinuous didn't say use "L'Hospital" or "Derivatives" and 2 of you got on his f***ing case over it; he said "use Taylor Series" and one COULD use the McLaurin or the Taylor series without differentiating "using rules," but by using "the limit definition" of the derivative for the 1st few terms and then use "proof by induction" to show the series converges such that: lim [ (ƒ(θ+Δθ)-ƒ(θ))/Δθ ] Δθ→0 such that ƒ(θ) = sinθ/θ = ∞ (∑ (θ²ⁿ⁻¹)(-1)ⁿ⁺¹/(2n-1)!)•(1/θ) ⁿ⁼¹ & I'd convert θ to radians 1st & create a parameter t=θπ/180 & say that ƒ(t) = sin(t)/t = ∞ (∑ (t²ⁿ⁻¹)(-1)ⁿ⁺¹/(2n-1)!)•(1/t) ⁿ⁼¹ and evaluate lim [ (ƒ(t+Δt)-ƒ(t))/Δt ] Δt→0 and solve after expanding this McLaurin series into a Taylor series. You can then see whether or not the series converges to 1, or some other value, or not, but I leave that as an exercise for the reader.
@gerardmonsen1267
@gerardmonsen1267 3 жыл бұрын
Lοɢɪco Λόгος ̙ Again, you run into circular reasoning. How do you find the Taylor Series of sin? Take its derivative and evaluate it at a point. To obtain the Taylor Series of sin, you have to already know the derivative of sin. Thus, you end up with the same circular reasoning problem that you’d run into with L’Hospital’s Rule - that you can’t find the derivative of sin using a method that uses the derivative of sin. The squeeze theorem avoids this problem.
@sugarfrosted2005
@sugarfrosted2005 5 жыл бұрын
I would put a warning (DO NOT USE LHOPITAL'S RULE!!) on the exam.
@Matt-tw3oz
@Matt-tw3oz 2 жыл бұрын
my calc professors were very cool. they'd give partial credit even if they say "solve for x using [certain theorem]", but we did it another way. i was always of the mind to just give students all the theorems/rules on the front page of the test. IMO, calc isn't about memorizing facts like history class but is more about working a complicated problem with a properly filled toolbox. just give me the toolbox, and i'll take it from there.
@user-en5vj6vr2u
@user-en5vj6vr2u 11 ай бұрын
Professors literally tell you to use a certain theorem so that you learn how to use each “tool”
@rachitgoyal8457
@rachitgoyal8457 3 жыл бұрын
This is the dream guy who can do all your maths homework with a smile 😃.
@martinepstein9826
@martinepstein9826 2 жыл бұрын
9:14 Technical point: once you've written 1 >= lim(...) >= 1 you've already used the squeeze theorem. The fact that c >= d >= c implies c = d is just a basic property of ordered sets, not a calculus theorem.
@HagenvonEitzen
@HagenvonEitzen 3 жыл бұрын
6:13 "From the picture you can see" is not a proof that the curvy arc is shorter than the straight tan segment. Things are a lot easier when you compare areas of small triangle < pie < big triangle
@mihajlobisenic8456
@mihajlobisenic8456 3 жыл бұрын
Its been 2 years, but I just started collage and really needed this to be explained to me since everything is online and i got exam this Sunday, thanks a lot and I wish you the best of luck and health!
@emilycf1885
@emilycf1885 3 жыл бұрын
Loving the enthusiasm!! Super fun to watch and learn.
@stephenbeck7222
@stephenbeck7222 5 жыл бұрын
For the 0- limit at the end, perhaps a little more formal way of saying it is that y=sin x is an odd function and y=x is an odd function, both of which we know without calculus. An odd function divided by another odd function is even, thus the 0+ limit must be equal to the 0- limit.
@psionl0
@psionl0 Жыл бұрын
If d/dx sin x = cos x was proven using Euler's identity then L'Hospitals rule would be perfectly valid.
@Super1337357
@Super1337357 Жыл бұрын
Lim(x->0)sin(x) is not sin(0) though.
@psionl0
@psionl0 Жыл бұрын
@@Super1337357 It is.
@thexoxob9448
@thexoxob9448 7 ай бұрын
The thing is euler's identity was proven by derviatives
@psionl0
@psionl0 7 ай бұрын
@@thexoxob9448 The thing is that since e^ix has a real part and an imaginary part, we can write e^ix = f(x) + i g(x). Without using any trigonometry at all, we can show that |e^ix| = 1 (ie e^ix lies on a unit circle) and that f(x) has the properties of sin(x) and g(x) has the properties of cos(x). The only sketchy thing is establishing that x is an angle measured in radians.
@dang-x3n0t1ct
@dang-x3n0t1ct 6 ай бұрын
What if we prove d/dx sin(x) = cos(x) by the limit definition of the derivative
@aelialaelia477
@aelialaelia477 3 жыл бұрын
man this is brilliant I'm bingewatching your whole channel
@joshuamendez425
@joshuamendez425 3 жыл бұрын
i watched this last year when I was in calc 1 and idk why it didn't click but now that I'm calc 3 i was brushing up on limits and this was crystal clear, thanks blackpenredpen
@hamanahamana3799
@hamanahamana3799 5 жыл бұрын
You could also use L’Hopital after proving d/dx(sin x) = cos x through Euler’s formula: e^ix = cos x + i sin x Derivative of both sides... ie^ix = d/dx (cos x) + i d/dx (sin x) = - sin x + i cos x By multiplying Euler’s formula by i and matching up the real and imaginary parts of the derivative of Euler’s formula, we can see that d/dx (sin x) = cos x and d/dx (cos x) = -sin x Now I’m wondering how one could prove Euler’s formula without using Taylor series, or by proving the Taylor series without using the derivative
@ptrexy
@ptrexy 2 жыл бұрын
Yeah, me too. Have you found any proof?
@RandomPerson-lp2tl
@RandomPerson-lp2tl 2 жыл бұрын
But you just used d/dx (cos x) = - sin x and d/dx (sin x) = cos x without proving it. So its still circular reasoning.
@spaghettiking653
@spaghettiking653 2 жыл бұрын
Like Random Person pointed out, this is still assuming the values of d/dx(sin) and d/dx(cos), but I think it can work if you use the Maclaurin series expansions of sine and cosine and differentiating them to legitimately get their values.
@hamanahamana3799
@hamanahamana3799 2 жыл бұрын
​@@spaghettiking653 My original comment was showing how Euler's formula implied d/dx(cos) = -sin and d/dx(sin) = cos; since e^ix = cos x + i sin x, d/dx(e^ix) = ie^ix = i(cos x + i sin x) = -sin x + i cos x = d/dx(cos x + i sin x), which gives d/dx(sin) = cos and d/dx(cos) = -sin after equating real and imaginary parts. That's not a full proof that d/dx(sin) = cos, though, since all the proofs of Euler's formula I know use d/dx(sin) = cos implicitly (this is what Taylor or Maclaurin series do). If we can prove Euler's formula without that dependence, though, that fully proves d/dx(sin) = cos and d/dx(cos) = -sin. Sorry if that wasn't clear originally.
@spaghettiking653
@spaghettiking653 2 жыл бұрын
@@hamanahamana3799 Oh, sorry, please forgive me as I wasn't reading your comment clearly. I see what you were trying to say now, my bad :)
@neutronenstern.
@neutronenstern. 4 жыл бұрын
Me: The thumbnail isnt correct Also Me: He lied to me Now Me: Oh 0! is indeed 1 Me :(
@TheTacticalMess
@TheTacticalMess 4 жыл бұрын
So glad I watched this video. Was about to these problems on my upcoming exam using L'Hopital's rule. blackpenredpen probably just saved my grade.
@tydude
@tydude 3 жыл бұрын
nice to see the proof. my calc prof just told us to memorize this limit without explaining how it works
@iabervon
@iabervon 5 жыл бұрын
With a more geometric definition of the derivative (or of differentials), you can prove the derivative geometrically, and the limit with L'Hopital's Rule. There's a nice proof based on tiny arcs of a circle being effectively straight.
@ActionJaxonH
@ActionJaxonH 5 жыл бұрын
I’ve seen the full proof using the Squeeze Theorem before, but I never knew about L’Hospital rule (I’m learning Calculus for fun on my own time). I had HEARD of the rule, and that it was important, but this is the first time I actually saw what it was from myself. Wow, that’s a powerful rule. Really really powerful
@user-wh8ce9um5w
@user-wh8ce9um5w 5 жыл бұрын
Jaxon Holden some limits counter l’Hospital though
@grigoriichrrnyshov5621
@grigoriichrrnyshov5621 Жыл бұрын
man that is the beautiful exsplanation, you show it very clear
@calebfoxschool
@calebfoxschool Жыл бұрын
I'm in an online class for calc right now, which requires zero proofs or anything at all. So I've gone the whole semester without realizing where the derivatives of any of these trig derivatives come from, and it felt so random until I watched this and another proof video of yours. Thanks so much
@user-qo3qm7ud1d
@user-qo3qm7ud1d 5 жыл бұрын
Can you make a video of example (with the uncertainty of 0/0) where l'hopital's rule gives the wrong answer?
@credoma1
@credoma1 5 жыл бұрын
yes, please
@duckymomo7935
@duckymomo7935 5 жыл бұрын
It’s not L’Hospital failing but the conditions don’t apply Lim x-> ∞ x/(x + sinx) = 1 Lim x-> ∞ 1/(1 + cosx) = DNE Problems: 1) the denominator, derivative version, goes through 0 over the entire interval (0, ∞) 2) the “L’Hospital limit” doesn’t exist therefore L’Hospital rule doesn’t apply (it doesn’t say what happens to the original limit)
@RunstarHomer
@RunstarHomer 4 жыл бұрын
But L'Hopital's rule doesn't give the wrong answer
@dashyz3293
@dashyz3293 3 жыл бұрын
the worst l'hopital's can do is just make you fall into a really long line of repeating l'hopital's over and over again. I am not sure if there is such a limit that makes you do it forever, but l'hopital's cannot fail if you use it right.
@kohwenxu
@kohwenxu 2 жыл бұрын
@@dashyz3293 You can also get stuck if you use L’Hopital’s rule blindly, because you can get stuff that goes to denominator equaling 0, but the numerator is non 0 and therefore you’re stuck
@aliexpress.official
@aliexpress.official 5 жыл бұрын
6:10 You can't just say on an exercise/test that tanx>x>sinx because it can be seen from drawing. you'll be required to prove that as well.
@JiminatorPV
@JiminatorPV 5 жыл бұрын
Can you not proof that with f(x)=tan(x) and g(x)=x functions, since they both are continuous in the interval [0 , pi/2), and f(0)=0 and g(0)=0, for the tangent to take a value inferior to the arc lenght, the derivative of f(x) has to be minor than 1, and since secant squared is always >= 1 in said interval, tangent must always be equal or greater then the arc lenght.
@stewartzayat7526
@stewartzayat7526 5 жыл бұрын
Unfortunately, it's not a straight line, so I think you would need to do more work
@lautyx18
@lautyx18 5 жыл бұрын
Isn't tan(x) ~ sin(x) when x->0 ?
@stewartzayat7526
@stewartzayat7526 5 жыл бұрын
@@lautyx18 yes, basically you are saying lim as x->0 (sin(x)/tan(x)) = 1, you can show that as follows: lim as x->0 (sin(x)/tan(x)) = lim as x->0 (sin(x)/(sin(x)/cos(x))) = lim as x->0 (cos(x)) = 1
@CarmeloTLA
@CarmeloTLA 5 жыл бұрын
You can proof that by using the triangles you draw in the unit circle. I don't know how to explain it properly without an image, though.
@aleladebiri
@aleladebiri Жыл бұрын
I feel it's time for an epsilon - delta proof of this.
@minhnguyenquang4448
@minhnguyenquang4448 3 жыл бұрын
I have just learnt about limit and your video is very fantastic!!!
@RachidOUSALEM
@RachidOUSALEM 5 жыл бұрын
Sinθ < θ < Tanθ needs to be prouved...
@skilz8098
@skilz8098 4 жыл бұрын
It's simple we have sin(t)/t = 0/0 = indeterminate by basic mathematics or basic arithmetic. Through various proofs and theorems that are all related to intersecting lines and angles they generate by vector notation and linear equations to the properties of right triangles and circles along with the use of tangents both lines and trig functions... by induction it is proven. This property holds for all circles and the same two triangles that can be generated by the radius and it's extended line from the linear equation that generates that line to the tangent line of the circle that is also a perpendicular bisector to the x-axis. It is inferred through induction. It has already been proven. This is why he stated in the beginning we can do this through the use of Geometry! Another proof of induction is to state that the polynomial equation f(x) = x^2 where all of x > 0 is a 1 to 1 mapping of all of the possible pairings of the side of a square to its area. for example consider these sets of points where the x is the length and the y is the area (0.5, 0.25), (1,1), (2,4), (3,9), (4,16) ... (n, n^2) where n is +. We only do this because we don't think of length of a side of an object nor its area to be negative... So if you have Area by induction we can find the length of one of its sides as long as we know the polynomial function that gives us the area. So for example if we have the function f(x) = 3x^2 + 4x - 2. This is full quadratic. The first term gives us an area of a square. then added to that area is some length and a constant. If we take the value of 3 and evaluate this function f(3) = 3(3)^2 + 4(3) - 2 = 27 + 12 - 2 = 37 units^2. Now let's see what the "pseudo length of this would be" (meaning taking its derivative and going down to a lower dimension of space). f'(x) = 6x + 4. Now evaluate it with the same input f'(3) = 6(3) + 4 = 18 + 4 = 22 units. Here by induction we can see that the highest order of degree within a given polynomial will determine the spacial dimension we are in. So by example x^0 = 0 dimension, x^1 = 1 dimension, x^2 = 2 dimension, x^3 = 3 dimension and x^n = n dimension. There are somethings that you don't have to prove because they are understood. Just as the fact that the derivative of sin(t) = cos(t) and the derivative of cos(t) = -sin(t). We all know that they are understood to be just that and don't require proofs. Go ahead and try to write up a proof for those two derivatives and let's see how long it takes... I'll gladly accept his proof as a form of induction just by knowing and understanding Geometry. Here's one for you prove that 0 = 0 and that 1 = 1... I dare you; good luck with that because they are abstract ideas...
@achyuthramachandran2189
@achyuthramachandran2189 4 жыл бұрын
Yes, comparing the lengths of those lines and arc isn't enough. The way I was taught was to compare the areas of the figures formed, namely the triangle with height sin x, the sector with included angle x, and the triangle with height tan x.
@marceloescalantemarrugo6391
@marceloescalantemarrugo6391 4 жыл бұрын
With the mean value theorem.
@MrCoffeypaul
@MrCoffeypaul 4 жыл бұрын
It can be seen on the diagram to be true!
@seroujghazarian6343
@seroujghazarian6343 4 жыл бұрын
Easy. The adjacent is always smaller than the hypotenuse
@MusicalRaichu
@MusicalRaichu 5 жыл бұрын
I think you can use the geometric derivation to prove that d/dx sin x = cos x. Using loppy's rule for sin x / x would then be valid.
@felicia359
@felicia359 4 жыл бұрын
I love that you are teaching us with passion
@YourAverageLink
@YourAverageLink 2 жыл бұрын
Did not think I'd finally find out why the tangent function is named as such in this video!
@Koisheep
@Koisheep 5 жыл бұрын
I thought you would talk about non-Hausdorff spaces and I was like "WHAT ok that's wild"
@just_another_guy6915
@just_another_guy6915 5 жыл бұрын
lol same
@matthewhartley3147
@matthewhartley3147 5 жыл бұрын
6:12 It's clear from the graph why sin theta is less than theta. The line connecting the two points of the arc is longer than sin theta, and the arc is longer than the line. However, it is not clear from the graph why theta is less than tan theta. Sure, the line to (1,tan theta) goes higher than than the arc does, but the arc curves. If the arc curved enough, then the arc would be longer.
@Gold161803
@Gold161803 5 жыл бұрын
I had the same thought. To avoid that, I compare areas instead of lengths: The area of the triangle bounded by two radii and the chord (not drawn) is 1/2*1*1*sin(theta). That's less than or equal to the area of the sector, which is 1/2*(theta)*1*1. That's less than or equal to the area of the big triangle with a base of 1 and height of tan(theta), whose area is of course 1/2*tan(theta). You can do all your algebra from there :)
@wesleydeng71
@wesleydeng71 4 жыл бұрын
@@Gold161803 Area of the sector = theta/(2*pi)*pi*1^2 = theta/2 < area of the big triangle = tan(theta)/2 => theta < tan(theta)
@valeriobertoncello1809
@valeriobertoncello1809 4 жыл бұрын
The implicit assumption is that a circle is nice and smooth, and any small enough arc on its circumference looks like a chord.
@jaimeduncan6167
@jaimeduncan6167 2 жыл бұрын
Yep it's a Gap. The proper way to do it is using the areas. Do it yourself I am sure you are going to enjoy it and it's not difficult.
@Samuel-kq4ip
@Samuel-kq4ip Жыл бұрын
kzbin.info/www/bejne/jouQnWtmn9aMa7c&ab_channel=PrimeNewtons this video explains it well if anyone else is still confused
@MenkoDany
@MenkoDany 5 жыл бұрын
I watched this video multiple times, thank you BRPR!
@astreroid118
@astreroid118 Жыл бұрын
Thank you so much for this! I missed a day of school and was stumped until I saw you video.
@chessandmathguy
@chessandmathguy 5 жыл бұрын
It all depends on whether we're asked to calculate the limit or to prove that the limit is 1.
@milhousekid
@milhousekid 5 жыл бұрын
I remember a teacher was showing me the derivative of sin, using l'hopitals rule and I had this exact question. Unfortunately he didn't explain it as well as you
@Emilia333g
@Emilia333g 2 ай бұрын
I think proof by steve is my new favourite way of proving limits
@TheCrashbandicoot36
@TheCrashbandicoot36 3 жыл бұрын
7:50 i kept thinking about sin(x) being positive..., until i realized it is a geometric demonstration, and you were using the first cuadrant, were sin(theta) is positive. Great demonstation.
@Galileosays
@Galileosays 5 жыл бұрын
L'hopital is permitted, since we can define sin (theta)= {exp(i.theta)-exp(-i.theta)}/2i, and the derivative is {i.exp(i.theta)-(-i)exp(-i.theta)}/2i=cos(theta). In other words there is no geometric proof needed. If one would argue that complex theory has to be proven too, then it would imply that every mathematical problem requires first the proof of the whole history of mathematics starting with Euclides 1+1=2.
@mychaelsmith6874
@mychaelsmith6874 5 жыл бұрын
You would have to prove that your definition is the right definition of sin.
@hamiltonianpathondodecahed5236
@hamiltonianpathondodecahed5236 5 жыл бұрын
And also the euler's identity exp(ix)=cos(x) +i sin(x) Has came from the taylor series of sine and cosine crntered at zero Which in turn came from differentiating sine and cosine. *CIRCULAR REASONING*
@nuklearboysymbiote
@nuklearboysymbiote 5 жыл бұрын
Actually you do have to prove the complex stuff to be true first, but it doesn't imply you have to start from 1+1=2. and if you've ever looked at the proof you'll know that representing a complex number as a power of e is proven USING the fact that the derivative of sine is cosine… CiRcULar ReAsONinG
@Sonny_McMacsson
@Sonny_McMacsson 4 жыл бұрын
@@mychaelsmith6874 If we follow that logic to its conclusion, we have to prove all of mathematics from counting sheep on up.
@thiantromp6607
@thiantromp6607 4 жыл бұрын
embustero71 which we do have to
@doctormaddyson
@doctormaddyson 5 жыл бұрын
In Russian school it called “The first perfect limit” (Первый замечательный предел).
@Kitulous
@Kitulous 5 жыл бұрын
мы быстренько пробежали пределы в 10-м классе, перешли на производные, и никаких Лопиталей и замечательных пределов мы не проходили( щас на логарифмах сидим (11 класс)
@doctormaddyson
@doctormaddyson 5 жыл бұрын
Kitulous, это прискорбно, мне в школе с этим повезло. А так, второй замечательный предел-то вы должны были обязательно пройти, так как второй замечательный предел - это определение числа e, которое в показательных и логарифмических функциях постоянно встречается.
@imadhamaidi
@imadhamaidi 5 жыл бұрын
Russians are the best mathematicians.
@GemaPratamaAditya
@GemaPratamaAditya 5 жыл бұрын
gordon freeman
@anarmehraliyev1286
@anarmehraliyev1286 5 жыл бұрын
In english it is called the first remarkable limit. Similar names.
@BabyBugBug
@BabyBugBug 3 жыл бұрын
I like this! I think this goes to show for the 1000th time why math isn’t hard, it’s just shifting around terms and manipulating equations to equal something you are looking for. When terms in an equation don’t look like this, fiddle with them and see how or if you can make them so. It took me a long time to learn this but it’s very valuable.
@ysfy5106
@ysfy5106 4 жыл бұрын
I just fell in love with your videos
@wurttmapper2200
@wurttmapper2200 5 жыл бұрын
Defining sin and cos in terms of complex exponentials, you can prove the derivative of sin is cos; then you can use L'H
@carultch
@carultch Жыл бұрын
You need Taylor series to do that, and that requires proofs that depend on this rule. There's always going to be a hidden detail behind the scenes that depends on the limit of sin(theta)/theta, no matter what method other than this you do, to prove this rule.
@aurithrabarua4698
@aurithrabarua4698 5 жыл бұрын
I don't use L' Hospital rule.. I use the 'Sandwich Theorem' to state that lim sinx = 1 x→0 x
@SuperV2g2to
@SuperV2g2to 5 жыл бұрын
Who is the limit on the left side and on the right side? Pls
@DiViNe_-jv6we
@DiViNe_-jv6we 4 жыл бұрын
Definitely -1 +1 coz sin angle intake minimum and maximum value -1 and +1 respectively.
@tomkerruish2982
@tomkerruish2982 4 жыл бұрын
That's how it's done in Apostol.
@stxavierskotbaggi413
@stxavierskotbaggi413 7 ай бұрын
For a very small value of x, sin(x) ≈ x As x is approaching 0 meaning a very small number *lim(x->0)* [sin(x)/x] = *lim(x->0)* [ x/x ] (bec x is infinite small) = *lim(x->0)* [1] = 1
@Chaosdude341
@Chaosdude341 3 жыл бұрын
Very cool! Really interesting and creative solution.
@ThePharphis
@ThePharphis 5 жыл бұрын
I see a lot of similar criticism in the comments, just wanted to voice my own similar criticism: Once you have validly proved a conclusion via logical argument, it can be used as a TRUE premise in any other logical argument (this is how the entirety of math works, after the axioms are in place). Thus, if we PROVED the derivative using valid logical arguments and true premises, the conclusion is TRUE and can be used as a TRUE premise in our argument to prove this limit = 1.
@MagicGonads
@MagicGonads 3 жыл бұрын
Especially if you take the definition of sin and cos to come from exponentials and differential equations rather than principly geometrical
@otakurocklee
@otakurocklee 3 жыл бұрын
Yes. Thank you.
@kmarasin
@kmarasin 4 жыл бұрын
I think it's unfair to disallow the use of a basic definition like (sin x)'=cos x without explicitly starting it. It might be true that the means of showing this definition using the 1st fundamental theorem of calculus relies on knowing the limit in the problem, but that's not the ONLY way to show (sin x)'= cos x. We could use similar "geometrical" methods there, too. Also, I think calling it circular logic is a little TOO accurate. On math exams, questions like this are posed in such a way that the student can show knowledge of definitions by cranking through an operation using those definitions. Completing a logic circle is exactly what they're supposed to be doing!
@jelmerterburg3588
@jelmerterburg3588 Ай бұрын
Totally agree on this one. Given that it has already been proven (and flat out stated as given in early math) that the derivative of sin x is cos x _and_ that l'Hôpital's rule is not given with any exceptions about which derivatives you can use, this should be fair game. If anything, it shows that the derivative of sin x and l'Hôpital's rule are perfectly consistent with each other.
@AngeloLaCruz
@AngeloLaCruz 3 жыл бұрын
100% After all these years I finally grasp this Proof completely.
@SuperBiologe
@SuperBiologe 4 жыл бұрын
@blackpenredpen you really bamboozled me with your thumbnail, i was like hell no the limit is 1 not zero, after watching the video i realized 0! =1 well played mister 😡😂
@jimallysonnevado3973
@jimallysonnevado3973 5 жыл бұрын
how did you conclude that the tangent line is longer than the curve there might be a possibility that the curve is longer because its a curve
@mrfreezy7457
@mrfreezy7457 4 жыл бұрын
In this case, it is sufficient to prove that tan(x) >= x for all [0 < x < pi/4] since we're in the first quadrant and we're going to x=0 anyways. If you plot y=tan(x) against y=x, you'll find that tan(x) is always greater than or equal to x on our interval, so we're safe here. Edit: Another solution would be to use areas instead of lengths. i.e. 0.5(cosx)(sinx)
@mariomario-ih6mn
@mariomario-ih6mn 4 жыл бұрын
(edited)
@reetjaiswal3950
@reetjaiswal3950 4 жыл бұрын
I often battle with the question, " Is this true just in my case, or in all cases?" when I'm writing objective based tests. And most often it turns out the latter was true. Should I lose out on time to confirm, or move on with the best choice?
@zuhail339
@zuhail339 4 жыл бұрын
First time watching your Videos . Hope to learn alot from you ♥️
@uzair.mhaf.s
@uzair.mhaf.s 2 жыл бұрын
I like how i watched the wholevideo and i aint even doing A level maths yet! Saving this for future use
@benjaminbrady2385
@benjaminbrady2385 5 жыл бұрын
Absolutely amazing video as always! And it actually made me come up with a new question! Couldn’t you “vertically approach the limit” by using the complex world? Like, sin(i+0)/(i+0) to sin(0.00001i+0)/(0.00001i+0) Or also negative i?
@tejarex
@tejarex 5 жыл бұрын
Yes. As with the real version, one may ask if (lim z->(0,0) sin(z)/z) exists and whether it is unique. With an infinity of directions, complex limits 'more ofter' depend on the direction of approach. I would not be surprised if this is such a case.
@SuperRousku
@SuperRousku 5 жыл бұрын
Since sin(θ) is an analytic function, it is in C^\infty and thus has a unique derivative irrespective of direction. As the derivative of sin(θ) is equal to the limit by definition, the limit must also have a unique value irrespective of direction of approach.
@JAzzWoods-ik4vv
@JAzzWoods-ik4vv 4 жыл бұрын
me: learns summation rules for sine and cosine. What you gonna do now, eh?
@emiliomontes2043
@emiliomontes2043 5 жыл бұрын
U´rock !, amazing!!!, that limit in books looks so crazy, u solve it easy. Cheers !
@ldsguy21
@ldsguy21 2 жыл бұрын
Dude, I love your videos
@andrewweirny
@andrewweirny 5 жыл бұрын
So that's why sin / cos is called "the tangent." I'd like to say "I always wondered" but the truth is "I never wondered."
@x4wi483
@x4wi483 Жыл бұрын
ig if you define sin(theta) and cos(theta) with taylor series you know that d/dx sin(theta) = cos(theta) from the power rule sooooo in this scenario teacher shouldn't technically give 0 points if they didn't specify witch definitions we use ¯\_(ツ)_/¯
@jonpress6773
@jonpress6773 Жыл бұрын
You can't do that because determining the taylor series of a function requires you to know all its derivatives anyway, including the first derivative. So you're back to the same circular reasoning.
@sajjadmazhar8390
@sajjadmazhar8390 10 ай бұрын
I used to watch your videos during my school and college days... I'm 25 today and still I'm interested to watch your videos ❤
@sheetalprakash9827
@sheetalprakash9827 5 жыл бұрын
I love your videos even though I don’t understand anything!
@mainlakshayhoon
@mainlakshayhoon 3 жыл бұрын
It could simply done by using that When Q≈0 then, sinQ≈Q≈tanQ So, Lim (Q→0) SinQ/Q = Lim (Q→0) Q/Q = 1
@akshataggarwal4002
@akshataggarwal4002 5 жыл бұрын
Hey bprp thats you proving sandwich theorem
@souvikpaul3312
@souvikpaul3312 5 жыл бұрын
Thanks for this concept
@user-er8ro4hv1e
@user-er8ro4hv1e 3 жыл бұрын
After years of my calcus lessons now I wonder why x
@coloboquito
@coloboquito 4 жыл бұрын
In russian squeeze theorem is called "the theorem about two policemen" (теорема о двух милиционерах). Those two policemen are capturing the criminal between them, forcing him to come where they want
@soubhagyarajkhandual
@soubhagyarajkhandual 4 жыл бұрын
In India its called "the Sandwich theorem". I didn't know that a single theorem can have different names in different countries.
@arthur-vi1ub
@arthur-vi1ub 4 жыл бұрын
In France it is called the "Policemen's theorem"
@seankelly8906
@seankelly8906 4 жыл бұрын
Haven't watched it yet but I'm guessing he's going to mention how that limit of sinx/x, which is the derivative of sine at 0, changes when you use different radian units. In fact for any real r, f(x) = e^(rxi) gives a parametrization of the circle but with angular velocity, or derivative of sine at 0, equal to r in absolute value. The real way this is resolved is by how you define sine: if you don't define it such that it has unit derivative at 0, or r=1 above, you're working with a different function. One nice way to define sine to make things work as expected is to specify a certain unit speed parametrization of the circle in the plane, then make sine the y-coord projection. Or you can use the differential equation definition, where of course one of the conditions is that this limit, the sine derivative at 1, needs to be 0.
@lightyagami6647
@lightyagami6647 3 жыл бұрын
Nyc method btw😅😂
@rogeriojunior9459
@rogeriojunior9459 4 жыл бұрын
thank you man, you really helped me
@MadScientyst
@MadScientyst Жыл бұрын
Really simple from Geometry (or PreCalc), when angle θ is small: Area of triangle < Area of Sector < Area of Tangent Thus, 1 < sinθ/θ < 1 So by the Squeeze Theorem sinθ/θ=1 when θ is small...QED
@mafazabrar4349
@mafazabrar4349 3 жыл бұрын
oh, I think I know how to solve this one, I just have to- BPRP: HAS THIS EVER HAPPENED TO YOU
@rex17ly62
@rex17ly62 5 жыл бұрын
Why can't we conclude that sinx/x=1 at x=0? Because the limit from 0+ and 0- both go to 1, so doesn't that mean that the function converges to 1?
@isaacaguilar5642
@isaacaguilar5642 5 жыл бұрын
Nova :3 thats what i was thinking too
@user_2793
@user_2793 3 жыл бұрын
If plugging in a specific value gives you an indeterminate form, then the function is said to be undefined at that point. That just makes more sense.
@juv7026
@juv7026 Жыл бұрын
i didnt even think of that! Now that ive watched the video it seems to be glaring
@thexoxob9448
@thexoxob9448 6 күн бұрын
For 8:22, you can't take the limit on all 3 sides, as that would be circular reasoning of what the squeeze theorem states. (It states if g(x)c h(x) = L, then limx->c f(x) = L. This implies that you can take the limit of all 3 sides, not the other way around.)
@davidseed2939
@davidseed2939 5 жыл бұрын
can you use the power series for sin. giving sinθ =θ -θ^3/3+..., dividing by θ and tending to 0 from either +ve or -ve gives 1
@jackmoffatt8647
@jackmoffatt8647 5 жыл бұрын
David Seed you still need the derivative of sin x to create the power series so it would be circular reasoning again
@98danielray
@98danielray 5 жыл бұрын
to be fair nothing says you cant use a tool that came from a limit to prove that same limit.we do it all the time with other theorems. would be circular reasoning if it was the first time proving them. whichever the case, great video. thank you
@dlevi67
@dlevi67 5 жыл бұрын
Especially since it is possible to determine the analytic derivative of sin(x) without using the lim x->0 sin(x)/x ...
@ihave3heads
@ihave3heads 5 жыл бұрын
The problem is that you never prove L'hopitals in first year calc.
@98danielray
@98danielray 5 жыл бұрын
@@ihave3heads indeed. it is proven in analysis
@dlevi67
@dlevi67 5 жыл бұрын
@@98danielray Can y'all please stop assuming that academic programs are the same the world over?
@angelmendez-rivera351
@angelmendez-rivera351 5 жыл бұрын
dlevi67 Can you please stop being an arrogant prick and pretending that the derivative of sin is going to ever be proven analytically in a Calculus 1 course without using the derivative definition? Jesus Christ the hypocrisy. This is the problem with math in KZbin.
@ShubhamMishra-ed7mb
@ShubhamMishra-ed7mb 2 жыл бұрын
Great explanation!
@wediadi6788
@wediadi6788 2 ай бұрын
3:16 The circumference of a full circle is given by the formula 2πr, 2π being the angle size of a full circle in radians. Hence it follows that the arc length that corressponds to any angle θ in radians is given by θr. When it is a unit circle, the arc length is equal to θ.
@lyricsbyaki2804
@lyricsbyaki2804 3 жыл бұрын
engineers be like: sinθ ≈ θ and therefore sinθ/θ = 1 for sufficiently small values of θ I mean, that kinda is the reasoning for limits too so it's not soo wrong.
@giovanniquargentan6198
@giovanniquargentan6198 3 жыл бұрын
Mathematicians like to overcomplicate things just because they can
@user_2793
@user_2793 3 жыл бұрын
@@giovanniquargentan6198 I'm am engineer and that's not true. Rigorous definitions and proofs are very important.
@kalu7655
@kalu7655 3 жыл бұрын
This has never actually happened to me. In fact, we pretty much established this limit as a fact on one of our classes and just continued on with much harder problems. I think I prefer the way we did that because it lets us focus on less trivial stuff.
@nessigaming8175
@nessigaming8175 10 ай бұрын
I love your expiations for math.
@AdityaPrabhu01
@AdityaPrabhu01 4 жыл бұрын
That is such a nice proof!
@sackixfilms8950
@sackixfilms8950 Жыл бұрын
Meanwhile me in my tests: it is known that this limit is 1
@stefanoctaviansterea1266
@stefanoctaviansterea1266 5 жыл бұрын
But, the derivative of sin x can be proved using geometry without using that limit. So using L'Hopital's Rule should not be circular and valid
@christianalbertjahns2577
@christianalbertjahns2577 3 жыл бұрын
Yeah. I don't understand why using L'Hopital means doing circular reasoning. The L'Hopital rule is already proven true for every limit function with a certain prerequirement/prerequirements and that/those prerequirement(s) is/are already met. Using L'Hopital rule in this function is 100% right. Heck, we probably won't even need squeeze theorem
@stefanoctaviansterea1266
@stefanoctaviansterea1266 3 жыл бұрын
@@christianalbertjahns2577 The problem they are showing is that many times the fact that the derivative of sin x is cos x requires the knowledge that lim x->0 sin x / x = 1. It all depends on the path of proofs you choose. If you choose to consider the derivative of sin x as proven using this limit (which can be proven using the Squeeze Theorem), then you can't prove this limit using the derivative of sin x. Otherwise, as I said, you can use other proofs for the derivative of sin x (such as the geometric one), only then L'Hôpital's Rule is valid on this limit.
@christianalbertjahns2577
@christianalbertjahns2577 3 жыл бұрын
@@stefanoctaviansterea1266 yeah just realize a while ago. Nevertheless thank you for the explanation
@Barsenthor
@Barsenthor 2 жыл бұрын
Excellent video. Thank you.
@soumyadipbanerjee2074
@soumyadipbanerjee2074 9 ай бұрын
Well, to evaluate the left-hand limit we can just use the symmetry of sin(x)/x. As sin(x)/x is an even function it has to be symmetric about the y axis. Thus, as sin(x)/x approaches 1 as x approaches 0 from the right-hand side, by symmetry, it also has to approach 1 as x approaches 0 from the left-hand side. Thus the limit as sin(x)/x approaches 0 exists and is equal to 1.
(infinity-infinity)^infinity
22:06
blackpenredpen
Рет қаралды 424 М.
NERF WAR HEAVY: Drone Battle!
00:30
MacDannyGun
Рет қаралды 20 МЛН
the most controversial limit in calculus 1
8:19
blackpenredpen
Рет қаралды 115 М.
exact value of sin(3 degrees)
33:16
blackpenredpen
Рет қаралды 418 М.
The most important limit in Calculus // Geometric Proof & Applications
11:54
Don't use L’Hopital
7:22
Dr Peyam
Рет қаралды 41 М.
Why There's 'No' Quintic Formula (proof without Galois theory)
45:04
not all wrong
Рет қаралды 518 М.
A "cruel" limit for a beginning calculus class
10:05
Michael Penn
Рет қаралды 298 М.
What is Jacobian? | The right way of thinking derivatives and integrals
27:14