Vì \(x_0\) là số hữu tỉ nên ta có thể viết dưới dạng \(x_0=\frac{p}{q},\) với \(p,q\) nguyên tố cùng nhau, \(q>0\). Thay vào phương trình, rồi nhân cả hai vế với \(q^3\), ta được \(p^3+2015p^2q+2016pq^2+mq^3=0\to mq^3\vdots p,p^3\vdots q\to m\vdots p,q=1\to x_0=p\) là số nguyên.