What you are basically asking are why for numbers a,b and a non-negative integer n we have:
(a+b)x^n =ax^n + bx^n
In short: because they satisfy this distributive property. If we didn't know this we can deduce it from the distributive property of numbers:
(a+b)c = ac+bc for all numbers a,b,c.
For fixed numbers a,b and a non-negative integer n, define the functions f and g by:
f(x) = ax^n + bx^n
g(x) = (a+b)x^n
We wish to show that these are equal, and they are equal if and only if they agree at all function values. So if f(c) = g(c) for all numbers c, but this follows from:
f(c) = ac^n+bc^n = (a+b)c^n = g(c)
To show that numbers in general satisfy the distributive property you would have to work from the definition of numbers. For integers this can be worked out from the Peano axioms and an inductive argument. For rationals it follows without much trouble from the property for integers. For reals it depends on the construction, but it can get a bit technical and usually such an argument is shown in either introductory analysis or a rigorous calculus course. For complex numbers it follows from the real case without much trouble.
One way of summarizing many of these kinds of properties of numbers is to say that it is a field (see
http://en.wikipedia.org/wiki/Field_(mathematics)#Definition_and_illustration" for a short list of the properties that make us call a certain set a field).