Intereting Posts

Is there a fast technique to tell that the poles of $\frac{1}{\sin z}$ are simple?
Prove $\tan 54^\circ=\frac{\sin24^\circ}{1-\sqrt{3}\sin24^\circ}$
Stopping times and hitting times for càdlàg processes
Value of $y=\sqrt{4 + \sqrt{4+\sqrt{4+\sqrt{4+\ldots}}}}$
DTFT of a triangle function in closed form
Connected-ness of the boundary of convex sets in $\mathbb R^n$ , $n>1$ , under additional assumptions of the convex set being compact or bounded
Simplest proof of Taylor's theorem
Do we have $(g \wedge g)^g = 0$?
Contour integral for $x^3/(e^x-1)$?
Characterizing superposition of two renewal processes
Basis of cotangent space
Vardi's Integral: $\int_{\pi/4}^{\pi/2} \ln (\ln(\tan x))dx $
largest fraction less than 1
a set of functions that are pointwise equicontinuous but not uniformly equicontinuous, supposing the domain of f is noncompact
Evaluate a limit involving definite integral

According to the Power-reduction formula, one can interchange between $\cos(x)^n$ and $\cos(nx)$ like the following:

$$

\cos^n\theta = \frac{2}{2^n} \sum_{k=0}^{\frac{n-1}{2}} \binom{n}{k} \cos{((n-2k)\theta)} \tag{odd}\\

$$

$$

\cos^n\theta = \frac{1}{2^n} \binom{n}{\frac{n}{2}} + \frac{2}{2^n} \sum_{k=0}^{\frac{n}{2}-1} \binom{n}{k} \cos{((n-2k)\theta)} \tag{even}

$$

To me this looks like an Binomial transform. Is this true?

May I think of it as a change of basis of a vector space?

- Calculate coordinate of any point on triangle in 3D plane
- Is there a relationship between trigonometric functions and their “co” functions?
- Definite integral: $\displaystyle\int^{4}_0 (16-x^2)^{\frac{3}{2}} dx$
- Integral $\int\!\sqrt{\cot x}\,dx $
- Evaluate $\int_0^{{\pi}/{2}} \log(1+\cos x)\, dx$
- A question by Ramanujan about a relational expression of a triangle

- calculating angle in circle
- How was Euler able to create an infinite product for sinc by using its roots?
- If $\sin A+\sin B+\sin C=\cos A+\cos B+\cos C=0$, prove that:…
- Double limit of $\cos^{2n}(m! \pi x)$ at rationals and irrationals
- Ramanujan log-trigonometric integrals
- What is (fundamentally) a coordinate system ?
- Do there exist vector spaces over a finite field that have a dot product?
- Simplifying an Arctan equation
- Basis of a $2 \times 2$ matrix with trace $0$
- How do we find specific values of sin and cos given the series definition

Yes, it’s a binomial expansion:

$$

\begin{eqnarray}

\cos^n\theta

&=&

2^{-n}\left(\mathrm e^{\mathrm i\theta}+\mathrm e^{-\mathrm i\theta}\right)^n

\\

&=&

2^{-n}\sum_{k=0}^n\binom nk\mathrm e^{\mathrm ik\theta}\mathrm e^{-\mathrm i(n-k)\theta}

\\

&=&

2^{-n}\sum_{k=0}^n\binom nk\mathrm e^{\mathrm i(2k-n)\theta}\;,

\end{eqnarray}

$$

and then combining the terms whose exponents differ only by a sign (and whose coefficients coincide) yields the formulas you give. And yes, you may think of it as a change of basis if you wish, since both $\cos^n\theta$ and $\cos n\theta$ are linearly independent sets of functions; this is known from Fourier theory for $\cos n\theta$, and your transformation, which is clearly invertible, shows that it’s also true for $\cos^n\theta$.

I don’t know about the binomial transform, but you can get it from the binomial theorem after writing $\cos \theta = (e^{i\theta} + e^{-i\theta})/2$.

Yes, in the vector space of functions spanned by $\cos^j (\theta)$ for nonnegative integers $j$ it tells you how to transform to the basis $\cos(j \theta)$.

You can generalize your formulae for odd and even values of $n$.

$$ \cos^n\theta = 2^{-n} \sum_{k=0}^n \bigl( \begin{smallmatrix} n \\ k \end{smallmatrix} \bigr) \cos (2k-n)\theta.$$

That looks nice and compact, but if you want to identify the individual cosines you’ll need to add $\bigl( \begin{smallmatrix} n \\ k \end{smallmatrix} \bigr) \cos (-\alpha) + \bigl( \begin{smallmatrix} n \\ n-k \end{smallmatrix} \bigr) \cos \alpha = 2\bigl( \begin{smallmatrix} n \\ k \end{smallmatrix} \bigr) \cos \alpha $.

- Must a proper curve minus a point be affine?
- Properties of special rectangle (measure)
- A question concerning measurability of a function
- Multivariable calc “second course” that does differential forms
- Proving absolute value inequalities
- A and B are nxn matrices, $A =B^TB$. Prove that if rank(B)=n, A is pos def, and if rank(B)<b, A is pos semi-def.
- Derivative commuting over integral
- Polynomials and Derivatives
- Prove the following inequality $\sqrt{x_1x_2…x_n}\ge (n-1)$
- Does the series $\sum\limits_{n=2}^\infty(-1)^n\ln\left(1+\frac{\sin n}{\ln n}\right)$ converge?
- $C()$ is not weakly sequentially complete.
- Proof of uniqueness of identity element of addition of vector space
- Closed form of $\int_{0}^{\infty} \frac{\tanh(x)\,\tanh(2x)}{x^2}\;dx$
- Which infinity is meant in limits?
- Covering projective variety with open sets $U_i$ such that $\pi^{-1}(U_i) \cong U_i \times \Bbb{A}^1$: How to improve geometric intuition?