Vamos a presentar el vector:
[matemáticas] \ vec {f_n} = \ left [\ begin {matrix} (x + \ frac {1} {x}) ^ {n \, \, \, \, \, \,} \\ (x + \ frac {1} {x}) ^ {n-1} \\ \ cdots \\ (x + \ frac {1} {x}) ^ {0 \, \, \, \, \, \,} \ \ \ end {matrix} \ right] [/ math]
en el que cada componente se puede escribir con una expansión binomial:
[matemáticas] \ begin {align *} (x + \ frac {1} {x}) ^ m & = \ sum_ {k = 0} ^ m \ binom {m} {k} x ^ k \ frac {1} {x ^ {mk}} \\ & = \ sum_ {k = 0} ^ m \ binom {m} {k} x ^ {2k-m} \ end {align *} [/ math]
- Encuentra [matemáticas] x [/ matemáticas] en esta expresión: [matemáticas] \ dfrac {58} {15} = 3 + \ dfrac {1} {1+ \ frac {1} {6+ \ frac {1} {x }}}[/matemáticas]
- ¿Cuál es la función que equivale a las siguientes series: [matemáticas] \ tan \ theta – \ frac 1 3 \ tan ^ 3 \ theta + \ frac 1 5 \ tan ^ 5 \ theta – \ cdots [/ math]?
- ¿Por qué es [math] \ displaystyle \ lim_ {x \ to 0} \ frac {\ sin x} {x} [/ math] que es igual a 1 no [math] \ displaystyle \ lim_ {x \ to 0} \ frac {\ sin x} {2x} [/ math] o [math] \ displaystyle \ lim_ {x \ to 0} \ frac {\ sin x} {x / 2} [/ math]?
- ¿Cómo hacer ecuaciones simultáneas? ¿Cuáles son los conceptos básicos?
- ¿Hay algún polinomio con todas las raíces reales pero las raíces de la derivada no son todas reales?
Como esta expansión es simétrica, en cada componente, los coeficientes de [matemática] x ^ j [/ matemática] y [matemática] x ^ {- j} [/ matemática] son iguales. Por lo tanto, podemos escribir [math] \ vec {f_n} [/ math] como un producto matricial con solo la mitad del Triángulo de Pascal:
[matemáticas] \ vec {f_n} = P_n \ izquierda [\ begin {matrix} x ^ {n \, \,} & + & x ^ {- n \, \, \, \,} \\ x ^ {n -1} & + & x ^ {- (n-1)} \\ & \ cdots & \\ x ^ {1 \, \,} & + & x ^ {- 1, \, \, \,} \ \ & x ^ {0} & \\ \ end {matriz} \ right] [/ math]
donde [math] P_n [/ math] es la matriz de Pascal triangular superior:
[matemáticas] P_n = \ left [\ begin {matrix} \ binom {n} {0} & 0 & \ binom {n} {1} & 0 & \ cdots & 0 \\ 0 & \ binom {n-1} {0} & 0 & \ binom {n-1} {1} & \ cdots & \ binom {n-1} {\ frac {n-1} {2}} \\ \ cdots \\ 0 & 0 & 0 & 0 & \ cdots & \ binom {nn} {0} \ end {matrix} \ right] [/ math]
Esta [matemática] P_n [/ matemática] es invertible, y para [matemática] n = 5 [/ matemática] podemos escribir:
[matemáticas] \ izquierda [\ begin {matrix} x ^ 5 + x ^ {- 5} \\ x ^ 4 + x ^ {- 4} \\ \ cdots \\ x ^ 1 + x ^ {- 1} \ \ x ^ {0} \\ \ end {matrix} \ right] = \ left [\ begin {matrix} \ color {red} {1} & 0 & \ color {red} {- 5} & 0 & \ color {rojo} {5} y 0 \\ 0 y 1 y 0 y -4 y 0 y 2 \\ 0 y 0 y 1 y 0 y -3 y 0 \\ 0 y 0 y 0 y 1 y 0 y -2 \\ 0 y 0 y 0 y 0 y 1 y 0 \\ 0 y 0 y 0 y 0 y 0 y 1 \ end {matrix} \ right] \ vec {f_5} [/ math]
(Observe cómo los elementos de [matemáticas] P_5 ^ {- 1} [/ matemáticas] corresponden a la última tabla de la respuesta de Howard Shi )
El primer elemento del vector resultante es nuestra respuesta:
[matemáticas] \ begin {align *} x ^ 5 + x ^ {- 5} & = \ color {red} {1} (x + \ frac {1} {x}) ^ 5 + \ color {red} { -5} (x + \ frac {1} {x}) ^ 3 + \ color {rojo} {5} (x + \ frac {1} {x}) ^ 1 \\ & = a ^ 5-5a ^ 3 + 5a \ end {align *} [/ math]
MATLAB
n = 5;
a = 3;
P_n = ceros (n + 1, n + 1); % Triángulo pascal
para m = n: -1: 0
diagIndex = n + 1 – m;
colIndex = diagIndex: 2: (n + 1);
k = (colIndex-diagIndex) / 2;
P_n (diagIndex, colIndex) =…
factorial (m) ./ (factorial (k). * factorial (mk));
fin
selección = ceros (1, (n + 1));
selección (1) = 1;
selección * inv (P_n) * (a. ^ (n: -1: 0) ‘)