Question
Couldn't resist: Any continuously differentiable function f(x) which has a zero at x=x1 can be expressed as
f(x) = (x-x1) g(x)
where g(x) is continuous. What is g(x) you ask? Well obviously it is
g(x) = \(\displaystyle \frac{f(x)}{x-x_1};\, x\, \ne\, x_1\)
g(x) = \(\displaystyle \frac{df(x)}{dx}|_{x=x_1};\, x\, =\, x_1\)
From that, you can derive the above and the more general statement: If f(x) has n roots of multiplicity mj, j=1, 2, 3, ...,n and M=max{mj, j=1, 2, 3, ...,n} and if all derivatives of f(x) through order M are continuous, then f(x) can be written as
f(x) = \(\displaystyle [\, \Pi_{j=1}^{j=n}\, (x-x_j)^{m_j}\, ]\, g(x)\)
where g(x) is continuous [in the case of a polynomial g(x) would be a constant].
I would really like to understand what you are saying.
I am not entirely lost (I think) but one clue please. In your second expression for g(x), does it read that g(x) is equal to the derivative of f(x) with respect to dx but only when x = x
1, that is, the domain for g(x) is effectively reduced to the single value x
1? It seems to me at this point that you are describing a differential, that is, the slope of f(x) at x = x
1 rather then the derivative of f(x). Basically can you tell me what this second statement for g(x) is describing.
I can see how taking the limit of the right side of the first statement for g(x) is related to the definition of a derivative but am having this preliminary difficulty of interpreting the result. Thank you.
"From that, you can derive the above …."
My work so far:
The first step is to derive eq 2 from eq 1
\[{\rm{eq1: }}g(x) = \frac{{f(x)}}{{(x - {x_1})}}\]
\[{\rm{eq2: }}g(x) = \frac{{df(x)}}{{dx}}{|_{x = {x_1}}};\,\,\,\,x = {x_1}\]
\[\begin{array}{l}
{\rm{eq3: }}g(x) = \frac{{f(x) - f({x_1})}}{{(x - {x_1})}}\,\,,\,\,\,\,\,{\rm{since }}f({x_1}) = 0\\
{\rm{by the definition of a derivative,}}\\
{\rm{eq4: }}\frac{{df(x)}}{{dx}} = {\rm{ }}\mathop {\lim }\limits_{x \to {x_1}} \,\,\frac{{f(x) - f({x_1})}}{{(x - {x_1})}}\\
eq4a:\,\,\,\,\mathop {\lim }\limits_{x \to {x_1}} \,\,g(x) = {\rm{ }}\,\mathop {\lim }\limits_{x \to {x_1}} \,\,\frac{{f(x) - f({x_1})}}{{(x - {x_1})}},\,\,\,\,\,\,\,\,\,\,f({x_1}) = 0,\,\,\,\,\,\,{\rm{so that,}}\\
{\rm{eq5: }}\mathop {\lim }\limits_{x \to {x_1}} \,\,g(x) = \,\frac{{d(f(x))}}{{dx}}{|_{x = {x_1}}}{\rm{, and so}}\\
{\rm{eq6: f(x) = }}\left[ {{\rm{(x - }}{{\rm{x}}_1})\,\frac{{d(f(x))}}{{dx}}} \right]{|_{x = {x_1}}}
\end{array}\]