Secuencia de números catalanes: ¿Por qué f (n) = 2 f (n-1) + 1?

El último patrón es una expresión recursiva, y necesita una condición de inicialización como

[matemáticas] f (1) = 1 [/ matemáticas]

para que sea equivalente a la primera definición, suponiendo que [math] f (n) [/ math] se define en [math] n \ in \ mathbb {N} [/ math].

Si existe una [matemática] una [/ matemática] que

[matemáticas] f (n) + a = 2 (f (n-1) + a), [/ matemáticas]

Tenemos

[matemáticas] f (n) = 2f (n-1) + a [/ matemáticas]

donde [matemáticas] a = 1 [/ matemáticas]. Como [matemáticas] f (1) + 1 = 2 ^ 1 = 2 [/ matemáticas], entonces

[matemáticas] f (n) + 1 = 2 ^ n, [/ matemáticas]

y, equivalentemente,

[matemáticas] f (n) = 2 ^ n – 1. [/ matemáticas]


Además, muchas secuencias se pueden escribir fácilmente en alguna forma recursiva. Por ejemplo,

  • [math] a_n = n! [/ math] se puede escribir como
    [matemáticas] a_n = \ begin {cases} 1, n = 0, \\ na_ {n-1}, n \ ge 1. \ end {cases} [/ math]
  • [matemáticas] b_n = \ dfrac {n (n + 1)} {2} [/ matemáticas] puede escribirse como [matemáticas] b_n = \ begin {cases} 1, n = 1, \\ a_ {n-1} + 1, n \ ge 2. \ end {cases} [/ math]
  • La secuencia de Fibonacci tiene una forma cercana
    [matemáticas] F_n = \ left (\ dfrac {1 + \ sqrt {5}} {2} \ right) ^ n + \ left (\ dfrac {1 – \ sqrt {5}} {2} \ right) ^ n , [/ math] pero su definición recusiva es más común, que es
    [matemáticas] F_n = \ begin {cases} 1, n \ in \ {1, 2 \} \\ F_ {n-1} + F_ {n-2}, n \ ge 3. \ end {cases} [/ matemáticas]