f0f:I→Rf
f0f
f0(x0)
f(x)x x0
f(x0)f(x1)x1
x0
R
))
R
R
R
R
R
R
R
R
R
R
R
R
R
R
R
R
R
uul
l
l
l
l
l
l
l
l
l
l
l
l
l
uul
l
l
l
l
l
l
l
l
l
l
l
l
l
))
R
R
R
R
R
R
R
R
R
R
R
R
R
R
R
R
R
a < b f : [a, b]→R
f[a, b] ]a, b[f(a) = f(b)
c∈]a, b[f0(c)=0
[a, b]f[a, b]f
[a, b]x0x1∈[a, b]f(x0)≤f(x)≤f(x1)
x∈[a, b]
x0x1]a, b[c=x0x1f
c]a, b[c f0(c)=0
x0x1[a, b]f(a) = f(b)
f(x0) = f(x1)f(x0)≤f(x)≤f(x1)f[a, b]
f[a, b]f0(c) = 0
c∈]a, b[
a < b f : [a, b]→R
f[a, b]
]a, b[c∈]a, b[f(b)−f(a) = f0(c)(b−a)
θ=f(b)−f(a)
b−ac∈]a, b[f0(c) = θ
g: [a, b]→Rx7→ f(x)−θ×(x−a)θ×(x−a)
[a, b]g
g(b) = f(b)−f(b)−f(a)
b−a×b−a=f(a) = g(a).
c∈]a, b[g0(c) = 0 g0(x) = f0(x)−θ x ∈]a, b[
f0(c) = θ
IRf:I→Rf0(x)≥0x∈I
f0I
a b ∈I a ≤b f(a)≤f(b)a=b a < b
f a b c ∈]a, b[f(b)−f(a) = f0(c)(b−a)f0(c)≥0
b−a > 0f(b)−f(a)≥0