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(pk/(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)

(cosf+isinf)p=(cospf+isinpf)

=ápower series in products of , ñ

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

sinpf = asinp f+bsinp-2fcos2f+...

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

sinpf = sinp f(mcotp-1f+ncotp-3f+...)

Now we know (from the LHS) the p¢ for which the RHS is zero. So letting z=cot2f 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, f 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(q))5=cos(5q)+isin(5q)

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

Take imaginary part:

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

Taking out sin5(q) from the RHS:

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

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

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

is zero when q = p/5, 2p/5, 3p/5, 4p/5, 6p/5 etc.

Write z=cot2(q), the equation

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

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

But the sum of the roots of this quadratic are10/5=2, hence cot2(p/5)+cot2(2p/5)=2

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

Andre