Spivak Chapter 10, Problem 29 : why is this true?

We have by given conditions $f(x) /x\to f'(0),g(x)/x\to g'(0)$ as $x\to 0$. Hence on multiplication we have $$\frac{f(x) g(x)} {x^2}\to f'(0)g'(0)$$ or $$\frac{1}{x}\to f'(0)g'(0)$$ which is an obvious contradiction.


You can translate the above argument into a more informal language. Differentiability of $f, g$ at $0$ ensures that they behave like linear functions in neighborhood of $0$ and both vanish at $0$ so we must have $$f(x) \approx ax, g(x) \approx bx$$ in some neighborhood of $0$ where $a, b$ are constants. But then $$x=f(x) g(x) \approx abx^2$$ or $$1\approx abx$$ which is absurd as right hand side can be made small by choosing $x$ small but left hand side is constant.


Here's a pretty picture. Let $h(x)=f(x)g(x)$ and assume $h$ is continuously differentiable. Then $h'(0)=0$ so by continuity, for $\epsilon>0$ small, there exists a $\delta>0$ such that when $x\in [-\delta,\delta]$, we have $|h'(x)|\leq\epsilon$. In other words, for $x_1,x_2 \in [-\delta,\delta]$, by the mean value theorem, $|h(x_2)-h(x_1)|\leq \max_{[x_1,x_2]}|h'(x)|\, |x_2-x_1|\leq \epsilon\, |x_2-x_1|$ so $h$ is locally a contraction mapping.

Moreover, for $x\in[-\delta,\delta]$, we have $$ |h(x)|=|h(x)-h(0)|\leq\epsilon|x|\leq \epsilon\delta\leq\delta $$ so $h$ maps $[-\delta,\delta]$ to itself.

In conclusion, both criteria to apply Banach's fixed point theorem are met. It follows that $h$ has a unique fixed point, namely $h(0)=0$.


I believe that the problem here is a lack of intuition for the product rule. You apply it to derive $h'(0) = 0$, but you seem to not see intuitively why it must be $0$ and not $1$.

3Blue1Brown has a nice exposition of the general intuition behind the product rule (and the chain rule!) here.

Thus, instead of trying to replicate that, I'll just speak about how to apply it here.

Most people will show you the following picture for the product rule:enter image description here

The strange thing about this case is that the part that matters to us is "Area C". This is because $x=0$, so $f(x)=g(x)=0$. Thus this will be the only nonzero area in the entire picture!

Now, the other critical piece of intuition is to observe how differentiability implies that this Area C goes to $0$ too fast to be included in the derivative of $f(x)g(x)$. To see this, I recommend Paramanand Singh's wonderful answer to this very question.

I especially recommended the latter part of that answer, on how the derivatives are basically good local linear approximations $ax,bx$. Then if we multiply two of those together, we get a quadratic $abx^2$, which at it's extreme point, has slope $0$.

Hope that helps!