5 votos

Fórmula para las sumas de las filas de un "triángulo" de progresiones aritméticas

Debido a mi falta de formación matemática, me resulta difícil formular esta pregunta, así que tened paciencia.

Deja ' $a_{(1,j)}$ ' definen las siguientes series: $a_{(1,1)}=1$ , $a_{(1,n)}=a_{(1,(n-1))}+2$ . Sea $a_{(i,j)}$ definir la siguiente progresión aritmética para $i>1$ : $a_{(i,1)}=a_{((i-1),1)}+1+i$ , $a_{(i,n)}=a_{(i,(n-1))}+2\cdot i$ . Construyendo un triángulo cuyas diagonales consisten en elementos de progresiones aritméticas definidas a lo largo de esta línea, obtenemos (suponiendo que lo he hecho todo bien):

1
4  3
8  8  5
13 14 12 7
19 21 20 16 9
26 29 29 26 20 11
34 38 39 37 32 24 13
43 48 50 49 45 38 28 15
. . .

Donde los elementos de la i-ésima diagonal (empezando por arriba) son los elementos de $a_{(i,j)}$ .

Mis preguntas sobre esta peculiar criatura son las siguientes:

  • ¿Podemos encontrar una fórmula explícita para las sumas de las filas de este triángulo y demostrar que es válida? Hago hincapié en la parte de "prueba" porque utilizando técnicas semi-intuitivas de la escuela secundaria (hasta ahí llego) he encontrado la siguiente fórmula, que parece funcionar: $\frac{1}{2}(n^3+2n^2-n)$ . Pero, por supuesto, no tengo ninguna prueba de que esta fórmula sea inductivamente correcta.
  • Suponiendo que la fórmula que he encontrado antes sea correcta, ¿el hecho de que sea un polinomio de 3er grado sería válido para otros "triángulos de progresiones aritméticas"? (Esto me interesa por la aparente conexión entre el número '3' y nuestra especie de 'triángulo').

Gracias por su ayuda.

4voto

DiGi Puntos 1925

Tu fórmula es correcta, y algo parecido ocurre con los triángulos de forma similar. En deferencia a tu falta de conocimientos, he incluido muchos detalles algebraicos; espero que no sea demasiado complicado.

Lo que tienes es una secuencia de progresiones aritméticas cuyas diferencias forman ellas mismas una progresión aritmética: en tu caso las diferencias son $2,4,6,8,\dots$ . Además, los primeros términos de sus progresiones se comportan de forma regular: forman una secuencia, $\langle 1,4,8,13,19,\dots\rangle$ que no es aritmética, pero cuyo secuencia de diferencia es. Por secuencia de diferencia Me refiero a la secuencia de diferencias entre términos consecutivos: $\langle 3,4,5,6,\dots\rangle$ .

Suponga que tiene una colección de progresiones aritméticas de este tipo:

  • para cada $n$ , $\langle a_{n,1},a_{n,2},a_{n,3},\dots\rangle$ es una progresión aritmética con diferencia constante $d_n$ ;

  • $\langle d_1,d_2,d_3,\dots\rangle$ es una progresión aritmética con diferencia constante $d$ y

  • la secuencia $\langle a_{1,1},a_{2,1},a_{3,1},\dots\rangle$ de los primeros términos no es aritmética, sino su secuencia de diferencia $\langle a_{2,1}-a_{1,1},a_{3,1}-a_{2,1},a_{4,1}-a_{3,1},\dots\rangle$ es, con diferencia constante $e$ .

Ahora construyes un triángulo igual que hiciste con tus progresiones específicas. Podemos calcular las sumas de las filas de la siguiente manera.

Los términos de la $n$ -la fila son $a_{n,1},a_{n-1,2},a_{n-2,3},\dots,a_{1,n}$ . En otras palabras, son los términos $a_{k,n+1-k}$ para $k=1,2,\dots,n$ . Ahora $a_{k,n+1-k}$ es el $(n+1-k)$ -término en el $k$ -a la progresión, por lo que $$a_{k,n+1-k} = a_{k,1} + ((n+1-k)-1)d_k = a_{k,1}+(n-k)d_k,$$ et $d_k$ es el $k$ -diferencia, por lo que $$d_k = d_1+(k-1)d.$$ Así, $$\begin{align*}a_{k,n+1-k} &= a_{k,1} + (n-k)(d_1+(k-1)d)\\ &= a_{k,1} + (n-k)d_1 + (n-k)(k-1)d\\&= a_{k,1} + nd_1 - kd_1 +(nk - n - k^2 + k)d\\ &= a_{k,1} + n(d_1-d) + ((n+1)d-d_1)k-dk^2, \end{align*}$$

y la suma de los términos del $n$ -la fila es $$\begin{align*} \sum\limits_{k=1}^n a_{k,n+1-k} &= \sum\limits_{k=1}^n \left(a_{k,1} + n(d_1-d) + ((n+1)d-d_1)k-dk^2\right)\\ &= \sum\limits_{k=1}^n a_{k,1} + \sum\limits_{k=1}^n n(d-d_1) + \sum\limits_{k=1}^n ((n+1)d-d_1)k - \sum\limits_{k=1}^n dk^2\\ &= \sum\limits_{k=1}^n a_{k,1} + n^2(d-d_1) + ((n+1)d-d_1)\sum\limits_{k=1}^n k - d\sum\limits_{k=1}^n k^2. \end{align*}$$

Las sumas $\sum\limits_{k=1}^n k = \dfrac12n(n+1)$ et $\sum\limits_{k=1}^n k^2 = \dfrac16n(n+1)(2n+1)$ son conocidos, por lo que $$\begin{align*} \sum\limits_{k=1}^n a_{k,n+1-k} &= \sum\limits_{k=1}^n a_{k,1} + n^2(d-d_1) + \frac12((n+1)d-d_1)n(n+1) - \frac16dn(n+1)(2n+1)\\ &= \sum\limits_{k=1}^n a_{k,1} + d\left(n^2 + \frac12n(n+1)^2 - \frac16n(n+1)(2n+1)\right) - d_1\left(n^2 + \frac12n(n+1)\right)\\ &= \sum\limits_{k=1}^n a_{k,1} + \frac{d}6\left(6n^2 + 3n(n+1)^2 - n(n+1)(2n+1)\right) - \frac{d_1}2(3n^2+n)\\ &= \sum\limits_{k=1}^n a_{k,1} + \frac{d}6\left(6n^2 + (3n^3+6n^2+3n) - (2n^3+3n^2+n)\right)-\frac{d_1}2(3n^2+n)\\ &= \sum\limits_{k=1}^n a_{k,1} + \frac{d}6(n^3+9n^2+2n)-\frac{d_1}2(3n^2+n)\\ &= \sum\limits_{k=1}^n a_{k,1} + \frac{d}6 n^3 + \frac{3d-3d_1}{2}n^2 + \frac{2d-3d_1}{6}n. \end{align*}$$

Ahora tenemos que evaluar $\sum\limits_{k=1}^n a_{k,1}$ en términos de $n$ . Esto requiere un poco de trabajo, ya que la secuencia de $a_{k,1}$ no es aritmética. Dejemos que $e_k = a_{k+1,1}-a_k$ ; asumimos que la secuencia $\langle e_1, e_2, e_3,\dots\rangle$ es aritmética con diferencia constante $e$ Así que $e_k = e_1 + (k-1)e$ . Así, $$\begin{align*} a_{k,1} &= a_{1,1} + e_1 + e_2 + \dots + e_{k-1}\\ &= a_{1,1} + \sum\limits_{i=1}^{k-1} (e_1 + (i-1)e)\\ &= a_{1,1} + \sum\limits_{i=1}^{k-1} e_1 + e\sum\limits_{i=1}^{k-1} (i-1)\\ &= a_{1,1} + (k-1)e_1 + e\sum\limits_{i=0}^{k-2} i\\ &= a_{1,1} + (k-1)e_1 + \frac12 e(k-2)(k-1)\\ &= a_{1,1} + e_1k - e_1 + \frac{e}2 k^2 - \frac{3e}{2}k+e\\ &= \frac{e}2 k^2 + \frac{2e_1-3e}{2}k + (a_{1,1}+e-e_1), \end{align*}$$

y por lo tanto $$\begin{align*} \sum\limits_{k=1}^n a_{k,1} &= \sum\limits_{k=1}^n \left(\frac{e}2 k^2 + \frac{2e_1-3e}{2}k + (a_{1,1}+e-e_1)\right)\\ &= \frac{e}{2}\sum\limits_{k=1}^n k^2 + \frac{2e_1-3e}{2}\sum\limits_{k=1}^n k + \sum\limits_{k=1}^n (a_{1,1}+e-e_1)\\ &= \frac{e}{12}n(n+1)(2n+1) + \frac{2e_1-3e}{4}n(n+1) + (a_{1,1}+e-e_1)n\\ &= \frac{e}{12}(2n^3+3n^2+n) + \frac{2e_1-3e}{4}(n^2+n) + (a_{1,1}+e-e_1)n\\ &= \frac{e}6 n^3 + \frac{e_1-e}{2}n^2 + \frac{6a_{1,1}+2e-3e_1}{6}n. \end{align*}$$

Por último, el $n$ -la suma de la fila es $$\begin{align*} &\sum\limits_{k=1}^n a_{k,1} + \frac{d}6 n^3 + \frac{3d-3d_1}{2}n^2 + \frac{2d-3d_1}{6}n =\\ &\frac{e}6 n^3 + \frac{e_1-e}{2}n^2 + \frac{6a_{1,1}+2e-3e_1}{6}n + \frac{d}6 n^3 + \frac{3d-3d_1}{2}n^2 + \frac{2d-3d_1}{6}n =\\ &\frac{e+d}6 n^3 + \frac{e_1-e+3d-3d_1}2 n^2 + \frac{6a_{1,1}+2(e+d)-3(e_1+d_1)}6 n,\tag{1} \end{align*}$$

que sí es cúbico en $n$ .

Como comprobación rápida de todo este álgebra, observe que en su ejemplo original $a_{1,1}=1$ , $d_1=2$ , $d=2$ , $e_1=3$ y $e=1$ Así que $(1)$ se reduce a $$\frac12 n^3 + n^2 - \frac12 n,$$ como sabemos que debe ser.

1voto

Matthew Scouten Puntos 2518

Desde $a(1,1) = 1$ et $a(i,1) = a(i-1,1) + 1 + i$ obtenemos $$a(i,1) = 1 + \sum_{k=2}^i (1+k) = \frac{i^2}{2} + \frac{3i}{2} - 1.$$ A partir de ahí y $a(i,j) = a(i,j-1) + 2i$ obtenemos $$a(i,j) = \frac{i^2}{2} + \frac{3i}{2} - 1 + \sum_{k=2}^j 2i = \frac{i^2}{2} + \frac{3i}{2} - 1 + 2 i (j-1).$$ Entonces su $i$ La suma de las filas es $$\begin{align*} \sum_{k=1}^i a(i+1-k,k) &= \sum_{k=1}^i \left(-\frac{3}{2}{k}^{2}+\frac{3}{2}k+ik-1+\frac{1}{2}{i}^{2}+\frac{1}{2}i\right)\\ &= \frac{i^3}{2} + i^2 - \frac{i}{2}\text{(after some simplification)}. \end{align*}$$

0voto

Shabaz Puntos 403

Para tu segunda pregunta, se esperaría un polinomio de tercer grado para las sumas de las filas. Como las columnas aumentan en uno más cada fila, son cuadráticas en el número de filas. Entonces, el número de elementos de cada fila aumenta linealmente con el número de filas, por lo que la suma de filas será cúbica.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X