How to show that $\mathbb{Z}\left[\frac{1 + \sqrt{5}}{2}\right]$ is finitely generated? We can say that  $\mathbb{Z}\left[\cfrac{1 + \sqrt{5}}{2}\right]$ is finitely generated if minimal polynomial of $\cfrac{1 + \sqrt{5}}{2}$ is in $\mathbb{Z}[X]$. After some calculations it can be shown that $f(X) = X^2 - X - 1 \in \mathbb{Z}[X]$ is the minimal polynomial of $\cfrac{1 + \sqrt{5}}{2}$. I think that $\mathbb{Z}\left[\cfrac{1 + \sqrt{5}}{2}\right]$ is generated by $\left \{1, \cfrac{1 + \sqrt{5}}{2}\ \right \}$ so that any element of it can be written in the form $a + b \cfrac{1 + \sqrt 5}{2}$ or simply $\cfrac{c}{2} + \cfrac{d \sqrt{5}}{2}$ with $c, d \in \mathbb{Z}$.  
By this claim, if I take some $f\in \mathbb{Z}\left[\cfrac{1 + \sqrt{5}}{2}\right]$ then I should be able to write it in the form above. Now let $f = a_n \left(\cfrac{1 + \sqrt{5}}{2} \right)^n + a_{n - 1} \left(\cfrac{1 + \sqrt{5}}{2} \right)^{n - 1} + \dots + a_1 \left(\cfrac{1 + \sqrt{5}}{2} \right) + a_0$, each $a_i \in \mathbb{Z}$. The $k^{th}$ term in the partial sum above is equal to $a_k.\cfrac{n!.5^{\frac{k}{2}}}{k!(n-k)!2^k}$ . I can not see that how these terms cancel out each other and in the end we have something like $\cfrac{c}{2}+\cfrac{d\sqrt{5}}{2}$. How do we show this?

You've found the minimal polynomial; this gives a very simple way to rewrite the ring:
$$ \mathbb{Z}\left[ \frac{1+\sqrt{5}}{2} \right] \cong \mathbb{Z}[X] / (X^2 - X - 1) $$
so showing the left hand side is finitely generated as an abelian group is the same thing as showing the right hand side is finitely generated as an abelian group.
For the purposes of working with elements, the congruence relation generated by the ideal $(X^2 - X - 1)$ can be summarized as
$$ X^2 \equiv X + 1 $$
which makes it easy to see that the additive group of $\mathbb{Z}[X] / (X^2 - X - 1) $ is a free abelian group with basis given by (the classes of) $1$ and $X$.
