Xét: f(t)=tantt,t∈(0,π2)
f′(t)=tcos2t−tantt2=t−sint.costt2.cos2t
(vì: 0<sint,cost<1⇒sint.cost<sint<t)
⇒f là hàm tăng trên (0,π2)
Vì vậy: f(x)=f(y)⇔x=y
Thay vào phương trình:
sinx+siny=√2⇔sinx=1√2
⇔x=y=π4 ( vì x,y∈(0;π2))
Vậy hệ có nghiệm duy nhất: x=y=π4
(Chứng minh : sint<t,∀t∈(0;π2:
Xét f(t)=sint−t⇒f′(t)=cost−1<0
⇒f(t) nghịch biến trên (0;π2)
⇒f(t)<f(0)=0⇒sint<t)
*Chú ý:
|sinx|≤|x|,∀x∈R, Dấu "=" xảy ra ⇔x=0
sinx<x<tanx,∀x∈(0,π2)