First we prove: x+y>1.
Note that,
(x+y)(xn−yn)=xn+1−yn+1+xy(xn−1−yn−1).
Then x+y=xn−ynxn+1−yn+1+xy×xn−ynxn−1−yn−1=1+xy×xn−ynxn−1−yn−1.
Since n>1, we know that xn−yn and xn−1−yn−1 have the same sign.
Thus,
xn−ynxn−1−yn−1>0.
Therefore x+y>1.
Next we prove:
x+y<n+12n.
First we prove a lemma.
Lemma: Let x,y>0,n be a positive integer. Then
n+1xn+1−yn+1>(nxn−yn)(2x+y).(1)
Proof:
(1) is equivalent ton+1xn+xn−1y+xn−2y2+⋯+yn>(nxn−1+xn−2y2+⋯+xyn−2+yn−1)(2x+y)⇔n+1xn+xn−1y+xn−2y2+⋯+yn>2n2(xn+xn−1y+xn−2y2+⋯+yn)−(xn+yn)⇔n+1xn+xn−1y+xn−2y2+⋯+yn<2xn+yn⇔2(xn+xn−1y+xn−2y2+⋯+yn)<(n+1)(xn+yn).(2)
From (xi−yi)(xn−i−yn−i)>0⇒xiyn−i+xn−iyi<xn+yn.
Therefore (2) holds, and the lemma is proved.
Return to the original problem.
Without loss of generality, assume x>y>0. Then
xn−yn>0,xn+1−yn+1>0.
From the lemma and the given condition, we get
n+11>2nx+y⇒x+y<n+12n.
Therefore 1<x+y<n+12n.