wiris detecta si una sucesión de números, que se le ha dado mediante sus primeros términos, sigue una progresión constante, aritmética, geométrica o polinómica. Esto permite obtener el término general de una sucesión o sumar sus términos con las fórmulas conocidas.

wiris clasifica las progresiones según el orden en qué las acabamos de enumerar. Así, si una progresión es constante, la clasifica como constante, aun cuando también es aritmética y geométrica. De igual forma, una progresión aritmética, que corresponde a una polinómica de primero grado, se califica como aritmética.

Por lo general, para toda sucesión finita de n números existe un polinomio de grado no superior a n-1 tal que los n primeros términos de la sucesión polinómica correspondiente coinciden con los de la sucesión. wiris formará siempre la sucesión polinómica correspondiente al polinomio de menor grado que cumple esta condición.

El comando progresión permite decidir que tipo de progresión sigue una sucesión de números. Una vez definida la progresión, la podemos guardar en una variable. Si llamamos pa la variable anterior, entonces la expresión p(i) nos da su término i-ésimo, para cualquiera número i y en el caso que n sea una variable, la expresión p(n) devuelve la fórmula para el término general de la progresión.

Funciones

Las funciones asociadas a progresiones son:

paso: comando paso Dada una progresión aritmética, calcula su diferencia (o paso). Si tenemos una progresión constante, la función devuelve el valor 0.

razón: comando razón Dada una progresión geométrica, calcula su razón. Si tenemos una progresión constante, la función devuelve el valor 1.

suma de términos de una progresión: comando sigma_progresión Dada una progresión, suma sus términos usando la fórmulas válidas en general. Esta generalidad hace que, a veces, la expresión final de la suma no sea la que estamos acostumbrados a ver. El comando tiene tres argumentos: la progresión (el primero) y el límite inferior y superior del sumatorio (segundo y tercero, respectivamente). Los límites del sumatorio pueden ser números enteros (incluso negativos) o polinomios con coeficientes números enteros.