Để x+3xy1−y>0 mà từ giả thiết x,y>0
Suy ra : 1−y>0⇔y<1 .
Vậy ĐKXĐ: x>0; 0<y<1 .
Ta có :




Xét f(t)=t.3t với t>0 .
Ta có f′(t)=3t+t.3t.ln3>0 với ∀t>0 , suy ra f(t) đồng biến trên khoảng (0;+∞) .
Từ (*) ta có f(3−3y)=f(3xy+x) với 3−3y>0; 3xy+x>0 nên 3−3y=3xy+x⇔y=3(x+1)3−x .
Ta có :





