# Proving Cauchy's Mean Value Theorem

In proving Cauchy's mean value theorem, the first step is to use this function:

$$h(x)=[f(b)−f(a)]g(x)−[g(b)−g(a)]f(x)$$

I've seen this in many textbooks but none of them actually show how they got this function. I understand every steps in the proof of Cauchy's mean value theorem, except how to derive this equation myself.

Do you guys know how do they get this function? Thanks a lot!

• Oftentimes math proofs have "miraculous" steps like this one, that are chosen to make future steps work out. Originally such steps were found by messy calculations, that are not included in the final proof. – vadim123 May 2 '13 at 13:40
• Don't think these are born in just seconds , may be minutes , hours or even days. Had you put on some more effort into the proving cauchy's mean value theorem you could have discovered the same step you presently claim is 'miraculous' – jdoicj May 2 '13 at 14:34

$$[f(b)-f(a)]g'(x)-[g(b)-g(a)]f'(x)=0 \, \mbox{for some} \, x$$
The mean value theorem states that $(f'(t),g'(t))$ is somewhere parallel to the line through $(f(a),g(a))$ and $(f(b),g(b))$. A normal vector to this line is $(g(b)-g(a),f(a)-f(b))$, and thus the distance from $(f(t),g(t))$ to the line is a constant plus another constant times $(g(b)-g(a))f(t)+(f(a)-f(b))g(t)$. One good choice of $t$ is where the distance is maximal, hence the preceding expression is stationary.