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)