A better product rule?

  Рет қаралды 124,577

Michael Penn

Michael Penn

4 жыл бұрын

Via some exploration we construct examples of when the "Freshman's Dream" product rule holds. That is, we find functions f and g such that (fg)'=f'g'.
Please Subscribe: kzfaq.info...
Personal Website: www.michael-penn.net
Randolph College Math: www.randolphcollege.edu/mathem...
Research Gate profile: www.researchgate.net/profile/...
Google Scholar profile: scholar.google.com/citations?...
Books I like:
Abstract Algebra:
Judson(online): abstract.ups.edu/
Judson(print): amzn.to/2Xg92wD
Dummit and Foote: amzn.to/2zYOrok
Gallian: amzn.to/2zg4YEo
Artin: amzn.to/2LQ8l7C
Differential Forms:
Bachman: amzn.to/2z9wljH
Number Theory:
Crisman(online): math.gordon.edu/ntic/
Strayer: amzn.to/3bXwLah
Andrews: amzn.to/2zWlOZ0
Calculus:
OpenStax(online): openstax.org/subjects/math
OpenStax Vol 1: amzn.to/2zlreN8
OpenStax Vol 2: amzn.to/2TtwoxH
OpenStax Vol 3: amzn.to/3bPJ3Bn

Пікірлер: 220
@davidgolden1607
@davidgolden1607 4 жыл бұрын
When I was sophomore in college taking ODEs, our professor gave us a pretty tough problem to work on as homework. When we turned in the HW, she asked if anyone had a solution. No one answered. She kept asking and finally I raised my hand, and told my answer which she said was correct. Then of course, she asked how I did it. I was very embarrassed to say that none of the techniques I knew worked, so I kind of guessed until I got something that worked. And our normally very calm professor got very excited and said 'Yes!! That's how mathematicians actually work. Guessing is an important part of math.' I can't tell you how much that impacted me to this day (many decades later). It was not only reaffirming, but gave me great insight into how to be a researcher. Prof. Penn, kudos to you for making that such an integral part of your teaching. You are modeling for your students how scientists and mathematicians do a lot of our work. I love these videos and applaud you for your efforts and approach to pedagogy.
@akshatvats7992
@akshatvats7992 3 жыл бұрын
You sound like a software engineer.
@az0rs
@az0rs 3 жыл бұрын
that pun is nice
@aqeel6842
@aqeel6842 2 жыл бұрын
What was the problem?
@zachbowles4516
@zachbowles4516 Жыл бұрын
Pun intended?
@xl000
@xl000 Жыл бұрын
Nice story. But did it actually happen?
@willyh.r.1216
@willyh.r.1216 4 жыл бұрын
Indeed, Math should be taught through exploration by soliciting student's curiosity. Rules come later. Thank you Michael Penn.
@feitan8033
@feitan8033 4 жыл бұрын
not really, rules are much easier to remember as a student
@EpicMathTime
@EpicMathTime 4 жыл бұрын
Have you read Lockhart's Lament? Touches on this beautifully.
@meccamiles7816
@meccamiles7816 4 жыл бұрын
Well put.
@alvinlepik5265
@alvinlepik5265 4 жыл бұрын
So, the process of exploration is something most of the class won't understand. They're explained only later what all of it meant? I can't get behind that idea at all. Sure, we can give examples of applications, but even then, often understanding the application requires knowledge of theory, as well. E.g how to solve very big systems of linear equations using Banach fixpoint theorem. You won't even understand what it means without theory. On a cynical note, I am getting quite tired of this mantra of "best way of learning something without putting in any serious effort". There is none.
@nexusclarum8000
@nexusclarum8000 4 жыл бұрын
@@feitan8033 It's not *purely* about remembering. It's about understanding. And I find the understanding of concepts is lacking.
@GalaxyGal-
@GalaxyGal- 4 жыл бұрын
It’s so weird seeing my professors channel blow up like this.
@GalaxyGal-
@GalaxyGal- 4 жыл бұрын
Adam Romanov Both. I’ve seen him at the rock climbing gym with his kids before. I’ve also heard things about his pizza. I just graduated as a physics BS,l from Randolph College, so I had him for calc 2, differential equations, and linear algebra. He likes to do calisthenics in class and he ripped his jeans one time in an 8AM DE class.
@adenpower249
@adenpower249 4 жыл бұрын
@@GalaxyGal- From my perspective you a very lucky to have such a professor.
@mariomuysensual
@mariomuysensual 4 жыл бұрын
@@GalaxyGal- for real? You are lucky to have him as Professor
@xanderabbey8529
@xanderabbey8529 4 жыл бұрын
@@GalaxyGal- Oh my God, I feel so bad! He does sound like a legendary professor though. Wish I had him as my prof.
@GalaxyGal-
@GalaxyGal- 4 жыл бұрын
Aden Power He’s awesome. He has great chemistry with the other math professors from what I can tell. He got me roped into hagoromo too. It’s a shame the school’s social media don’t talk about his channel that much.
@sk8erJG95
@sk8erJG95 2 жыл бұрын
It's very refreshing to see another mathematician with such an exploratory style to their teaching. It's the best way to transfer your enthusiasm to the students!
@wafiklotfallah9951
@wafiklotfallah9951 3 жыл бұрын
We could have also written the original equation as: (ln f)' + (ln g)' = (ln f)'(ln g)' Or ((ln f)' - 1)((ln g)' - 1) = 1 So take any piecewise continuous h(x) not equal to 0, and get: f = exp(int(1+h)dx) and g = exp(int(1+1/h)dx).
@user-en5vj6vr2u
@user-en5vj6vr2u 2 жыл бұрын
You mean h(t) and integral dt right
@wafiklotfallah9951
@wafiklotfallah9951 2 жыл бұрын
Thanks for your comment. I had typos and corrected my comment above.
@paulkohl9267
@paulkohl9267 4 жыл бұрын
7:57 explanation of bottom up math research using examples that build intuition that lead to proofs, hell yes. Thank you Michael Penn for explaining that idea to the audience at large! Most have no idea what research is like, so they think it is like how it is in the textbooks with top-down axioms elegantly solving everything from the start; when instead one has blind alleyways of hypothesis testing that occasionally get rewarded with the exciting possibility of proof.
@priteshsrivastava5850
@priteshsrivastava5850 4 жыл бұрын
This channel is not just about finding answers but building an approach towards it . Great to learn🙏🙏
@TranquilSeaOfMath
@TranquilSeaOfMath 4 жыл бұрын
It is pleasant to see a video with an approachable differential equation in the discussion. I really like the last example. I enjoyed this video.
@TheOneThreeSeven
@TheOneThreeSeven 4 жыл бұрын
It's easy to assume everything is "nice" when working on a new mathematical idea, the hard part is to figure out the right idea to work on. In my experience the best way to find good idea's is to have a playful attitude and focus on learning something new instead of trying to prove something amazing.
@easymathematik
@easymathematik 4 жыл бұрын
In this case "everything is nice" is okay. All you need is "differentiability" and "not divide by zero". So it´s okay.
@rileyjeffries1282
@rileyjeffries1282 3 жыл бұрын
I kinda cheesed this one. I let f=g and it was easy to discover that f and g could equal e^(2x) for the rule to be satisfied.
@jblaskovich8675
@jblaskovich8675 3 жыл бұрын
Wonderful example. Thank you so much for posting.
@spideramazon5032
@spideramazon5032 4 жыл бұрын
Very beautiful math problem. Thanks for the class!
@jeremyredd4232
@jeremyredd4232 4 жыл бұрын
This is very functional calculusy! You should do some functional calculus videos. I'm enjoying your differential forms videos.
@armanrasouli2779
@armanrasouli2779 4 жыл бұрын
I'm loving your channel dude...
@camilonaranjo9926
@camilonaranjo9926 4 жыл бұрын
I started to watch your videos last week, your channel is amazing dude :)
@brooksbryant2478
@brooksbryant2478 4 жыл бұрын
Me too
@Subro_Plays
@Subro_Plays 3 жыл бұрын
I really liked your content it really motivates me to know more about math😊😊😊 thank you for motivating me.
@aryangarg3200
@aryangarg3200 4 жыл бұрын
"Freshman's dream" epic 😂😂😂
@raphaeljacobs3518
@raphaeljacobs3518 4 жыл бұрын
awesome video, michael!
@geosalatast5715
@geosalatast5715 4 жыл бұрын
Hahaha thats great!! I miss the old days when I was at school and and I wad playing with derivatives and integrals.
@3manthing
@3manthing 4 жыл бұрын
Awsome video, as always. I study math at colledge, so it is really nice to hear some of the theorems again. It is really nice to see that your videos cover large variety of mathemathics. Now to be clear, i'm not asking for it, as it is a subject i dislike most in the field of mathemathics, but can we expect a video of more topological nature? If there are some already, excuse me for asking.☺
@tracyh5751
@tracyh5751 4 жыл бұрын
It might be fun to take your solutions for g=x^r and turn them into local power series solutions for analytic g.
@michaelpersiyanov6131
@michaelpersiyanov6131 4 жыл бұрын
I really wish my math class at the university was this fun!
@zackalexander4178
@zackalexander4178 4 жыл бұрын
Playing around and setting g(x)=sin(x) gives you a very similar result to when g(x)=cos(x). Both of these yield some really crazy looking graphs and Im wondering if you can explain why they look the way that they do, and how this ties into when the functions are "nice"
@joshrobo1000
@joshrobo1000 4 жыл бұрын
Superb video sir. Thanks for the entertainment.
@chaosend3815
@chaosend3815 4 жыл бұрын
This is awesome!
@LorenzoClemente
@LorenzoClemente Жыл бұрын
it is true for the Hadamard product of power series (term-wise product)
@gamedepths4792
@gamedepths4792 4 жыл бұрын
This is soo awesome !!!!
@jeffburdette2025
@jeffburdette2025 4 жыл бұрын
Nice video thank you 😊
@easymathematik
@easymathematik 4 жыл бұрын
This kind of product rule holds for all "nice" functions, if someone define the derivative * via f*(x) = lim h -> 0 (f(x + h) / f(x) )^(1/h) The motivation (for people who are interessted in such things) behind that is a "exponential slope". And f* can be written with the "classic" derivative ' via f*(x) = exp( (ln o |f|)´(x) ) With this definition we have: (fg)* = f* g* And what is "nice"? f is "classic" diff f is *-diff. And so on.
@iang0th
@iang0th 4 жыл бұрын
What is that type of derivative called, so I can look it up?
@abdelazizm.7729
@abdelazizm.7729 4 жыл бұрын
@@iang0th Yes you can.. It is called the multiplicative derivative.. Every bijection or more generally a homeomorphism gives rise to a pair of calculi.. In this case, the bijection is the exponential function and it gives rise to multiplicative(or geometric) derivative and bigeometric derivative and respective integrals as well.. The idea to is to convert the usual four algebraic operations to a subset of the real numbers using a bijection then use the converted operations to construct these calculi and much more .. A wider scope is Differential Geometry .. However, you can look this up from papers and a book called Non-Newtonian Calculi by Michael Grossman and Robert Katz.. Several good papers were also published on this topic by Agamirza Bashirov.
@jonaskoelker
@jonaskoelker 2 жыл бұрын
I'm conjecturing that the rule "(f + g)*(x) = f*(x) + g*(x)" doesn't hold in general. Win some lose some I guess. Also (e^x)* = lim [h -> 0] of (e^{x+h}/e^x)^(1/h). This expression equals (e^h)^(1/h) which equals e^{h * (1/h} = e which is independent of x and h. So (e^x)* = e for all x. This seems like the most expected thing. Conjectured corollary: if f*(x) = c for some c then x is an exponential function, hopefully even f(x) = c^x. Proof left as an exercise for you ;-)
@omaralhafez5014
@omaralhafez5014 4 жыл бұрын
Pretty nice, thank you
@matron9936
@matron9936 4 жыл бұрын
Nice simple video:)
@xaxuser5033
@xaxuser5033 4 жыл бұрын
when u divide by g(x)-g'(x) then u automatically say that a fonction that satisfy g(x)=g'(x) is not a choice for your g's however u have either proof that is impossible to have such a g as solution or discuss the cases before dividing by g(x)=g'(x) to be more rigorous
@R3lay0
@R3lay0 4 жыл бұрын
g=g' => f'g+fg' = g'(f+f') = g'f' => f+f'=f' => f=0. So g' can only be equal to g if f=0. And f can only be f' when g=0 for symetry reasons. I'm not very good at this so please tell me if I made a mistake.
@R3lay0
@R3lay0 4 жыл бұрын
I'll also have to add that g=g'=0 is also possible (since I divided by g')
@aljuvialle
@aljuvialle 3 жыл бұрын
By division to (g' - g) you lost at least 2 special cases from g' = g. This kinda shown with g=exp(ax), but e^x is an impossible function here.it'd be worth a while to have these classes shown in this video. This gives at least g = 0 and g = g' != 0, in first case f can be any, and in the second we get f=f' (any form). WIthout even mentioning of this case, I'll get 0 points for a task because of division by 0
@maciejkozowski6063
@maciejkozowski6063 4 жыл бұрын
That's amazing.
@danodet
@danodet 4 жыл бұрын
The differential operator u*=exp(u’/u) satisfy the identity (uv)*=u* v*.
@LucaIlarioCarbonini
@LucaIlarioCarbonini 4 жыл бұрын
I hope a video about what "nice" means might follow. Awesome video indeed!
@duckymomo7935
@duckymomo7935 4 жыл бұрын
it's a very copout term in math. It is most likely referring to a smooth function (infinitely differentiable). In other contexts, it might be further restricted to analytic. A lot of functions that we by default work with happen to be smooth and analytic: polynomials, trig, exponential
@LucaIlarioCarbonini
@LucaIlarioCarbonini 4 жыл бұрын
I see @Adriano Andrade , the solution for g(x)=e^ax have a-1 at the denominator so a can't be 1
@appleslover
@appleslover 4 жыл бұрын
İt's a mathematician's orgasm
@LucaIlarioCarbonini
@LucaIlarioCarbonini 4 жыл бұрын
Playing with g(x)=ln(x) made my day, next try: g(x)=log_b(x)
@easymathematik
@easymathematik 4 жыл бұрын
I don´t get you. It is obvious, what "nice" means in this context.
@hindigente
@hindigente 4 жыл бұрын
Neat exploratory video.
@kbluedye
@kbluedye 4 жыл бұрын
"... and we know how to integrate the number one" Lol!
@aymanalgeria7302
@aymanalgeria7302 4 жыл бұрын
Great video
@rateeshk8175
@rateeshk8175 3 жыл бұрын
Constant functions are a simple solution to such hard differential equations
@Grassmpl
@Grassmpl 3 жыл бұрын
Did you integrate a hyperbola without inserting an abs value inside the ln?
@VK1710
@VK1710 3 жыл бұрын
Try taking f=sin x+cos x. May be a little nicer fn may occur
@davidbrisbane7206
@davidbrisbane7206 4 жыл бұрын
Very good. Nice cadence.
@alexanderandonov4683
@alexanderandonov4683 4 жыл бұрын
WONERFUL! I calculated for f(x)=(sin x)^2; => g(x)= C*exp(0,8x)/[(2cos x - sin x)^0,4] ;
@blackloop1861
@blackloop1861 4 жыл бұрын
i already know the answer But watched the video tell the end nice videos
@tryingtopredict134
@tryingtopredict134 4 жыл бұрын
Satisfied with your videos Michael. I would like to point out something which you can improve that is just look towards camera while recording
@indocesare14
@indocesare14 4 жыл бұрын
I love Neil Patrick Harris teaching math. Really good teacher
@Patapom3
@Patapom3 4 жыл бұрын
Amazing!
@Patapom3
@Patapom3 4 жыл бұрын
Don't you have a patreon or something?
@mendezbcs20
@mendezbcs20 3 жыл бұрын
Is there a way to extend this "Freshman's Dream" to multivariate vector functions? I am trying to solve a matrix calculus problem and I was wondering if such an approach could be taken; that would actually solve my problem. Although my intuition says this is not possible due to incompatible dimensions and things getting pretty messy with the Kronecker product, I do not want to give up that easily :'(
@rc210397
@rc210397 4 жыл бұрын
Those typed brackets at 10:46 show how meticulous you are :D
@davidbizzozero3458
@davidbizzozero3458 3 жыл бұрын
The simplest non-trivial solution I could come up with was the symmetric solution: f(x) = g(x) = exp(2*x) because 2 + 2 = 2 * 2.
@anshum1675
@anshum1675 4 жыл бұрын
8:53 Who else noticed that he said r times r to the x-1?
@LorenzoClemente
@LorenzoClemente Жыл бұрын
so much dedication to menial calculations
@ChanAlex
@ChanAlex 4 жыл бұрын
integrating factor?
@pullingrabbitsouttaahat
@pullingrabbitsouttaahat 4 жыл бұрын
Great. When I first saw this, I had a hunch that exponential was in it. I was right.
@chaosredefined3834
@chaosredefined3834 Жыл бұрын
There is a case where the formula breaks, and we should check if it can be avoided. Consider g(x) = exp(x). This means g'(x) = exp(x), and our formula now involves dividing by zero. So, let's try finding the matching f(x) from scratch. f(x) g'(x) + f'(x) g(x) = f'(x) g'(x) f(x) exp(x) + f'(x) exp(x) = f'(x) exp(x) f(x) exp(x) = 0 f(x) = 0 Not a very insightful approach, but it is a result that wasn't covered in the original.
@omargaber3122
@omargaber3122 4 жыл бұрын
Wonderfull board ,congeratilation
@carrotfacts
@carrotfacts 4 жыл бұрын
Why did you assume the anti derivative of 1/u is ln(u) and not the natural log of the absolute value of u? How would having the more truthful ln|u| affect the answer?
@dehnsurgeon
@dehnsurgeon 4 жыл бұрын
it's not more truthful - they both differentiate to the same thing; for x
@SellusionStar
@SellusionStar 4 жыл бұрын
This was a nice demonstration. I liked it a lot! Just one question: don't you need second parentheses on logarithms when putting outer factory into the exponents? Like ln((....)^1/2) and not ln(....)^1/2
@ps200306
@ps200306 4 жыл бұрын
I thought this too.
@steffahn
@steffahn 4 жыл бұрын
Not necessarily if you allow to apply functions like ln or sin without any parentheses. Which is actually done in the video, notice the sin 𝑥 everywhere. To elaborate, this would mean you interpret something like sin 𝑥² as sin(𝑥²). For squaring the result instead, you’d write (sin 𝑥)² or some people write sin² 𝑥 (but I don’t like this notation). This means that parentheses like in ln(𝑟−𝑥) are still needed, but only since ln 𝑟−𝑥 would mean ln(𝑟)−x, not because ln always needs some parentheses. Then ln(𝑟−𝑥)⁰·⁵ would be similar to the sin 𝑥² above and it would mean ln((𝑟−𝑥)⁰·⁵). But don’t forget, notation is not universal, everyone can do whatever they like. For example you can now debate whether to allow products inside the sin or ln without parentheses like sin 𝑥𝑦, or if that’s gonna mean (sin 𝑥)𝑦 instead. Also consider sin 𝑥 sin 𝑦. My personal take on these would be to disallow too confusing notations entirely and always use parentheses to disambiguate in such cases, for example in the last case either with (sin 𝑥)(sin 𝑦) or with sin(𝑥) sin(𝑦). If you think: Nested function application with sin, like interpreting sin 𝑥 sin 𝑦 as sin(𝑥 sin 𝑦), i.e. sin(𝑥 ⋅ sin(𝑦)), wouldn’t make much sense, yeah probably true, but at least with ln it does. The function ln  ln 𝑥 is something you actually need sometimes (I’ve seen it written in the form log  log 𝑛 in computer science [admittedly that’s not base 𝑒 anymore]), and it’s pretty nice to not be in need for all the extra parentheses of ln(ln(𝑥)).
@SellusionStar
@SellusionStar 4 жыл бұрын
@@steffahn you got a good point. I think here the problem is -as you said- not that it's a different notation, but that it is handwritten. Thus there is no such thing like consistent spacings or no spacing. sin sinxy might be sin x y and without parentheses here, you can't know for sure what is meant. I mean yes, in the context it is mostly clear what is meant, but the fact that it's handwritten makes this topic debatable in my opinion.
@jamesrockybullin5250
@jamesrockybullin5250 4 жыл бұрын
Is this part of series? This is incomprehensible to me, who has taken A-level maths at 18 years old. Please could you say where an introduction to this topic and notation is?
@tracyh5751
@tracyh5751 4 жыл бұрын
You will want to learn differential calculus, integral calculus, and differential equations.
@ryanfreitas5703
@ryanfreitas5703 4 жыл бұрын
Ganhou um inscrito brasileiro Won a Brazilian subscriber
@PauxloE
@PauxloE 4 жыл бұрын
I'm somehow missing after the examples the check whether those actually fulfill the freshman's dream product rule.
@mesplin3
@mesplin3 4 жыл бұрын
Great video. One critique though. Affirming the consequent: If P then Q Q is true Therefore P I wished we checked the examples to verify that they actually do what they were designed to do.
@mesplin3
@mesplin3 4 жыл бұрын
@@angelmendez-rivera351 let g(x) = exp(x)
@mesplin3
@mesplin3 4 жыл бұрын
@VeryEvilPettingZoo that's fair. The algebra checks out. I think it's a good idea to just verify where the rule works. Like f and g need to be differential-able g' != g etc.
@papapap2
@papapap2 4 жыл бұрын
Im confused about what the value of this product rule. It seems to be circularly defined as in, it only holds if you choose f and g such that it holds.
@jfwrg3461
@jfwrg3461 4 жыл бұрын
There is no direct value to my knowledge. The basic premise of the video is that many first year calculus students would suppose that the derivative of the product of two functions would simply be the product of their derivatives only to find it that there is a bit more to it than that! This video just examines what functions would work for that naive assumption.
@TJStellmach
@TJStellmach 3 жыл бұрын
It's only referred to as a "rule" by analogy to the actual product rule. The exercise was simply to find functions f and g where the statement holds true, knowing that it does not do so in the general case.
@julesflin436
@julesflin436 4 жыл бұрын
The anti-derivative of f'/f should be ln(|f|). The constant of integration c can be any real value, C=exp(c) is a positive constant. At the end you should find f(x)=+/- C•exp(integral of g'/(g'-g)) which is the same as having a real constant C... I know it's a technicallity, but it's a common redaction mistake. Great video anyway ! (Pardon my spelling, I'm from France)
@Varde1234
@Varde1234 4 жыл бұрын
Taking differential eqns right now, this is a lot of fun
@vicktorioalhakim3666
@vicktorioalhakim3666 3 жыл бұрын
Here is an idea without integration. Suppose f and g are both differentiable and their derivatives are nonzero on all of their domains. Then: (fg)' = f'g + fg' = f'g' => f'g' = f'(g + (1/f')g') => g' = g + (1/f')g' => g' = [1/(1 - f'^-1)]g. Assuming that 1/(1 - f'^-1) = C is constant, then g(t) = e^{Ct}. Now, we solve for f: 1/(1 - f'^-1) = C => 1 = C - Cf'^-1 => f'(C-1) = Cf => f' = [C/(C-1)]f => f = e^{Dt} where D = C/(C-1). Both functions are nonzero on their domain and differentiable, so they satisfy the equation and it is easy to verify that (gf)'(t) = (e^{Ct}e^{Dt})' = Ce^{Ct}e^{Dt} + De^{Ct}e^{Dt} = e^{Ct}e^{Dt} [C + C/(C-1)] = e^{Ct}e^{Dt} [C^2/(C-1)] = Ce^{Ct}De^{Dt} = g'(t)f'(t) It would now be interesting how this can be extended by letting C be other functions of t, such as a polynomial, which has been brilliantly described in the video. It all amounts to integrating C(t) and C(t)/(C(t) - 1).
@KS-lb9uc
@KS-lb9uc 2 жыл бұрын
Functions of the form C*e^(2x) also work, right ? It's weird to see how two different paths can lead to two different answers...
@KS-lb9uc
@KS-lb9uc 2 жыл бұрын
I mean, the equation is satisfied when both f and g are of this form.
@VladYakovlev-ix8zi
@VladYakovlev-ix8zi Жыл бұрын
С*exp(-2*x) also fits
@onderozenc4470
@onderozenc4470 3 жыл бұрын
You could have equated both sides in f and g to a constant.
@klementhajrullaj1222
@klementhajrullaj1222 2 жыл бұрын
And for (f/g)'=f'/g', how will proced?!
@DrWizardMother
@DrWizardMother 4 жыл бұрын
Using a 'sloppier' but much shorter route, I find that any set of functions such that f = C(1/g)^x will give you this relationship. Basically, I rewrote the integrand of the integral he didn't solve in terms of g, dg, and dx. I get the integrand to be dx*dg/(dg-g), which is approximately dx*dg/(-g). This is a double integral. A solution is nominally x*ln(1/g) + C (there may be a more general class of functions also). Set this equal to the left side which is ln(f). Solve for f in terms of x and g. Then check to see if f'g +fg' = f'g'. It does.
@hocineslamene9135
@hocineslamene9135 4 жыл бұрын
You must add two conditions: g(x) # 0 and g'(x) # g(x)
@zunaidparker
@zunaidparker Жыл бұрын
g(x)=0 satisfies the original problem trivially so is a valid solution. If g=g', then f(x)=0 is a valid solution to the original problem. Neither condition is a restriction of the problem originally posed, they're only restrictions on the specific class of solutions his derivation can find.
@pb6270
@pb6270 Жыл бұрын
Are there any cool implications to this freshman's dream identity being satisfied? Even something geometric?
@bigdhav
@bigdhav 4 жыл бұрын
Chalkboards are SO much better than the squeaky whiteboards we have now. My old maths teacher insisted on keeping it when the school changed them because he could draw near perfect circles on them!
@bendeoliveira2768
@bendeoliveira2768 4 жыл бұрын
The title was kinda misleading though
@thomasfink2385
@thomasfink2385 4 жыл бұрын
At 10:24 he saved some chalk and a pair of parenthesies. It should have been ln( (r-x)^-r)
@af9466
@af9466 4 жыл бұрын
Yes, but, by the way, the interesting thing is, that in our country such a "parenthesesless" form of logarithm, along with the other functions like trigonometric, is pretty much common. The only case we use parentheses here is when disambiguation is needed: ln(2x • y + 5z)
@naimulhaq9626
@naimulhaq9626 4 жыл бұрын
Interesting.
@ingobojak5666
@ingobojak5666 3 жыл бұрын
Try g(x) = x, which also corresponds to r = 1 in your first example. Mild problems ensue...
@TDSONLINEMATHS
@TDSONLINEMATHS 4 жыл бұрын
Nice
@matthewjames7513
@matthewjames7513 3 жыл бұрын
I had a very different dream as a freshman... (x+a)(x+b) = x^2 + ab
@bobh6728
@bobh6728 3 жыл бұрын
I think it is hilarious that he will pause to explain how he multiplied and moved terms to the other side of the equation (Algebra 1), but blow by things like obviously by some rule from Calculus 3, the result is .... Still great videos.
@leastmachine8693
@leastmachine8693 4 жыл бұрын
I'd just like to see some follow up proofs. I tried going through the algebra on the second example and, unless the a/(a-1) just disappears into the C, it doesn't pan out.
@user-rz3id7nm6s
@user-rz3id7nm6s 4 жыл бұрын
Great
@elai3147
@elai3147 4 жыл бұрын
so basically freshmen can keep dreaming
@massimogirola5375
@massimogirola5375 4 жыл бұрын
It would be interesting to define a new kind of derivative that has this property, a bit like you do with the Levi-Civita connection to define the covariant derivative (ex. in General Relativity). Is it possible to introduce this kind of new derivative?
@alexanderandonov4683
@alexanderandonov4683 4 жыл бұрын
this is not new kind of derivative; this holds just for special couples of funcs; it is like a differential equation;
@JohnWick-xd5zu
@JohnWick-xd5zu 4 жыл бұрын
Ok good 👌
@maypiatt3766
@maypiatt3766 4 жыл бұрын
This was a Putnam question!!
@maypiatt3766
@maypiatt3766 4 жыл бұрын
I don’t remember the question but it was from a long time ago 😊
@photonicsauce7729
@photonicsauce7729 4 жыл бұрын
@@maypiatt3766 Great!!
@photonicsauce7729
@photonicsauce7729 4 жыл бұрын
Would i get some free marks if i wrote the answer as: F(x) =0 or g(x) =0 or both
@rccalytrix
@rccalytrix 4 жыл бұрын
the "nice" idea- is it inspired by the "wouldn't it be nice?" videos by blackpenredpen?
@benalkan8559
@benalkan8559 4 жыл бұрын
"nice" here means that you assume that your function is sufficiently smooth on the domain of interest so that you can differentiate your function, and you're not worrying about g'(x)≈g(x). Not very nice functions f(x)=Weierstrass function (continuous yet non differentiable). Not differentiable anywhere. f(x)={ 1 if x is odd, -1 if x is even, 0 otherwise}. Not differentiable at those discrete jumps. f(x)=|x| near x=0. Not differentiable at x=0
@mathieugouttenoire9665
@mathieugouttenoire9665 4 жыл бұрын
3:40 you can't just divide by f(x) or g'(x)-g(x) ...
@easymathematik
@easymathematik 4 жыл бұрын
On the board is the note: assuming everything is "nice".
@pi4meterftw2
@pi4meterftw2 4 жыл бұрын
It just means that what is derived is a source of examples, but not exhaustive. There could be other examples. One example not captured here by the final equation, for instance, is f = g = 0.
@stearin1978
@stearin1978 4 жыл бұрын
V.I. Arnold said that Leibnitz actually defined the rule of product differentiation in that way. Possibly Arnold was joking as usually...
@duckymomo7935
@duckymomo7935 4 жыл бұрын
freshman's dream??
@malawigw
@malawigw 4 жыл бұрын
d(you) divided by you
@dustinbachstein3729
@dustinbachstein3729 3 жыл бұрын
Unfortunately, none of the three pairs of functions have a form such that anyone would use the product rule to take the derivative... :D
@Astrophysikus
@Astrophysikus 4 жыл бұрын
Brilliant! Solve an ODE to make a 'better' product rule. As if taking a derivative was the hard part :-D.
@donkosaurus
@donkosaurus 4 жыл бұрын
I knew differentiating was distributive
@Mrwiseguy101690
@Mrwiseguy101690 4 жыл бұрын
My first thought was f=C1 and g=C2 haha
@SillySussySally
@SillySussySally 4 жыл бұрын
Saw 999 likes. Hit dat spicy button. Now 1k.
@DoktorSchaedel
@DoktorSchaedel 4 жыл бұрын
Me: *innocently wants to watch this video Google sadia ad: "Bonjour"
@itsrush8496
@itsrush8496 4 жыл бұрын
In other words
@user-tr9ns6rc3f
@user-tr9ns6rc3f 3 жыл бұрын
There's some thing messing in 4:55 the primitive of f'/f is Ln|f| with absolute value in logarithm.
an amazing approach to this classic integral
12:35
Michael Penn
Рет қаралды 11 М.
An interesting approach to the Basel problem!
19:26
Michael Penn
Рет қаралды 137 М.
Получилось у Миланы?😂
00:13
ХАБИБ
Рет қаралды 5 МЛН
UNO!
00:18
БРУНО
Рет қаралды 3,1 МЛН
Secret Experiment Toothpaste Pt.4 😱 #shorts
00:35
Mr DegrEE
Рет қаралды 38 МЛН
Solving a crazy iterated floor equation.
22:38
Michael Penn
Рет қаралды 141 М.
A very interesting differential equation.
16:28
Michael Penn
Рет қаралды 955 М.
Solving An Insanely Hard Problem For High School Students
7:27
MindYourDecisions
Рет қаралды 3,4 МЛН
The Clever Way to Count Tanks - Numberphile
16:45
Numberphile
Рет қаралды 727 М.
The Reciprocals of Primes - Numberphile
15:31
Numberphile
Рет қаралды 1,6 МЛН
Magnus Carlsen, Hans Niemann Drama Just Got Much Worse
31:16
GothamChess
Рет қаралды 223 М.
This Integral is Nuts
23:03
Flammable Maths
Рет қаралды 59 М.
So much to learn/review in one integral!!!
36:39
Michael Penn
Рет қаралды 54 М.
The mystery of 0.577 - Numberphile
10:03
Numberphile
Рет қаралды 2 МЛН