Để ý rằng hàm số g(x)=3x−2x−1 có đạo hàm g′(x)=3x.ln3−2 có nhiều nhất một nghiệm nên g(x)=0 có nhiều nhất hai nghiệm (theo hệ quả định lý Rolle). Hơn nữa dễ thấy g(0)=g(1)=0 nên x=0,1 là hai nghiệm của phương trình.
Lại thấy g(21)<0 nên nghiệm của bất phương trình (∗) là x∈/[0,1].
Ta phải được x=y.Tương tự thì được x=y=z. Dẫn đến phương trình :
t2+3t+2−t8+5t−1=0
Hàm số h(t)=t2+3t+2−t8+5t−1 có h′(t)=2t+3+t28+25t−15>0 nên h đồng biến. Hơn nữa h(1)=0 nên t=1 là nghiệm duy nhất của phương trình. Từ đó (x,y,z)=(1,1,1) là nghiệm duy nhất của hệ.
Chứng minh rằng (xn) có giới hạn hữu hạn và tính giới hạn đó.
Lời giải :
Dễ dàng chứng minh được bằng quy nạp −1<xn<0.
Xét hàm số f(x)=x2/2−1 có f′(x)=x<0,∀x<0 nên f(x) nghịch biến trên (−∞,0). Ta kiểm tra được x1>0>x3 và x2<x4<0.
Từ đó mà :
f(x2)>f(x4)⇒x3>x5⇒f(x3)<f(x5)⇒x4<x6
Quy nạp ta được ngay dãy (x2n+1) giảm và (x2n) tăng. Mà (xn) bị chặn trên và dưới nên hai dãy con nói trên đều hội tụ, giả sử chúng hội tụ lần lượt về a,b. Chuyển qua giới hạn :
{a=b2/2−1b=a2/2−1⇒(a−b)(a+b−2)=0
Do a+b−2<0 nên ta được a=b=1±3, ta chọn a=b=1−3.
Nếu m=n thì m=n=k. Chú ý với mọi x∈[0,1] thì g(x)∈[116,1] mà x1∈[0,1], quy nạp ta được x2n+1leq1<k. Mâu thuẫn với việc giới hạn của nó bằng k.
Vậy phải có mn=2. Từ đó thu được (m,n)=(2,1),(1,2). Tức m=n, suy ra (un) không hội tụ.
2. Trường hợp 2 : 1<x1=a<k.
Với mọi x∈[1,k] thì g(x)∈[1,k] và g(x)<x.
Ta có :
x1=a>g(a)=x3
x2=f(x1)<f(x3)=x4
Quy nạp ta được (x2n+1) tăng và (x2n) giảm. Mà un∈(0,3) nên hai dãy này đều hội tụ. Gọi giới hạn của chúng lần lượt là m,n. Tương tự trường hợp 1 ta lí luận được m=n=k hoặc mn=2.
Nhưng ta thấy :
k>x1>x3>...>x2n+1>....
nên phải có mn=2. Tương tự trường hợp 1, ta cũng gặp mâu thuẫn.
3. Trường hợp 3 : x1=a=k.
Lúc này ta được xn=k,∀n, suy ra n→+∞limun=k.
4. Trường hợp 4 : k<x1a<2.
Xử lí tương tự trường hợp 1. Ta cũng lí luận được (un) không hội tụ.
5. Trường hợp 5 : x1=a≥2
Xứ lí tương tự trường hợp 2. Ta cũng lí luận được (un) không hội tụ.
Như vậy, tồn tại duy nhất giá trị a=33+27251+33−27251 để dãy (un) hội tụ.