Bpt `log_{2}(2^x+1)+log_{3}(4^x+2)<=2` có tập nghiệm

Đáp án: $\text{D}=(-\infty;0]$

Ghi chú: Thực ra, bài này thường hay "mò nghiệm", tức là chứng minh h/số luôn đb/ nb rồi sẽ có một tới hai nghiệm, bấm máy tính nghiệm đó thì là xong. Cách biến đổi thường khá dài nên bình thường sẽ quy về cách đó để tiết kiệm thời gian làm bài nếu làm tự luận. 

Giải thích các bước giải:

$$\log_2(2^x +1) + \log_3(4^x +2) \leq 3$$

Xét hàm số $f(x)=\log_2(2^x +1) + \log_3(4^x +2)$

$⇒f'(x)=\dfrac{\ln{2}\cdot2^x}{\ln{2}\cdot(2^x +1)} + \dfrac{\ln{4}\cdot4^x}{\ln{3}\cdot(4^x +1)}$

$⇔f'(x)=\dfrac{2^x\cdot\ln{3}\cdot(4^x+1)+\ln{4}\cdot4^x\cdot(2^x+1)}{(2^x +1)\ln{3}\cdot(4^x +1)}>0$ (Mẫu luôn dương, tử luôn dương $⇒f'(x)>0$)

$⇒$ Hàm số $f(x)$ luôn đồng biến trên tập xác đinh, và chỉ có một giao điểm với đồ thị đường thẳng $y=2$.

$⇒$ Phương trình $\log_2(2^x +1) + \log_3(4^x +2)=2$ chỉ có duy nhất một nghiệm.

Nhận thấy, $x=0$ là một nghiệm của phương trình $\log_2(2^x +1) + \log_3(4^x +2)=2$.

(Bạn thay số để tìm ra miền xác định, mình xin phép không trình bày để bài làm không quá dài. Sau khi thử số, dễ thấy rằng khoảng $x\leq 0$ luôn cho thỏa mãn bất phương trình của giả thuyết đề bài.)

$⇒\log_2(2^x +1) + \log_3(4^x +2) \leq 3$ tồn tại khi $x\leq0$ 

$⇒ \textbf{KL. } \text{D}=(-\infty;0]$

$@thomasnguyen1254$