Vamos a estudiar la función $f(x)=nx-x^n$ $x>0$. $f'(x)=n(1-x^{n-1})$ así que hay un máximo global en $1$. La función es monótona creciente en $[0,1]$ y la disminución en el $[1,\infty]$. La función alcanza dos veces el mismo valor de $a$ si y sólo si $a\in [0,n-1]$$x\in [0,\sqrt[n-1]{n}]$. Así que para cualquiera de dichas $x_1,x_2$ tenemos en el hecho de $$|x_1-x_2|\leq\sqrt[n-1]{n}\leq 2\leq \frac{a}{n-1}+2.$$
Igualdad de caso: se debe tener $a=0$$2^{n-1}=n$$n=1,2$. Para $n=1$ $f(x)=0$ de forma idéntica (y el texto en realidad no tiene sentido), así que puede ser que desee supongamos $n\geq 2$ desde el principio, y para $n=2$ tenemos $f(x)=2x-x^2$: aquí $x_1=0$ $x_2=1$ nos da la igualdad. En todos los otros casos que hemos desigualdad estricta.