Can someone explain their process of thinking when factoring this expression : x^35-x^19-x^17-x^2+1 ?
There are various methods for factoring an expression, but these usually involve linear factors, and guesswork, based upon past experience.
Also, sometimes an expression of higher order can have its order reduced by finding roots and extracting linear factors one at a time.
There is a procedural method for finding factors (as opposed to roots) for a general polynomial.
Let us start with a quadratic: x^2 +αx + β = 0, and assume two linear factors (x – a) and (x – b).
Then,
x^2 +αx + β = (x – a)(x – b)
x^2 +αx + β = x^2 + (a+b)x + ab
Equating coefficients of powers of x we get the following simultaneous equations.
a + b = α
ab = β
Solving for b gives us a quadratic in b, viz. b^2 – αb + β = 0.
Using the quadratic formula gives us, b = {α +/- √(α^2 – 4β)) / 2
If we limit ourselves to real solutions (α^2 >= 4β), and rational solutions (α^2 – 4β = γ^2, where γ is a rational number, then we will have two factors.
But what if we now have a larger polynomial that we wish to factor,
e.g. x^20 + a1.x^19 + a2.X^18 + ...
We can assume 20 linear factors and use the previous procedure to find real, rational factors.
If that fails, assume one quadratic factor and 18 other linear factors. Create your set of simultaneous equations and once again look for real rational solutions.
If that fails, repeat with a cubic factor and so on up until x^10. If still no solutions, then the polynomial is unfactorisable.
If you are successful in finding a higher-order factor, then extract that factor from the original polynomial, leaving a polynomial of reduced power, and repeat the above procedure.
Obviously, with large polynomials, it would not be a good idea to do this by hand (you could get a pretty large set of simultaneous equations), but instead use a computer algebra program, such as Mathemtica or Maple. Such applications would use software procedures similar to the above to output a solution for the user.
The actual solution to your polynomial is:
x^35 – x^19 – x^17 – x^2 + 1 = (x^18 + x – 1)(x^17 – x – 1)
(I used Maple)