如何证明解决将一个数拆分成若干个斐波那契数使得斐波那契数个数最少，可以从大到小贪心选择？即齐肯多夫表示是最小的表示？

如果方案中不包含相同的数是容易证明的，可以合并相邻项，但是在有相同的数的情况下，我不太会证明。