Enfoque 1: Uso del teorema del factor / resto
[matemáticas] P (x) = (x + 1) ^ {2n} – x ^ {2n} – 2x – 1 [/ matemáticas] n> 2
Dado que la evaluación de P en [matemáticas] x = 0, -1 [/ matemáticas] y [matemáticas] – \ frac {1} {2} [/ matemáticas] da 0. [matemáticas] x, (x + 1), [/ math] y [math] (2x + 1) [/ math] divide P (x). Entonces P (x) se puede escribir como [matemáticas] P (x) = x (x + 1) (2x + 1) Q (x) [/ matemáticas].
Enfoque 2:
[matemáticas] P (x) = (x + 1) ^ {2n} – x ^ {2n} – 2x – 1 [/ matemáticas] n> 2
[matemáticas] P (x) = (x + 1) ^ {2n} – (x + 1) – x ^ {2n} – x [/ matemáticas]
[matemáticas] P (x) = (x + 1) ((x + 1) ^ {2n-1} – 1) – x (x ^ {2n-1} + 1) [/ matemáticas]
[matemáticas] P (x) = (x + 1) (x + 1-1) (\ sum_ {i = 0} ^ {2n-2} {(x + 1) ^ {2n-2-i}}) [/matemáticas]
[matemáticas] – x (x + 1) (\ sum_ {i = 0} ^ {2n-2} {(- 1.x) ^ {2n-2-i}}) [/ matemáticas]
[matemáticas] P (x) = (x + 1) (x) ((\ sum_ {i = 0} ^ {2n-2} {(x + 1) ^ {2n-2-i}}) [/ matemáticas ]
[matemáticas] – (\ sum_ {i = 0} ^ {2n-2} {(- 1.x) ^ {2n-2-i}})) [/ matemáticas]
[matemáticas] P (x) = (x + 1) (x) ((\ sum_ {i = 0} ^ {2n-2} {(x + 1) ^ {2n-2-i} – {(-1 .x) ^ {2n-2-i}}}) [/ matemáticas]
sustituyendo [math] j = 2n-2-i [/ math] por los límites de suma da
[matemáticas] P (x) = (x + 1) (x) (\ sum_ {j = 0} ^ {2n-2} {(x + 1) ^ {j} – (-1.x) ^ {j }}) [/ matemáticas] – (1)
si miras el término dentro de la suma tiene tres casos
A. para j = 0 el término se evalúa a 0
B. para j = 2k + 1 el término se evalúa como
[matemáticas] (x + 1) ^ {2k + 1} + x ^ {2k + 1} [/ matemáticas]
[matemáticas] ((x + 1) + x) Q_j {x} [/ matemáticas]
[matemáticas] (2x + 1) Q_j {x} [/ matemáticas]
C. para j = 2k el término se evalúa como
[matemáticas] (x + 1) ^ {2k} – x ^ {2k} [/ matemáticas]
[matemáticas] ((x + 1) ^ {k} – x ^ {k}) ((x + 1) ^ {k} + x ^ {k}) [/ matemáticas]
Tenga en cuenta que lo anterior también volverá a ser el caso B o el caso C, dependiendo de si k es impar o par, y que el par eventualmente conduciría a [matemáticas] (x + 1) ^ {2} – x ^ {2} [/ math] que tiene [math] (2x + 1) [/ math] presente.
por lo tanto (1) puede escribirse como
[matemáticas] P (x) = (x + 1) (x) (2x + 1) (\ sum_ {j = 0} ^ {2n-2} {Q_j (x)}) [/ matemáticas]
sustituyendo [matemáticas] Q (x) = \ sum_ {j = 0} ^ {2n-2} {Q_j (x)} [/ matemáticas] en lo anterior
[matemáticas] P (x) = (x + 1) (x) (2x + 1) Q (x) [/ matemáticas]