Ta sẽ chứng minh f(x),g(x) là hai hàm liên tục và đồng biến [a,b]
Ta có f(a)≤f(x)≤f(b)∀x∈[a,b]
⇒∫abf(a)dx≤∫abf(x)dx≤∫abf(b)dx⇔f(a)(b−a)≤∫abf(x)dx≤f(b)(b−a)⇔f(a)≤b−a1∫abf(x)dx≤f(b)(1)
Theo định lí về giá trị trung gian của một hàm số liên tục thì tồn tại điểm x0∈[a,b] sao cho f(x0)=b−a1∫abf(x)dx. Mặt khác do f(x),g(x) đồng biến trên [a,b] nên [f(x)−f(x0)][g(x)−g(x0)]≥0 với mọi x∈[a,b]
⇔0≤f(x)g(x)−f(x0)g(x)−g(x0)f(x)+f(x0)g(x0)⇒0≤∫ab[f(x)g(x)−f(x0)g(x)−g(x0)f(x)+f(x0)g(x0)]dx=∫abf(x)g(x)dx−f(x0)∫abg(x)dx−g(x0)∫abf(x)dx+f(x0)g(x0)(b−a)=∫abf(x)g(x)dx−f(x0)∫abg(x)dx−g(x0)f(x0)(b−a)+f(x0)g(x0)(b−a)⇔∫abf(x)g(x)dx≥f(x0)∫abg(x)dx=b−a1∫abf(x)dx∫abg(x)dx⇒(đpcm)