Đề bài

Giả sử hai hàm số \(y = f\left( x \right)\) và \(y = f\left( {x + {1 \over 2}} \right)\) đều liên tục trên đoạn [0; 1] và \(f\left( 0 \right) = f\left( 1 \right)\) Chứng minh rằng phương trình \(f\left( x \right) - f\left( {x + {1 \over 2}} \right) = 0\) luôn có nghiệm trong đoạn \(\left[ {0;{1 \over 2}} \right]\)

Phương pháp giải - Xem chi tiết

Hàm số \(y = f\left( x \right)\) xác định và liên tục trên \(\left( {a;b} \right)\). Nếu \(f\left( a \right).f\left( b \right) < 0\) thì tồn tại ít nhất một số \(c \in \left( {a;b} \right)\) sao cho \(f\left( c \right) = 0\).

Lời giải chi tiết

Xét hàm số \(g\left( x \right) = f\left( x \right) - f\left( {x + {1 \over 2}} \right)\)

Ta có

\(\eqalign{
& g\left( 0 \right) = f\left( 0 \right) - f\left( {0 + {1 \over 2}} \right) \cr 
& = f\left( 0 \right) - f\left( {{1 \over 2}} \right) \cr 
& g\left( {{1 \over 2}} \right) = f\left( {{1 \over 2}} \right) - f\left( {{1 \over 2} + {1 \over 2}} \right) \cr 
& = f\left( {{1 \over 2}} \right) - f\left( 1 \right) \cr 
& = f\left( {{1 \over 2}} \right) - f\left( 0 \right) \cr} \)

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

Do đó,

\(\eqalign{
& g\left( 0 \right)g\left( {{1 \over 2}} \right) \cr &= \left[ {f\left( 0 \right) - f\left( {{1 \over 2}} \right)} \right]\left[ {f\left( {{1 \over 2}} \right) - f\left( 0 \right)} \right] \cr 
& = - {\left[ {f\left( 0 \right) - f\left( {{1 \over 2}} \right)} \right]^2} \le 0. \cr}\)

- Nếu \(g\left( 0 \right)g\left( {{1 \over 2}} \right) = 0\) thì x = 0 hay \(x = {1 \over 2}\) là nghiệm của phương trình \(g\left( x \right) = 0\)

- Nếu \(g\left( 0 \right)g\left( {{1 \over 2}} \right) < 0\)   (1)

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

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

Kết luận : Phương trình \(g\left( x \right) = 0\) hay \(f\left( x \right) - f\left( {x + {1 \over 2}} \right) = 0\) luôn có nghiệm trong đoạn \(\left[ {0;{1 \over 2}} \right]\).

 soanvan.me