Level 4: proof using the generalized Stoke’s theorem
@academyofuselessideas
9 ай бұрын
🤣🤣🤣
@emanuellandeholm5657
4 ай бұрын
Level 5: Construct the set of real numbers from Dedekind-cuts, Tarski's axiomatization and Cauchy sequences. Prove that these produce isomorphic models.
@precociousdeathdealer202
4 ай бұрын
@emanuellandeholm5657 can you please be my durg dealer😂
@niom9446
3 ай бұрын
just curious is this supposed to be a joke?
@emanuellandeholm5657
3 ай бұрын
@@niom9446 Yes.
@kruksog
Ай бұрын
This was very VERY good. I have bs in pure math, so the ftc is pretty old news to me, and there were a shocking number of "aha!" moments in this video for me. Very well done. Subbed.
@trivial-math
Ай бұрын
@@kruksog Thanks so much! :)
@instrumental7809
6 ай бұрын
I've been reading about proofs that are essentially based on the same ideas as the 3rd proof in this video but I have been failing to understand exactly how they worked until I watched this video. The way you explained how the squeeze theorem comes into play made it so easy to grasp. You sir have gained a new subscriber.
@trivial-math
6 ай бұрын
Thank you so much, that really means a lot!
@tristinbell
10 ай бұрын
And i implore you to make more of these wonderful proof videos!
@LB-qr7nv
Жыл бұрын
Sandwich Theorem ♥
@user-ev2rj1bi4r
Жыл бұрын
It's hard to understand 😢
@TU7OV
4 ай бұрын
@@user-ev2rj1bi4r Not really
@pyrotechnicalbirdman5356
3 ай бұрын
@@user-ev2rj1bi4rsqueeze theorem 💪💪💪💪
@oxbmaths
3 ай бұрын
You have to digest it properly
@primenumberbuster404
2 ай бұрын
Cheeseburger theorem
@user-br5hj4oj9i
Жыл бұрын
Beautiful video, also quite relaxing! Well made!
@GhostyOcean
8 ай бұрын
Seeing expo marker on paper hurts, but your presentation is superb! Lovely demonstration.
@zaccandels6695
4 ай бұрын
The fundamental theorem was something that I could never quite grasp intuitively until now. Great video
@HPTopoG
10 ай бұрын
Neat, but there’s an implicit assumption you’ve made without mentioning it! The function needs to be sufficiently continuous! The Cantor function on [0,1] has integral 1/2 and is even uniformly continuous, but it has derivative 0 almost everywhere. So it can’t satisfy the FTC. It’s probably more than this video calls for, but I think if you make a follow up video it might be a good idea to include at least some mention of different continuity strengths.
@trivial-math
9 ай бұрын
I think you're confusing the two parts of the theorem! Though its true that the second fundamental theorem of calculus fails for some continuous functions like the Cantor function, the first fundamental theorem holds for any continuous function that is Riemann integrable.
@tedsheridan8725
10 ай бұрын
Very clear video - nice job.
@academyofuselessideas
9 ай бұрын
Great explanation... i like how you emphasize the importance behind each level of understanding... I hope you do more videos!
@newtona8798
11 ай бұрын
That's what I was looking for! Thanks for the video
@GhostyOcean
8 ай бұрын
Superb demonstration! I like how you used the construction paper as visual aids. Seeing the expo marker on paper hurt to watch haha
@pedro-z1z
Ай бұрын
This is the first video I've unironically watched at speed 0.75 from beginning to end
@Pure_Imagination_728
6 ай бұрын
I wouldn’t call these very rigorous. They are definitely ways to explain the concepts and prove them from a layperson’s point of view. But if you’re a senior undergraduate math major or a graduate student in math these proofs won’t fly. You need more real analysis and you need to prove both versions of the FTC. The first version with the definite integral being the difference of the antiderivatives at a and b and the second version involving the indefinite integral with basepoint a. The first version states given a finite set E and functions f, F: [a,b]-> R such that: (a). F is continuous on [a,b], (b). F’(x) = f(x) for x ∈︎ [a,b] \ E, (c). f belongs to R[a,b]. Then we have ∫︎ f = F(b) - F(a).
@trivial-math
6 ай бұрын
This video is only about the first fundamental theorem! I have a seperate video on this channel about the second part of the theorem, which is what you are describing in your comment. This video proves that, if f is a continuous real-valued function, a is a constant in the domain of f, and A(x) = the integral f from a to x, then A'(x) = f(x). The first two proofs in this video are not meant to be rigorous, but the third proof is fully rigorous. Please let me know if there are any specific steps of the third proof you think are incorrect!
@Avighna
5 ай бұрын
3:48 My problem with this proof is not necessarily the lack of rigor, but more that you've implicitly assumed that Δx > 0. So when you take the limit as Δx approaches 0, you have shown that the one-sided limit (specifically the Δx -> 0+) is equal to A'(x), but not that the other (0-) limit approaches A'(x) as well. This can easily be fixed since lim h -> 0 (f(x) - f(x-h)) / h is also a perfectly valid definition for f'(x). So do the same thing for x-Δh instead of x+Δh (if you take both cases, taking Δx > 0 is completely fine), and say that A(x) - A(x-Δx) ≈ f(x) Δx, and continue the same way. I suppose this is technically a complaint about rigor in a way.
@trivial-math
5 ай бұрын
This proof actually still works even if Δx approaches from below 0! When Δx is negative, both sides of the approximation A(x + Δx) - A(x) ≈ f(x)Δx get their signs flipped. If f(x) is positive for example, then f(x)Δx is negative and A(x + Δx) < A(x), so A(x + Δx) - A(x) is also negative. After dividing both sides by Δx, the sign flips cancel each other out and we get A(x + Δx) - A(x)/Δx ≈ f(x). The real lack of rigor is when the approximately equals sign turns into an equals sign.
@aidansunbury9341
Жыл бұрын
Insightful! And the explainer is so attractive 😍
@instrumental7809
6 ай бұрын
Amazing video, but one thing I simply cannot understand in these proofs is the step at 3:40 where you take the limit of both sides which makes the left hand side A'(x) but how do we conclude the limit as delta x approaches zero of f(x) is equal to f(x)? I would appreciate it greatly if you could explain that to me.
@trivial-math
6 ай бұрын
When finding this limit, we are only changing delta x; x is staying constant. Since x is constant, f(x) is constant regardless of the value of delta x, so the limit is just f(x). It's like how lim_{b -> 0} (a) = a. What's really happening "under the hood" is that the error between both sides of the approximation goes to zero, so we get true equality in the limit. I'm just not explicitly writing it out.
@davethesid8960
Жыл бұрын
It's only the first part of the theorem. Can you also make a video about the second part.
@trivial-math
8 ай бұрын
Done!
@APaleDot
11 ай бұрын
Is your table made of concrete?
@trivial-math
11 ай бұрын
Nope, it is just wood!
@eugene1317
2 ай бұрын
Im gonna prove the fundamental theorem of calculus using the weight of the marker before and after coloring under the curve 😂
@isavenewspapers8890
8 ай бұрын
Beautiful.
@azorbarros3308
5 ай бұрын
Great video
@Sstevewong36
3 ай бұрын
all about the rate of change of physics
@sachinrath219
6 ай бұрын
can dA be less than dx ? as when we get derivatives we get it at times less than one.
@trivial-math
6 ай бұрын
Yes! dA is equal to f(x)dx, so dA is less than dx whenever f(x) is less than 1. Try looking at the graph of y = 0.5 and see how the area function grows at 1/2 the rate of x.
@sachinrath219
6 ай бұрын
@@trivial-math thanks a lot, my confusion was asking both are represented by the letter d what stands for near to zero, so both are always equal i e beyond comparison, so dA can be greater, lesser or equal depending on situation, pl reply, thanks.
@kellystevens6464
Жыл бұрын
Thank you!
@elomensch9566
8 ай бұрын
cool
@alexanderkotnik2625
7 ай бұрын
When you can explain this. But can't land a front handspring front.
@graf_paper
6 ай бұрын
How large would you guess is the population of people that can do both?
@openyard
3 ай бұрын
That music made the video unwatchable. Seems this only applies to me.
@paulostipanov7682
11 ай бұрын
What is the name of the music?
@trivial-math
11 ай бұрын
I composed it for this video! It doesn’t have a name.
@paulostipanov7682
11 ай бұрын
Will you put on youtube, its really good!
@trivial-math
11 ай бұрын
@@paulostipanov7682 Thank you so much! I uploaded it as an unlisted video here: kzitem.info/news/bejne/o6Jr4IyDfoKQqII
Пікірлер: 56