let
h(x) = f(x)/g(x),then h (x)在闭区间[a,b]上连续,在开区间(a,b)内可导
h'(x)= {f(x)g'(x) - f'(x)g(x)}/ [g(x)]^2
f(a)g(b)=g(a)f(b).
=> f(a)/g(a) = f(b)/g(b)
=> h(a) = h(b)
存在ξ,∈(a,b),令到
h'(ξ,) =0
=>f `(ξ)g(ξ)-f(ξ)g`(ξ)=0
=>f `(ξ)g(ξ)=f(ξ)g`(ξ)..