斐波那契数列的几条性质及其证明