משפט זקנדורף – הבדלי גרסאות

 

בניסוח פורמלי, משפט זקנדורף טוען כי לכל <math>\ N</math> טבעי, קיימים טבעיים יחידים <math>\ c_1,\ldots, c_n</math> כך שלכל <math>\ 1\le i<n</math> מתקיים <math>\ 2\le c_i<c_{i+1}-1</math>, ושמקיימים: <math>\ N=\sum_{i=1}^n F_{c_i}</math>.

 

==הוכחה==