Des changements.

Exercices 2023.org

@@ -2,7 +2,7 @@
 #+title:  Exercices 2023
 #+author: Sébastien Miquel
 #+date:   02-12-2023
-# Time-stamp: <24-04-24 19:54>
+# Time-stamp: <01-05-24 16:29>
 #+OPTIONS:
 
 
@@ -884,7 +884,7 @@ On note $\lN \cdot\rN$ la norme d'opérateur sur $\M_n(\C)$ associée à la norm
 ** Analyse
 
 #+BEGIN_exercice [ENS 2023 # 79]
-Soit $p\gt 1$. On pose, pour $x\in\R^n$, $\lN x\rNp = \left(\sum_{i=1}^n |x_i|^p\right)^{1/p}$.
+Soit $p\gt 1$. On pose, pour $x\in\R^n$, $\lN x\rN_{p} = \left(\sum_{i=1}^n |x_i|^p\right)^{1/p}$.
  1. Montrer qu'il s'agit bien d'une norme.
  2. Montrer l'inégalité de Hölder.
  3. Dans $\R^2$, dessiner la boule unité de la norme $p$ pour plusieurs valeurs de $p$.
@@ -1300,7 +1300,7 @@ Soit $\alpha=(\alpha - {i\geq 1}$ une suite de $\Z$ nulle a partir d'un certain
 Dans la suite, on note $f$ la somme de cette série entière.
  - Expliciter $f$ si $\alpha=(-\delta_{i,1})_{i\geq 1}$.
  - Pour une somme $g$ de série entière sur un intervalle $]-a,a[$ non trivial, on pose $\Delta(g):z\mapsto zg'(z)$. Expliciter $P(\Delta)(g)$ lorsque $g:z\mapsto z^k$ avec $k\in\N$ et $P\in\R[X]$.
- - Soit $v\in\C^{\N^*}$ une suite complexe, et $P\in\R[X]$ sans racine dans $\N^*$ tels que, pour tout $n\geq 1$, $v_{n+1}=\frac{v_n}{P(n+1)}$. Montrer que $\sum_{n\geq 1}v_nz^n$ a un rayon de convergence non nul et donner une methode simple pour trouver une équation différentielle lineaire non triviale a coefficients polynomiaux dont sa somme est solution.
+ - Soit $v\in\C^{\N^*}$ une suite complexe, et $P\in\R[X]$ sans racine dans $\N^*$ tels que, pour tout $n\geq 1$, $v_{n+1}=\frac{v_n}{P(n+1)}$. Montrer que $\sum_{n\geq 1}v_nz^n$ a un rayon de convergence non nul et donner une methode simple pour trouver une équation différentielle linéaire non triviale a coefficients polynomiaux dont sa somme est solution.
  - Résoudre le meme probleme qu'en (d) lorsqu'il existe $P$ et $Q$ dans $\R[X]$ sans racine dans $\N^*$ telles que $v_{n+1}=\frac{Q(n+1)}{P(n+1)}\,v_n$ pour tout $n\geq 1$, et en supposant cette fois-ci que $\deg(Q)\leq\deg(P)$.
  - Justifier que le cadre de la question  - s'applique bien a la suite $(u_n)_{n\geq 1}$ lorsque $R\gt 0$.
 #+end_exercice
@@ -1457,7 +1457,7 @@ On considère l'équation différentielle $(1)\colon X'(t)=P(t)X(t)$ où $P$ est
 #+begin_exercice [ENS 2023 # 146]
  - Soit $f\colon (x,y)\ \mapsto \left(\ln\left(x^2+y^2\right),\arctan\left(\frac{y}{x}\right)\right)$.
    Donner le domaine de définition $\Omega$ de $f$. Étudier la continuité et la différentiabilité de $f$.
- - On identifie naturellement $\R^2$ à $\C$. Montrer que, si $(x,y)\in\Omega$, $df_{(x,y)}$ est $\C$-lineaire.
+ - On identifie naturellement $\R^2$ à $\C$. Montrer que, si $(x,y)\in\Omega$, $df_{(x,y)}$ est $\C$-linéaire.
 #+end_exercice
 #+BEGIN_proof
  - $\Om = \{(x,y)\mid x\neq 0\}$. La continuité et la différentiabilité ne posent pas de problème.
@@ -1578,7 +1578,7 @@ Soit $L$ la courbe du plan complexe d'équation $|z|^2=\cos(2\arg(z))$.
 
 # ID:7009
 #+begin_exercice [ENS 2023 # 160]
-Soit $(e_1,e_2)$ une famille libre de vecteurs de $\R^2$. On pose $L=\Ze_1+\Ze_2$ et on note $\op{coVol}(L)=|\mathrm{det}(e_1,e_2)|$.
+Soit $(e_1,e_2)$ une famille libre de vecteurs de $\R^2$. On pose $L=\Z e_1+\Z e_2$ et on note $\op{coVol}(L)=|\mathrm{det}(e_1,e_2)|$.
  - sV2 Pour $e_1 = \vv{2}{0}$ et $e_2 = \vv{1}{1}$, représenter $L$ dans $\R^2$. Que représente géométriquement le covolume $\op{coVol}(L)$ ?
  - Soit $A$ un disque fermé de $\R^2$, d'aire strictement supérieure a $\op{coVol}(L)$.  Montrer qu'il existe deux éléments distincts $x$ et $y$ de $A$ tels que $x-y\in L$.
 
@@ -1674,7 +1674,7 @@ Deux joueurs $A$ et $B$ lancent une pièce truquée donnant pile avec une probab
 On joue a pile ou face avec une pièce pipée qui donne pile avec probabilité $p\lt \frac{1}{2}$. On lance la pièce $2n$ fois et on compte le nombre de «Piles». Déterminer l'entier $n$ qui maximise la probabilité d'avoir compté au moins $n+1$ «Piles».
 #+end_exercice
 #+BEGIN_proof
-On a $P(S_{2n} = n+k)\lelq P(S_{2n} = n-k)$, puis on montre que  $P(S_{2n}\geq n+1) + \frac{1}{2}P(S_{2n} = n)$ est décroissante. Mais on connaît $P(S_{2n} = n)$, et il suffit de voir quand elle devient plus petite que les premières valeurs de $P(S_{2n} \geq n+1)$.
+On a $P(S_{2n} = n+k)\leq P(S_{2n} = n-k)$, puis on montre que  $P(S_{2n}\geq n+1) + \frac{1}{2}P(S_{2n} = n)$ est décroissante. Mais on connaît $P(S_{2n} = n)$, et il suffit de voir quand elle devient plus petite que les premières valeurs de $P(S_{2n} \geq n+1)$.
 #+END_proof
 
 
@@ -1983,7 +1983,7 @@ $\mathbb{D}_{2n}=\{\sigma\in\mc{O}(E)\ ;\ \forall i\in\db{1,n }\,\sigma(v_i)\in\
 #+end_exercice
 
 #+begin_exercice [ENS PSI 2023 # 203]
-- Soit $A\in S^+_n(\R)$ de rang $k$. Montrer qu'il existe des vecteurs $U_1,\ldots,U_k$ lineairement indépendants dans $\R^n$ tels que $A=\sum_{j=1}^kU_jU_j^T$.Soient $A,B\in{\cal M}_n(\R)$. Leur produit d'Hadamard $A\circ B\in{\cal M}_n(\R)$ est la matrice de terme général $a_{ij}b_{ij}$.
+- Soit $A\in S^+_n(\R)$ de rang $k$. Montrer qu'il existe des vecteurs $U_1,\ldots,U_k$ linéairement indépendants dans $\R^n$ tels que $A=\sum_{j=1}^kU_jU_j^T$.Soient $A,B\in{\cal M}_n(\R)$. Leur produit d'Hadamard $A\circ B\in{\cal M}_n(\R)$ est la matrice de terme général $a_{ij}b_{ij}$.
  - Montrer que, si $A$ et $B$ sont des matrices symétriques de rang $1$, alors $A\circ B$ est symétrique de rang au plus $1$.
  - Montrer que, si $A$ et $B$ sont symétriques positives, alors $A\circ B$ est symétrique.
  - Si $A$ et $B$ sont symétriques positives, montrer que $A\circ B$ est symétrique positive.
@@ -2228,7 +2228,7 @@ Soient $\eps\in\bigg{]}\,0\,;\dfrac{1}{4}\,\bigg{[}$ et $M$ la matrice $M=\left(
 #+begin_exercice [ENS PC 2023 # 227]
 Soit $f\colon\R^n\to\R^n$ qui preserve le produit scalaire canonique :
 
-$\forall(x,y)\in(\R^n)^2,\ \langle f(x),f(y)\rangle=\langle x,y\rangle$. Montrer que $f$ est une isometrie lineaire.
+$\forall(x,y)\in(\R^n)^2,\ \langle f(x),f(y)\rangle=\langle x,y\rangle$. Montrer que $f$ est une isometrie linéaire.
 #+end_exercice
 
 #+begin_exercice [ENS PC 2023 # 228]
@@ -2456,6 +2456,7 @@ On note $p(n)$ le nombre de partitions de $n$ pour $n\in\N^*$. Monter que $p(n)\
 On a $p(n)\leq p(n-1) + p(n-2) + \dots + p(1) + 1$, en considérant le (un) plus grand élément de la partition. Formellement, on a une surjection $\sqcup_{k=0}^{n-1} \mc P_k \ra \mc P_n\quad (X, k)\mapsto X + (n-k)$.
 #+END_proof
 
+# Relier à Lucas : 3721
 #+begin_exercice [X MP 2023 # 276]                                              :sup:
 Soient $e_r\gt \cdots\gt e_2\gt e_1\geq 0$ des entiers, $n=\sum_{k=1}^r2^{e_k}$ et $X=\{s\in\N;\ 2^s\,|\,n!\}$.
  - Montrer que $\max X=n-r$.
@@ -2463,38 +2464,66 @@ Soient $e_r\gt \cdots\gt e_2\gt e_1\geq 0$ des entiers, $n=\sum_{k=1}^r2^{e_k}$
 #+end_exercice
 #+BEGIN_proof
  - Formule de Legendre.
- - Relié à Lucas.
+ - Il faut que quand $n_i = 0$, $k_i = 0$ (chiffres en base $2$).
+
+   Avec Q1, on veut que le nombre de uns dans la décomposition de $n$ soit la somme du nombre de uns de $k$ et de $n-k$.
+
+   Quand on fait la somme de deux nombres en binaires, le nombre de uns du résultat est $\leq$ à la somme des nombres de uns des sommandes. Avec égalité si et seulement si il n'y a aucune retenue (chaque retenue fait perdre un un).
+
+   Donc forcément, il faut que là où $k$ a un chiffre $1$, $n$ l'ait également.
 #+END_proof
 
 # Relier à d'autres…
 #+begin_exercice [X MP 2023 # 277]
- - Montrer que l'équation $a^2-2b^2=1$ admet une infinite de solutions $(a,b)\in\N^2$.
+ - Montrer que l'équation $a^2-2b^2=1$ admet une infinité de solutions $(a,b)\in\N^2$.
 
    Déterminer l'ensemble des solutions.
  - Que dire de l'ensemble des solutions de $a^2-2b^2=-1$?
 #+end_exercice
+#+BEGIN_proof
+ - $(3 + 2\sqrt{2})^k$
+ - $(1+\sqrt{2})^{2k+1}$
+#+END_proof
 
 
 #+begin_exercice [X MP 2023 # 278]
 Si $G$ est un groupe, les éléments d'ordre fini forment-il un sous-groupe?
 #+end_exercice
 #+BEGIN_proof
-Non : cf le produit libre $\Z/2\Z * \Z/2\Z$ : l'ensemble des mots sur $\{A,B\}$ où deux $A$ d'affilée se simplifient, munit de la concaténation. Cf # 281
+Non : cf le produit libre $\Z/2\Z * \Z/2\Z$ : l'ensemble des mots sur $\{A,B\}$ où deux $A$ d'affilée, ou deux $B$ d'affilées se simplifient, muni de la concaténation. Cf # 281
 #+END_proof
 
 #+begin_exercice [X MP 2023 # 279]
-- Trouver deux groupes $G_1$ et $G_2$ non isomorphes de cardinal $2023=7.17^2$.
+ - Trouver deux groupes $G_1$ et $G_2$ non isomorphes de cardinal $2023=7.17^2$.
- - Soit $p$ premier. Montrer qu'un groupe de cardinal $p^2$ est isomorphe a $\Z/p^2\Z$ ou $\hat{\text{a}}\,(\Z/p\Z)^2$.
+ - Soit $p$ premier. Montrer qu'un groupe de cardinal $p^2$ est isomorphe à $\Z/p^2\Z$ ou à $(\Z/p\Z)^2$.
  - Soient $G,H$ deux groupes finis et $\psi\colon G\to H$ un morphisme surjectif.
 
-Montrer que $|G|=|H|\times|\op{Ker}\psi|$.
+   Montrer que $|G|=|H|\times|\op{Ker}\psi|$.
- - On suppose que $G$ est un groupe de cardinal $2023$, que $H=\Z/7\Z$ et que $\phi\colon G\to H$ est un morphisme surjectif. Montrer que $G$ est isomorphe a $\Z/7\Z\times\op{Ker}\phi$.
+ - On suppose que $G$ est un groupe de cardinal $2023$, que $H=\Z/7\Z$ et que $\phi\colon G\to H$ est un morphisme surjectif. Montrer que $G$ est isomorphe à $\Z/7\Z\times\op{Ker}\phi$.
  - Montrer que tout groupe de cardinal $2023$ est isomorphe a $G_1$ ou $G_2$.
 #+end_exercice
+#+BEGIN_proof
+ - 
+ - Le centre est non trivial : on regarde l'action de $G$ sur lui-même par conjugaison, les éléments du centre ont une orbite restreinte à eux mêmes. Sinon, tout élément est conjugué à un nombre d'éléments multiple de $p$, $\Phi\colon g\mapsto g x g^{-1}$ est un morphisme de groupe, donc son noyau est un sous-groupe, donc de cardinal $1, p, p^2$, donc son image est de cardinal $1, p, p^2$.
+
+   La somme des cardinaux des orbites fait $p^2$, donc le nombre d'orbite de cardinal $p$ est un multiple de $p$.
+
+   Soit $G$ est commutatif, auquel cas soit $G$ est cyclique, soit il admet deux éléments $h,g$ d'ordre $p$, tel que $\langle g\rangle\neq \langle h\rangle$. Alors $G\simeq \big(\Z/p\Z\big)^2$, via $(i,j)\mapsto h^i g^j$ (injective + cardinal).
+
+   Sinon, le centre de $G$ est de cardinal $p$ engendré par $g$. On prend un élément $h$ qui n'est pas dans le centre, $(i,j)\mapsto g^i h^j$ est injectif.
+ - On peut écrire $G$ comme la réunion de $g_1\Ker \phi, \dots, g_7 \Ker \phi$.
+
+   On a $g_1 n_1 g_2 n_2 = g_1 g_2 g_2^{-1} n_1 g_2 n_2$. On veut montrer que la conjugaison de $N$ par $g_2$ est triviale, ce qui vient du fait qu'en conjuguant $7$ fois de suite, on est sensé faire l'identité, et $k\mapsto (n_1\mapsto g_2^{-k} n_1 g_2)$ est un morphisme, et $N$ n'a pas d'automorphisme d'ordre $7$.
+
+   $\Ker \phi$ est un sous-groupe normal de $G$. Tout élément de $g$ donne, par conjugaison, un automorphisme de $\Ker \phi$, qui ne dépend que de la classe de $g$ modulo $\Ker \phi$ (car $\Ker \phi$ est commutatif).
+
+   On a un morphisme $H\ra \op{Aut}(\Ker \phi)$, qui est forcément trivial, donc $(g_1,n_1)\mapsto g_1 n_1$ est un morphisme.
+#+END_proof
+
 
 # Cf année précédente
 #+begin_exercice [X MP 2023 # 280]
-Soit $G$ un groupe fini de neutre 1. Soit $\phi$ un automorphisme de $G$ sans point fixe c'est-a-dire tel que : $\forall x\in G$, $\phi(x)=x\Rightarrow x=1$. On note $n$ l'ordre de $\phi$ ; c'est le plus petit entier $n\in\N^*$ tel que $\phi^n=\op{id}$.
+Soit $G$ un groupe fini de neutre $1$. Soit $\phi$ un automorphisme de $G$ sans point fixe c'est-a-dire tel que : $\forall x\in G$, $\phi(x)=x\Rightarrow x=1$. On note $n$ l'ordre de $\phi$ ; c'est le plus petit entier $n\in\N^*$ tel que $\phi^n=\op{id}$.
  - Montrer que $\forall x\in G$, $x\,\phi(x)\,\phi^2(x)\,\cdots\,\phi^{n-1}(x)=1$.
  - Si $n=2$, que peut-on dire du groupe $G$? Donner un exemple.
  - Si $n=3$, montrer que, pour tout $x\in G$, $x$ et $\phi(x)$ commutent.
@@ -2533,23 +2562,31 @@ Soit $G$ un groupe fini d'ordre $n$. On note, pour tout diviseur positif $d$ de
  - Montrer que, si pour tout diviseur positif $d$ de $n$, $|\{x\in G,\ x^d=1\}|\leq d$, alors $G$ est cyclique. - Soient $\mathbb{K}$ un corps et $G$ un sous-groupe fini de $\mathbb{K}^*$. Montrer que $G$ est cyclique.
 #+end_exercice
 
-# Cf un précédent
+#+call: get_exo(4216)
 #+begin_exercice [X MP 2023 # 284]
-On pose $\Q[i]=\{a+ib\;;\ a,b\in\Q\}$.
+On pose $\Q[i]=\{a+ib,\,a,b\in\Q\}$.
  - Montrer que $\Q[i]$ est un sous-corps de $\C$.
  - Déterminer les éléments de $\Q[i]\setminus\{0\}$ qui sont d'ordre fini.
 #+end_exercice
 
+# ID:7023
 #+begin_exercice [X MP 2023 # 285]
-- Soient $\mathbb{K}$ un corps, $(a,b)\in\mathbb{K}^2$, $P=X^2-aX-b$. On considère la $\mathbb{K}$-algèbre $A$ admettant une base sur $\mathbb{K}$ de la forme $(1,x)$ avec $x^2=ax+b$. À quelle condition cette algèbre est-elle un corps?
+ - Soient $\mathbb{K}$ un corps, $(a,b)\in\mathbb{K}^2$, $P=X^2-aX-b$. On considère la $\mathbb{K}$-algèbre $A$ admettant une base sur $\mathbb{K}$ de la forme $(1,x)$ avec $x^2=ax+b$. À quelle condition cette algèbre est-elle un corps?
  - On suppose que $\mathbb{K}=\mathbb{F}_p$ ou $p$ est un nombre premier. Combien de $\mathbb{F}_p$-algèbres non isomorphes peut-on obtenir ainsi?
 #+end_exercice
+#+BEGIN_proof
+ - À condition que $P$ soit irréductible.
+ - Si c'est un corps : $(x - a/2)^2 = c$ on obtient $x'$ avec $x'^2 = c$, avec $c$ n'est pas un carré, et il y une unique classe de non carré.
+
+   Si c'est pas un corps, $x^2 = 1$, l'algèbre est isomorphe à $\m F_p \times \m F_p$.
+#+END_proof
+
 
 #+BEGIN_exercice [X MP 2023 # 286]
 Soit $p$ un nombre premier. On suppose que, pour toute $\mathbb{F}_p$-algèbre $A$, il existe un endomorphisme $u_A$ de $A$ de sorte que, pour tout couple $(A, B)$ de $\mathbb{F}_p$-algèbres et tout morphisme $\tau$ de $\mathbb{F}_p$-algèbres de $A$ dans $B$, on ait $\tau \circ u_A=u_B \circ \tau$. Que dire des $u_A$ ?
 #+END_exercice
 #+BEGIN_proof
-Pour tout isomorphisme $\tau\colon A\ra \A$, $u_A$ commute avec $\tau$.
+Pour tout morphisme d'algèbre $\tau\colon A\ra A$, $u_A$ commute avec $\tau$. Donc $u_A(PMP^{-1}) = Pu_A(M)P^{-1}$, donc $u_A = \op{Id}$, ou $u_A = 0$.
 #+END_proof
 
 #+begin_exercice [X MP 2023 # 287]                                              :sup:
@@ -2583,15 +2620,15 @@ On pose $F\colon z\in\C^*\mapsto\prod_{k=1}^n(1+q^{2k-1}z)(1+q^{2k-1}z^{-1})$.
    Ind. Exprimer $F(q^2z)$ en fonction de $F(z)$.
 #+end_exercice
 #+BEGIN_proof
- - Existence claire, unicité via l'unicité polynomiale.
+ - Existence claire, via $f(z) = f(1/z)$. Unicité via l'unicité polynomiale.
- - On a $F(q^2z)$.
+ - On a $F(q^2z) = F(z) \frac{1 + q^{2n+1}z}{1 + qz} \frac{1 + z^{-1}q^{-1}}{1 + q^{2n-1} z^{-1}}$. Multiplier par le dénominateur, identifié.
 #+END_proof
 
 #+begin_exercice [X MP 2023 # 290]
 Soit $p$ un nombre premier. Trouver tous les entiers $n\in\N$ tels que $(X+Y)^n$ soit congru a $X^n+Y^n$ modulo $p$.
 #+end_exercice
 #+BEGIN_proof
-Pour $n=p$ ok. Sinon, cf Lucas pour les coefficients binomiaux, on veut que $n$ divise tous les ${n\choose k}$.
+Pour $n=p$ ok, si $n = p^{\a}$ aussi. Sinon, cf Lucas pour les coefficients binomiaux : on choisit un $p$ qui divise $n$, on veut $\forall u,\, \lfloor \frac{n}{p^u}\rfloor = \lfloor \frac{k}{p^u}\rfloor + \lfloor \frac{n-k}{p^u}\rfloor$, il faut écrire la décomposition en base $p$.
 #+END_proof
 
 
@@ -2599,7 +2636,7 @@ Pour $n=p$ ok. Sinon, cf Lucas pour les coefficients binomiaux, on veut que $n$
 Soit $f\in\C[X]$ tel que $f(0)\neq 0$. Soit $(k,n)\in(\N^*)^2$. Montrer qu'il existe $P\in\C[X]$ tel que $X^n$ divise $P^k-f$.
 #+end_exercice
 #+BEGIN_proof
-C'est des DLs.
+C'est des DLs : faire le DL de $\sqrt[k]{f}$.
 #+END_proof
 
 #+begin_exercice [X MP 2023 # 292]
@@ -2611,7 +2648,7 @@ Soit $p$ un nombre premier. Pour deux polynômes $P,Q$ dans $\Z[X,Y]$, on note $
 #+BEGIN_proof
  - $T^p$
  - $T^p$
- - 
+ - La première dit que $P$ est un monôme, puisque $P(X)P(Y)$ est une somme de sommandes que l'on peut identifier. La seconde que c'est un $X^{p^{\a}}$.
 #+END_proof
 
 
@@ -2624,14 +2661,17 @@ Interpolation de Hermite.
 
 
 #+begin_exercice [X MP 2023 # 294]
- - Soient $N_1,\ldots,N_r$ des entiers premiers entre eux deux a deux, et $f_1,\ldots,f_r$ des entiers. Montrer qu'il existe un entier $F$ tel que $F\equiv f_i\ [N_i]$ pour tout $i\in\db{1,r}$.
+ - Soient $N_1,\ldots,N_r$ des entiers premiers entre eux deux à deux, et $f_1,\ldots,f_r$ des entiers. Montrer qu'il existe un entier $F$ tel que $F\equiv f_i\ [N_i]$ pour tout $i\in\db{1,r}$.
- - Soient $N_1,\ldots,N_r$ des éléments de $\C[X]$ premiers entre eux deux a deux, et $f_1,\ldots,f_r$ des éléments de $\C[X]$. Montrer qu'il existe $F\in\C[X]$ tel que $N_i$ divise $F-f_i$ pour tout $i\in\db{1,r}$.
+ - Soient $N_1,\ldots,N_r$ des éléments de $\C[X]$ premiers entre eux deux à deux, et $f_1,\ldots,f_r$ des éléments de $\C[X]$. Montrer qu'il existe $F\in\C[X]$ tel que $N_i$ divise $F-f_i$ pour tout $i\in\db{1,r}$.
  - Soient $f,g$ deux éléments de $\C[X]$ premiers entre eux, et $n\in\N^*$. Montrer qu'il existe $h\in\C[X]$ tel que $g$ divise $h^n-f$.
 #+end_exercice
 #+BEGIN_proof
  - 
  - 
- - Se ramener au cas de $g = X^n$, via ce qui précède, peut-être.
+ - Se ramener au cas de $g = X^k$, qui se fait par DL via ce qui précède, peut-être.
+
+   $g = \prod (X-\a_i)^{\b_i}$. On veut que $\forall i,\, h^n \equiv f [(X-\a_i)^{\b_i}]$,
+   Via des DLs, il existe $h_i$ tel qu'il suffise que $h\equiv h_i [(X-\a_i)^{\b_i}]$ (ici on utilise $f\wedge g = 1$, $h_i$ est obtenu en prenant une racine $n$-ième de $f$).
 #+END_proof
 
 
@@ -2639,7 +2679,13 @@ Interpolation de Hermite.
 Soit $n\in\N$. Le polynôme $X^{n+1}-nX^n+1$ est-il irréductible dans $\Z[X]$?
 #+end_exercice
 #+BEGIN_proof
-!! Pour $n=2$, $1$ est racine :)
+Pour $n=2$, $1$ est racine :)
+
+Critère de Perron : si $|a_{n-1}|\gt 1 + |a_0| + \dots + |a_{n-2}|$ et $a_0\neq 0$.
+
+D'une part, il n'y a pas de racines de module $1$. Donc au moins une racine complexe est $\gt 1$.
+
+On écrit $P = (X-x_1) Q$. Et on obtient que $\sum_{i=0}^{n-2} |q_i|\lt 1$. Donc toutes les racines de $Q$ sont de module $\lt 1$.
 #+END_proof
 
 
@@ -2655,8 +2701,10 @@ Soit $P\in\Z[X]$ possedant $n$ racines distinctes $x_1,\ldots,x_n\in\Z$. On écr
  - En déduire qu'il existe $i\in\{1,\ldots,r\}$ tel que $\deg(Q_i)\geq 2\left\lfloor\frac{n+1}{2}\right\rfloor$.
 #+end_exercice
 #+BEGIN_proof
- - 
+ - $R' = \sum Q_i' Q_i$ ; $2 P P' = (\prod Q_i)\sum \frac{Q_i'}{Q_i}$
- - C'est juste le degré de $R$.
+ - $R$ est de degré $\geq 2n$. Donc un des $Q_i$ est de degré $\geq n$. Si $n$ pair c'est bon.
+
+   Si $n$ est impair, il faut montrer qu'un des $Q_i$ est de degré $n+1$. Cela vient du fait que $P^2 + 1 = \prod Q_i$, donc les $Q_i$ ne peuvent pas avoir de racines réelles.
 #+END_proof
 
 
@@ -2719,7 +2767,7 @@ Donc on est point fixe si et seulement si $(ad - bc)(bc - ad) = adbc \ssi (ad-bc
 #+END_proof
 
 
-# À relier…
+# Relier à 6486
 #+begin_exercice [X MP 2023 # 302]
 Soit $R\in\M_n(\Z)$ non nulle et $M=I_n+3R$. Montrer que, pour tout $k\in\N^*$, $M^k\neq I_n$.
 #+end_exercice
@@ -2762,19 +2810,26 @@ Pour une matrice de projecteur $P\in\M_n(\mathbb{K})$, on pose $R_P=\det(I_n+(X-
 
 
 #+begin_exercice [X MP 2023 # 306]
-Soient $E$ un $\C$-espace vectoriel de dimension finie $n\geq 1$ et $V$ un sous-espace vectoriel de $\mc{L}(E)$. On suppose qu'il existe une application $q:V\to\C$ telle que $u^2=q(u)\,\mathrm{id}$ pour tout $u\in V$.
+Soient $E$ un $\C$-espace vectoriel de dimension finie $n\geq 1$ et $V$ un sous-espace vectoriel de $\mc{L}(E)$. On suppose qu'il existe une application $q\colon V\to\C$ telle que $u^2=q(u)\op{id}_E$ pour tout $u\in V$.
- - Monter que, pour tous $u,v\in V$, il existe $B(u,v)\in\C$ tel que $uv+vu=2B(u,v)\,\mathrm{id}_E$.
+ - Monter que, pour tous $u,v\in V$, il existe $B(u,v)\in\C$ tel que $uv+vu=2B(u,v)\op{id}_E$.
- - Montrer que $B$ est une forme bilineaire.
+ - Montrer que $B$ est une forme bilinéaire.
  - Soient $d\geq 1$ et $u_1,\ldots,u_d\in V$ tels que $B(u_i,u_j)=-\delta_{ij}$ pour tous $i,j\in\db{1,n}$. Montrer que $(u_1,\ldots,u_d)$ est libre.
  - Soient $d\geq 2$ et $u_1,\ldots,u_d\in V$ tels que $B(u_i,u_j)=-\delta_{ij}$ pour tous $i,j\in\db{1,n}$. Montrer que les $u_i$ sont de trace nulle, et que $\dim E$ est paire.
 #+end_exercice
+#+BEGIN_proof
+ - $(u+v)^{2}$
+ - Se vérifie.
+ - Probablement comme si ils étaient orthogonaux…
+ - $u_{i}^{2} = -\op{Id}_{E}$ et $u_{i}u_{j} + u_{j} u_{i} = 0$ et les endomorphismes anti-commutent, donc $u_{j}$ envoie $E_{i}$ sur $E_{-i}$.
+#+END_proof
 
-# À relier à un classique.
+
+# À relier à un classique : 5692
 #+begin_exercice [X MP 2023 # 307]
 Soit $n\in\N$ avec $n\geq 2$. Soit $\phi\in\mc{L}\left(\M_n(\C)\right)$. On suppose que $\phi(I_n)$ est inversible et que $\forall A,B\in\M_n(\C)$, $\phi(AB)=\phi(A)\,\phi(B)$. Montrer qu'il existe $P\in\mathrm{GL}_n(\C)$ tel que : $\forall A\in\M_n(\C)$, $\phi(A)=PAP^{-1}$.
 #+end_exercice
 
-# Relier : automorphismes d'algèbres de $\C(X)$
+# Relier : automorphismes d'algèbres de $\C(X)$ : 4136.
 #+begin_exercice [X MP 2023 # 308]
  - Caracteriser les endomorphismes $\phi$ de $\C(X)$ vérifiant $(*)$ : $\forall F_1,\,F_2\in\C(X)$, $\phi(F_1F_2)=\phi(F_1)\,\phi(F_2)$.
  - Déterminer les automorphismes de $\C(X)$ vérifiant $(*)$.
@@ -3313,7 +3368,7 @@ Pour $x$ réel, on pose $f(x)=\sum_{n=1}^{+\i}\dfrac{x^n}{1-x^n}$ sous reserve d
 # Relier à un précédent
 #+begin_exercice [X MP 2023 # 364]
  - Soient $U$ un voisinage de $0$ dans $\C$, et $f:U\to\C$ somme d'une série entière. Soit $k\in\N^*$ tel que $f(z)=O(z^k)$ quand $z$ tend vers $0$. Montrer que, pour $r$ voisin de $0^+$, il existe au moins $2k$ nombres complexes $z$ de module $r$ tels que $f(z)$ soit un nombre réel.
- - Soient $A$ et $B$ deux polynômes a coefficients réels dont toute combinaison lineaire a coefficients réels est scindée ou nulle. Soient $x\lt y$ deux racines de $A$. Montrre que $[x,y]$ contient au moins une racine de $B$.
+ - Soient $A$ et $B$ deux polynômes a coefficients réels dont toute combinaison linéaire a coefficients réels est scindée ou nulle. Soient $x\lt y$ deux racines de $A$. Montrre que $[x,y]$ contient au moins une racine de $B$.
 #+end_exercice
 
 
@@ -3412,7 +3467,7 @@ Soient $\alpha,\beta\gt 0$. Pour $x\gt 0$, on pose $I(x)=\int_0^{+\i}t^{\beta-1}
 
 #+begin_exercice [X MP 2023 # 375]
 - Soient $K$ un segment et $f:K\to K$ une fonction continue croissante. Montrer que $f$ admet un point fixe.
- - On considère l'équation différentielle non lineaire $(E):\ x'=\cos(x)+\cos(t)$. On admet que pour tout $a\in\R$ il existe une unique solution $\phi_a$ de $(E)$ sur $\R$ vérifiant $\phi(0)=a$, et que, pour tous $a,b$ réels distincts, les fonctions $\phi_a$ et $\phi_b$ ne coincident en aucun point. Montrer que $(E)$ possede une solution $2\pi$-périoddique.
+ - On considère l'équation différentielle non linéaire $(E):\ x'=\cos(x)+\cos(t)$. On admet que pour tout $a\in\R$ il existe une unique solution $\phi_a$ de $(E)$ sur $\R$ vérifiant $\phi(0)=a$, et que, pour tous $a,b$ réels distincts, les fonctions $\phi_a$ et $\phi_b$ ne coincident en aucun point. Montrer que $(E)$ possede une solution $2\pi$-périoddique.
 #+end_exercice
 
 # ID:6896
@@ -3794,7 +3849,7 @@ On pose$M=\left(\begin{array}{cccc}a&-b&-c&-d\\ b&a&d&-c\\ c&-d&a&b\\ d&c&-b&a\e
 #+end_exercice
 
 #+begin_exercice [X PSI 2023 # 422]
-On considère deux variables aléatoires $X$ et $Y$ indépendantes a valeurs dans $\db{0,n]\!]$ qui suivent la meme loi. Trouver les lois de $X$ possibles pour que $X+Y$ suive la loi uniforme sur $[\![0,n}$.
+On considère deux variables aléatoires $X$ et $Y$ indépendantes a valeurs dans $\db{0,n}$ qui suivent la meme loi. Trouver les lois de $X$ possibles pour que $X+Y$ suive la loi uniforme sur $\db{0,n}$.
 #+end_exercice
 
 #+begin_exercice [X PSI 2023 # 423]
@@ -3831,7 +3886,7 @@ Caracteriser les matrices $A\in\M_n(\C)$ telles que l'ensemble des matrices semb
 #+end_exercice
 
 #+begin_exercice [X PC 2023 # 440]
-Soit $G$ une partie de $\mathrm{GL}_2(\R)$ qui contient $I_2$ et qui est stable par produit et passage a l'inverse. On note $\mathrm{Vect}(G)$ l'ensemble des combinaisons lineaires d'éléments de $G$. Montrer que $\mathrm{Vect}(G)\neq\M_2(\R)$ si et seulement si une des conditions suivantes est vérifiée :
+Soit $G$ une partie de $\mathrm{GL}_2(\R)$ qui contient $I_2$ et qui est stable par produit et passage a l'inverse. On note $\mathrm{Vect}(G)$ l'ensemble des combinaisons linéaires d'éléments de $G$. Montrer que $\mathrm{Vect}(G)\neq\M_2(\R)$ si et seulement si une des conditions suivantes est vérifiée :
 
 (i) il existe $P\in\mathrm{GL}_2(\R)$ telle que, pour toute $M\in G$, la matrice $P^{-1}MP$ est triangulaire supérieure,
 
@@ -3935,7 +3990,7 @@ Soient $A\in\M_{m,n}(\R)$ non nulle, $X\in\R^n$ et $Y\in\R^m$. On munit $\R^n$ e
  - Montrer que (i) $\Longleftrightarrow$ (i)'.
  - On suppose (i) vérifie. Montrer qu'alors (ii) $\Longleftrightarrow$ (ii)'.
  - Montrer l'unicite de $X$ vérifiant (i) et (ii). Notons $BY$ ce vecteur.
- - Montrer que $B$ est lineaire. Montrer que, pour tout $Y\in\R^m$, $\|BY\|\leq\frac{\|Y\|}{\sqrt{\lambda_1}}$ ou $\lambda_1$ est la plus petite valeur propre non nulle de $A^TA$, et qu'il y a des cas d'égalité non triviaux.
+ - Montrer que $B$ est linéaire. Montrer que, pour tout $Y\in\R^m$, $\|BY\|\leq\frac{\|Y\|}{\sqrt{\lambda_1}}$ ou $\lambda_1$ est la plus petite valeur propre non nulle de $A^TA$, et qu'il y a des cas d'égalité non triviaux.
 #+end_exercice
 
 #+begin_exercice [X PC 2023 # 457]
@@ -3950,7 +4005,7 @@ Soit $\alpha\in\,]0,1[$.
 #+end_exercice
 
 #+begin_exercice [X PC 2023 # 459]
-Soit $f\colon\mc{S}_n(\R)\to\R$ une forme lineaire. Montrer l'equivalence des trois assertions suivantes :
+Soit $f\colon\mc{S}_n(\R)\to\R$ une forme linéaire. Montrer l'equivalence des trois assertions suivantes :
 
 i) $\forall A\in\M_n(\R),\ f\big{(}AA^T\big{)}\geq 0$;
 
@@ -4152,8 +4207,8 @@ Posons $ A=\Q\cap\left[\,0\,;\,1\,\right]$. Existe-t-il une suite $(f_n)$ de fon
 
 #+begin_exercice [X PC 2023 # 494]
 On considère l'ensemble $E$ des applications continues $ f\colon\R\mapsto\R$ telles qu'il existe $ M\gt 0$ vérifiant $\forall x,y\in\R,\left|f(x+y)-f(x)-f(y)\right|\leq M$.
- - Montrer que $E$ est un espace vectoriel contenant le sous-espace des applications lineaires et celui des applications bornées.
+ - Montrer que $E$ est un espace vectoriel contenant le sous-espace des applications linéaires et celui des applications bornées.
- - Soit $ f\in E$. Pour $n\in\N$, on pose $ g_n:x\in\R\mapsto 2^{-n}f(2^nx)$. Montrer que la suite $(g_n)$ converge uniformément vers une application lineaire $g$. En déduire que $f$ s'écrit, de facon unique, comme somme d'une application lineaire et d'une application bornée.
+ - Soit $ f\in E$. Pour $n\in\N$, on pose $ g_n:x\in\R\mapsto 2^{-n}f(2^nx)$. Montrer que la suite $(g_n)$ converge uniformément vers une application linéaire $g$. En déduire que $f$ s'écrit, de facon unique, comme somme d'une application linéaire et d'une application bornée.
 #+end_exercice
 
 #+begin_exercice [X PC 2023 # 495]
@@ -5235,7 +5290,7 @@ Soient $(E,\|\ \|)$ un espace norme réel de dimension finie, $k\in]0,1[$, $f$ u
 
 #+begin_exercice [Mines 2023 # 680]
 Soit $E=\mc C^0([-1,1],\R)$ muni de la norme de la convergence uniforme. Pour $f\in E$ on pose $\phi(f)=\int_0^1f(t)\,dt-\int_{-1}^0f(t)\,dt$.
- - Montrer que $\phi$ est une forme lineaire continue sur $E$ et calculer $\|\phi\|$.
+ - Montrer que $\phi$ est une forme linéaire continue sur $E$ et calculer $\|\phi\|$.
  - Existe-t-il $f$ unitaire telle que $|\phi(f)|=\|f\|\,?$
 #+end_exercice
 
@@ -5340,7 +5395,7 @@ Pour $n\in\N^*$, on pose $ u_n=\sum_{k=1}^n\sin\left(\frac{\sqrt{k}}{n}\right)$.
 
 #+begin_exercice [Mines 2023 # 696]
 Soit $\mc{B}$ le sous-espace de $\C^{\Z}$ forme des suites $(u - {n\in\Z}$ bornées. Soit $T$ l'endomorphisme de $\mc{B}$ qui a $(u - {n\in\Z}$ associe $(u_{n+1})_{n\in\Z}$.
- - Montrer que $T$ est lineaire. Déterminer ses valeurs propres et ses sous-espaces propres.
+ - Montrer que $T$ est linéaire. Déterminer ses valeurs propres et ses sous-espaces propres.
  - Déterminer les sous-espaces de dimension finie de $\mc{B}$ stables par $T$.
 #+end_exercice
 
@@ -5917,7 +5972,7 @@ Soit $P\in\R[X]$ de degré $p\in\N^*$.
 
 #+begin_exercice [Mines 2023 # 805]
 Soit $f:x\mapsto(\arcsin(x))^2$.
- - Montrer que $f$ est solution d'une équation différentielle lineaire d'ordre $2$, sur un intervalle que l'on precisera.
+ - Montrer que $f$ est solution d'une équation différentielle linéaire d'ordre $2$, sur un intervalle que l'on precisera.
  - Montrer que $f$ est développable en série entière au voisinage de $0$. Experimer les coefficients de ce développement en série entière et donner son rayon de convergence.
 #+end_exercice
 
@@ -6154,7 +6209,7 @@ Déterminer les fonctions $y$ de $\R$ dans $\R$ dérivables et telles que $y'(x)
 #+begin_exercice [Mines 2023 # 844]
 Soit $f$ la fonction de $\R$ dans $\R$ telle que $f(0)=0$ et que $\forall x\in\R^*,f(x)=e^{-1/x^2}$.
  - Montr per que $f$ est de classe $C^{\i}$ sur $\R$.
- - La fonction $f$ est-elle solution d'une équation différentielle lineaire homogéné?
+ - La fonction $f$ est-elle solution d'une équation différentielle linéaire homogéné?
 #+end_exercice
 
 #+begin_exercice [Mines 2023 # 845]
@@ -6166,7 +6221,7 @@ Soient $n\in\N^*$ et $\omega\in\C$ tel que $\omega^n=1$. Trouver les fonctions $
 #+end_exercice
 
 #+begin_exercice [Mines 2023 # 847]
-On considère la fonction $f\colon\R\to\R$ définie par : $f(x)=\exp(-x^{-2})$ si $x\neq 0$ et $f(0)=0$. Montr per que $f$ n'est solution d'aucune équation différentielle lineaire homogéné a coefficients constants (d'ordre quelconque).
+On considère la fonction $f\colon\R\to\R$ définie par : $f(x)=\exp(-x^{-2})$ si $x\neq 0$ et $f(0)=0$. Montr per que $f$ n'est solution d'aucune équation différentielle linéaire homogéné a coefficients constants (d'ordre quelconque).
 #+end_exercice
 
 #+begin_exercice [Mines 2023 # 848]
@@ -6267,7 +6322,7 @@ Soit $f:(\R^+)^2\to\R$ définie par $f(0,0)=0$ et $f(x,y)=\frac{xy}{(x+1)(y+1)(x
 #+end_exercice
 
 #+begin_exercice [Mines 2023 # 865]
-Soient $E$ un espace vectoriel normé de dimension finie, $f$ une forme lineaire sur $E$.
+Soient $E$ un espace vectoriel normé de dimension finie, $f$ une forme linéaire sur $E$.
 
 Montrer que l'application $g\colon x\in E\mapsto f(x)\,e^{-\lN x\rN^2}$ admet un minimum et un maximum, puis déterminer ce maximum et ce minimum.
 #+end_exercice
@@ -7061,7 +7116,7 @@ Un espace norme réel est dit separable lorsqu'il contient une partie denombrabl
 
 #+begin_exercice [Centrale 2023 # 1245]
 Soit $E$ l'espace des fonctions polynomiales de $\R$ dans $\R$. Pour tout $f\in E$, on note $\phi(f)$ la primitive de $f$ d'intégrale nulle sur l'intervalle $[0,1]$.
- - Justifier la définition de $\phi$ puis etablir qu'il s'agit d'une application lineaire sur $E$.
+ - Justifier la définition de $\phi$ puis etablir qu'il s'agit d'une application linéaire sur $E$.
 
 On munit $E$ de la norme $\|\ \|_{\i}$ sur $[0,1]$.