Hogyan kell igazolni, hogy egy rekurzió egyértelműen definiál egy sorozatot?

Nem igazán tudom, mert egy kicsit légből kapott feladat szerintem. De ezekkel együtt adták fel:

1. Definiálja a Fibonacci-számokat összeszámlálási feladatként és rekurzióként.

2. Igazolja a két definíció ekvivalenciáját.

3. F0 tulajdonság és mértani sorozatok.

4. Formula Fibonacci-számokra.

A többin most dolgozom, de az első kettőhöz hozzá sem nagyon tudok szólni....