Produit et exponentielle
Réponses
-
Commence par décomposer $X^n-1$ avec des $X-e^{i \frac{ 2 j\pi}{n}}$ et essaye d'isoler le terme $\prod_{j=0, j\neq k}^{n-1} (X-e^{i \frac{ 2 j\pi}{n}})$. Puis ``en quelque sorte'' il faut faire $X=e^{i \frac{ 2 k\pi}{n}}$ mais de façon rigoureuse.
-
Quand vous dîtes, "il faut faire $X=\mathscr{exp}(i\frac{2k\pi}{n})$, mais d'une façon rigoureuse" c'est-à-dire que je suis censé prendre la limite quand $X$ tend vers $\mathscr{exp}(i\frac{2k\pi}{n})$ et comme $X\mapsto X^n$ est holomorphe dans $\C$ alors le produit ci-dessus est égale à $nX^{n-1}_{|X=\mathscr{exp}(i\frac{2k\pi}{n})} =n\ \mathscr{exp}(i\frac{2k\pi(n-1)}{n})$ ?
-
Oui, il faut faire une limite.
-
D'accord. Merci !
-
On peut s'en tirer sans holomorphie et sans limite, en raisonnant sur les polynômes formels.
-
Bonjour
@Niser si on pose $x_k=exp(i 2k\pi/n),k=0,...,n-1,$
je crois que tu as compris que les $x_k$ sont les racines n-ièmes de l'unité et que la réponse c'est :
$\lim_{x\rightarrow x_k}\dfrac{x^n-1}{x-x_k}$
ou encore
$\lim_{h\rightarrow 0}\dfrac{(x_k+h)^n-1}{h}.$
Mais $(x_k+h)^n=x_k^n+n h x_k^{n-1}...$ blabla je te laisse finir. -
Et donc la réponse ce n'est pas $n x_k^{n-1}$ comme j'ai écrit plus haut ?
(Edit : Ah, je pensais que j'avais écrit quelque chose de faux en haut, alors que vous êtes juste en train de me montrer qu'on peut s'en sortir sans utiliser des fonctions holomorphes. Merci ^^) -
Je répète. Soit $\displaystyle Q_{k}(X)=\underset{0\leq h\leq n-1,h\neq k}{\prod }(X-e^{\frac{%
2hi\pi }{n}})$, en sorte que : $X^{n}-1=(X-e^{\frac{2ki\pi }{n}})Q_{k}(X)$.
Par dérivation formelle : $nX^{n-1}=Q_{k}(X)+(X-e^{\frac{2ki\pi }{n}})Q_{k}^{\prime }(X)$.
En faisant $X:=e^{\frac{2ki\pi }{n}}$, il vient : $n(e^{\frac{2ki\pi }{n}})^{n-1}=Q_{k}(e^{\frac{2ki\pi }{n}})$, soit :
$\displaystyle ne^{\frac{2(n-1)ki\pi }{n}}=\underset{0\leq h\leq n-1,h\neq k}{\prod }(e^{%
\frac{2ki\pi }{n}}-e^{\frac{2hi\pi }{n}})$. Etc. -
Merci !
-
Nous pouvons donc avoir : $\displaystyle A_{n}=\underset{0\leq h\leq n-1,0\leq k\leq n-1,h\neq k}{\prod }(e^{\frac{%
2ki\pi }{n}}-e^{\frac{2hi\pi }{n}})$.
Plus intéressant est $\displaystyle B_{n}=\underset{0\leq h<k\leq n-1}{\prod }(e^{\frac{2ki\pi }{n}}-e^{\frac{%
2hi\pi }{n}})$, qu'on déduit de $A_{n}$ au signe près. Mais quel est donc ce signe ? -
$(-1)^{n(n-1)/2}$?
-
On a bien $A_n=(-1)^{n(n-1)/2}B_n^2$ mais cela ne donne pas exactement $B_n$.
On peut en déduire le nombre complexe $B_n$ en calculant son argument. -
Avant de continuer, il conviendrait de se mettre d'accord sur la valeur de
$$ A_{n}=\prod_{\substack{0\leq h\leq n-1\\0\leq k\leq n-1\\h\neq k}}\big(e^{\frac{2ki\pi }{n}}-e^{\frac{2hi\pi }{n}}\big).
$$ J'ai un doute. -
J'ai trouvé $A_n=(-1)^{n-1}n^n$.
-
Merci AD pour ce joli $\displaystyle A_{n}=\prod_{\substack{0\leq h\leq n-1\\0\leq k\leq n-1\\h\neq k}}\big(e^{\frac{2ki\pi }{n}}-e^{\frac{2hi\pi }{n}}\big)$. D'accord avec Jandri.
En effet, on a vu que : $\displaystyle ne^{\frac{2(n-1)ki\pi }{n}}=\underset{0\leq h\leq n-1,h\neq k}{\prod }(e^{%
\frac{2ki\pi }{n}}-e^{\frac{2hi\pi }{n}})$.
En conséquence : $ \displaystyle A_{n}=\underset{0\leq k\leq n-1}{\prod }(ne^{%
\frac{2(n-1)ki\pi }{n}})=n^{n}e^{\frac{2(n-1)i\pi }{n}(0+1+...+(n-1))}=n^{n}e^{(n-1)^{2}i\pi
}=n^{n}(-1)^{(n-1)^{2}}=(-1)^{n-1}n^{n}$.
Maintenant, il faut déterminer $\displaystyle B_{n}=\underset{0\leq h<k\leq n-1}{\prod }(e^{\frac{2ki\pi }{n}}-e^{\frac{%
2hi\pi }{n}})$.
C'est le déterminant de Vandermonde des racines $n$-èmes de l'unité. Je trouve $ B_{n}=n^{\frac{n}{2}}i^{\frac{(n-1)(3n-2)}{2}}$.
Bonne soirée.
Fr. Ch. -
Remarquons que $|B_n|$ est le produit des distances mutuelles des racines $n$-èmes de l'unité, qui est donc $P_n=n^{\frac n2}$. La moyenne géométrique de ces distances mutuelles est donc ${P_n}^{\frac 2{n(n-1)}}=n^{\frac 1{n-1}}$, suite décroissante de limite $1$.
-
Je suis d'accord avec Chaurien.
Le déterminant $B_n$ se calcule classiquement en deux étapes :
calcul de son module en utilisant le fait que le produit de la matrice de Vandermonde des racines $n$-èmes de l'unité par sa matrice conjuguée est égal à $nI_n$
calcul d'un argument en simplifiant $\displaystyle\sum_{0\leq h< k\leq n-1}\big((h+k)\frac{\pi }n+\frac{\pi }2\big)$.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres