This was my own motivation to learn schemes: Theorem (Mazur): If $E$ is an elliptic curve over $\mathbb Q$, then the torsion subgroup of $E(\mathbb Q)$ (the set of rational points of $E$) is equal to $\mathbb Z/n\mathbb Z$ for $n = 1, \dots, 10,$ or $12$, or $\mathbb Z/2n\mathbb Z \times \mathbb Z/2\mathbb Z$ for $n = 1,\ldots,4$. A special case (due to Mazur and Tate) is Theorem: If $E$ is an elliptic curve over $\mathbb Q$, then $E$ does not contain a rational point of order $13$. This is certainly a simple statement, but their proof uses the theory of schemes in a crucial way.