Lấy (1)−2(2) ta đượcex−y−ex+y=2y
⇔ex−y+x−y=ex+y+x+y
⇔f(x−y)=f(x+y) (∗)
Xét hàm số f(t)=et+t thì có f′(t)=et+1>0,∀t∈R
⇒ Hàm f đồng biến trên R
Từ đó: (∗)⇔x−y=x+y⇔y=0
Thế vào (2)⇔ex=x+1⇒x>−1
Xét hàm số f(x)=ex−x−1 trên khoảng (−1;+∞) thì có f′(x)=ex−1
Theo Rolle thì f′(x)=0 có 1 nghiệm thì f(x)=0 có tối đa 2 nghiệm
Mà f(0)=0 nên x=0 là nghiệm duy nhất
Vậy (x;y)=(0;0)