The discussion focuses on deriving the formula for the sum of cosines up to n terms, specifically $$\sum_{k=0}^{k=n}(nCk * cos(kx)) = cos(nx/2)*(2cos(x/2))^n$$. The method involves using the substitution $$z=e^{ix}$$ and manipulating the expression $$ (1+z)^n $$ to arrive at the final result. The key step is to extract the real part of the expression after substituting, leading to the conclusion that the answer is indeed the real part of $$2^n e^{\frac{ixn}{2}}\cos^n \left(\frac{x}{2}\right)$$. The thread emphasizes the importance of sharing solutions for the benefit of others in the forum.