Die Padovan-Folge ist die ganzzahlige Folge , die rekursiv definiert ist durch
und für n > 2
Die Folge beginnt mit den Zahlen
Die Padovan-Folge trägt (mit weiteren 5 vorgeschalteten Gliedern) die Nummer A000931 in der Folgen-Datenbank OEIS. Die Folge ist nach dem britischen Architekten Richard Padovan benannt, der ihre Entdeckung dem niederländischen Architekten Hans van der Laan zuschreibt. Sie wurde durch Ian Stewart in den Mathematical Recreations der Zeitschrift Scientific American im Juni 1996 beschrieben.
Die Padovan-Folge genügt der folgenden Summenformel mit Binomialkoeffizienten:
Eine andere Darstellung ist die Linearkombination der n-ten Potenzen der Lösungen von
Die reelle Lösung dieser Gleichung ist die Plastische Zahl . Mit den konjugiert komplexen Lösungen und gilt für n 0:
Die Padovan-Folge lässt sich rekursiv auch beschreiben durch
Daraus erhält man weitere Rekursionsformeln durch wiederholtes Ersetzen von durch . Die Partialsummen der Padovan-Folge lassen sich einfach berechnen:
Die Perrin-Folge genügt denselben Rekursionsformeln wie die Padovan-Folge, hat aber andere Startwerte. Die beiden Folgen sind verbunden über die Formel
Die erzeugende Funktion der Padovan-Folge ist
Die Quotienten sukzessiver Folgenglieder konvergieren gegen die Plastische Zahl:
ist die Anzahl möglicher Zerlegungen von in eine geordnete Summe mit den Summanden oder . Zum Beispiel ist , also gibt es Möglichkeiten, als eine solche Summe zu schreiben: