examday

/TMUA

A sequence $a_n$ is defined by $a_{n+1}=\dfrac{a_n+1}{1-a_n}$ and it is given that $a_{13}=\sqrt3$. Find the value of $\displaystyle\sum_{n=0}^{30}a_n$.