Gib Z said:
Could you perhaps explain it more rigorously? Because otherwise [tex]\int^b_a f(x) dx[/tex] would equal 0..for any bounds..or function...
Well, let y = uv, where u, and v are functions of x, and everywhere differentiable.
So: [tex]\delta y = (u + \delta u) (v + \delta v) - uv = u \delta v + v \delta u + \delta u \delta v[/tex]
Divide both sides by [tex]\delta x[/tex], we obtain:
[tex]\frac{\delta y}{\delta x} = u \frac{\delta v}{\delta x} + v \frac{\delta u}{\delta x} + \frac{\delta u \delta v}{\delta x} = u \frac{\delta v}{\delta x} + v \frac{\delta u}{\delta x} + \frac{\delta u}{\delta x} \delta v[/tex]
Now, take the limit as [tex]\delta x \rightarrow 0[/tex], we have:
[tex]y'(x) = \lim_{\delta x \rightarrow 0} \frac{\delta y}{\delta x} = \lim_{\delta x \rightarrow 0} \left( u \frac{\delta v}{\delta x} + v \frac{\delta u}{\delta x} + \frac{\delta u}{\delta x} \delta v \right)[/tex], since, u and v are differentiable, [tex]\lim_{\delta x \rightarrow 0} \frac{\delta u}{\delta x} = u'(x)[/tex], [tex]\lim_{\delta x \rightarrow 0} \frac{\delta v}{\delta x} = v'(x)[/tex], both are finite. So we have:
[tex]y'(x) = \lim_{\delta x \rightarrow 0} \frac{\delta y}{\delta x} = \lim_{\delta x \rightarrow 0} \left( u \frac{\delta v}{\delta x} + v \frac{\delta u}{\delta x} + \frac{\delta u}{\delta x} \delta v \right) = u(x)v'(x) + u'(x)v(x) + u'(x) \lim_{\delta x \rightarrow 0} \delta v[/tex]
Since v is continuous, so, as [tex]\delta x \rightarrow 0[/tex], we also have: [tex]\delta v \rightarrow 0[/tex], so:
[tex]y'(x) = \lim_{\delta x \rightarrow 0} \frac{\delta y}{\delta x} = ... = u(x)v'(x) + u'(x)v(x) + u'(x) 0 = u(x)v'(x) + u'(x)v(x)[/tex]
Well, that's how I understand it.
I did mistype in the previous post, all dx, dy, du, or dv should be [tex]\delta x[/tex], [tex]\delta y[/tex], [tex]\delta u[/tex], and [tex]\delta v[/tex]. Sorry for the confusion.

:)