Alex Miller Alex
Posted on Saturday, 28 June, 2003 - 12:56 am:

Hello, can someone please prove the following? I cannot seem to get it.
LaTeX Image
LaTeX Image

Thanks,

Alex Miller
Andre Rzym
Posted on Saturday, 28 June, 2003 - 07:57 am:

Alex,

This is a sketch not a proof, but if it's not enough let me know:

The objective is to construct a poly whose roots are

cot2 (πk/(2m+1))

If the poly is monic, then the second highest coefficient will be (to within a minus sign) the sum of the roots, i.e. your expression.

How do we construct the polynomial? Consider (for odd p)

(cosϕ+isinϕ )p =(cospϕ+isinpϕ)

=powerseriesinproductsof,

Take the imaginary part (I'll leave you to figure out the coefficients a, b, ...)

sinpϕ=a sinp ϕ+b sinp-2 ϕ cos2 ϕ+...

Now take out a factor of sinp ϕ from the RHS (I'll leave you to figure out the m, n...)

sinpϕ= sinp ϕ(m cotp-1 ϕ+n cotp-3 ϕ+...)

Now we know (from the LHS) the p' for which the RHS is zero. So letting z= cot2 ϕ the RHS is a poly in z, the roots of which are cot2 p'.

So the sum of the roots is -n/m. You now need to figure out what to choose for p, ϕ and what m, n are.

Let me know if this is not enough.

Andre

Alex Miller Alex
Posted on Saturday, 28 June, 2003 - 05:48 pm:

I am going to go work on it right now; I will post back tomorrow if I need a little more. Thanks very much for the layout, it looks tremendously helpful

Thanks again,

Alex Miller
Andre Rzym
Posted on Monday, 07 July, 2003 - 11:06 am:

Alex,

I don't know whether you managed to solve the problem, so let me go through a particular example ( m=2) using the approach outlined above.

Consider

(cos(theta)+isin(θ ))5 =cos(5θ)+isin(5θ)

=1(cos(θ ))5 (isin(θ ))0 +5(cos(θ ))4 (isin(θ ))1 +10(cos(θ ))3 (isin(θ ))2 +10(cos(θ ))2 (isin(θ ))3 +5(cos(θ ))1 (isin(θ ))4 +1(cos(θ ))0 (isin(θ ))5

Take imaginary part:

sin(5θ)=5(cos(θ ))4 (sin(θ ))1 -10(cos(theta )) 2 (sin(θ ))3 +1(cos(θ ))0 (sin(θ ))5

Taking out sin5 (θ) from the RHS:

sin(5θ)= sin5 (θ)[5 cot4 (θ)-10 cot2 (θ)+1]

The LHS is zero when θ=0, π/5, 2π/5, 3π/5, 4π/5, π, etc. For the RHS, sin(θ) is zero when θ=0, π etc. Therefore

5 cot4 (θ)-10 cot2 (θ)+1

is zero when θ=π/5, 2π/5, 3π/5, 4π/5, 6π/5 etc.

Write z= cot2 (θ), the equation

5 x2 -10z+1=0 has distinct roots

z= cot2 (π/5), cot2 (2π/5)

But the sum of the roots of this quadratic are 10/5=2, hence cot2 (π/5)+ cot2 (2π/5)=2

I'll leave you to generalise it for any m, if you haven't already done so.

Andre