opus said:
I'm very new to the whole proof process thing, as this is a basic high school math book. I thought I could just smack it a few times with legal algebraic manipulations and if the two sides end up being identical, then the given equation is a true statement? You're saying this is not an acceptable way to do a proof?
When you multiplied x - 1 and ##x^{n -1} + x^{n - 2} + \dots + x + 1##, you were tacitly assuming that ##\frac{x^n - 1}{x - 1} = x^{n -1} + x^{n - 2} + \dots + x + 1##. This assumption isn't automatically correct, as long as the legal algebraic manipulations (your terminology) you do are
reversible.
Here is sort of an example. I say "sort of" because it's solving an equation rather than proving an equation is true.
##\sqrt{x - 1} = -2##
Square both sides:
##x - 1 = (-2)^2 = 4##
##x = 5## Tada!
Except that ##\sqrt 5 \neq -2##
The problem is that squaring both sides of an equation is not a reversible operation for the reason that ##f(x) = x^2## is not a one-to-one function. (For a given output value, there are generally two input values.
Your proof would be acceptable if the "legal algebraic manipulations" you applied were limited to adding (subtracting) the same number to (from) both sides, multiplying both sides by the same nonzero number, dividing both sides by the same nonzero value, and a few more operations that are one-to-one (like taking logs, raising both sides as a power of, say, e, and a few others).
opus said:
I didn't think about dividing the LHS via long division. The ##x^n## throws me for a loop there. I'm not sure how I'd go about divining them to end up with something on the RHS as I don't see the pattern in ##x^{n-1} + x^{n-2} \dots + x + 1##
I look at this as going ##x^{n-1}+x^{n-2}+x^{n-3}+x^{n-4}\dots+x+1## How can I look at this as being something that I can get through division on the LHS?
Here's a link to a page I found on polynomial long division --
http://www.sosmath.com/algebra/factor/fac01/fac01.html
opus said:
And again, in terms of step 4 an distributing though, I don't see how I can do this with the missing terms. I know I'm not looking at it correctly as I think that the ellipses means that the starting pattern will go on forever.
No, that's not what the ellipsis (singular, there's just one ellipsis there) means. The ellipsis appears in the middle, so the exponents march down from n-1, n-2, and so on, down to an exponent of 1, and then an exponent of 0.
By distributing in the product ##(x - 1)(x^{n -1} + x^{n - 2} + \dots + x + 1)##, what I mean is to multiply x times each term in the right-hand expression, and then multiply -1 times each term in the right-hand expression. You should see that most of the terms drop out.
For example, if I have ##(x - 1)(x^3 + x^2 + x + 1)## I get ##x^4 + x^3 + x^2 + x## + ##-x^3 - x^2 - x -1##. If you combine like terms, what do you get?