I proved that if the discriminant of a monic polynomial with $p > 5$ an odd prime is nonzero it has at least 3 roots in the reals. I'm trying to apply that result to this polynomial $f(x) = x^p - (p+1)x - 1$, how can I show that it has a nonzero discriminant?
Also, how do I show that $f(x)$ mod $p$ is irreducible in $\mathbb{F}_p[x]$? My approach was to suppose that $\alpha \in \mathbb{F}_p$ is a root, then $f(\alpha) = \alpha^p - (p+1)\alpha - 1$. But the field has characteristic $p$, so $\alpha^p = \alpha$ and $p\alpha = 0$, which means $f(\alpha) = -1$, and $\alpha$ can't be a root. How can I proceed from here?