CONSEJO: Es un poco más cómodo pensar en esto en términos de permutaciones: an es el número de permutaciones p1p2…pn de [n]={1,…,n} tal que |pk−k|≤1 para cada k∈[n] . Llamamos a estas permutaciones bien .
Supongamos que p1p2…pn es una permutación de este tipo. Es evidente que una de pn−1 y pn debe ser n .
-
Si pn=n entonces p1p2…pn−1 es una buena permutación de [n−1] . Además, cualquier permutación buena de [n−1] puede extenderse a una buena permutación de [n] con n al final. Así, hay an−1 buenas permutaciones de [n] con n como último elemento.
-
Si pn−1=n entonces pn debe ser n−1 Así que p1p2…pn−2pn es una buena permutación de [n−1] con n−1 como último elemento. Por el contrario, si q1q2…qn−1 es una buena permutación de [n−1] con qn−1=n−1 entonces q1q2…qn−2nqn−1 es una buena permutación de [n] con n como penúltimo elemento. ¿Cuántas permutaciones buenas de [n−1] están allí con n−1 como último elemento?
Como alternativa, puede calcular ak a mano para k=0,…,4 y ver qué aparece; deberías reconocer los números que obtienes.