Forum de mathématiques - Bibm@th.net

Fred,

Super, ça marche !  Il fallait bien sûr penser à faire intervenir la v.a [tex](T_n-x_0)^2[/tex] et utiliser la question 23 permettant avec Bienaymé Tchebychev de montrer que la partie de la somme correspondant à [tex] \left|\frac{k}{n}-x_0 \right |\geq \delta     [/tex] était majorée par [tex]\dfrac{C}{n^2}[/tex]. Ce n'est pas évident à priori, encore qu'un "bon" candidat aurait dû se demander pourquoi on lui avait fait faire cette question 23!

Merci et amicalement
Pierre D.

Fred,

A la réflexion, je pense comprendre pourquoi [tex]I^{\infty}[/tex] est compact. En effet si on considère un recouvrement ouvert de [tex]I^{\infty}[/tex] , ce recouvrement contient au moins un [tex]U_1\times U_2\; ...\;U_n\times I\;...\;I\;...\;\; [/tex]. Si [tex]n=1[/tex] c'est terminé. Sinon il ne reste en plus qu'à recouvrir [tex]I^n[/tex] par les projections des ouverts du recouvrement sur [tex]I^n[/tex] (n premières composantes), ce qui peut se faire avec un sous-ensemble fini, vu la finitude de n.

Je complète.

Bon. On n'est pas obligé d'avoir [tex]I^{\infty}\in l_2[/tex], mais puisque dans la démonstration citée [tex]I^{\infty}[/tex] est déclaré compact, c'est avec quelle topologie ?  Sûrement pas avec la distance [tex]d(x,y)=\sup\limits_{k\in\mathbb N}|x_k-y_k|[/tex] (prendre la suite [tex](x_n)[/tex] définie par [tex]x_n,k=\delta_n^k[/tex]. Une suite extraite ne peut être de Cauchy puisque la distance de 2 termes distincts est toujours 1).

Bonjour,

Sauf erreur, une condition d'existence d'une symétrie centrale de centre 0:
[tex]\exists k\in\mathbb Z^*\;\;\rho(\theta+k\pi)=(-1)^{k-1}\rho(\theta)[/tex]

(suite)

Le corps de décomposition de [tex] X^3-3X+1[/tex]

C'est la plus petite (au sens de l'inclusion) extension du corps de base contenant toutes les racines de  P. C'est évidemment une extension de [tex]\mathbb Q[\alpha][/tex]. Nous allons pour le déterminer devoir utiliser une propriété des polynômes [tex]X^3+pX+q[/tex]. Si [tex]\alpha,\beta,\gamma[/tex] sont les 3 racines (complexes, non nécessairement distinctes), on a [tex][(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)]^2=-4p^3-27 q^2[/tex] (ce nombre est désigné par discriminant du polynôme). Dans le cas de [tex]X^3-3X+1[/tex] on obtient [tex]81=9^2[/tex]. Par suite [tex](\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)=9[/tex] ou [tex]-9[/tex] (et même 9 puisque [tex]\alpha<\beta<\gamma[/tex]). Donc [tex]\beta-\gamma=\dfrac{9}{(\alpha-\beta)(\gamma-\alpha)}[/tex]. Or [tex](\alpha-\beta)(\gamma-\alpha)=(\beta+\gamma)\alpha-\beta\gamma-\alpha^2[/tex] et compte tenu des relations classiques entre coefficients et racines [tex]\alpha+\beta+\gamma=0,\;\alpha\,\beta\,\gamma=-1[/tex] on arrive à [tex]\beta-\gamma=\dfrac{9}{-2\alpha^2+\frac{1}{\alpha}}\;=\;\dfrac{9\alpha}{1-2\alpha^3}[/tex]. Puis comme [tex]\beta+\gamma=-\alpha[/tex], on obtient finalement
[tex]\beta=\dfrac{\alpha(4+\alpha^3)}{1-2\alpha^3}[/tex] et [tex]\gamma=\dfrac{\alpha(\alpha^3-5)}{1-2\alpha^3}[/tex]. Par suite [tex]\beta[/tex] et [tex]\gamma[/tex] appartiennent à [tex]\mathbb Q[\alpha][/tex] et le corps de décomposition de P coïncide avec le corps de rupture  [tex]\mathbb Q[\alpha][/tex] .

Cette situation est évidemment assez exceptionnelle parmi les polynômes [tex]X^3+pX+q[/tex] puisqu'il n'y a en général aucune raison pour que le discriminant soit le carré d'un rationnel.

Le groupe de Galois du polynôme [tex]X^3-3X+1[/tex]

Comme on sait il s'agit du groupe des automorphismes du corps de décomposition laissant invariant chaque élément du corps de base. Son ordre est égal au degré du corps de décomposition relativement au corps de base, c'est à dire [tex]3[/tex] dans le cas présent (le corps de décomposition égal ici à [tex]\mathbb Q[\alpha][/tex], le degré de cette extension qui est la dimension de [tex]\mathbb Q[\alpha] [/tex] en tant qu'espace vectoriel sur [tex]\mathbb Q[/tex] est [tex]\;3 \;[/tex] puisque cet espace vectoriel admet comme base [tex](1,\alpha,\alpha^2)[/tex]).

Si [tex]\sigma[/tex] est un élément du groupe de Galois, on a [tex]P(\,\sigma(\alpha)\,)=\sigma(P(\alpha))=\sigma(0)=0[/tex]. Donc [tex]\sigma(\alpha)\,\in\,\{\alpha,\beta,\gamma\}[/tex].
Si [tex]\sigma(\alpha)=\alpha[/tex] il en résulte que [tex]\forall (a,b,c)\in \mathbb Q ^3\;\sigma(a\,\alpha^2+b\,\alpha+c)=a\,\alpha^2+b\,\alpha+c[/tex] et [tex]\sigma[/tex] est donc l'application identité, l'unité e du groupe. Outre e, il reste 2 possibilités : [tex]\sigma(\alpha)=\beta[/tex] (donc [tex]\sigma(a\,\alpha^2+b\,\alpha+c)=a\,\beta^2+b\,\beta+c[/tex]) et [tex]\sigma(\alpha)=\gamma[/tex] (donc [tex]\sigma(a\,\alpha^2+b\,\alpha+c)=a\,\gamma^2+b\,\gamma+c[/tex]). On retrouve bien l'ordre 3 pour le groupe.

Ce groupe à 3 éléments est isomorphe au groupe alterné [tex] A_3[/tex]  cyclique, engendré par chacun des 2 éléments différents du neutre.

Bon j'arrête ici. Naturellement il n'a pas été donné de formule donnant les solutions par radicaux, tout au plus on voit comment calculer les racines dès qu'on connaît l'une d'elles (ici [tex]\alpha[/tex], mais on pourrait de manière semblable partir de [tex]\beta[/tex] ou [tex]\gamma[/tex]). Mais ce n'était nullement le but. En fait les équations du 3e degré à discriminant positif, ce qui est le cas ici, conduisent toujours à des calculs de racines cubiques de nombres non réels qu'on ne peut ramener à des racines de réels (c'est le cas dit « irréductible » de l'équation du 3e degré).

Je ne sais pas si tout cela peut apporter quelque réponse à la question qui a été posée (par imed), mais …

A titre de sucrerie, je signale, bien que ceci n'ait pas grand chose à voir avec ce qui précède, la méthode (de Viète) consistant ici à poser [tex]X=2 \cos u[/tex]. Par application de la formule [tex]\cos(3\theta)=4\cos^3\,\theta-3 \cos \theta[/tex] on obtient l'équation [tex]\cos(3u)=-\dfrac{1}{2}[/tex]. Comme il nous suffit d'avoir une racine on peut prendre [tex]u=\dfrac{1}{3} \mathrm{arcos}\left(-\frac{1}{2}\right)\,=\,\dfrac{2\pi}{9}\;[/tex] et on obtient la solution de l'équation [tex]2 \cos\,\dfrac{2\pi}{9}\;[/tex]. (il s'agit de la racine [tex]1,532...[/tex] que nous avons appelée [tex]\gamma[/tex]).
Comme signalé plus haut, on ne peut exprimer ces racines avec des radicaux portant sur des réels. Tout au plus peut-on remarquer que [tex]2\cos\,\dfrac{2\pi}{9}\;=\,e^{\frac{2i\pi}{9}}+e^{-\frac{2i\pi}{9}} [/tex], les 2 termes étant racines cubiques respectives de [tex]j[/tex] et [tex]j^2[/tex].

Pierre (pedestre)