Say you were asked to prove that the polynomial $$n^4 + 4$$ is composite $$\forall(n>1)$$.
The proof basically states that given that $$n^4 + 4 = (n^2 - 2n + 2) * (n^2 + 2n + 2)$$ (easily verifiable via for example long division) and that both of those squared polynomials are greater than 1 for $$n > 1$$ it follows that the original polynomial is composite.
What I am trying to understand is what line of reasoning would lead someone to attempt to factor the original polynomial (rather than say induction) and, more importantly, how one would arrive at one of these two factors (given one finding the other is trivial).