Fórmula Explícita
Una fórmula explícita calcula directamente cualquier término de una sucesión usando su número de posición, sin necesitar los términos anteriores.
Definition
Una fórmula explícita (o de forma cerrada) permite encontrar cualquier término de una sucesión directamente sustituyendo su número de posición, sin necesidad de conocer los términos anteriores: para sucesiones aritméticas, $a_n = a_1 + (n-1)d$, y para sucesiones geométricas, $a_n = a_1 \cdot r^{n-1}$, ambas derivadas de las reglas recursivas pero calculadas sin iteración. De manera más general, una fórmula explícita define el término general $a_n$ puramente en términos de $n$; para recurrencias lineales, el método de raíces características produce fórmulas explícitas que involucran raíces del polinomio característico, pero no todas las recurrencias tienen formas cerradas elementales, como la función de partición $p(n)$.
Example
Para la sucesión $3, 7, 11, 15, \ldots$, la fórmula explícita es $a_n = 4n - 1$, así que el término $100$ es $a_{100} = 4(100) - 1 = 399$ sin necesidad de listar los $100$ términos. Para $2, 5, 8, 11, \ldots$ con $a_1 = 2$, $d = 3$: la fórmula explícita es $a_n = 3n - 1$, dando un término $200$ de $599$. La fórmula explícita para la suma de los primeros $n$ enteros positivos, $S_n = n(n+1)/2$, puede demostrarse por inducción o mediante el argumento de emparejamiento de Gauss, evaluándose instantáneamente para cualquier $n$.
Key Insight
Las fórmulas explícitas son como atajos: en lugar de recorrer cada término hasta llegar al $50$, saltas directamente con un solo cálculo, y convertir una fórmula recursiva en una explícita es una habilidad clave, que revela que las sucesiones aritméticas son lineales en $n$ mientras que las geométricas son exponenciales. La existencia de una fórmula de forma cerrada no está garantizada: decidir si una sucesión definida recursivamente tiene una es una pregunta profunda en computación simbólica, relacionada con la teoría de sucesiones D-finitas y el teorema de Liouville sobre integración en términos finitos.