Intereting Posts

Can $\mathrm{PGL}_2$ be viewed as an affine algebraic group?
How to prove $|a+b|^k \leq 2^{k-1} (|a|^k+|b|^k)$?
Which is bigger among (i) $\log_2 3$ and $\log _3 5$ (ii) $\log_2 3$ and $\log _3 11$.
For what $a \in \Bbb R$ does $\neg(3a>21\implies a \leq 5)$ hold?
Math competition problem, prove that $\int_{-\infty}^\infty e^{-\pi x^2 \left(\frac{\alpha +x}{\beta +x}\right)^2}dx=1~$ for $~0<\beta<\alpha$.
whats the proof for $\lim_{x → 0} ^{1/x} = (a_1.a_2…a_n)^{1/n}$
An inequality for arctan$x$
How can I show that the “binary digit maps” $b_i : [0,1) \to \{0,1\}$ are i.i.d. Bernoulli random variables?
Average distance between two random points on a square with sides of length $1$
Limit of the infinite sum of $\frac{n}{2^n}$?
Local-Global Principle and the Cassels statement.
On the weak closure
Proving an equality involving compositions of an integer
Showing that Y has a uniform distribution if Y=F(X) where F is the cdf of continuous X
Lagrange multipliers finding the maximum and minimum.

I need to conclude $n\xi_j^{n-1}=\prod_{i \ne j}(\xi_{i}-\xi_{j})$ from $x^n-1=\prod_{i}(x-\xi_{i})$ where $\xi_i$ is the $i$th root of the unit.

And another thing I do not quite understand is that why $\prod_{i=1}^n\xi_{i}^{-1}=(-1)^{n-1}$

where $\xi_i$ is the $i$th root of the unit.

I think maybe it can be done by differentiation but how can I ceal with the right hand side?

- Deriving an expression for $\cos^4 x + \sin^4 x$
- Does $\sqrt{x}$ have a limit for $x \to 0$?
- Prove if $|z|=|w|=1$, and $1+zw \neq 0$, then $ {{z+w} \over {1+zw}} $ is a real number
- Complex number: calculate $(1 + i)^n$.
- Express $(1-i)^{11}$ in cartesian form.
- Does $\sqrt{i + \sqrt{i+ \sqrt{i + \sqrt{i + \cdots}}}}$ have a closed form?

Could someone write a deduction explicitly? Thanks so much!

- Quadratic Formula in Complex Variables
- Is there a notion of a complex derivative or complex integral?
- Minimal polynomial, determinants and invertibility
- Ring isomorphism (polynomials in one variable)
- Help solving $ax^2+by^2+cz^2+dxy+exz+fzy=0$ where $(x_0,y_0,z_0)$ is a known integral solution
- a general continued fraction satisfying $\frac{(i+\Theta\sqrt{z})^m}{(i-\Theta\sqrt{z})^m}=\frac{(ik+\sqrt{z})^{m+1}}{(ik-\sqrt{z})^{m+1}}$
- Show that the equation, $x^3+10x^2-100x+1729=0$ has at least one complex root $z$ such that $|z|>12.$
- Are quartic minimal polynomials over $\mathbb{Q}$ always reducible over $\mathbb{F}_p$?
- Meaning of “polynomially larger”
- Find solution of equation $(z+1)^5=z^5$

Let $\Phi_n(x) = x^n – 1$. Then for each $1 \leq j \leq n$, we have

$$\Phi_n(x) = \prod_{i=1}^{n}(x – \xi_n) = (x- \xi_j)\prod_{i \neq j}(x – \xi_i).$$

Using the product rule, we find that

$$\Phi_n'(x) = (x – \xi_j)\frac{d}{dx}\prod_{i\neq j}(x – \xi_i) + \prod_{i\neq j}(x – \xi_i).$$

We also have

$$\Phi_n'(x)= nx^{n-1}$$

from the power rule. Letting $x = \xi_j$ in both expressions gives

$$n\xi_j^{n-1} = \prod_{i \neq j}(\xi_j – \xi_i).$$

As for the second question, in general the product of the roots of a degree $n$ polynomial

$$f(x) = x^n + a_{n-1}x^{n-1} + \cdots + a_1x + a_0$$

is given by $(-1)^n a_0$. In the case of $\Phi_n(x)$, $a_0 = -1$, thus

$$\prod_{i=1}^{n}\xi_i^{-1} = \left(\prod_{i=1}^{n}\xi_i\right)^{-1} = (-(-1)^{n})^{-1} = (-1)^{n – 1}.$$

First, you can factor

$$x^n-1=(x-\xi_i)(x^{n-1}+x^{n-2}\xi_i+\cdots+x\xi_i^{n-2}+\xi_i^{n-1}).$$

Therefore,

$$

(x^{n-1}+x^{n-2}\xi_i+\cdots+x\xi_i^{n-2}+\xi_i^{n-1}=\prod_{j\neq i}(x-\xi_j).

$$

Evaluating this last expression at $x=\xi_i$ gives the first result.

I’m not quite sure how to interpret your second question.

First of all, we can expand $\prod_{i=1}^n(x-\xi_i)$ to get $$\prod_{i=1}^n(x-\xi_i) = x^n + x^{n-1}\sum_{i=1}^n(-\xi_i) + x^{n-2}\sum_{i=1}^n\sum_{j=1}^n(-\xi_i)(-\xi_j) + \cdots + x^0\prod_{k=1}^n(-\xi_k) = x^n-1$$

Two $n$-th polynomial of $x$ equal means each corresponding coefficient equal. This gives us a series of relations:

$$\sum_{i=1}^n\xi_i = 0$$

$$\sum_{i=1}^n\sum_{j=1}^n\xi_i\xi_j = 0$$

$$\cdots$$

$$\prod_{k=1}^n(-\xi_k) = -1$$

The last relation leads to $\prod_{k=1}^n\xi_k^{-1} = (-1)^{n-1}$.

Now let’s look at the term $\prod_{j \neq i}^n(\xi_i-\xi_j)$. WOLG, we can let $i = 1$. $$\prod_{j=2}^n(\xi_1-\xi_j) = \xi_1^{n-1}+\xi_1^{n-2}\sum_{j=2}^n(-\xi_j) + \xi_1^{n-3}\sum_{j=2}^n\sum_{k=2}^n(-\xi_j)(-\xi_k)+\cdots+\xi_1^0\prod_{j=2}^n(-\xi_j)$$ Using the relation we found before, we can see each term equals to $\xi_1^{n-1}$, and there $n$ terms. Thus $$\prod_{j=2}^n(\xi_1-\xi_j) = n\xi_1^{n-1}$$

For the second identity: Note that by Vieta’s formula, the constant term $-1$ here is either the elementary symmetric function $e_{n}$ or $-e_{n}$ and it depends on the parity of $n$. When $n$ is odd, $1$ should be $e_{n}$ and when $n$ is even, $-1$ should be $e_{n}$. So as $e_{n}$ has been defined to be $\prod_{i}\xi_{i}$, $\prod_{i}\xi_{i}=(-1)^{n-1}$. Thus $\prod_{i}\xi_{i}^{-1}=(\prod_{i}\xi_{i})^{1}=((-1)^{n-1})^{-1}=(-1)^{n-1}$.

I would like to know if I have got it right, so could someone please point out if there is any mistake.

- Different models of ZF disagree on equality of explicit recursively enumerable sets
- Proving that a doubly-periodic entire function $f$ is constant.
- Is $\Delta_0=\Delta_1$ in arithmetical hierarchy?
- Why is compactness in logic called compactness?
- equivalent? algebraic definition of a partial isometry in a C*-algebra
- Divergence of $\vec{F} = \frac{\hat{\mathrm{r}}}{r^{2}}$
- Calculate exponential limit involving trigonometric functions
- $p$-Sylow subring
- I need some advice for $ \; “ \; 3xy+y-6x-2=0 \;”\, $
- If $ \lim_{n \to \infty} (2 x_{n + 1} – x_{n}) = x $, then is it true that $ \lim_{n \to \infty} x_{n} = x $?
- Find the common divisors of $a_{1986}$ and $a_{6891}$
- Special arrows for notation of morphisms
- Young's inequality for discrete convolution
- An example of a bounded pseudo Cauchy sequence that diverges?
- Is Infinity =Undefined?