MathCastle
TrigonometrySuperchallengeSum, Difference, and Multiple-Angle Formulas

Sum, Difference, and Multiple-Angle Formulas · Superchallenge problem

A sequence has a1=2a_1 = 2 and an+1=an+31−3 ana_{n+1} = \dfrac{a_n + \sqrt{3}}{1 - \sqrt{3}\,a_n} for n≥1n \ge 1. Find a1+a2+a3+⋯+a30a_1 + a_2 + a_3 + \cdots + a_{30}.