Problem 115
Hard Powers and Roots

Find the equation whose roots are: 1^° sin^2dfracπ2n+1…

Find the equation whose roots are: $\ 1^\circ\ \sin^2\dfrac\pi{2n+1},\ \sin^2\dfrac{2\pi}{2n+1},\ \ldots,\ \sin^2\dfrac{n\pi}{2n+1};\quad 2^\circ\ \cot^2\dfrac\pi{2n+1},\ \cot^2\dfrac{2\pi}{2n+1},\ \ldots,\ \cot^2\dfrac{n\pi}{2n+1}$.

Explanation of Method

Expand $\sin((2n+1)\theta)$ and, separately, the power $(\cot\theta+i)^{2n+1}$ via the binomial theorem applied to $(\cos\theta+i\sin\theta)^{2n+1}$. Setting the result to zero at $\theta=\frac{k\pi}{2n+1}$ produces, after dividing out $\sin\theta$ (respectively taking an imaginary part), an explicit degree-$n$ polynomial whose roots are exactly the required values.

Part $1^\circ$ · Polynomial with roots $\sin^2\frac{k\pi}{2n+1}$

Step 1 · Expand $\sin((2n+1)\theta)$ via the binomial theorem

From $(\cos\theta+i\sin\theta)^{2n+1}=\cos((2n+1)\theta)+i\sin((2n+1)\theta)$, taking the imaginary part (terms with an odd power of $i\sin\theta$, index $k=2j+1$, using $i^{2j+1}=i(-1)^j$):

$$ \sin((2n+1)\theta)=\sum_{j=0}^n(-1)^j\binom{2n+1}{2j+1}\cos^{2n-2j}\theta\,\sin^{2j+1}\theta $$

Step 2 · Divide by $\sin\theta$ and substitute $x=\sin^2\theta$

Using $\cos^2\theta=1-x$:

$$ \frac{\sin((2n+1)\theta)}{\sin\theta}=\sum_{j=0}^n(-1)^j\binom{2n+1}{2j+1}(1-x)^{n-j}x^j =: P_n(x) $$

a polynomial of degree $n$ in $x$.

Step 3 · Identify the roots

$P_n(x)=0$ exactly when $\sin((2n+1)\theta)=0$ with $\sin\theta\neq0$, i.e. $\theta=\dfrac{k\pi}{2n+1}$ for $k=1,\ldots,n$ (the values $k=n+1,\ldots,2n$ repeat the same $x=\sin^2\theta$ by symmetry, so exactly $n$ distinct roots — matching the degree):

$$ \boxed{P_n(x)=\sum_{j=0}^n(-1)^j\binom{2n+1}{2j+1}(1-x)^{n-j}x^j=0} $$

Step 4 · The polynomial explicitly, small $n$

$n$$P_n(x)$
$1$$3-4x$
$2$$16x^2-20x+5$
$3$$-64x^3+112x^2-56x+7$
$4$$256x^4-576x^3+432x^2-120x+9$

(leading coefficient $(-4)^n$, constant term $2n+1$ — visible patterns in every case).

Part $2^\circ$ · Polynomial with roots $\cot^2\frac{k\pi}{2n+1}$

Step 5 · Expand $(\cot\theta+i)^{2n+1}$ directly

Let $y=\cot\theta$. By the binomial theorem, the imaginary part of $(y+i)^{2n+1}$ (again picking out odd powers of $i$) is:

$$ \text{Im}\big[(y+i)^{2n+1}\big]=\sum_{j=0}^n(-1)^j\binom{2n+1}{2j+1}y^{2n-2j} $$

Step 6 · Why this vanishes exactly at $\theta=\frac{k\pi}{2n+1}$

Since $\cos\theta+i\sin\theta=(\sin\theta)(y+i)$ (with $y=\cot\theta$), raising to the power $2n+1$: $\ (y+i)^{2n+1}=\dfrac{\cos((2n+1)\theta)+i\sin((2n+1)\theta)}{\sin^{2n+1}\theta}$. At $\theta=\frac{k\pi}{2n+1}$: $\sin((2n+1)\theta)=\sin(k\pi)=0$, so $(y+i)^{2n+1}$ is real there — its imaginary part vanishes.

Step 7 · Reduce to a degree-$n$ polynomial in $y^2$

The expression from Step 5 involves only even powers of $y$, so writing $Y=y^2=\cot^2\theta$:

$$ \boxed{Q_n(Y)=\sum_{j=0}^n(-1)^j\binom{2n+1}{2j+1}Y^{n-j}=0} $$

Its $n$ roots are exactly $Y=\cot^2\dfrac{k\pi}{2n+1}$ for $k=1,\ldots,n$ (again, $k$ and $2n+1-k$ give the same $Y$ by $\cot(\pi-\varphi)=-\cot\varphi$, collapsing $2n$ candidate values of $y$ down to $n$ distinct values of $Y$).

Step 8 · The polynomial explicitly, small $n$

$n$$Q_n(Y)$
$1$$3Y-1$
$2$$5Y^2-10Y+1$
$3$$7Y^3-35Y^2+21Y-1$
$4$$9Y^4-84Y^3+126Y^2-36Y+1$

(leading coefficient $2n+1$, constant term $(-1)^n$ — the coefficients are exactly $\pm\binom{2n+1}{2j+1}$, alternating in sign).

Verification

Both $P_n$ and $Q_n$ were checked by direct numerical root-finding for $n=1,2,3,4$: in every case the computed roots matched $\sin^2\frac{k\pi}{2n+1}$ and $\cot^2\frac{k\pi}{2n+1}$ (respectively) to full floating-point precision.

Result

$$ \sum_{j=0}^n(-1)^j\binom{2n+1}{2j+1}(1-x)^{n-j}x^j=0 \ \ \big(\text{roots } \sin^2\tfrac{k\pi}{2n+1}\big), \qquad \sum_{j=0}^n(-1)^j\binom{2n+1}{2j+1}Y^{n-j}=0 \ \ \big(\text{roots } \cot^2\tfrac{k\pi}{2n+1}\big) $$

Both polynomials arise from the same binomial expansion of $(\cos\theta+i\sin\theta)^{2n+1}$ — one from its real/imaginary split in $\sin\theta,\cos\theta$, the other from the equivalent split in $\cot\theta$ — evaluated where the imaginary (or real) part is forced to vanish.