It is clear that x=1 is a solution of the problem (with y any positive integer).
We now show that for x>1, the given equation has no solution. In fact, suppose that there are x>1 and y are positive integers satisfying the equation. Then, one has y>1 and
x2016+x2015+⋯+x+1=y2015−1=(y−1)(y2014+y2013+⋯+y+1).
Put p=2017, and note that p is a prime. Let q be a prime factor of xp−1+⋯+x+1. Then (x,q)=1 and by Fermat's little theorem we get q∣xq−1−1. But q∣xp−1, it follows that the order of x modulo q is a divisor of (p,q−1) which is either 1 or p. This shows that q∣x−1 or p∣q−1.
If q∣x−1 then xp−1+⋯+x+1≡p(modq), i.e. q∣p, this gives p=q. This means that any prime divisor of xp−1+⋯+x+1 is congruent either to 0 or to 1(modp), hence any positive divisor of xp−1+⋯+x+1 is too. In particular, y−1 and y2014+y2013+⋯+y+1 (which are positive divisors of xp−1+⋯+x+1) are congruent either to 0 or to 1(modp).
But, if p∣y−1 then
y2014+y2013+⋯+y+1≡2015≡0,1(modp),
we get a contradiction.
Hence, y−1≡1(modp), i.e. y≡2(modp), then
y2014+y2013+⋯+y+1≡22014+22013+⋯+2+1≡22015−1(modp).
This shows that 22015−1≡0(modp) or 22015−1≡1(modp). That is, either p∣22015−1 or p∣22014−1. On the other hand, by Fermat's little theorem again, p∣2p−1−1=22016−1. From this, we easily get p∣1 or p∣3 which is impossible. The problem is therefore solved.