La Wikipedia ofrece una prueba, pero no entiendo cómo:
$$a^n - b^n = (a-b)(a^{n-1} + ba^{n-2} +\cdots + b^{n-1})$$
se desprende de
$$x^{n-1} + x^{n-2} +\cdots + x + 1 = \frac{x^n - 1}{x-1}$$
¿Podría alguien explicarme cómo la suma de la serie geométrica explica la factorización?
2 votos
Enchufe $x=a/b$ en la fórmula de la suma geométrica, luego despejar los denominadores (multiplicar la izquierda por $b^{n-1}$ el numerador de la derecha por $b^n$ y el denominador de la derecha por $b$ y multiplicar ambos lados por $a-b$ ).
0 votos
@anon ¡Gracias anon! Sólo me preguntaba, ¿pero cómo lo has averiguado? Parece una conexión muy compleja, ¿podrías compartir tu razonamiento?
2 votos
Pero nosotros no necesito para obtener la factorización a partir de la $x$ cosas. Sólo hay que encontrar (o imaginar que se encuentra) el producto $(a-b)(a^{n-1}+a^{n-2}b+\cdots +b^{n-1})$ y observa que casi todos los términos del producto se cancelan.
0 votos
@AndréNicolas ¿Pero cómo podría alguien simplemente "encontrarlo"? ¿Cómo podría alguien descubrir tal conexión? ¿Es sólo el resultado de probar diferentes cosas al azar? ¿O es el resultado de una línea de pensamiento específica?
2 votos
@asdf: Hay un proceso llamado "homogeneización" de polinomios que es bueno conocer. Si $p(x)=c_nx^n+\cdots+c_1x+c_0$ es un polinomio cualquiera, entonces $$b^np(a/b)=c_na^n+c_{n-1}a^{n-1}b+c_{n-2}a^{n-2}b^2+\cdots+c_2a^2b^{n-2}+c_1a b^{n-1}+c_0b^n.$$ En última instancia, puede reducirse al reconocimiento de patrones: los monomios $a^kb^{n-k}$ (como $k$ varía) puede reescribirse como $(a/b)^kb^n$ y $b^n$ no varía con $k$ mientras que $(a/b)^k$ es más fácil de trabajar.
5 votos
Presumiblemente, vino de $a^2-b^2=(a-b)(a+b)$ y $a^3-b^3=(a-b)(a^2+ab+b^2)$ y luego buscar algo similar para los poderes superiores.
0 votos
Para más información sobre la homogeneización, especialmente los aspectos geométricos, véase esta pregunta.
0 votos
@AndréNicolas $a^4-b^4=(a^2)^2-(b^2)^2$ así que eso funciona bien :)