Why fundamental theorem of algebra is stated less intuitively in college math?

Question

Wherever I look on the internet I find the statement of fundamental theorem of algebra like:

Every non-constant single-variable polynomial with complex coefficients has at least one complex root.

While in school times and in the sources where the target audience are grade school students it is stated like:

Every non-zero, single-variable, degree $n$ polynomial with complex coefficients has, counted with multiplicity, exactly $n$ complex roots.

Although both of these statements are identical but I can't seem to understand the reason why it is usually presented in the manner of the former definition which appears, at least to me, a little less intuitive than the later one.

I guess the reason might be the factor of multiplicity concerned in the later definition but I would like to reflect upon what do you think about this issue.

---

Edit

I first thought not to cite any sources at all since the definitions are versatile on internet but upon reading the comments I changed my mind. So, FYI, I got the first definition at https://en.wikipedia.org/wiki/Fundamental_theorem_of_algebra, http://mathworld.wolfram.com/FundamentalTheoremofAlgebra.html, https://www.math.ucdavis.edu/~anne/WQ2007/mat67-Ld-FTA.pdf, https://brilliant.org/wiki/fundamental-theorem-of-algebra/, http://www.mathwords.com/f/fundamental_thm_algebra.htm, https://people.richland.edu/james/lecture/m116/polynomials/theorem.html and https://www.youtube.com/watch?v=shEk8sz1oOw

and second one at https://www.mathsisfun.com/algebra/fundamental-theorem-algebra.html, http://www-groups.dcs.st-and.ac.uk/history/HistTopics/Fund_theorem_of_algebra.html, https://www.britannica.com/topic/fundamental-theorem-of-algebra, my grade school book(NCERT book and related reference books) and most of the sources given for the first definition.

And yes, wording of the definitions I've provided are taken directly from Wikipedia.

Answer 1

Perhaps they like the development to be parallel to that in arithmetic. First you show that every positive integer greater than one has a prime divisor. Then you show that every positive integer greater than one has a unique factorization. Math is about abstraction, and abstraction is when you see the same thing going on in two different situations. You toss out what is different and study the structure of the sameness.

So here, the pedagogues saw something similar in arithmetic and algebra and pointed it up.

Answer 2

The issue of "multiplicity" is a sticky one - without referencing the particular structure of a polynomial, it's hard to understand what multiplicity is. In fact, when I first saw that second definition, it felt like cheating - of course every polynomial of degree $n$ has exactly $n$ roots, if you're allowed to count some of them twice! The first one leaves no sense of "cheating", and doesn't appeal to anything other than an understanding of what a "root" is.

It also reflects the construction better. The second statement suggests that the "right" way to find the roots of a polynomial is to factor it completely, and then pick out the roots. But in practice, it's much easier to pick out roots one at a time and divide out the corresponding factors. For example, you could solve $x^3 - x^2 - x + 1 = 0$ by factoring it as $(x - 1)^2(x + 1) = 0$ immediately; but it's much easier to notice that $1$ is a solution, and then use synthetic division to divide the left-hand side by $x - 1$. This is more accurately reflected in the first statement: we find just one root, and make use of it before looking for any more.

Finally, mathematicians generally prefer elegance of statement over clarity. The first statement is "slick"; the second, while possibly more useful, is clunkier. Aesthetically speaking, the first statement is preferable.