4. La successione di Padovan

La ricerca di una successione di numeri naturali tali che il rapporto tra ognuno di essi e il precedente converga al numero plastico è stata affrontata anche dall'architetto Richard Padovan che ha scoperto che la successione pn generata da

fig201

possiede caratteristiche analoghe a quella della successione di Perrin. La successione così definita è detta successione di Padovan e i suoi termini numeri di Padovan.

I numeri di Padovan pi possono essere dedotti nel seguente modo.

  1. Si esprime pi come combinazione lineare delle potenze i-esime delle radici α, β e γ dell'equazione x3-x-1 = 0, con α reale e β e γ complessi coniugati con valore assoluto < 1:
    Eqn303.gif
  2. Assumendo p0, p1 e p2 tutti uguali a 1, si ha
    Eqn304.gif
  3. Risolvendo il sistema
    Eqn305.gif
  4. quindi
    Eqn306.gif

Questa definizione di pi implica
Eqn307.gif
poiché per esponente tendente ad infinito, le potenze di β e γ tendono a 0.

Si ha inoltre

Eqn308.gif

cioè

Eqn309.gif

Infatti

Eqn310.gif

L'uso della definizione ricorsiva per il calcolo informatico dell'ennesimo numero di Padovan è impraticabile. Meglio usare un ciclo, come nella seguente implementazione Javascript

function nPadovan(n)
{
  n = parseInt(n);
  if (n < 2) return 1;
  var n1 = 1;
  var n2 = 1;
  var n3 = 1;
  var p;
  for (var i=3; i<=n; i++)
    {
      p = n2 + n3;
      n3 = n2;
      n2 = n1;
      n1 = p;
    }
  return(p);
}

numeri di Padovan

indice

numero

Disponendo di Mathematica (Wolfram) si può definire la seguente funzione

PadovanN[n_]:=Switch[n,0,1,1,1,2,1,_,Module[{i,n1,n2,n3,val},n1=1;n2=1;n3=1;
      For[i=3,i <= n,i++,val=n2+n3;n3=n2;n2=n1;n1=val];val]]
 Table[PadovanN[n],{n,0,30}]
 {1,1,1,2,2,3,4,5,7,9,12,16,21,28,37,49,65,86,114,151,200,265,351,465,616,816,1081,1432,1897,2513,3329}

In generale, ogni successione di numeri qi espressi come combinazione lineare di coefficienti a, b, c delle potenze i-esime delle radici α, β e γ, dati tre arbitrari valori per q0 , q1 e q2, gode della stessa ricorsione e il rapporto tra ogni termine e il precedente converge a P.

Ad esempio, la successione

Eqn311.gif

cioè

12335681114192533445877102135179237...

è tale che

Eqn312.gif