# Prove that $\exists x_0, x_1\in (0,1)$, such that $\frac{f'(x_0)}{x_0}+\frac{f'(x_1)}{x_1^2}=5$

Let $f:[0,1]\to\mathbb{R}$ be a differentiable function, such that $f(0)=0$ and $f(1)=1$. Prove that there exist different $x_0, x_1\in (0,1)$, such that $$\frac{f'(x_0)}{x_0}+\frac{f'(x_1)}{x_1^2}=5$$

I have thought of possibly using Cauchy's theorem, so that we would only need to prove that there exist $k, l\in (0,1)$ such that $f(k)=k^2$ and $f(l)=l^3$, but I don't know how to prove these. Any hint?

Edit 1: Apparently my thought here is wrong, so any ideas?

• How finding such $k,l$ would help you? $f(k) = k^2$ for some $k$ doesn't neccesarily mean that $f'(k) = 2k$ – Stefan4024 Apr 24 '16 at 18:55
• Interesting question, the only thing you for sure is that $f'(c)=1$ for some $c\in (0,1)$, but I'm not sure how to go from there. – Mathematician 42 Apr 24 '16 at 18:57
• @Stefan4024 Yes, you are right... But then the exercise becomes impossible!!! – Jason Apr 24 '16 at 18:59
• The latter statement is not provable. Think of $f(x)=(x)$, then finding $k$ and $l$ such that $k=k^2$ and $l=l^3$ is not possible on $(0,1)$, and this will be the case for many more $f$'s – konewka Apr 24 '16 at 19:04
• No correct solution here too, right? – Jason May 13 '16 at 9:53

## 1 Answer

Consider the function $g(x) = \frac{1}{3}x^3$. Then as it's differentiable on $(0,1)$ and continuous on $[0,1]$, by Cauchy Mean Value Theorem we have $\exists c \in (0,1)$, s.t.:

$$\frac{f(1) - f(0)}{g(1) - g(0)} = \frac{f'(c)}{g'(c)} \implies \frac{f'(c)}{c^2} = 3$$

Similarly now taking $h(x) = \frac{1}{2}x^2$, by Cauchy Mean Value Theorem $\exists d \in (0,1)$, s.t.:

$$\frac{f(1) - f(0)}{h(1) - h(0)} = \frac{f'(d)}{h'(d)} \implies \frac{f'(d)}{d} = 2$$

Hence the proof.

• How can you show that $c$ and $d$ are different? – Paolo Apr 24 '16 at 19:11
• @Paolo I'm trying to prove but $c=d=\frac 23$ is the only "bad" point. Maybe proving that there exists yet another point such that it satisfies one of the equations. – Stefan4024 Apr 24 '16 at 19:29
• I'm trying to prove that, too. But I don't know how, at the moment... – Paolo Apr 24 '16 at 19:30
• No answer yet ? – Jason Jun 20 '17 at 22:26