Xét hàm số g(x) = f(x) − f(x + 0,5)

Ta có

g(0) = f(0) − f(0 + 0,5) = f(0) − f(0,5)

g(0,5) = f(0,5) − f(0,5 + 0,5) = f(0,5) − f(1) = f(0,5) − f(0)

(vì theo giả thiết f(0) = f(1)).

Do đó,

g(0).g(0,5) = [f(0) − f(0,5)].[f(0,5) − f(0)] = −f(0) − f(0,5) 2 ≤ 0.

- Nếu g(0).g(0,5) = 0 thì x = 0 hay x=0,5 là nghiệm của phương trình g(x) = 0

- Nếu g(0).g(0,5) < 0 (1)

Vì y = f(x) và y = f(x + 0,5) đều liên tục trên đoạn [0; 1] nên hàm số y = g(x) cũng liên tục trên [0; 1] và do đó nó liên tục trên [0; 0,5] (2)

Từ (1) và (2) suy ra phương trình g(x) = 0 có ít nhất một nghiệm trong khoảng

Kết luận : Phương trình g(x) = 0 hay f(x) − f(x + 0,5) = 0 luôn có nghiệm trong đoạn (0;0,5)