A Polynomial with a Root Mod <i>p</i> for Every <i>p</i> has a Real Root (Q6900997)

In this interesting article, it is proved that if \(f\in \mathbb Q[x]\) is a polynomial with distinct complex roots such that \(f\) has at least \(k\) roots modulo \(p\) for every large prime \(p,\) then \(f\) has at least \(k\) real roots. As an application, it is shown that there is no finite set of positive definite binary quadratic forms such that for every large prime \(p,\) at least one of the forms has a non trivial solution to \(g(x, y)\equiv 0\bmod p.\) It is worth mentioning here that examples have been constructed efficaciously to demonstrate how to use Chebotarev's density theorem to study roots of polynomials modulo \(p,\) leading to the proof.