$(p-1)$ es par, que $p-1=2k$ podemos escribir:
$2^p-2=2(2^{p-1}-1)=2(2^k-1)(2^k+1)=2(2^{\frac{p-1}{2}}-1)(2^{\frac{p-1}{2}}+1)$
Si $k=\frac{p-1}2=2m+1$ es impar que tenemos:
$m=\frac{p-3}2$
Entonces:
$2^k-1=(2-1)(2^{2m}+2^{2m-1}+2^{2m-2}+ \cdot\cdot\cdot)=(2^{p-3}+2^{p-4}+2^{p-5}\cdot \cdot \cdot)$
También:
$2^k+1=(2+1)(2^{2m}-2^{2m-1}+2^{2m-2}-2^{2m-3} \cdot\cdot\cdot)=3(2^{p-3}-2^{p-4}+2^{p-5}-2^{p-7}\cdot \cdot \cdot)$
Por lo tanto, los factores de $2^p-2$ puede ser como máximo ±2, ±p,3, $A=(2^{p-3}+2^{p-4}+2^{p-5}\cdot \cdot \cdot)$ y $B=(2^{p-3}-2^{p-4}+2^{p-5}-2^{p-7}\cdot \cdot \cdot)$ . Ahora construimos una ecuación cuyas raíces son estos factores:
$[x-(2^n-2)](x±2)(x±p)(x-3)(x-A)(x-B)=0$
Podemos reescribir esta ecuación como
$f(x,p)=(±2)(3)(±p)(2^n-2)\cdot A\cdot B$
El lado derecho de esta ecuación divide $2^p-2$ Por lo tanto, el polinomio $f(x, p)$ en el lado izquierdo lo divide.
1 votos
También hay polinomios constantes $1$ et $2$
1 votos
@J.W.Tanner También, de manera similar, están los polinomios constantes $-1$ et $-2$ . Además, tenga en cuenta $3$ et $-3$ también divide siempre $2^p - 2$ para todos los impar $p$ (no sólo primos), pero no se puede utilizar $3p$ o $-3p$ ya que no funciona para $p = 3$ . Por lo tanto, también están los polinomios constantes $6$ et $-6$ .
0 votos
¿Qué dice el teorema fundamental del álgebra sobre los factores de un polinomio de grado p-1? ¿Qué ocurre si algunos de los factores tienen raíces complejas?