Pioneering Proofs
Pioneering Proofs
  • 36
  • 18 033
Can you Solve this Lever Engineering Puzzle?
In this video, I explain and solve an engineering problem involving a massless lever with two masses on either end.
Переглядів: 42

Відео

Why I CAN'T Derive Curvature
Переглядів 8521 годину тому
Why I CAN'T Derive Curvature
I made Taylor and Fourier Ebooks! (Link in comments)
Переглядів 144Місяць тому
In this video, I spread the good news that 2 Pioneering Proofs Ebooks have already been created! One is about the Taylor Series and the other is about the Fourier Series and Transform. They are available on the Lulu online bookstore, and you should be able to find them if you type in "Pioneering Proofs" into the search bar.
Neural Network Series Part 2: NN Mathematical Structure
Переглядів 602 місяці тому
In this video, I discuss the mathematical structure of a neural network.
Neural Network Series Part 1: The Jacobian Chain Rule
Переглядів 1662 місяці тому
In this video, I explain a special case of the multivariable chain rule, called the Jacobian chain rule, which is used in gradient descent.
Linear Regression
Переглядів 1282 місяці тому
In this video, I explain linear regression and its assumptions
Information, Entropy, Cross-Entropy, and KL Divergence
Переглядів 833 місяці тому
In this video, I explain KL Divergence in terms of Information Theory
PCA and Dimensionality Reduction
Переглядів 543 місяці тому
In this video, I derive the idea that the principle components of the data are the eigenvectors of the covariance matrix, and the corresponding eigenvalues are the variances along the principle components.
Derivation of the Lagrangian for Constrained Optimization Problems
Переглядів 744 місяці тому
In this video, I derive the equations needed to solve constrained optimization problems, and I derive these equations algebraically. I also express them in the more compact Lagrangian equation.
The Intuition Behind Hypothesis Testing
Переглядів 784 місяці тому
In this video, I explain the intuition behind hypothesis testing, which is a concept used in statistics and machine learning
Phasors: How and Why They Work
Переглядів 524 місяці тому
In this video, I discuss why and how phasors work
Directional Derivative Derivation (DDD)
Переглядів 554 місяці тому
In this video, I derive the Directional Derivative formula as the derivative with respect to a scalar that scales a straight line in the domain. This is equal to that dot product formula that you may be familiar with already! The proof was only shown for a 2D domain, but it can be extended to an nD domain, where n can be 1, 2, 3, ...
I Made a 2D Circle in 3D Space
Переглядів 706 місяців тому
I Made a 2D Circle in 3D Space
Writing a Python Program that Computes the Multinomial Theorem
Переглядів 526 місяців тому
In this video, I share my Python program that I wrote that computes the Multinomial Theorem
An Algebraic Derivation of Lagrange Multipliers
Переглядів 896 місяців тому
IMPORTANT NOTE: In this video, I messed up the chain rule a bit since I took it with the dependent variables as well. Soon after writing this, I should have a new video up about the Lagrangian that corrects this mistake. In this video, I use ChatGPT to help me derive the system of equations needed to solve for the critical points that represent the locations of the maximum/minimum in a function...
The Bernoulli Distribution
Переглядів 356 місяців тому
The Bernoulli Distribution
Part 1: My MATLAB Particle-Spring Simulation
Переглядів 4986 місяців тому
Part 1: My MATLAB Particle-Spring Simulation
The Hypergeometric Distribution
Переглядів 346 місяців тому
The Hypergeometric Distribution
The Multinomial Theorem
Переглядів 1086 місяців тому
The Multinomial Theorem
The Binomial Theorem
Переглядів 256 місяців тому
The Binomial Theorem
Permutations Vs. Combinations
Переглядів 526 місяців тому
Permutations Vs. Combinations
Proof of Natural Logarithm Base e
Переглядів 856 місяців тому
Proof of Natural Logarithm Base e
The Connection Between the Power Rule and Binomial Theorem
Переглядів 267 місяців тому
The Connection Between the Power Rule and Binomial Theorem
Product Rule Derivation
Переглядів 197 місяців тому
Product Rule Derivation
Multivariable Taylor Series Derivation
Переглядів 4867 місяців тому
Multivariable Taylor Series Derivation
The SCARY 3D Rotation Formula
Переглядів 244Рік тому
The SCARY 3D Rotation Formula
Centripetal Force Equation Derivation
Переглядів 108Рік тому
Centripetal Force Equation Derivation
The COMPLETE Taylor Series Derivation
Переглядів 479Рік тому
The COMPLETE Taylor Series Derivation
How Calculus is Used to Generate the Digits of Pi
Переглядів 508Рік тому
How Calculus is Used to Generate the Digits of Pi
Fourier Transform Derivation: From Discrete to Continuous
Переглядів 187Рік тому
Fourier Transform Derivation: From Discrete to Continuous

КОМЕНТАРІ

  • @pioneeringproofs
    @pioneeringproofs 10 годин тому

    I forgot to mention that in the formulas for torque, I assumed that rho(x, y) = rho = constant, but that's just a small detail

  • @thomasolson7447
    @thomasolson7447 4 дні тому

    Time is a parameter with a factor of pi in it? I just think that is weird. In fact, I think it's so weird that I made a 20-minute video about it (When Roots Take Shape: Waves, Angles, and Maps).

  • @pioneeringproofs
    @pioneeringproofs Місяць тому

    Here is the link: www.lulu.com/search?sortBy=RELEVANCE&page=1&q=Pioneering+proofs&adult_audience_rating=00

  • @newmantwine1224
    @newmantwine1224 Місяць тому

    Bro, how is it that you can't even construct a basic proof that if the dot product of two vectors is 0 then the 2 vectors are perpendicular to one another. All you proved is that if 2 vectors are perpendicular to one another their dot product is zero.

    • @pioneeringproofs
      @pioneeringproofs Місяць тому

      Because I wasn’t a math major - Engineer/scientist here

    • @pioneeringproofs
      @pioneeringproofs Місяць тому

      Also, I only proved this for a 3D level curve, and I’m pretty sure this extends to 4D, 5D, etc. level curves, right? The point is, I’m no expert, but I try, and it’s up to people to decide whether my attempt was good or bad. But good point!

  • @pioneeringproofs
    @pioneeringproofs 2 місяці тому

    Whoops, I just realized that I made a few small mistakes when describing the general case with that summation at 4:40 (but the matrix multiplications should be correct). Let’s see if you all can spot the errors!

  • @jtgannon4224
    @jtgannon4224 3 місяці тому

    10111000111

  • @MRT-co1sd
    @MRT-co1sd 3 місяці тому

    Do you have part2, how this relates to Noether’s theorem?

    • @pioneeringproofs
      @pioneeringproofs 3 місяці тому

      No, I don’t know about Noether’s Theorem… yet! But yeah, if I end up learning it I can do a part 2!

    • @MRT-co1sd
      @MRT-co1sd 3 місяці тому

      What do you mean when you say the Force Field is conservative?

  • @Dddddddddddddddddddddddd388
    @Dddddddddddddddddddddddd388 4 місяці тому

    Finally I have been looking for this Kind of Video!

  • @derivoid
    @derivoid 5 місяців тому

    AMAZING!! THANK YOU!!!

  • @jtgannon4224
    @jtgannon4224 6 місяців тому

    Nice circle ⭕️

  • @ilikegeorgiabutiveonlybeen6705
    @ilikegeorgiabutiveonlybeen6705 6 місяців тому

    instant sub

  • @Khashayarissi-ob4yj
    @Khashayarissi-ob4yj 6 місяців тому

    With luck and With regards

  • @pioneeringproofs
    @pioneeringproofs 6 місяців тому

    Sorry about the weird glitches in the presentation. But I think I still got the message across, so I’ll keep the video posted

  • @pioneeringproofs
    @pioneeringproofs 6 місяців тому

    Sorry folks, it looks like I made a small mistake. When tracing a path to a string of variables (like xzzy), the second to last line should consist of powers raised to 1, not 2. Also, to clarify, when we expand, we apply Rule 2 iteratively until we reach the non-expandable terms, as illustrated in Rule 3

  • @chop-plays
    @chop-plays 6 місяців тому

    Isn’t ODE45 a variable time solver? So why would the simulation need step intervals? Or is it that some other component requires step intervals.

    • @pioneeringproofs
      @pioneeringproofs 6 місяців тому

      I actually forget already, lol. But I can check

    • @chop-plays
      @chop-plays 6 місяців тому

      @@pioneeringproofs hahahah no worries. I just finished simulating and creating a control /observer system for a magnetic levitation device so I knew at the back of my mind what ODE45 was and was only slightly confused.

  • @Cdictator
    @Cdictator Рік тому

    Math genius??

    • @Cdictator
      @Cdictator Рік тому

      By the way, you helped me understand this question which has bothered me for a long time.

    • @noodle7788
      @noodle7788 8 місяців тому

      @@Cdictator dude has a massive brain

    • @pioneeringproofs
      @pioneeringproofs 6 місяців тому

      Thanks, I’m happy to help!!

  • @keyamoni1602
    @keyamoni1602 Рік тому

    It is really rare to see such a rigorous proof of a mathematical concept on internet now a days. Please keep providing us videos like this.😊

  • @chuckadams842
    @chuckadams842 Рік тому

    www.emis.de/proceedings/Varna/vol1/GEOM09.pdf for the article @hanniffydinn6019 refers to. FYI.

  • @hanniffydinn6019
    @hanniffydinn6019 Рік тому

    Nonsense really, as practically you use quaternions/geometric algebra to do this! 🤯🤯🤯

  • @pioneeringproofs
    @pioneeringproofs Рік тому

    So far, this video is my personal favorite. I feel like with this video, I've raised the bar in terms of quality, and I'm hoping that I continue to do this with future videos. Also, on the very last slide, you may hear me rambling on about how "the cow jumped over the moon." I actually did this same thing prior to presenting each slide; I just cut it out of the presentation, but I intentionally left it in the last slide for entertainment purposes. This may sound strange, but there is actually a perfectly logical reason for why I did this: I noticed that if I began speaking right away, the volume of my voice would spike and there would be a ton of background noise; but then as I continued to speak, the amplitude of my voice would reach a steady state, and the background noise would be reduced to a satisfactory level. I think that this might be because of a combination of the noise reduction algorithm that is used, as well as the fact that when a person begins speaking after a minute, the amplitude of their voice actually begins at a high level and then actually decreases a bit as they continue to speak. So, I decided to give initial audio input. But in order to do so, I had to say something; so, my mind just chose to talk about cows jumping over the moon! P.S. I used proper grammar in this post to avoid being pulled over by the grammar police

  • @penguinpenguin-zm2mr
    @penguinpenguin-zm2mr Рік тому

    At 10:20 you questioned if it is possibly to find the analytical solution. If you turn 1 into (r^2 -x^2)/ (r^2 -x^2) , the x^2 from numerator will vanish. You can change x into Rt, so the dependenc on R disappears and you left with arcsin.

  • @thomasolson7447
    @thomasolson7447 Рік тому

    My first time seeing this. I don't think I used it in high school. How do you cancel the units? R has to be unitless, right?

    • @pioneeringproofs
      @pioneeringproofs Рік тому

      m is in Kg, v is in m/s, R is in m, and F is in kg*(m/s^2). So the units in the equation F = mv^2/R are kg*m/s^2 = kg*(m/s)^2/m, which simplifies to kg*m/s^2 = kg*m^2/s^2/m, which simplifies to kg*m/s^2 = kg*m/s^2. Both sides of the equation match, so the correct units were used

    • @thomasolson7447
      @thomasolson7447 Рік тому

      @@pioneeringproofs that's cool, thanks for the video.

  • @pioneeringproofs
    @pioneeringproofs Рік тому

    Whoops, sorry about the mistakes on that “Raw Form” slide at 23:03. I provided the corrections below, as well as 2 things that I didn't explain in the video that I should clarify: Correcting Mistakes at 23:03 (1): I messed up pretty much the ENTIRE procedure for substitution of "n" for "i" in that one "Raw Form" slide at 23:03 - It's a wild mess!! I still got the right answer, but I provided the wrong explanation. Let's start with the definition of the variable "n". According to that one slide, the correct equation for n SHOULD BE: n = i + 2 (and also N = I + 2). Thus, the first term in the sequence should ACTUALLY correspond to n = 0, NOT n = 1. And the second mistake I made was my explanation for WHY we can simplify to 1/n! . It SHOULD BE because of the fact that the "repeated multiplication of 2 + j from j = 0 to j = i" is equivalent to "repeated multiplication of 2 + j from j = 0 to n -2", and this is equal to "n!" . And we can see this if we say that k = j + 2: We have n! = "repeated multiplication of k from k = 2 to k = n". And this is equal to n*(n - 1)*(n - 2)*(n - 3)*...*2 . And, if we want, we can multiply by 1 also, so this is indeed equal to n! Clarification 1: I don’t think I explained well enough WHY the two forms of what I called the "expandable integral terms" (you know, for q = + or - 1 AND m = even or odd) are indeed the ONLY 2 forms of the expandable terms you will encounter in the Taylor Series. This is highlighted by starting with your general form, expanding it out to 2 more terms. You will then notice that if you DON’T simplify using the distributive property, then you obtain an expandable term at the end that is of the form of the ORIGINAL expandable term from 2 terms back in the sequence. And I show this in the presentation, but I do not HIGHLIGHT this important fact. Clarification 2: I saw online that people express the "error term" as a term that does not involve an integral. So, that surprised me, and maybe I'll try to figure out how to simplify that integral and make a video about it in the future.

  • @pioneeringproofs
    @pioneeringproofs Рік тому

    My own opinion of this video: the content and script were fantastic, but the audio can be improved: I think that the headphones made my voice a bit too muffled, and I got a little too “breathy” and “tongue-clicky”. And I unnecessarily put emphasis on words too many times. I’ll try to fix these problems with audio and narration in future videos

  • @pioneeringproofs
    @pioneeringproofs Рік тому

    There's one thing I forgot to mention that's pretty important: In the diagram representing the path of the particle that is bathed in the vector field, the path isn't some arbitrary path - It is the RESPONSE to the force field. This means that the conservation of energy really is just Newton's Second Law expressed in a very useful way (it's useful because it takes into account distance!!)

    • @MRT-co1sd
      @MRT-co1sd 3 місяці тому

      Do you have part2, how this relates to Noether’s theorem?

  • @pioneeringproofs
    @pioneeringproofs Рік тому

    It looks like this is my most popular video so far! I wasn’t really expecting this, but I’m glad it seemed to help so many people!! 🎉 IMPORTANT: in this video, I only proved this thing for a 2D slice of a 3D object! But this extends to a 3D slice of a 4D object and beyond as well! P.S. Sorry about the whispering at the end of the video; I had to be quiet since I was recording late at night.

  • @pioneeringproofs
    @pioneeringproofs Рік тому

    Whoops, I forgot to mention something. As you may notice, I fed in a whole bunch of values for delta_x into the approximation. HOWEVER, in doing this, I sometimes made the upper bound of the summation a decimal number instead of an integer! To avoid this issue entirely, I could have used the upper bound of summation variable n as the input instead of delta_x directly, as this value would be an integer and thus force the correct values for delta_x. But little did I know, this problem was actually corrected in my code, because I forced the upper bound to be an integer by stripping away the decimal points (this operation is called taking the "floor" of a decimal number, which I technically could have included in the upper bound of the fully processed, final formula); from my perspective, I was just correcting errors that the compiler threw at me, but I just now realized that it has real meaning in the summation approximation! So, for each delta_x, the decimal points after the corresponding upper bound in the summation were simply stripped away, and for reasons similar to being able to ignore that last n value of 2R/delta_x, we can also ignore the contribution of the fraction of delta_x in the summation, since this component will also approach zero as delta_x approaches zero.

  • @pioneeringproofs
    @pioneeringproofs Рік тому

    The real proof actually starts around 7:30. Before that, I'm just giving justification for why we are changing the bounds to negative and positive infinity

  • @pioneeringproofs
    @pioneeringproofs Рік тому

    One thing I didn't explain but that I probably should explain is that although each basis function has a different minimal period over which they will each repeat themselves, they all have the fundamental period T in common BECAUSE of the fact that each basis function has a period that can be multiplied by some integer to obtain T. Therefore, it is true for ALL basis functions in our set that they repeat themselves after every interval in the domain of length T; in other words, it is indeed true for each basis function f(t) in our set that f(t) = f(t+T), which also implies that f(t) = f(t+nT), where n is an integer.

  • @thomasolson7447
    @thomasolson7447 Рік тому

    I noticed something the other day. If a rule exists with complex numbers, you have to find a way to apply it to the vectors. If you have a negative in a square root, that is probably going to transform your vectors in some way. <x/sqrt(y^2-x^2), y/sqrt(y^2-x^2)>, if x>y than this expression becomes <y*sqrt(y^2-x^2)/(y^2-x^2), -x*sqrt(y^2-x^2)/(y^2-x^2)> Or something like that. That might not be 100% correct. But something like that happens. So, pretend that vector is x/sqrt(y^2-x^2)+i*y/sqrt(y^2-x^2) instead. Or use quaternions if it's 3d. Could you do the area and perimeter of this thing? I honstely don't know how. <(1/2)*e^(cos(θ)-sin(θ))+(1/2)*e^(cos(θ)+sin(θ)), (1/2)*e^(cos(θ)+sin(θ))-(1/2)*e^(cos(θ)-sin(θ))>

    • @pioneeringproofs
      @pioneeringproofs Рік тому

      I wish I could answer your question, but it seems a little too advanced for me. Maybe chatgpt could help?

    • @thomasolson7447
      @thomasolson7447 Рік тому

      @@pioneeringproofs Chatgpt is suprising unhelpful. I did find the answer to that and I know what I'm doing now. I am done with it for now. I'm working on this atm. E^2 = mc^2((cos(arctan(i*v/c)))^2+(sin(arctan(i*v/c)))^2). E^2=m^2*c^4*((c/sqrt(c^2-v^2))^2+(i*v/sqrt(c^2-v^2))^2). E^2=m^2*c^4*((c/sqrt(c^2-v^2))^2-(v/sqrt(c^2-v^2))^2). E^2=m^2*c^4. E=m*c^2. Area= (1/2)*arctanh(v/c)*(m*c^2)^2. Area= (1/2)*ln((c+v)/sqrt(c^2-v^2))*(m*c^2)^2. Area=(1/2)*(pi/4)*(m*c^2)^2, for something moving at the speed of light. So, area is [W]*[W], so I would need to square root that. sqrt((1/2)*(pi/4)*(m*c^2)^2). I want to test this on non-relativistic speeds. So I need to construct a sentence with what I have here. I need to move c^2 into scalars and redistribute the units to say something that makes sense. sqrt((1/2)*ln((c+v)/sqrt(c^2-v^2))*(m*c^2)^2)=(1/2)*sqrt(2)*m*c^2*sqrt(ln((v+c)/sqrt(c^2-v^2))) I don't know how to make sqrt(ln((v+c)/sqrt(c^2-v^2))) prettier. Angles are unitless quatities, I think. W=F*s*cos(θ). F=m*a, I have [M][L]^2[T]^(-2). I guess I need to think about this more.

    • @pioneeringproofs
      @pioneeringproofs Рік тому

      @@thomasolson7447 Yeah, Chatgpt is my go-to solution these days, but sometimes it isn't that good at answering math/physics related problems I've noticed, and of course it's going to inevitably be even worse at answering the more advanced questions, as you've pointed out. I'm guessing you must be a physicist of some kind?

    • @thomasolson7447
      @thomasolson7447 Рік тому

      @@pioneeringproofs nope. You're not going to like me if I say this... I'm just unemployed and bored. I finished grade 12. I think I'm starting to figure out this madness. E^2=m_0^2*c^2*(c^4+v^2)/(c^2-v^2) v:=iv m_0^2*c^2*(c^4-v^2)/(c^2+v^2) So, I think at some point somebody put the gamma function in, and I just reversed it with i*v. So, instead of cos(arctan(i*v/c)), it's now cos(arctan(v/c)). The denominator isn't going to infinity anymore. The energy is always mc^2*cos(theta). The dot product and cross product can probably be used for the rate of change. I don't know what the reason is for gamma though. If v=c, then E=m*c^2*cos(pi/4). Which is really good. I can now start to try and find out if there is an exact value for h of the p=h*lambda.

    • @pioneeringproofs
      @pioneeringproofs Рік тому

      @@thomasolson7447 No way, I thought you were a PhD student!! And no, I respect that. It makes it even more impressive if you're just teaching yourself complex topics. Very few people actually have the passion and motivation to do something like that, so keep it up. Anyway, again, good luck with everything!

  • @thomasolson7447
    @thomasolson7447 Рік тому

    Shouldn't those tangents be longer? The head part is extended to where the origin vector would conect if it had continued beyond the radius. Can I take a gradient from <x/sqrt(x^2-(y^2-z^2)),y/sqrt(x^2-(y^2-z^2)),z/sqrt(x^2-(y^2-z^2))>. I haven't made up my mind if the sqrt should be x^2-(y^2-z^2) or x^2-y^2-z^2. But I guess it doesn't really matter at this point. It's Pi time btw, 3:14 am.

    • @pioneeringproofs
      @pioneeringproofs Рік тому

      Ah yes, Pi time, the optimal time to communicate about such matters. I’m also writing this at Pi time. Anyway, I think you’re right but the overall concept should still be correct (I think). And I’m curious about this vector field you’re talking about, I’ll have to graph it and see. I’m not too familiar with tensors (at least not yet), but I think you’ll get a 2nd order tensor of some kind when you take the gradient of it?

    • @thomasolson7447
      @thomasolson7447 Рік тому

      @@pioneeringproofs I don't think anything can graph that. When there is a negative square root, there is a change between x and y-z axis. Half the values would be complex and the computer wouldn't know what to do with them. You would have to program it. This is cosh and sinh on the complex 2d plane nonsese converted to 3d. <x/sqrt(x^2-y^2-z^2), y/sqrt(x^2-y^2-z^2), z/sqrt(x^2-y^2-z^2)>. This is x^2-y^2-z^2=1 graph.If the square root is negative, you pretend you're on the complex plane x/sqrt(x^2-y^2-z^2)+sqrt(y^2+z^2)/sqrt(x^2-y^2-z^2). <-sqrt(y^2+z^2)/sqrt(-x^2+y^2+z^2),... Yeah, I don't know what I'm talking about. I'll have to think about this. There are also singularities that you might have to patch up. I don't think they'll be a problem here, but if you try to do some math with them.

    • @pioneeringproofs
      @pioneeringproofs Рік тому

      ​@@thomasolson7447 There always seems to be these subtle details that end up making things more complicated than originally expected, especially in special cases like these. But it seems like an interesting problem to solve - Good luck!

  • @PhysicsRaja-ul3kc
    @PhysicsRaja-ul3kc Рік тому

    good work, keep up man, thanks

  • @amritawasthi7030
    @amritawasthi7030 Рік тому

    Impressive 👍🏼thnk u

  • @jiahaozhu7702
    @jiahaozhu7702 Рік тому

    Thank you!! Love you

  • @jiahaozhu7702
    @jiahaozhu7702 Рік тому

    Love you 😘

  • @Kiwi-zz8ri
    @Kiwi-zz8ri Рік тому

    Thank you! I’ve was wondering why the gradient vector was orthogonal when I was finding the equation of tangent planes and this helped

  • @ds2718
    @ds2718 Рік тому

    Very good and useful video, I wanted to know how it's formula derive for a long time I search everywhere but I couldn't find satisfactory answer (derivation). Now you satisfy my question. Thank you very very much for this Great Video. Edited:Make more videos like this they will help other people who want to seek knowledge like this.

    • @pioneeringproofs
      @pioneeringproofs Рік тому

      Glad it was helpful!

    • @pioneeringproofs
      @pioneeringproofs Рік тому

      Response to edit: Thanks, I appreciate the support!! I'll do my best to continue to make new videos whenever possible!

  • @deinahrsnoidson7961
    @deinahrsnoidson7961 2 роки тому

    Very good presentation. I like this approach more than the one using Taylor series. I did find a few mistakes though: at 7:31 y0 is missing (should be y0+L/2) and at 11:24 the 1 in g1 should be a subscript. Also, at 3:10 where you argue that the vector field on a boundary is the same because the boundary is very small would also imply that the vector field on all of the boundaries would be the same since they are infinitely close to each other, which is not depicted in your figure.

    • @pioneeringproofs
      @pioneeringproofs Рік тому

      Right, thanks for pointing those out! I pinned this comment so that others can see

  • @pioneeringproofs
    @pioneeringproofs 2 роки тому

    This was my first video and it was mostly a proof of concept. I will be narrating in future videos