Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I suggest this problem to you.

Let $\theta \in \mathbb{R}$. For all nonnegative integer $n$ let $s_{n}=1+\exp(i\theta)+\exp(2i\theta)+\ldots + \exp(in\theta)$. Determine a necessary and sufficient condition over $\theta$ for the sequence ${(s_{n})}_{n \in \mathbb{N}}$ to be bounded.

Terminology : The complexe sequence $(s_{n})_{n \in \mathbb{N}}$ is said to be bounded iff $$\exists M \in \mathbb{R}^{+}\, \forall n \in \mathbb{N} \left | z_{n}\right | \leq M.$$

Any idea ?

share|cite|improve this question

Let $s_n(\theta)=\sum_{k=0}^ne^{ik\theta}$. If $\theta\in 2\pi \mathbb Z$ then $e^{i\theta}=1$ and $s_n(\theta)=n$, so $\{s_n\}$ is not bounded. If $\theta\notin 2\pi\mathbb Z$, then $$s_n(\theta)=\frac{e^{i(n+1)\theta}-1}{e^{i\theta}-1}=\frac{e^{i\frac{n+1}2\theta}}{e^{i\frac{\theta}2}}\frac{e^{i\frac{n+1}2\theta}-e^{-i\frac{n+1}2\theta}}{e^{i\frac{\theta}2}-e^{i\frac{\theta}2}}=e^{i\frac{n\theta}2}\frac{\sin\left(\frac{n+1}2\theta\right)}{\sin\frac{\theta}2},$$ so $$|s_n(\theta)|\leq \frac 1{\left|\sin\frac{\theta}2\right|}.$$ Finally, the sequence $\{s_n(\theta)\}$ is bounded if and only if $\theta\notin 2\pi\mathbb Z$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.