2
$\begingroup$

For example, in the process of proving that $$\left({\frac{f}{g}}\right)'\left({a}\right)= \frac{f'\left({a}\right)g\left({a}\right)-f\left({a}\right)g'\left({a}\right)}{\left[{g\left({a}\right)}\right]^{2}}$$ I'd like to tidy things up a bit by writing $$\left({\frac{f}{g}}\right)'\left({a}\right)= \left[\frac{f'\cdot g-f\cdot g'}{{g}^{2}}\right]\left({a}\right).$$ I believe that this is true, but I'm not confident why it is true: what assumptions am I making in rewriting this way, and is there a name for this change of notation?

  • 0
    Since I'm not quite sure how to describe the notational step I'm taking, I could also use some help with the title.2011-11-13
  • 1
    Note that you have already taken the notational step in the left hand side of your first expression. To avoid it, you might start: $\text{If }h(a)=\dfrac{f(a)}{g(a)}\text{ then }h'(a)=\cdots$2011-11-13
  • 1
    I apologize to raxa for the false information.2011-11-13
  • 0
    @analysisj: No problem!2011-11-13
  • 0
    @HenningMakholm I shall do so, thanks.2011-11-13
  • 1
    Wow, none of us noticed the sign error in the original question (or my answer, until I fixed it) :)2011-11-13
  • 0
    @leslietownes: Fixed. Missed that (as we all did)—good catch.2011-11-13

1 Answers 1

4

(Reposting my comment as an answer)

It is just a change in perspective, from thinking of the value of the derivative as a numerical expression in the values of the functions $f$ and $g$ at $a$, to the value of the single function $\frac{f' \cdot g - f \cdot g'}{g^2}$ at $a$. So in the second you emphasize the algebra of functions ($\cdot$, $−$, etc. are operations on functions) instead of numbers.

I don't know a name for this, but it is totally OK (if your audience is familiar with operations on functions). I should emphasize it is a notational difference only; it doesn't "do" anything in a proof.

  • 0
    So is it fair to say that the re-expression is a more precise way of proceeding, since the subsequent manipulations on $\left({\frac{f}{g}}\right)'\left({a}\right)$ will rely most directly on the algebra of functions and not of numbers?2011-11-13
  • 0
    They are equally "precise" (when the functional one works at all, i.e. all values are taken at the same $a$), but one can be more _convenient_ than the other. Going back and forth between them at will is a useful skill.2011-11-13
  • 0
    I wouldn't say that it's more "precise", it is just a change in perspective. One advantage it has--- not in a *proof* of the quotient rule, but elsewhere--- is that you can suppress the $a$ entirely: $(\frac{f}{g})' = \frac{f' g - f g'}{g^2}$ makes perfectly good sense in the algebra of functions (and maybe emphasizes the generality of the rule). In a *proof* of a quotient rule, most of the work is in showing that it makes sense to write $(\frac{f}{g})'(a)$ in the first place--- i.e. that a certain limit exists. You probably shouldn't write $(\frac{f}{g})'(a)$ before then.2011-11-13
  • 0
    And (again, just to confirm my understanding) I need to be very careful when I "suppress $a$". In cases like the one illustrated, for example, there is an additional requirement that both $f$ and $g$ are differentiable at $a$ (and, in fact, that $g(a)\neq 0$), so I'm either going to have to leave the $(a)$, or make a not somewhere that what I'm doing only works when this conditions are satisfied. Correct?2011-11-13