Oraux de mathématiques aux concours

Lycée Thiers – MP*

Préambule
Ce document regroupe un grand nombre d’exercices posés à l’oral aux élèves de MP** pendant l’année 2022,
et de MP* à partir de l’année 2023. Certains d’entre eux n’ont pas pu être traités ou explorés intégralement, et
il sera donc indiqué en-dessous de ceux qui proposaient davantage de questions :
Il restait des questions mais l’élève n’a pas eu le temps de poursuivre.

Certaines questions qui auraient pu suivre seront parfois ajoutées, et il sera plutôt indiqué :
Il restait probablement des questions ; si tel est le cas, en voici une ou plusieurs qui auraient pu être posées.

Vous trouverez également un bon nombre de notes de bas de page, qui précisent certains mots de vocabulaire
introduits dans l’énoncé ou proposent une ouverture sur des notions mathématiques proches de ce dont l’exercice
traite. Elles seront indiquées au sein du texte par un nombre entre crochets en exposant, comme ici.[1]

Sommaire
Les exercices sont regroupés par concours, et classés selon les grands thèmes suivants (liens cliquables) :
• Algèbre bilinéaire, espaces euclidiens ;
• Algèbre linéaire, polynômes, réduction ;
• Analyse, topologie ;
• Calcul différentiel ;
• Groupes, anneaux, arithmétique ;
• Probabilités.
La dernière page de ce document est consacrée aux indications, qui étaient fournies dès le début avec l’énoncé,
ou qui sont apparues au cours de l’échange, pour les oraux qui s’y prêtent (notamment pour les exos posés à
l’X ou aux ENS). Lorsqu’un exercice en propose, vous trouverez en-dessous de son énoncé la mention :
▷ Des indications sont disponibles pour cet exercice. Cliquez ici pour les consulter.

Les titres des exercices préciseront l’année à laquelle ils ont été donnés lorsque l’auteur les a récupérés, donc
sans doute pas pour la première fois ! Lorsqu’un exercice a été redonné (quasiment) à l’identique, le titre en
fera mention. De même, lorsqu’un corrigé détaillé est disponible à la fin du document, cela sera indiqué dans le
titre. Vous pouvez contacter l’auteur à l’adresse [Link][at][Link].

Enjoy !

[1] Voici un exemple de note de bas de page.

1
Oraux de mathématiques aux concours Lycée Thiers – MP*

Notations
A× groupe des inversibles de l’anneau A
A[X] espace des polynômes à coefficients dans A
An [X] sous-espace des polynômes à coefficients dans A de degré au plus n

πu polynôme minimal de u
χu polynôme caractéristique de u
ker u noyau de u
im u image de u
rg u rang de u
det u déterminant de u
tr u trace de u
spec u spectre de u

L (E) espace des endomorphismes de E

Mn,p (K) espace des matrices n × p à coefficients dans K
Mn (K) espace des matrices n × n à coefficients dans K
GLn (K) groupe des inversibles de Mn (K)
SLn (K) noyau du déterminant GLn (K) → K ×

idE application identité de l’ensemble E

Sn groupe des permutations de {1, . . . , n}
Aut(G) groupe des automorphismes du groupe G

In matrice identité de taille n

AT transposée de la matrice A
com(A) comatrice de A
⟨x, y⟩ produit scalaire canonique de x et y
∥x∥2 norme euclidienne canonique de x
|||f ||| norme subordonnée de f

Sn (R) espace des matrices symétriques réelles n × n

S+
n (R) sous-espace des matrices positives de Sn (R)
S++
n (R) sous-espace des matrices définies positives de Sn (R)
O(n) espace des matrices orthogonales réelles n × n
SO(n) noyau du déterminant O(n) → {−1, 1}

C k (E, F ) ensemble des fonctions E → F de classe C k

∂k f dérivée partielle de f par rapport à la k ème variable
df différentielle de f
∇f gradient de f
∇2 f matrice hessienne de f
∆f laplacien de f

P(A) probabilité de A
E(X) espérance de X
Var(X) variance de X
cov(X, Y ) covariance de X et Y

B(p) loi de Bernoulli de paramètre p

B(n, p) loi binomiale de paramètres n, p
P(λ) loi de Poisson de paramètre λ

2
Oraux de mathématiques aux concours Lycée Thiers – MP*

Algèbre bilinéaire, espaces euclidiens

Exercice 1 : CCP 2024
Soient E et F deux espaces vectoriels de dimensions respectives n et p, ainsi que f ∈ L (E, F ).
On suppose que f est de rang n et que f ∗ est de rang p.
1. Montrer que f ∗ ◦ f est un automorphisme d’un espace vectoriel à préciser.
−1
2. On pose g = f ◦ (f ∗ ◦ f ) ◦ f ∗ . Montrer que g est un endomorphisme auto-adjoint.
3. Montrer que g est la projection orthogonale sur f .

Exercice 2 : Centrale 2022

1. Soit A ∈ GLn (R). Montrer que φ : (x, y) 7−→ ⟨Ax, Ay⟩ est un produit scalaire sur Rn .
2.a) En déduire qu’il existe Q ∈ O(n) et S ∈ Sn (R) telles que A = QS.
2.b) Étendre le résultat à A ∈ Mn (R).

Exercice 3 : Centrale 2022

1. Montrer que si U ∈ S+
n (R), alors U admet une unique racine carrée dans Sn (R).
+

2. Montrer que si U, V ∈ S+
n (R), alors tr(U V ) ≥ 0.

3. Soit I un intervalle non vide de R. On considère une fonction dérivable f : I → Mn (R) ainsi que P ∈ R[X].
Montrer que tr ◦ P ◦ f est dérivable sur I et calculer sa dérivée.

Exercice 4 : Centrale 2023

Soient E un espace euclidien et s ∈ L (E).
1. Établir l’identité du parallélogramme et l’identité de polarisation.
2. Montrer l’équivalence entre les assertions suivantes :
(i) ∃c ≥ 0, ∀x, y ∈ E, ⟨s(x), s(y)⟩ = c ⟨x, y⟩ ;

(ii) ∀x, y ∈ E, ⟨x, y⟩ = 0 =⇒ ⟨s(x), s(y)⟩ = 0.

3. Trouver tous les u ∈ L (E) tels que u V ⊥ ⊆ u(V )⊥ pour tout sous-espace vectoriel V de E.

Exercice 5 : Mines 2022

Soit A ∈ Sn (R). On suppose que la suite (Ak )k∈N converge vers B ∈ Mn (R). Montrer que :
X
|bi,j | ≤ n rg B.
p

1≤i,j≤n

Exercice 6 : Mines 2024

Soient E un espace euclidien et p ∈ L (E) tel que p2 = p. Montrer que p est un projecteur orthogonal si, et
seulement si, ∥p(x)∥ ≤ ∥x∥ pour tout x ∈ E.

3
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 7 : Mines 2024

Soient S une partie non vide de R2 et f ∈ L (R2 ). On suppose que, pour tout v ∈ R2 :

f (v) ∈ S et v − f (v) ∈ S ⊥ .

Montrer que S est un espace vectoriel, et que f est la projection orthogonale sur S.

Exercice 8 : Mines 2024

On considère A ∈ S+
n (R) telle que ai,j < 0 pour tous i, j ∈ {1, . . . , n} distincts.

Pour X = (x1 , . . . , xn ) ∈ Rn , on note |X| = (|x1 | , . . . , |xn |).

1. Comparer X T AX et X T A |X|.
2. Montrer que pour tous X, Y ∈ Rn :

2
Y T AX ≤ Y T AY X T AX .

3.a) Montrer que si X ∈ ker(A) \ {0}, alors aucun coefficient de X n’est nul.
3.b) Montrer que dim ker(A) ≤ 1.
Il restait des questions mais l’élève n’a pas eu le temps de poursuivre.

Exercice 9 : Mines 2024

Soit A ∈ S+
n (R). Montrer que com(A) ∈ Sn (R).
+

Exercice 10 : X 2022
On pose G = SO(3), et on considère un sous-groupe H de G tel que[2] :

∀g ∈ G, ∀h ∈ H, ghg −1 ∈ H.

Montrer que H = {I3 } ou H = G.[3]

▷ Des indications sont disponibles pour cet exercice. Cliquez ici pour les consulter.

Exercice 11 : ENS U 2022 (corrigé)

Montrer que M 7−→ tr (exp M ) est convexe sur Sn (R).

[2] Un tel sous-groupe H est appelé distingué ou normal, ce que l’on note H ⊴ G. On montre que H est distingué si et seulement

si l’ensemble des classes à gauche modulo H coı̈ncide avec celui des classes à droite, c’est-à-dire {gH | g ∈ G} = {Hg | g ∈ G}.
Ces sous-groupes permettent de construire les groupes quotients, dont Z/nZ est un exemple célèbre : on définit G/H = G/R, où
la relation d’équivalence R est définie par xRy ⇐⇒ xy −1 ∈ H, et cet ensemble peut être muni d’une structure de groupe héritée
de celle de G, lorsque H ⊴ G. Par exemple, dans le cas de (Z/nZ, +), la relation R n’est autre que la congruence modulo n.
[3] Un tel groupe G est appelé simple. Pour n ≥ 3, on peut montrer que SO(n) est simple si et seulement si n est impair.

4
Oraux de mathématiques aux concours Lycée Thiers – MP*

Algèbre linéaire, polynômes, réduction

Sauf mention contraire, la lettre K désignera toujours le corps R ou le corps C.

Exercice 12 : CCP 2023

Soit (a, b) ∈ R2 \ {0}. On considère la matrice :

0
 
a
.. .. 
. .

A= .

 0 a
a ··· a b

1. Justifier que A est diagonalisable.

2. Déterminer le rang de A.
3. Calculer le polynôme minimal et les valeurs propres de A. En déduire son polynôme caractéristique.

Exercice 13 : CCP 2023

On considère la matrice :
3 2
 
−2
A = −1 0 1 .
1 −1 0
1. Déterminer le polynôme caractéristique de A.
2. Déterminer le polynôme minimal de A.
3. Calculer An pour n ∈ N. En déduire exp(A).
4. Montrer que A est semblable à[4] :
1 0 0
 

B = 0 1 1 .
0 0 1
5. Trouver une autre méthode pour calculer An .

[4] La matrice B est appelée la réduite de Jordan de A. Le théorème de décomposition de Frobenius, dont la décomposition de

Jordan est un cas particulier, fournit une classification complète des matrices à similitude près sur un corps quelconque.

5
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 14 : CCP 2023

Soient a, b ∈ C. On considère la matrice :

0 ···
 
a a a
.. .. 
0 . .

b
A =  ... .. .. .. ..  .
 
. . . .

. ..
 
 .. .

0 a
b ··· b b 0

1. Lorsque a = b, A est-elle diagonalisable ?

2. Montrer que :
X +λ X −a ··· X −a X −a
.. ..
X −b X +λ . .
P = .. .. .. .. ..
. . . . .
.. ..
. . X +λ X −a
X −b ··· X −b X −b X +λ
est un polynôme de degré au plus 1.
3. En déduire le polynôme caractéristique de A, et discuter le caractère diagonalisable de A.

Exercice 15 : CCP 2023

Soit A ∈ Mn (R) telle que A2 = AT A.
1. Montrer que, pour tout µ ∈ R \ {0} :
⊥
ker A2 − µ2 In = ker(A − µIn ) ⊕ ker(A + µIn ).

2. Trouver toutes les matrices réelles A vérifiant A2 = AT A.

Exercice 16 : CCP 2023

Soit f ∈ L R3 vérifiant f ̸= 0 et f 3 = −f . On pose F = ker(f ) et G = ker f 2 + idR3 .

1. Montrer que F ̸= {0} et G ̸= {0}.

2. Soit v ∈ G \ {0}. Montrer que R3 = F ⊕ G et que (v, f (v)) est une base de G.
3. Soit A ∈ M3 (R) telle que A3 = −A. Montrer que A est semblable à :

0 0 0 0 0 0
   
0 0 1 ou 0 0 −1 .
0 −1 0 0 1 0

6
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 17 : CCP 2023

Soit A ∈ Mn (C).
1. On suppose A nilpotente. Montrer que spec(A) = {0}. En déduire que tr(Ak ) = 0 pour tout k ∈ N.
2. On suppose à présent que tr Ak = 0 pour tout k ∈ {1, . . . , n}. On note :

p
Y
χA = (X − λi )mi .
i=1

En établissant que (m1 , . . . , mp ) est solution d’un système linéaire p × p, montrer que 0 ∈ spec(A).
3. Par un raisonnement similaire, montrer que spec(A) = {0}. En déduire que A est nilpotente.

Exercice 18 : CCP 2024

Soit E un C-espace vectoriel de dimension n ∈ N. On considère f, g ∈ L (E) telles que :

f ◦ g − g ◦ f = f.

L’objectif est de montrer que f est nilpotente de trois manières différentes.

1.a) Montrer que pour tout k ∈ N, f k ◦ g − g ◦ f k = kf k .
1.b) Conclure en étudiant l’application :

u : L (E) −→ L (E)
h 7−→ h ◦ g − g ◦ h.

2) Montrer que pour tout P ∈ C[X], P (f ) ◦ g − g ◦ P (f ) = f ◦ P (f ), puis conclure.

3.a) Montrer que pour tout k ∈ N∗ , tr(f k ) = 0.
3.b) Montrer que f ne possède qu’une seule valeur propre, puis conclure.

Exercice 19 : Centrale 2022

Pour A ∈ Mn (R), on pose ϕA : M 7−→ AM et ψA : M 7−→ M A.
1. Montrer que ϕA et ψA sont des endomorphismes de Mn (R).
2. Calculer P (ϕA ) et P (ψA ) pour P ∈ R[X]. Quel est le polynôme minimal de ϕA et ψA ?
3. On suppose que A, B ∈ Mn (R) sont diagonalisables. Montrer que ϕA , ψB et ϕA − ψB sont diagonalisables.
Montrer qu’on peut les diagonaliser dans une même base constituée de matrices de rang 1.

7
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 20 : Centrale 2022

On définit le nème nombre harmonique par[5] :
n
X 1
Hn = .
k
k=1

1. Notons Hn = sn /tn sous forme irréductible. Écrire une fonction decomposition(n) qui renvoie (sn , tn ).
2. Calculer avec Python le reste de la division euclidienne de sp−1 par p2 pour les nombres premiers p ≤ 100, et
émettre une conjecture. On pourra utiliser [Link](n) qui renvoie le plus petit
nombre premier supérieur ou égal à n.
3. On considère un nombre premier p ≥ 5 ainsi que le polynôme :
p−1
Y n−1
X
Q= (X + k) = ak X k .
k=1 k=0

Montrer que les ak sont entiers. Expliciter a0 et ap−1 .

4. Montrer que a1 = (p − 1)!Hp−1 .
5. Montrer que (p − 1)! ≡ −1 (mod p).[6]
6. Soient V = ij 1≤i,j≤p−2 et a = (a1 , . . . , ap−2 ). Montrer qu’il existe B ∈ Rp−2 tel que V a = pB.

7. En déduire que p divise a1 , . . . , ap−2 .

Exercice 21 : Centrale 2022

On note Nn (C) l’ensemble des matrices nilpotentes de Mn (C). Pour M ∈ Nn (C), on désigne par d(M ) l’indice
de nilpotence de M . On note enfin C[M ] l’ensemble des polynômes à coefficients complexes en M .
1. Soit N ∈ Nn (C). Montrer que C[N ] est un C-espace vectoriel de dimension d(N ).
2. Soit N ∈ Nn (C). Montrer que N + In ∈ GLn (C), puis que N 2 + 2N ∈ Nn (C) avec d N 2 + 2N = d(N ).

3. Montrer que ϕ : N 7−→ N 2 + 2N réalise une injection de Nn (C) dans lui-même.

Exercice 22 : Centrale 2022

Pour A ∈ Mn (K), on pose φA : M 7−→ tr(AM ) et τA : M 7−→ M A − AM .
1. On suppose que A est nilpotente. Montrer que ker(τA ) ⊆ ker(φA ).
2. On suppose qu’il existe B ∈ Mn (K) telle que A = BA − AB. Calculer BP (A) − P (A)B pour P ∈ K[X]. En
déduire que A est nilpotente.
3. Caractériser les hyperplans H de Mn (K) vérifiant im(τA ) ⊆ H. En déduire l’existence de B ∈ Mn (K) telle
que B = BA − AB.
4. Montrer que A exp(In + B) = exp(B)A.

[5] On peut montrer que H ∈

n / N dès que n ≥ 2, ce qui peut paraı̂tre surprenant au vu de sa vitesse de croissance extrêmement
faible (logarithmique en l’occurrence), à tel point que le plus petit entier n tel que Hn ≥ 20 vaut exactement 272 400 600.
[6] C’est le théorème de Wilson, qui est un cas particulier du résultat plus général suivant : si G est un groupe abélien fini, le

produit des éléments de G est égal à son neutre, sauf s’il existe un unique x ∈ G d’ordre 2, auquel cas ce produit est égal à x.

8
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 23 : Centrale 2023

On considère A, B ∈ Mn (K) et on définit la matrice[7] :
 
a1,1 B · · · a1,n B
 .. .. ..  ∈ M 2 (K)
A⊗B = . . .  n
an,1 B ··· an,n B

On pose également φA,B : M 7−→ AM B T et on note Cn la base canonique de Mn (C).

1. Dans cette question, on étudie le cas n = 2.
1.a) Écrire une fonction K(A, B) qui prend en arguments A, B ∈ M2 (C), et renvoie A ⊗ B.
1.b) Écrire une fonction Mat(A, B) qui prend en arguments A, B ∈ M2 (C), et renvoie la matrice dans la base
C2 de φA,B .
1.c) Tester ces fonctions avec les matrices :

1 1 2 2
   
A= et B= .
1 1 0 1

Comparer les spectres de A et B et de A ⊗ B. Que peut-on conjecturer ?

2. On étudie à présent le cas général. On admettra que A ⊗ B est la matrice dans la base Cn de φA,B .
2.a) Montrer que (A1 ⊗ B1 )(A2 ⊗ B2 ) = (A1 A2 ) ⊗ (B1 B2 ).
2.b) Déterminer une condition nécessaire et suffisante pour que A ⊗ B soit inversible, et calculer (A ⊗ B)−1 .
2.c) On note ∼ la relation de similitude. Montrer que si A1 ∼ A2 et B1 ∼ B2 , alors A1 ⊗ B1 ∼ A2 ⊗ B2 .
3. Montrer successivement les relations :
(i) det(A ⊗ B) = (det AB)n ;

(ii) tr(A ⊗ B) = tr(A) tr(B) ;

(iii) rg(A ⊗ B) = rg(A) rg(B) ;
(iv) A ⊗ B ∼ B ⊗ A.

[7] La matrice A ⊗ B (lire « A tenseur B ») est appelée produit de Kronecker de A et B. On peut montrer que dans une base bien

choisie du K-espace vectoriel K n ⊗ K n , c’est la matrice du produit tensoriel des applications linéaires associées à A et B.

9
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 24 : Centrale 2023

Pour f ∈ C et t = (t0 , . . . , tn−1 ) ∈ Cn , on pose :

··· ···
 
t0 f tn−1 f t1
.. .. .. 
. . . 

 t1
Mf (t) =  ... .. .. .. ..  .
 
. . . . 

 . .. ..
 
 .. . .

f tn 
tn−1 ··· ··· t1 t0

Pour (a1 , . . . , an ) ∈ Cn , on définit son déterminant de Vandermonde :

1 1 ... 1
a1 a2 ... an
V (a1 , . . . , an ) = .. .. .. ..
. . . .
(a1 )n−1 (a2 )n−1 ... (an )n−1

puis on pose Af = Mf (0, 1, 0, . . . , 0), ainsi que :

1 2iπ
 
Fn = √ V 1, ω, . . . , ω n−1 où ω = exp


.
n n

1. Écrire des fonctions Python F(n) et M(f, t) qui renvoient respectivement Fn et Mf (t).
2. On pose Pt = tn−1 X n−1 + · · · + t1 X + t0 . Conjecturer une formule liant Pt (A1 ) et M1 (t) avec Python.
3. Montrer que Pt (A1 ) = M1 (t). Montrer que Fn est inversible, et que Fn−1 = Fn .
4. Soit D la matrice diagonale de coefficients 1, ω, . . . , ω n−1 . Trouver un lien entre D et Fn A1 Fn .

Il restait des questions mais l’élève n’a pas eu le temps de poursuivre.

Exercice 25 : Centrale 2023

On considère n ∈ N∗ dont l’écriture en binaire est donnée par :
p
X
n= ek 2k
k=0

puis on pose s(n) = e0 + . . . + ep et v(n) = min {k ∈ {0, . . . , p} | ek ̸= 0}.

1. Écrire des fonctions s(n) et v(n) qui renvoient respectivement s(n) et v(n).
2. Montrer que v(mn) = v(m) + v(n) pour tous m, n ∈ N∗ .
3. Tester la relation v(n) = s(n − 1) − s(n) + 1 pour n ∈ {1, . . . , 10000} avec Python, puis la démontrer.
4. Calculer v(k!) pour k ∈ N∗ .
5. Montrer l’équivalence entre les assertions suivantes :
(i) n est une puissance de 2 ;
 
n
(ii) pour tout k ∈ {1, . . . , n − 1}, le coefficient binomial est pair.
k

10
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 26 : Centrale 2025

Pour b ∈ R, on pose :
1 1
 
··· ··· b
b 0 ··· ··· 0
.. ..
 
Mb =  . . 0
 
.
.. .. .. 

. . .


b 0

1. Écrire une fonction Python qui renvoie Mb en fonction de n et b.

2. En testant quelques valeurs de (n, b), montrer que l’on peut conjecturer :
n−1
X
χMb = X n − bn−k−1 X k − bn .
k=1

3. Calculer de manière approchée les valeurs propres de M1 pour n ∈ {2, 3, 4, 5, 6}. Les tracer en nuage de
points (on pourra utiliser [Link] et [Link] pour obtenir les parties réelle et imaginaire d’un complexe z). Que
dire du nombre de valeurs propres et du nombre de valeurs propres réelles de M1 ?
4.a) Calculer (M2 )k pour k ∈ {0, 1, 2, 3, 4}. Observer leurs dernières lignes ; que peut-on conjecturer ?
4.b) Montrer que la famille ((Mn )k )0≤k≤n−1 est libre.
4.c) Montrer que le polynôme minimal de Mn est de degré n.
4.d) Montrer que le commutant de Mn est un R-espace vectoriel de dimension n.
4.e) Montrer que le sous-espace propre associé à toute valeur propre complexe est une droite.

Exercice 27 : Centrale 2025

1. Écrire une fonction genere matrices(n, m, a) qui renvoie une liste de m matrices et de taille n avec des
coefficients compris entre −a et a.
2. Écrire une fonction proportion(l) qui donne la proportion du rang des matrices de la liste l. On pourra
utiliser matrix rank pour obtenir le rang d’une matrice.
3. Trouver φ ∈ L (Mn (C)) qui n’est pas une homothétie, et telle que GLn (C) soit stable par φ.
4.a) Soit M ∈ Mn (C) de rang r ∈ {1, . . . , n − 1}. Montrer qu’il existe A, B ∈ GLn (C) tels que :

0 Ir
 
AM − Kr B = 0 où Kr = .
0 0

4.b) Soit N ∈ Mn (C). Donner une condition nécessaire et suffisante sur spec(N ) pour que N soit nilpotente.
4.c) Soit P = A−1 B. Montrer que pour tout λ ∈ C, P − λM ∈ GLn (C).
5. Soit φ ∈ L (Mn (C)). Montrer que φ préserve le rang si, et seulement si, GLn (C) est stable par φ.

11
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 28 : Mines 2022

Pour P ∈ C[X], on définit l’application :

u(P ) : C −→ C
∞
X P (n) n
z 7−→ e−z z .
n=0
n!

1. Montrer que u est à valeurs dans C[X].[8]

2. Montrer que u est un automorphisme de C[X].
3. Étudier les éléments propres de u.

Exercice 29 : Mines 2022

Soit E un K-espace vectoriel de dimension n ∈ N. On pose, pour x ∈ E :
n
X
xk tk−1
k=1
N (x) = sup n
t∈R X
t2k−2
k=1

Montrer que N est une norme sur E. Comparer N et ∥·∥2 .

Exercice 30 : Mines 2022

Soient A, B ∈ Mn (R). Montrer que la fonction :

f : Mn (R) −→ R
X 7−→ det(A + XB)

est polynomiale et donner son degré.

[8] On identifie ici les fonctions polynomiales C → C et les polynômes complexes, ce qui ne pose pas de problème puisque C est

un corps infini. Cela devient impossible lorsque le corps de base est fini ! Par exemple, X 2 + X ∈ Z/2Z[X] n’est clairement pas le
polynôme nul, mais sa fonction associée est bien nulle...

12
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 31 : Mines 2022

1. Soient n ≥ 2 un entier et p ∈ {0, . . . , n − 1}. On considère la matrice :
 
A B
M= ∈ Mn (R) où A ∈ GLp (R).
C D

1.a) Montrer que l’application :

g : Mn (R) −→ Mp (R)
 
X
7−→ Y
Y

induit un isomorphisme ker(M ) → ker(D − CA−1 B).

1.b) Montrer que rg M = p si, et seulement si, D = CA−1 B.
2. Soit V un sous-espace vectoriel de Mn (R). On note p le rang maximal des matrices de V . L’objectif est de
majorer dim V en fonction de p.
2.a) Montrer que l’on peut supposer Jp ∈ V , condition que l’on supposera vérifiée pour la suite.[9]
2.b) On définit l’ensemble :

0
  
B
W = (B, D) ∈ Mn−p,p (R) × Mn−p,n−p (R) .
BT D

Étudier V ∩ W , puis conclure sur la dimension de V .

Exercice 32 : Mines 2022

Trouver une matrice M ∈ Mn (R) vérifiant M 3 − M = In . Montrer qu’alors det(M ) > 0.

Exercice 33 : Mines 2022

Soit P ∈ Rn [X] possédant n racines distinctes a1 , . . . , an . Calculer, sous réserve d’existence :
n n
X 1 X 1
et .
i=1
P ′ (ai ) i=1
ai P ′ (ai )

[9] La matrice Jp est la matrice de coefficients diagonaux (1, . . . , 1, 0, . . . , 0) avec exactement p coefficients égaux à 1.

13
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 34 : Mines 2022

On fixe P ∈ C[X] et on pose :
n
X
A = {i ∈ {0, . . . , n} | ai ̸= 0} où P = ai X i .
i=0

On suppose que (X − 1)k divise P pour un certain k ∈ N, et on veut montrer que card(A) ≥ k + 1.
1. On suppose par l’absurde que card(A) ≤ k. On définit la suite de polynômes (Ps )s∈N par :

P0 = 1,

Ps+1 = X(X − 1) · · · (X − s).

Montrer que pour tout s ∈ {0, . . . , k − 1} :

X
P (s) (1) = ai Ps (i).
i∈A

2. En déduire que ai = 0 pour tout i ∈ A. Conclure.

3. Discuter de l’optimalité de la minoration obtenue.

Exercice 35 : Mines 2022

Soient E un K-espace vectoriel et u ∈ L (E) tel que ∥u(x)∥ ≤ ∥x∥ pour tout x ∈ E. On pose, pour n ∈ N :
n
1 X k
vn = u .
n+1
k=0

1. Simplifier vn ◦ (u − idE ).
2. Montrer que im(u − idE ) ∩ ker(u − idE ) = {0}.
3. On suppose E de dimension finie. Montrer que E = im(u − idE ) ⊕ ker(u − idE ).
4. On suppose à présent que E = im(u − idE ) ⊕ ker(u − idE ), mais on ne suppose plus E de dimension finie.
Montrer que (vn ) converge simplement et que im(u − idE ) est un fermé de E.
5. Étudier la réciproque.

Exercice 36 : Mines 2023

Soit P ∈ C[X]. On note a1 , . . . , aq les racines de P et n1 , . . . , nq leurs multiplicités respectives.
1. Montrer que :
q
P′ X nk
= .
P X − ak
k=1

2. Soit a une racine de P . Montrer qu’il existe t1 , . . . , tq ∈ R tels que[10] :

′

q
X q
X
tk = 1 et tk ak = a.
k=1 k=1

[10] Il apparaı̂t en fait dans la preuve que les t sont positifs. On peut donc dire que les racines de P ′ appartiennent à l’enveloppe
i
convexe des racines de P : c’est le théorème de Gauss-Lucas, évoqué par Gauss en 1836 et démontré par Félix Lucas en 1879.

14
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 37 : Mines 2023

Soit N ∈ Mn (K) nilpotente. Montrer que exp(N ) − In est nilpotente.

Exercice 38 : Mines 2023

Pour P ∈ C[X], on définit :
∞
X
∥P ∥ = sup |ak | où P = ak X k .
k∈N
k=0

On considère b ∈ C tel que |b| < 1, ainsi que l’application :

f : C[X] −→ R
P 7−→ P (b).

1. Montrer que f est continue pour ∥·∥, et déterminer |||f |||.

2. Que se passe-t-il dans le cas |b| ≥ 1 ?

Exercice 39 : Mines 2023

Soient a, b, c ∈ R. On considère la matrice :

···
 
c a a a
.. .. 
. .

b c
A =  ... .. .. .. 
 
. . .

c
. ..
 
 .. .

c a
b ··· b b c

Déterminer det(A) à l’aide du polynôme P = det(A + XJ), où J est la matrice ne contenant que des 1.

Exercice 40 : Mines 2023

On considère la matrice de Mn (K) :
0 1/n
 
.. .. 
1 . . 


C= .. .. 
 
 . 0 . 
1 0 1/n
 

1 1/n
1. Montrer que C est diagonalisable sur K si, et seulement si, χC est scindé à racines simples sur K.
2. Montrer que C est diagonalisable sur C.

Exercice 41 : Mines 2023

Soit M ∈ Mn (R). On suppose qu’il existe p ≥ 1 tel que M p+2 = M 2 et que tr(M ) = n. Déterminer M .

15
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 42 : Mines 2023

Soit A ∈ Mn (Z). Pour x = (x1 , . . . , xn ) ∈ Zn , on note T (x) = pgcd(x1 , . . . , xn ).
Montrer l’équivalence entre les assertions suivantes :
(i) det(A) ∈ {−1, 1} ;
(ii) ∀x ∈ Zn , T (Ax) = T (x).

Exercice 43 : Mines 2023

Soit E un C-espace vectoriel non nul de dimension finie. On considère u, v ∈ L (E) tels que u ◦ v − v ◦ u = u.
1. Montrer que ker u est stable par v, et non nul. En déduire que u et v ont un vecteur propre en commun.
2. On suppose désormais que u ◦ v − v ◦ u ∈ vect(u, v). Montrer que u et v sont cotrigonalisables.

Exercice 44 : Mines 2023

Résoudre dans M3 (C) l’équation :
1 0 0
 

X 2 = 1 1 0 .
1 0 4

Exercice 45 : Mines 2023

Soient E un K-espace vectoriel de dimension finie et u ∈ L (E). On dit que u est :
• simple lorsque les seuls sous-espaces vectoriels de E stables par u sont {0} et E ;
• cyclique lorsqu’il existe x ∈ E tel que E = {P (u)(x) | P ∈ K[X]}.

1. Montrer que si u est simple, alors u est cyclique. Étudier la réciproque.

2. Montrer que si u est simple, alors le commutant de u est K[u] = {P (u) | P ∈ K[X]}.
3. Montrer que u est simple si, et seulement si, χu est irréductible sur K.
Il restait des questions mais l’élève n’a pas eu le temps de poursuivre.

Exercice 46 : Mines 2023

Soit P ∈ Rn [X] unitaire.
1. Montrer qu’il existe A ∈ R[X] tel que :
n
X P (k) A
P = .
A′ (k) X − k
k=0

2. En déduire qu’il existe k ∈ {1, . . . , n} tel que :

n!
|P (k)| ≥ .
2n

16
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 47 : Mines 2024

On considère A ∈ Mn (R) et la matrice par blocs :

0
 
−A
B= .
2A 3A

Montrer que B est diagonalisable si, et seulement si, A est diagonalisable.

Exercice 48 : Mines 2024

Soit E un K-espace vectoriel de dimension n ∈ N. On dit que u ∈ L (E) est une transvection lorsque sa matrice
dans une certaine base de E est de la forme In + λEi,j pour λ ∈ K et deux entiers distincts i, j ∈ {1, . . . , n}.
Montrer l’équivalence entre les assertions suivantes :
(i) u est une transvection ;
(ii) rg(u − idE ) = 1 et (u − idE )2 = 0.

Exercice 49 : Mines 2024

1. Soit A ∈ GLn (C). Trouver une relation entre χA et χA−1 .
2. Soit A ∈ Mn (C). Trouver une relation entre χA , χA2 et χ−A .

Exercice 50 : Mines 2024

On considère A ∈ Mn (C) et la matrice par blocs :
 
a b
B= .
c d

Montrer que si A et B sont diagonalisables, alors il en est de même pour :

 
aA bA
C= .
cA dA

17
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 51 : Mines 2024

Soit n ≥ 1. On considère le produit scalaire suivant sur E = Rn [X] :
Z ∞
⟨P, Q⟩ = P (t)Q(t)e−t dt.
0

On se donne Π ∈ R[X] de degré n et pour P ∈ E, on définit l’application :

u(P ) : R −→ R
Z ∞
x 7−→ Π(x + t)P (t)e−t dt.
0

1. Montrer que u est auto-adjoint et bijectif.

2. On considère une base orthonormée (P0 , . . . , Pn ) de E constituée de vecteurs propres de u, chaque Pi étant
associé à la valeur propre λi . Montrer que pour tous x, y ∈ R :
n
X
Π(x + y) = λk Pk (x)Pk (y).
k=0

Exercice 52 : Mines 2024

Soient P1 , . . . , Pn ∈ K[X] et a1 , . . . , an ∈ K. Quel est le rang de la matrice (Pi (aj ))1≤i,j≤n ?

Exercice 53 : Mines 2024

Pour A ∈ Mn (C), on note C(A) = {P −1 AP | P ∈ GLn (C)}.[11]
1. Montrer que C(A) est d’intérieur vide.
2. Montrer que C(A) est connexe par arcs.
3. Caractériser les matrices A ∈ Mn (C) telles que C(A) soit borné.
4. Montrer que A est diagonalisable si, et seulement si, C(A) est fermé.

Exercice 54 : Mines 2024

L’ensemble des matrices de Mn (K) diagonalisables sur K forme-t-il un espace vectoriel ?
Cet ensemble est-il convexe ? connexe par arcs ? ouvert ? fermé ? dense dans Mn (K) ?

Exercice 55 : Mines 2024

Soient α > 0 et u ∈ L (Cn ). Montrer qu’il existe une base de Cn dans laquelle tous les coefficients de la matrice
de u (sauf ceux situés sur la diagonale) appartiennent à l’intervalle ]−α, α[.

[11] L’ensemble C(A) est appelé classe de similitude de A. C’est l’orbite de A pour l’action par conjugaison de GLn (C) sur Mn (C).

18
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 56 : Mines 2024

1. Existe-t-il une norme sur Mn (R) stable par conjugaison ?
2. Existe-t-il une norme sur Mn (R) stable par conjugaison par une matrice orthogonale ?
3. Même question que la première avec une semi-norme.[12]

Exercice 57 : Mines 2024

On considère A ∈ S++
n (R), b ∈ R et α > 0. On définit la suite
n [13]
:

x 0 = a ∈ Rn ,

xn+1 = xn + α(b − Axn ).

1. Donner une condition nécessaire et suffisante sur x0 et α pour que (xn ) converge.
2. On pose en = A−1 b − xn . Trouver la constante optimale C > 0 telle que pour tout n ∈ N, ∥en+1 ∥ ≤ C ∥en ∥.

Exercice 58 : Mines 2024

Soient E un K-espace vectoriel et f ∈ L (E). On pose :

G = {u ∈ L (E) | u ◦ f = f ◦ u, u2 ◦ f = f et ∃p ∈ N, f p+1 ◦ u = f p }.

1. Soient u ∈ G et k ∈ N. Montrer que uk+1 ◦ f k = u.

2. Soient u, v ∈ G et k ∈ N. Calculer uk ◦ f k+1 ◦ v et v ◦ f k+1 ◦ uk .
3. En déduire que G possède au plus un élément.

Exercice 59 : Mines 2024

On note I = [1, +∞[ et on considère les ensembles :
• E = {f ∈ C 0 (I, R) | f a une limite en +∞},
• F = {f ∈ C 0 (I, R) | ∃n ∈ N, ∃P ∈ Rn [X], ∀t ∈ I, f (t) = P (t)t−n }.

1. Montrer que (E, ∥·∥∞ ) est un espace vectoriel normé, et que F est un sous-espace vectoriel de E.
2. Montrer que F est dense dans (E, ∥·∥∞ ).

[12] Une semi-norme est une application à valeurs positives, homogène et vérifiant l’inégalité triangulaire, c’est-à-dire ayant les

mêmes hypothèses qu’une norme sans la séparation (on peut avoir ∥x∥ = 0 avec x ̸= 0). Par exemple, l’intégrale sur [0, 1] de |f |
pour f : [0, 1] → R continue par morceaux (ou simplement Lebesgue-intégrable) est une semi-norme.
[13] Cette méthode itérative est connue sous le nom de méthode de Richardson à pas fixe.

19
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 60 : Mines 2025

Il s’agit d’une démonstration alternative du résultat de l’exercice 31.
Soient n ≥ 2 un entier, p ∈ {0, . . . , n} et V un sous-espace vectoriel de Mn (R) tel que rg M ≤ p pour toute
matrice M ∈ V .
1. Donner un exemple d’un tel sous-espace V de dimension np.
2. Soient A ∈ Mr (R), C ∈ Rr une colonne, L ∈ Rr une ligne et α ∈ R. On définit :
 
A − tIr C
M (t) =
L α

Justifier que l’application u : t 7−→ det M (t) est polynomiale de degré r. Calculer ses coefficients de degré r et
r − 1.
3. En déduire que dim V ≤ np.

Exercice 61 : Mines 2025

Soient f ∈ L (Mn (R)) continue, et µ0 , . . . , µn−1 : Mn (R) → C les applications définies par :
n−1
X
∀A ∈ Mn (R), f (A) = µk (A)Ak .
k=0

1. On suppose la famille (In , A, . . . , An−1 ) libre. Montrer que les µk sont à valeurs réelles.
2. Montrer que les µk sont continues.

Exercice 62 : Mines 2025

Soit a ∈ R \ {0}. Déterminer le rang, le polynôme caractéristique et le spectre de la matrice :

M = ai + aj 1≤i,j≤n .

Exercice 63 : Mines 2025

Soit S ∈ Sn (R) de valeurs propres λ1 ≤ . . . ≤ λn .
1. Montrer que pour tout X ∈ Rn unitaire :

λ1 ≤ X T SX ≤ λn

et que X T SX = λn , si, et seulement si, SX = λn X.

2.a) Soit U = (u1 , . . . , un ) ∈ Rn un vecteur propre associé à λn . On note |U | = (|u1 | , . . . , |un |). Montrer que
les ui sont tous de même signe.
2.b) Montrer que le sous-espace propre associé à λn est une droite.
Il restait des questions mais l’élève n’a pas eu le temps de poursuivre.

20
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 64 : Mines 2025

1. Soient K un corps infini et A, B, C, D ∈ Mn (K) telles que CD = DC. Montrer que :
 
A B
det = det(AD − BC).
C D

2. Soient A ∈ GLn (C), B, C ∈ Mn (C) et λ ∈ C. On pose :

0 A−1 C
 
M= .
−In −A−1 B

Montrer que λ ∈ spec(M ) si, et seulement s’il existe x ∈ Cn \ {0} tel que l’application :

f : R −→ Rn
t 7−→ eλt x

soit solution de l’équation différentielle Ay ′′ + By ′ + Cy = 0.

Exercice 65 : Mines 2025

On considère a, b ∈ R distincts, et la matrice :
 
a b
.. .
. ..
 
b
A=
 
.. ..

. .
 
 a 
b a

1. La matrice A est-elle inversible ? diagonalisable ? Si oui, la diagonaliser.

2. Mêmes questions lorsque a, b ∈ C.
3. Calculer Ak pour tout k ∈ N.

Exercice 66 : Mines 2025

Soient E un K-espace vectoriel et f, g ∈ L (E) tels que :

f ◦ g − g ◦ f = idE .

1. Montrer que pour tout P ∈ K[X] :

f ◦ P (g) − P (g) ◦ f = P ′ (g).

2. Montrer que la famille (g n )n∈N est libre.

3. Si K = R et E = R[X], trouver f et g qui conviennent.

Exercice 67 : Mines 2025

Soit E un K-espace vectoriel de dimension finie. Décrire l’ensemble :

F = {u ∈ L (E) | ∃v ∈ L (E), u + v ∈ GL(E) et u ◦ v = 0}.

21
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 68 : Mines 2025

Soient E un K-espace vectoriel de dimension n ∈ N et f ∈ L (E).
1. Soit x ∈ E. Montrer que l’ensemble :

Ix = {P ∈ K[X] | P (f )(x) = 0}.

est un idéal non nul de K[X]. On note πf,x son générateur unitaire[14] ; comparer πf et πf,x .
2. On suppose que f est diagonalisable, de valeurs propres λ1 , . . . , λr respectivement associées à des vecteurs
propres v1 , . . . , vr . On pose v = v1 + . . . + vr ; montrer que πf = πf,v .
3.a) Soient F1 , . . . , Fp des sous-espaces vectoriels de E. Montrer que si la réunion des Fi est égale à E, alors
l’un des Fi est égal à E.[15]
Il restait probablement des questions ; si tel est le cas, en voici une ou plusieurs qui auraient pu être posées.
3.b) En déduire qu’il existe x ∈ E tel que πf,x = πf .

Exercice 69 : X 2022
Soient A, B ∈ Mn (C). Montrer l’équivalence entre les assertions suivantes :
(i) B est nilpotente et BA = 0 ;
(ii) ∀M ∈ Mn (C), χAM = χAM +B .

Exercice 70 : X 2022
Soit p un nombre premier.
1. Soit f ∈ Z[X]. Montrer que si le polynôme obtenu à partir de f en résuidant ses coefficients modulo p est
irréductible sur Z/pZ, alors f est irréductible sur Z.
2. Soient h ∈ N∗ et n ∈ N. On note :
n
• Ap (h) = {(a0 , . . . , an−1 ) ∈ {0, . . . , h − 1} | an−1 X n−1 + · · · + a1 X + a0 X est irréductible sur Z/pZ} ;

• Pn l’ensemble des polynômes irréductibles unitaires de degré n de Z/pZ[X].

Montrer que :
card(Ap (h)) hn hn−1
 
= n +O .
card(Pn ) p pn−1

[14] Le polynôme πf,x est appelé polynôme minimal local de f en x.

[15] Ce résultat n’est vrai que si K est infini. Par exemple, le Z/2Z-espace vectoriel (Z/2Z)2 est la réunion de 4 droites.

22
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 71 : X 2022
On considère les polynômes :
n
Y n
X Y
f= (X − αi ) = bk X k et g= (X − (αi + αj ))
k=1 k=0 1≤i<j≤n

et on suppose que f ∈ R[X]. Montrer l’équivalence entre les assertions suivantes :

(i) ∀k ∈ {0, . . . , n}, bk > 0 ;
(ii) ∀i ∈ {1, . . . , n}, Re(αi ) < 0.

Exercice 72 : X 2022
1 √
 
Existe-t-il P ∈ Z[X] tel que P √ = 3?
2

Exercice 73 : X 2023
Soit E un C-espace vectoriel de dimension n ∈ N∗ . On considère a, b ∈ L (E) et on pose [a, b] = ab − ba.[16]
On suppose que [a, b] = f ◦ v, où f ∈ L (C, E) et v ∈ L (E, C) vérifient v ◦ f = 0.
1. Calculer det ([a, b]).
2. Montrer que a et b sont trigonalisables dans une même base.
▷ Des indications sont disponibles pour cet exercice. Cliquez ici pour les consulter.

Exercice 74 : X 2023
On munit Rn de sa structure euclidienne usuelle.
1. Montrer que |||·||| est une norme sur Rn .
2. Soit A ∈ Mn (R). Montrer que :
|||A||| = sup |⟨AX, Y ⟩| .
∥X∥≤1
∥Y ∥≤1

3. On considère la matrice suivante :

1
 
M= ∈ Mn+1 (R).
i+j+1 0≤i≤n
0≤j≤n

Majorer |||M ||| par une constante indépendante de n.

▷ Des indications sont disponibles pour cet exercice. Cliquez ici pour les consulter.

[16] Le vecteur [a, b] est le commutateur de a et b. C’est un objet également étudié en théorie des groupes : le groupe dérivé d’un

groupe G est le sous-groupe de G engendré par ses commutateurs, souvent noté [G, G]. Il est lié à la notion de groupe résoluble.

23
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 75 : X 2025
Pour M ∈ Mn (C), on définit l’ensemble de ses racines carrées :

R(M ) = {A ∈ Mn (C) | A2 = M }.

1. Existe-t-il M ∈ Mn (C) telle que R(M ) = ∅ ?

2. Combien de matrices deux à deux non semblables y a-t-il dans R(In ) ?
3. On suppose que M est diagonalisable à valeurs propres deux à deux distinctes. Calculer card R(M ).
4. Si M est diagonalisable et R(M ) ̸= ∅, les éléments de R(M ) sont-ils diagonalisables ?
5. À quelles conditions a-t-on R(−In ) ∩ Mn (R) ̸= ∅ ?
6. Supposons que M = In + N où N est nilpotente. Montrer que R(M ) n’est pas vide, que R(M ) contient un
élément de la forme In + N ′ avec N ′ nilpotente, et que c’est le seul de cette forme.

Exercice 76 : X 2025
Soit H un sous-espace vectoriel de Md (C) stable par multiplication. On considère[17] :

D = {δ ∈ L (H) | ∀A, B ∈ H, δ(AB) = δ(A)B + Aδ(B)}.

1. Soit C ∈ Md (C). Pour A ∈ H, on pose :

δ(A) = CA − AC.

Montrer que δ ∈ D et calculer exp(δ).

2. On considère δ ∈ D ainsi que h = exp(δ). Démontrer :

∀A, B ∈ H, h(AB) = h(A)h(B).

On pourra calculer les puissances de δ via la formule du binôme de Newton, puis montrer que l’application
suivante est constante égale à AB :

f : t 7−→ exp(−tδ)(exp(tδ)(A) × exp(tδ)(B)).

3. Pour λ ∈ C, on pose Hλ = ker((δ − λidH )d ). Montrer que si A ∈ Hλ et B ∈ Hµ , alors AB ∈ Hλ+µ . Pour ce

faire, on pourra étudier l’application :

g : t 7−→ exp(t(δ − (λ + µ)idH ))(AB).

Exercice 77 : ENS ULSR 2022

Soient A une partie bornée de Rd et x ∈ Rd situé dans l’enveloppe convexe de A.[18]
Montrer que pour tout n ∈ N∗ , il existe x1 , . . . , xn ∈ A tels que :
n
1X |A|
x− xi ≤ √ où |A| = sup ∥x − y∥ .
n i=1 n x,y∈A

[17] Unetelle application δ est appelée dérivation sur H.

[18] L’enveloppeconvexe de A est l’ensemble des barycentres à poids positifs d’éléments de A. C’est également la plus petite partie
convexe de Rd contenant A, ou encore l’intersection des parties convexes de Rd contenant A.

24
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 78 : ENS L 2022

Montrer que, dans tout triangle, on peut inscrire une ellipse tangente au milieu de chaque côté du triangle.

Exercice 79 : ENS ULSR 2023 (corrigé)

Soit P ∈ R[X] de degré N ≥ 1, scindé sur R. Montrer que (N − 1)(P ′ )2 ≥ N P P ′′ . Cas d’égalité ?

Exercice 80 : ENS SR 2023

Soit M ∈ M2 (Z). On suppose qu’il existe n ≥ 1 tel que M n = I2 .
1. Que peut-on dire ?
2. En déduire que l’ordre de M divise 12.

Exercice 81 : ENS SR 2023

Montrer que SL2 (Z) est un groupe, engendré par les matrices :

0 −1 1 1
   
S= et T = .
1 0 0 1

Exercice 82 : ENS L 2023

Pour A ∈ Mn (R), on définit l’application :

φA : Mn (R) −→ Mn (R)
M 7−→ AM.

1. Montrer que |||φA ||| ≤ |||A|||2 .

2. Donner une sous-algèbre stricte de Mn (R) stable par transposition.
3. On définit la sous-algèbre de Mn (R) :

0
  
M1
M= (M1 , M2 ) ∈ Mp (R) × Mq (R), p + q = n
0 M2

et on admet que B = {φA | A ∈ M} est une sous-algèbre de L (Mn (R)).

Décrire l’ensemble des endomorphismes de Mn (R) qui commutent avec tous les éléments de B.

25
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 83 : ENS ULSR 2025

Pour M ∈ GLn (R), on définit[19] :
C(M ) = |||A||| × A−1
où |||·||| est la norme subordonnée à la norme euclidienne.
1. Calculer C(M ) lorsque M ∈ S++
n (R).

2. Montrer que C(M ) ≥ 1.

3. Montrer que C(M ) = C(M T ).
4. Que dire de M lorsque C(M ) = 1 ?
5. Montrer que si A, B ∈ S++
n (R), alors C(A + B) ≤ max(C(A), C(B)).

Exercice 84 : ENS L 2025

Soient F, G ∈ Q[X]. Déterminer des conditions nécessaires pour que F (Q) = G(Q).
On pourra commencer par supposer F, G ∈ Z[X] et montrer que deg F = deg G.

[19] Le réel C(M ) est appelé conditionnement de M . Il mesure la difficulté de la résolution numérique d’un système linéaire de la

forme M x = y. Si C(M ) est élevé, les erreurs d’approximation sur y auront tendance à fortement se propager sur x.

26
Oraux de mathématiques aux concours Lycée Thiers – MP*

Analyse, topologie
Exercice 85 : CCP 2023
On considère l’intégrale :
∞
ln(t)
Z
I= dt.
0 1 + t2
1. Existence et valeur de I ?
2. Soit a ∈ ]0, +∞[ \ {1}. Trouver des réels α et β tels que :

1 α β
∀t ∈ R, = + 2 .
(1 + t2 )(α2 + t2 ) 1 + t2 a + t2

3. Calculer l’intégrale :
∞
ln(t)
Z
I(a) = dt.
0 (1 + t2 )(a2 + t2 )
4. Rappeler le théorème de convergence dominée. L’utiliser pour calculer l’intégrale :
Z ∞
ln(t)
dt.
0 (1 + t2 )2

Exercice 86 : CCP 2023

1. Calculer la limite :
n−1
1X
 
k
lim ln 1 + .
n→∞ n n
k=0

2. Démontrer :
n−1
1X
 
k
lim ln 1 + 2 = 0.
n→∞ n n
k=0

3. Soit f une fonction continue sur [0, 1]. À l’aide de la continuité uniforme de f , montrer que :
n−1 
1X
 Z 1
k k
lim f + 2 = f (t) dt.
n→∞ n n n 0
k=0

Exercice 87 : CCP 2023

On considère l’intégrale :
∞
t sin t
Z
I= dt.
0 t2 + 1
1. Existence de I ?
2. Pour x ∈ R, on pose :
x
t |sin t|
Z
J(x) = dt.
0 t2 + 1
Démontrer :
n−1
XZ π (u + kπ) sin u
∀n ∈ N, J(nπ) = du.
0 (u + kπ)2 + 1
k=0

3. L’intégrale I est-elle absolument convergente ?

27
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 88 : CCP 2023

Soit x0 ∈ R. On définit la suite (un )n∈N par :

u0 = x0 ,

un+1 = arctan(un ).

1. Montrer que u est monotone. Déterminer son sens de variation en fonction de x0 .

2. Montrer que u converge et déterminer sa limite.
3. Trouver toutes les fonctions continues h : R → R telles que :

∀x ∈ R, h(x) = h(arctan x).

Exercice 89 : CCP 2024

Soit λ > 0. Pour n ∈ N et x ∈ R, on pose :
x
fn (x) = .
1 + λn x2
1. Convergence simple de fn sur R en fonction de λ ?
P

2. Même question pour la convergence uniforme.

3. On définit à présent la fonction :
∞
X 1
G(x) = gn (x) où gn (x) = ln 1 + 2n x2 .


n=0
2n+1

Domaine de définition, continuité et dérivabilité de G ?

Exercice 90 : CCP 2024

Soit a ∈ ]0, 1[. On considère l’intégrale :
a
x − ln(1 − x)
Z
I(a) = dx.
0 x2

1. Montrer que I(a) est convergente.

2. Démontrer :
∞
X an
I(a) = − .
n=1
n(n + 1)
3. En déduire la valeur de l’intégrale :
1
x − ln(1 − x)
Z
dx.
0 x2

28
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 91 : CCP 2025

On admet le résultat[20] :
∞
X 1 π2
ζ(2) = = .
n=1
n2 6
Démontrer :
1
ln(1 + u) π2
Z
du = .
0 u 12

Exercice 92 : Centrale 2022

Soient B un compact convexe de Rn ainsi que u ∈ L (Rn ). On suppose que u(B) ⊆ B.
On définit la suite de fonctions (un )n∈N par u0 = idRn , et :
n−1
1X k
un = u .
n
k=0

1. Quels sont les compacts convexes de R ?

2. On définit l’ensemble :
∞
\
A= un (B).
n=0

Montrer que x ∈ A si, et seulement si, u(x) = x et x ∈ B.

3. Montrer que A ̸= ∅.

[20] C’est le problème de Bâle, posé en 1644 par Pietro Mengoli. D’ailleurs, π 2 / 6 ≈ 1.644.

29
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 93 : Centrale 2022

Pour n ∈ N, on note un le nombre de chiffres « 1 » dans l’écriture binaire de n. On pose également :
n
X uk
Sn = .
k(k + 1)
k=1

1.a) Donner u13 , u31 et u32 . À l’aide de Python, donner une expression de un .
1.b) Tracer les 100 premières valeurs de Sn . Que peut-on conjecturer ?
2.a) Montrer que un ≤ 1 + log2 (n).
2.b) Montrer que la série (Sn )n∈N converge.
2.c) Calculer sa somme S. On pourra d’abord démontrer :
∞
S X (−1)k−1
S= + .
2 k
k=1

3.a) Quelle est la nature de la série uk ?

P

3.b) On pose, pour p ∈ N :

p
2X −1
vp = uk .
k=0

Exprimer vp+1 en fonction de vp . En déduire une expression explicite de vp .

3.c) Montrer qu’il existe A, B > 0 tels que, pour tout n ∈ N∗ :
n
1X
A log2 (n) ≤ uk ≤ B log2 (n).
n
k=0

3.d) Démontrer, lorsque n → ∞ :

n
X n log2 (n)
uk ∼ .
2
k=0

30
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 94 : Centrale 2022

Pour n ∈ N et x ∈ R, on pose[21] :
n
4 X sin((2k + 1)x)
Sn (x) = .
π 2k + 1
k=0

1.a) Écrire une fonction S(n, x) qui renvoie la valeur de Sn (x).

1.b) Pour n ∈ {10, 20, 100}, tracer Sn sur l’intervalle [−2π, 2π].
1.c) Écrire une fonction premier max(n) qui renvoie l’abscisse du premier maximum local de Sn .
2.a) Montrer que pour tout x ∈ [0, π] :

2 x
sin((2n + 2)t)
Z
Sn (x) = dt.
π 0 sin(t)

2.b) Montrer que pour tout n ∈ N :

n
π X (−1)k 1
t2n+2
Z
− = (−1)n+1 dt.
4 2k + 1 0 t2 + 1
k=0

2.c) En déduire[22] : π

Sn−−−−→ 1.
2 n→∞
Il restait probablement des questions ; si tel est le cas, en voici une ou plusieurs qui auraient pu être posées.
3.a) Calculer les points critiques de Sn sur [0, π].
3.b) On note mn le plus petit d’entre eux. Montrer que Sn admet un maximum local en mn .
3.c) Démontrer :
2 π
sin t
Z
mn −−−−→ dt.
n→∞ π 0 t
3.d) On admet que l’intégrale ci-dessus est strictement supérieure à 1. Conclure.

[21] La limite simple de (Sn ) est la série de Fourier d’un signal carré d’amplitude 1 et de période 2π.
[22] La formule π = 4 − 4/3 + 4/5 − 4/7 + . . . est due à Madhava, mathématicien √ indien (1350–1425). La convergence de cette série
alternée est cependant trop lente, et il est plus judicieux de calculer arctan(1/ 3) à l’aide de son développement en série entière.
Cette méthode a d’ailleurs permis à Madhava de donner l’approximation π ≈ 3.14159265359, avec 11 décimales correctes !

31
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 95 : Centrale 2023

Soient (an )n∈N et (bn )n∈N deux suites réelles. On suppose que (bn ) décroı̂t et tend vers 0.
1. Montrer qu’une série (réelle ou complexe) absolument convergente est convergente.[23]
2.a) On note Sn = a0 + · · · + an et on suppose que (Sn )n∈N est bornée. Montrer que :
n
X n−1
X
ak bk = Sk (bk+1 − bk ) + Sn bn .
k=0 k=0

2.b) En déduire que an bn converge.

P

3.a) Pour n ∈ N et x ∈ R, on pose fn (x) = sin(nx). Montrer que si bn fn converge uniformément sur R, alors
P
bn = o(1/n).
3.b) Montrer la réciproque.

Exercice 96 : Centrale 2023

On fixe a ∈ ]0, +∞[ et on pose :
∞
X
f (x) = sin(nx) exp (−na ) .
n=0

1.a) Rappeler le théorème de dérivation des séries de fonctions.

1.b) Donner le domaine de définition de f . Montrer que f est de classe C ∞ .
2. On suppose que a > 1 et on fixe x ∈ R. Montrer que la fonction :

τx : R −→ R
t 7−→ f (x + t)

est développable en série entière au voisinage de 0.[24]

3. Qu’en est-il lorsque a ≤ 1 ?

[23] Dans un R-espace vectoriel de dimension quelconque, cette propriété caractérise la complétude, c’est-à-dire la convergence de

toute suite de Cauchy. Lorsqu’un espace vectoriel normé est complet pour sa norme, on dit que c’est un espace de Banach.
[24] Une fonction développable en série entière au voisinage de tout point est appelée analytique, et c’est une propriété beaucoup

plus forte que la dérivabilité à tout ordre. La fonction x 7−→ exp(−1/x2 ) prolongée par 0 en x = 0 illustre très bien cette nuance.

32
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 97 : Centrale 2023

Une permutation σ ∈ Sn est appelée dérangement lorsqu’elle n’a pas de point fixe.
Sur Python, on représentera σ par la liste (σ(1), . . . , σ(n)).
1.a) Écrire une fonction est derangement(t) qui renvoie True si la permutation t est un dérangement.
1.b) Écrire une fonction permut(n) qui renvoie la liste des éléments de Sn (on pourra procéder récursivement).
Remarque : l’ordre des permutations n’est pas imposé. L’entrée permut(3) pourra par exemple renvoyer :

[[1;2;3];[3;1;2];[2;3;1];[2;1;3];[1;3;2];[3;2;1]]

1.c) Écrire une fonction nb derangements(n) qui renvoie le nombre de dérangements de {1, . . . , n}.
1.d) On note dn ce nombre, avec par convention d0 = 1. Démontrer :
n  
X n
n! = dn−k
k
k=0

2. On considère à présent la série entière :

∞
X dn n
D(z) = z
n=0
n!

et on note R son rayon de convergence.

2.a) Montrer que R ≥ 1. Calculer D(t) exp(t) pour t ∈ ]−1, 1[.
2.b) En déduire :
n
X (−1)k
dn = n! .
k!
k=0

2.c) On note pn la probabilité de tirer au sort un dérangement de Sn . Déterminer la limite de (pn ).

3. On note Sp (n) le nombre de surjections {1, . . . , n} → {1, . . . , p}. On fixe x, y ∈ C et on pose :
X xn y p
S(x, y) = un,p où un,p = Sp (n) .
n! p!
(n,p)∈N2

3.a) Démontrer :
p  
X p
p = n
Sk (p).
k
k=0

3.b) Montrer que (un,p )(n,p)∈N2 est sommable, et que :

exp(y)S(x, y) = exp(x exp(y)).

3.c) En déduire :
p  
X p n
Sp (n) = (−1) p−k
k .
k
k=0

Que peut-on dire lorsque p = n ?

33
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 98 : Centrale 2023

Soit E un espace vectoriel normé. On dit que A ⊆ E est connexe s’il n’existe aucun couple de fermés disjoints
non vides (F, G) de A tel que A = F ∪ G.[25]
1. Expliquer pourquoi on peut remplacer « fermés » par « ouverts » dans la définition ci-dessus.
2. Montrer que A est connexe si, et seulement si, toute application continue A → N est constante.
3. Montrer que si A est connexe par arcs, alors A est connexe.[26]
4. Quelles sont les parties connexes de R ?
5. Soit u ∈ RN telle que (un+1 − un ) converge vers 0. On note V (u) l’ensemble des valeurs d’adhérence de u.
Montrer que V (u) est un intervalle.
6. Soit u ∈ E N bornée telle que (un+1 − un ) converge vers 0. Montrer que V (u) est connexe.

Exercice 99 : Centrale 2023

On considère les séries entières (voir exercice 20 pour la définition de Hn ) :
∞
X ∞
X
f (x) = ln(n)xn et g(x) = Hn xn .
n=1 n=1

1. En utilisant la méthode des rectangles, montrer que Hn = ln(n) + O(1) lorsque n → ∞. En déduire les
rayons de convergence de f et g.
2. Donner une expression de g et en déduire un équivalent de f en 1− .
3. En calculant (1 − x)f (x), montrer que f admet une limite finie en −1 et la calculer.

Exercice 100 : Centrale 2023

1. Donner une condition nécessaire et suffisante sur α et β pour que les intégrales suivantes convergent :
Z ∞
1 1
Z 1
α
dx ; dx.
0 x 1 xβ

2.a) Donner le domaine de définition D de Γ. Montrer que Γ(x) > 0 pour tout x ∈ D.
2.b) Montrer que Γ est l’unique fonction f : D → R vérifiant[27]

• f (1) = 1,
• f (x + 1) = xf (x) pour tout x ∈ D,
• ln ◦ f est convexe.

[25] Cette définition se généralise aux espaces topologiques, et caractérise le fait qu’une partie soit « en un morceau ». Un espace

topologique est un couple (E, T ) où E est un ensemble et T est une topologie, c’est-à-dire un ensemble de parties de E stable par
réunion quelconque, intersection finie, et contenant ∅ et E. Les éléments de T sont appelés les ouverts de E (tiens, tiens). Dans le
cas usuel où E est un espace vectoriel normé, ou simplement un espace métrique, sa topologie est définie par ses boules ouvertes.
[26] La réciproque est fausse en général. Notons G le graphe de la fonction x 7−→ sin(1/x) restreinte à ]0, 1]. On peut montrer, mais

c’est loin d’être facile, que son adhérence G = G ∪ ({0} × [−1, 1]) est connexe, mais n’est pas connexe par arcs. La réciproque est
tout de même vraie pour les ouverts des espaces topologiques localement connexes par arcs, comme (R, |·|) par exemple.
[27] C’est le théorème de Bohr-Mollerup, démontré en 1922.

34
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 101 : Centrale 2024

Soit A = (a0 , a1 , . . . , an ) ∈ Nn+1 tel que a0 < a1 < . . . < an .
1. Pour P ∈ R[X], on pose :
∥P ∥A = max(|P (a0 )| , . . . , |P (an )|).
Montrer que ∥·∥A est une norme sur R[X].
2. On pose :
dn = min ∥X n − P ∥A .
P ∈R[X]

2.a) Dans cette question, on prend A = (0, 1, . . . , n). Écrire une fonction Python qui prend (a0 , . . . , an−1 ) en
argument, où P = a0 + a1 X + . . . + an−1 X n−1 ∈ Rn−1 [X], et renvoie ∥X n − P ∥A .
2.b) Calculer d1 et d2 . On pourra utiliser la fonction [Link].
3. Montrer que pour tout P ∈ Rn−1 [X], il existe un unique (b0 , . . . , bn ) ∈ Rn+1 tel que :
 
n
X n
Y
Xn − P =  (X − aj )

bk  
k=0 j=0
j̸=k

et exprimer les bk en fonction des données de l’énoncé.

4. Montrer que b0 + . . . + bn = 1.
5. Montrer que pour tout k ∈ {0, . . . , n} :
n
Y
|aj − ak | ≥ k!(n − k)!.
j=0
j̸=k

6. En déduire que ∥X n − P ∥A ≥ 2−n n! puis calculer dn .

35
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 102 : Centrale 2024

1. Soient f : R → R et (x0 , . . . , xn ) une famille de réels deux à deux distincts. Montrer qu’il existe un unique
polynôme P ∈ Rn [X] tel que ∀i ∈ {0, . . . , n}, P (xi ) = f (xi ), noté Ln (f ).
2. On considère les fonctions :
1 1
f (x) = et g(x) =
x2 + 1 x2 + 0.2
et on pose, pour i ∈ {0, . . . , n} :

2i 2i + 1
 
ai = −1 et bi = cos π .
n 2n

Représenter f et Ln (f ) à l’aide de Python, pour les familles (ai )0≤i≤n et (bi )0≤i≤n et pour n ∈ {5, 10, 20, 50}
(on pourra utiliser la fonction [Link] interpolate). Faire de même avec g.
3. Soient a, b ∈ R tels que a < b, un entier p ∈ N∗ , des réels c0 , . . . , cp ∈ [a, b] deux à deux distincts, et une
fonction g dérivable p fois sur ]a, b[, telle que g(c0 ) = · · · = g(cp ) = 0. Montrer que g (p) s’annule sur ]a, b[.
4. Soient x0 , . . . , xn ∈ [a, b] des réels deux à deux distincts, et f : [a, b] → R une fonction n + 1 fois dérivable.
Montrer qu’il existe ξx ∈ ]a, b[ tel que pour tout t ∈ [a, b] :
n
1 Y
f (t) − Ln (f )(t) = Un (t)f (n+1) (ξx ) où Un (x) = (X − xi ).
(n + 1)! i=0

5. On pose h(x) = x(x − 1) · · · (x − n). Démontrer :

(i) ∀s ∈ [0, n], |h(n − s)| = |h(s)| ;
(ii) ∀s ∈ [0, n/2], |h(s − 1)| > |h(s)| ;

(iii) max |h| = max |h| ≤ n!

[0,n] [0,1]

et en déduire qu’il existe K > 0 tel que :

 n n
2 Y
sup |Q(x)| ≤ K où Q= (X − ai ).
x∈[−1,1] e i=0

7. On définit la suite des polynômes de Tchebychev (Tn )n∈N par :

 T0 = 1,


T1 = X,
Tn+2 = 2XTn+1 − Tn .


Démontrer :
∀n ∈ N, ∀θ ∈ R, Tn (cos θ) = cos(nθ).
8. Déterminer le degré, le coefficient dominant, ainsi que les racines de Tn .
Il restait probablement des questions ; si tel est le cas, en voici une ou plusieurs qui auraient pu être posées.
9. Pour une subdivision σ de [a, b] comportant n + 1 points, on note Pσ (f ) l’unique polynôme de Rn [X] qui
coı̈ncide avec f en tout point de σ. Comment minimiser ∥f − Pσ (f )∥∞ à l’aide des bi ?
▷ Des indications sont disponibles pour cet exercice. Cliquez ici pour les consulter.

36
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 103 : Centrale 2025

Pour x ∈ R+ , on pose :
∞ ∞
e−xt sin t
Z Z
F (x) = dt et G(x) = dt.
0 t2 + 1 0 x+t
1. Énoncer le théorème de convergence dominée pour une famille quelconque de fonctions.
2. Montrer que F est bien définie sur R+ et donner sa limite en +∞.
3. Montrer que F et G sont continues sur R+ et qu’elles sont de classe C 2 sur R∗+ .

Exercice 104 : Centrale 2025

On admet :
∞
X 1 π2
ζ(2) = = .
n=1
n2 6

Pour n ∈ N∗ et x ∈ ]0, 1[, on pose :

xn (1 − x)2
gn (x) = .
(1 − xn )2
1. Tracer les fonctions g5 , g10 , g15 et les comparer. Comparer également, sur quelques
P exemples, la limite de la
fonction gn en 1− avec π 2 / 6. Que conjecturer quant à la convergence normale de gn sur ]0, 1[ ?
2. On pose, pour N ∈ N :
N
X nxn
SN (x) = (1 − x)2 .
n=0
1 − xn

Calculer S10 (0.9), S100 (0.99), S1000 (0.999), S10000 (0.9999) et comparer ces valeurs à π 2 / 6.
3. Soient a1 , . . . , an ∈ ]0, +∞[. Comparer les quantités :
a1 + . . . + an
et (a1 · · · an )1/n
n
et démontrer l’affirmation, puis prouver la conjecture réalisée en question 1.
4. On admet que ζ(2) = π 2 / 6 (cf. exercice 91). Montrer que :

g(x) = lim SN (x)

N →∞

est bien définie sur ]0, 1[, puis démontrer la conjecture faite en question 2.
5. Démontrer la conjecture faite en question 2.
6. Soit f ∈ C 0 (R+ , R) décroissante et intégrable sur R+ . Montrer que f est positive.
7. Montrer que pour tout h > 0, la série f (nh) converge et vérifie :
P

∞
X Z ∞
lim+ h f (nh) = f (t) dt.
h→0 0
n=1

8. Redémontrer la conjecture faite en 2 avec les résultats des questions 6 et 7.

37
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 105 : Centrale 2025

1. On considère les fonctions f, g : R → R définies par :

et − 1 t
f (t) = et g(t) =
t et −1
et prolongées par 1 en t = 0.
Montrer que f est développable en série entière, et que f et g sont de classe C ∞ sur R.
2. On admet que si une fonction h est développable en série entière au voisinage de 0 avec h(0) ̸= 0, alors 1/h
est aussi développable en série entière au voisinage de 0.
a) Montrer qu’il existe une suite de polynômes (Pn )n∈N tels que :
∞
text X Pn (x) n
∀x ∈ R, ∀t ∈ ]−r, r[, = t .
et − 1 n=0 n!

b) Démontrer :
Z 1
∀n ∈ N, ′
Pn+1 = (n + 1)Pn et Pn+1 (x) dx = 0.
0
3. Démontrer le résultat admis en question 2.

Exercice 106 : Mines 2022

Pour x ∈ R, on pose :
∞
x sin(x + t)
Z
f (x) = dt.
0 1 + (xt)3
Montrer que f possède une limite en +∞. Donner un équivalent de f (x) lorsque x → +∞.

Exercice 107 : Mines 2022

Trouver toutes les fonctions continues f : R → R vérifiant :
Z x
∀x ∈ R, f (2x) = 1 + (x − t)f (2t) dt.
0

Exercice 108 : Mines 2022

Soit (E) l’équation différentielle 2xy ′′ + y ′ − y = 0.
1. Trouver une solution f de (E), développable en série entière au voisinage de 0, telle que f (0) = 1.
2. Donner le rayon de convergence de f et en donner une expression à l’aide des fonctions usuelles (on pourra
séparer les cas x ≥ 0 et x ≤ 0).
3. Transformer (E) en posant y = zf , puis conclure.

38
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 109 : Mines 2022

Pour x ∈ ]0, +∞[, on pose :
∞
sin t
Z
s(x) = dt.
0 ext − 1
1. Développer s en série de fractions rationnelles.
2. En déduire un équivalent de s(x) lorsque x → 0+ .

Exercice 110 : Mines 2022

Pour α ∈ R et n ∈ N, on pose :
∞ ∞
X 1 X (−1)k
un = et vn = .
(k + 1)α (k + 1)α
k=n k=n

Déterminer la nature de un et vn en fonction de α.

P P

Exercice 111 : Mines 2022

Étudier les solutions de l’équation différentielle x3 y ′ − 2y = 0 sur R.

Exercice 112 : Mines 2022

P (n)
X  
Soient P, Q ∈ C[X] n’admettant aucune racine entière. Déterminer la nature de la série ln .
Q(n)

Exercice 113 : Mines 2022

On considère la fonction : ∞
e−2t
Z
F (x) = dt.
0 x+t
1. Domaine de définition et continuité de F ?
2. Équivalent de F en 0+ et en +∞ ?

Exercice 114 : Mines 2022

Montrer que la fonction :

f : R −→ R
2
e−1/x si x ̸= 0,

x 7−→
0 sinon,

n’est solution d’aucune équation différentielle linéaire homogène à coefficients constants (normalisée).[28]

[28] On qualifie ici de normalisée une équation différentielle en y dans laquelle le coefficient de y (n) est égal à 1.

39
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 115 : Mines 2022

On considère la fonction :
∞
X √
f (x) = e−x n
.
n=0

1. Domaine de définition et continuité de f ?

2. Limite en +∞ et équivalent en 0+ de f ?

Exercice 116 : Mines 2022

On fixe α ∈ [0, +∞[ et on pose, pour n ∈ N∗ :
Z n  x n −αx
un = 1+ e dx.
0 n

1. Déterminer la limite et un équivalent de un lorsque α = 0.

2. Faire de même lorsque α > 1.
√
3. À l’aide du changement de variable x = t n, faire de même lorsque α = 1.
4. En déduire la limite de un lorsque α ∈ ]0, 1[.

Exercice 117 : Mines 2023

Soit f ∈ C 1 (R+ , R∗+ ) telle que :
f ′ (x)
lim = −∞.
x→+∞ f (x)

1. Montrer que f (n) converge.

P

2. Déterminer un équivalent du reste.

3. Pouvait-on trouver ce résultat par une comparaison série-intégrale ?

Exercice 118 : Mines 2023

Soit f ∈ C 0 ([0, π] , R). Pour n ∈ N∗ , on pose :
Z π
In = |sin(nt)| f (t) dt.
0

1. Démontrer :
n−1 Z
1X π t + kπ
 
In = f sin(t) dt.
n 0 n
k=0

2. Déterminer la limite de la suite (In ). On pourra étudier :

n−1 Z
1X π
 
kπ
Sn = f sin(t) dt.
n 0 n
k=0

40
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 119 : Mines 2023

Soit f ∈ C 0 (R, R+ ) telle que : Z x
∀x ∈ R, f (x) = 2 f (t) dt.
p
0
1. Montrer que f est croissante sur R et nulle sur R− .
2. Montrer qu’il existe c ∈ R tel que :

∀x ∈ [c, +∞[, f (x) = (x − c)2 .

Exercice 120 : Mines 2023 (et 2025)

Soit X : R → Rn vérifiant X ′ = AX, où A ∈ Mn (R) est antisymétrique.
1. Montrer que la fonction ∥X∥2 est constante.
2. En déduire que la trajectoire de X est inscrite dans un cercle.
Il restait probablement des questions ; si tel est le cas, en voici une ou plusieurs qui auraient pu être posées.
3. Montrer la réciproque de la question 1.

Exercice 121 : Mines 2023

Soit f : R+ → R telle que f (0) = 0 et f (x) −−−−−→ 0.
x→+∞

1. Pour n ∈ N et x ≥ 0, on pose fn (x) = f (nx). Convergence simple de (fn )n∈N ? Convergence uniforme sur
tout compact ?
x
2. Mêmes questions avec gn (x) = f .
n

Exercice 122 : Mines 2023

Soit b ≥ 2 un entier. Pour n ≥ 2, on note c(n) le nombre de chiffres dans l’écriture en base b de n.
On définit la suite (un )n∈N par :
u1 = 1,

un = nuc(n) .
Montrer que 1/un diverge.
P

Exercice 123 : Mines 2023

Soit f ∈ C 2 (R, R+ ).
√
1. Donner une condition nécessaire et suffisante pour que f soit dérivable sur R.
2. On suppose que f (0) = f ′ (0) = f ′′ (0) = 0 et on considère α > 0. Montrer que pour tout x ∈ [−α, α] :

f ′ (x)2 ≤ 2f (x)M (α) où M (α) = sup |f ′′ (t)| .

|t|≤2α

√
3. En déduire une condition nécessaire et suffisante pour que f soit de classe C 1 sur R.

41
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 124 : Mines 2023

Pour z ∈ C \ {1}, on pose :  
z
f (z) = exp .
1−z
1. Montrer que f est développable en série entière au voisinage de 0. Donner son rayon de convergence.
2. Exprimer les coefficients an de cette série entière sous forme d’une somme.
3. Donner une relation de récurrence entre les an .
4. Effectuer un développement asymptotique de ln(an ) à la précision O(ln n).

Exercice 125 : Mines 2023

Calculer la somme double :
∞ X
∞
X 1
.
m=1 n=1
m2 n + n2 m + 2mn

Exercice 126 : Mines 2023

On note D = {z ∈ C | |z| < 1}, S = {z ∈ C | |z| = 1} et on considère f ∈ C 0 (D, R). On suppose que f admet
un prolongement continu sur D ∪ {z} pour tout z ∈ S. Montrer que f admet un prolongement continu sur D.

Exercice 127 : Mines 2023

Soit f ∈ C ∞ (R, R) telle que f (0) = 0.
f (x)
1. Montrer que la fonction g : x 7−→ est de classe C ∞ .
x
√
2. On suppose que f (x) > 0 pour x ̸= 0, et que f ′′ (0) ̸= 0. Montrer que f est de classe C ∞ .

Exercice 128 : Mines 2024

Soit P ∈ C[X] \ {0}. Démontrer la convergence de l’intégrale :
Z 2π
ln P eit dt.


0

Exercice 129 : Mines 2024

On définit la suite (un )n∈N par :

 u0 = 0,


u1 = 1,
(n + 2)un+2 = un+1 + (n + 1)un .


Déterminer une expression explicite de un et calculer sa limite.

42
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 130 : Mines 2024

Pour x ∈ [0, 1] et n ≥ 2, on pose fn (x) = xn − nx + 1.
1. Montrer que l’équation fn (x) = 0 possède une unique solution xn ∈ [0, 1].
2. Déterminer un équivalent de xn lorsque n → ∞.

Exercice 131 : Mines 2024

Pour j ∈ N, on pose : ( )
n
X 1
aj = min n ≥ 1 ≥j .
k
k=1

Justifier que la suite (aj )j∈N est bien définie. Converge-t-elle ? Démontrer :
aj+1
lim = e.
j→∞ aj

Exercice 132 : Mines 2024

On note Hn le nème nombre harmonique (voir exercice 20), et on admet que ζ(2) = π 2 / 6 (voir exercice 91).
1. Démontrer :
∞ ∞
1
Z 1 j−1
X Hn X x
= dx.
n=1
n2n
j=1
j2j−1
0 2 −x

2. Calculer la valeur explicite de la somme.

Exercice 133 : Mines 2024

1. Soit α ∈ R \ {−1}. Donner un équivalent, lorsque n → ∞, de :
n
X 1
Sn (α) = .
kα
k=1

2. Calculer la limite :
n
1 X 1
lim √ √ √ .
n→∞ n 2k − 1 + 2k
k=1

Exercice 134 : Mines 2024

On admet que ζ(2) = π 2 / 6 (cf. exercice 91), et on pose :
n n
X 1 X 1
an = et bn = .
k2 (2k − 1)2
k=1 k=1

Déterminer la limite :
π4
 
lim n − an bn .
n→∞ 48

Exercice 135 : Mines 2024

Démontrer : π
Z 4 √ π
sin(2x) dx < 2−
p
.
0 4

43
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 136 : Mines 2024

Étudier la série entière :
∞ ∞
(ln t)n
Z
X un n
S(x) = x où un = dt.
n=0
n! 0 t2 + 1

Exercice 137 : Mines 2025

On considère la série entière :
∞
X (−1)n−1 4n−1
f (x) = x .
n=1
n!(4n − 1)
Donner le domaine de définition de f . Montrer qu’elle admet une limite en +∞.

Exercice 138 : Mines 2025

1. Soit g ∈ C 0 (R+ , R). On pose, pour x ≥ 0 :
Z x
G(x) = g(t) dt.
0

Montrer que si g et G ont une limite finie en +∞, alors celle de g est nulle.
2. Soit f ∈ C 0 (R+ , R+ ) telle que : Z x
f (x) f (t)2 dt −−−−−→ 1.
0 x→+∞

Déterminer un équivalent de f en +∞.

44
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 139 : Mines 2025

Soit K un fermé de [0, 1] × [0, 1]. Pour x ∈ [0, 1], on pose :

Ix = {y ∈ [0, 1] | (x, y) ∈ K}.

1. Montrer que Ix est un segment.

2. On considère une suite (un )n∈N à valeurs dans [0, 1] qui converge vers ℓ ∈ [0, 1], et on pose :

Jz = {y − x | y ∈ Ix }.

Montrer que si sup Jun ≥ 0 pour tout n ∈ N, alors sup Jℓ ≥ 0.

3. On définit les suites (an )n∈N et (bn )n∈N par :

a0 = 0,

b0 = 1,

puis par récurrence suivant la valeur de :

an + bn
Kn = inf Jcn × sup Jcn où cn =
2
comme suit :
• si Kn = 0, alors an+1 = an et bn+1 = bn ;
• si Kn > 0, alors an+1 = cn et bn+1 = bn ;

• si Kn < 0, alors an+1 = an et bn+1 = cn .

Montrer que (an ) et (bn ) convergent.

Exercice 140 : Mines 2025

Soit (an )n∈N une suite décroissante, de limite nulle, à valeurs strictement positives. On considère :

N : R∗+ −→ R
x 7−→ card {n ∈ N | an ≥ x} .

Étudier l’intégrabilité de N sur R∗+ et calculer son intégrale si elle existe.

Exercice 141 : Mines 2025

Décrire l’ensemble des valeurs prises par :

1 1
Z
A(f ) = f (t)et dt
∥f ∥1 0

pour f ∈ C 0 ([0, 1], R+ ) \ {0}.

45
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 142 : Mines 2025

On fixe x ∈ ]0, π/2], et on considère l’intégrale :
1
1
Z
I= dt.
0 1 − 2t cos x + t2

1. Montrer que I converge et calculer sa valeur.

2. En déduire qu’il existe une suite (an )n∈N positive, décroissante, telle que :
∞
π−x X
= an (cos x)n .
sin x n=0

Exercice 143 : Mines 2025

Montrer que la fonction f définie par :
∞
X xe−nx
f (x) =
n=2
ln n

est de classe C 1 sur ]0, +∞[, et non dérivable en 0.

Exercice 144 : X 2022

On considère la série entière, de rayon de convergence R :
∞
X an n
f (z) = z .
n=0
n!

Montrer l’équivalence entre les assertions suivantes :

(i) ∃C > 0, ∀ε > 0, ∃n0 ∈ N, ∀n ≥ n0 , |an | ≤ (C + ε)n ;

(ii) R = ∞ et ∃C > 0, ∀ε > 0, ∃r0 > 0, ∀z ∈ C, |z| ≥ r0 =⇒ |f (z)| ≤ exp((C + ε) |z|).

46
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 145 : X 2022

n
X
Soient a1 , . . . , an , x1 , . . . , xn des réels non nuls. On pose f (t) = ak sin(xk t) et on suppose :
k=1
(i) sup sup f (r) (t) < ∞ ;
r∈N t∈R

(ii) sup |f (t)| ≤ 1 ;

t∈R

(iii) f ′ (0) = 1.

1. Justifier rapidement que l’on peut supposer 0 < x1 < · · · < xn , et montrer que xn ≤ 1.
2. Démontrer :
n
f (t) 1 1
Z
ak 1[−xk ,xk ] (x).
X
= g(x)eitx dx où g(x) =
t 2 −1 k=1

3. On admet que si φ est continue et 2π-périodique, alors[29] :

X Z 1 Z 1
2 2
|φ(n)|
b = |φ(x)| dx avec φ(n) b = φ(x)einπx dx.
n∈Z −1 −1

Démontrer : Z 1
2
|g(x)| dx ≤ 2.
−1

4. En déduire que f = sin.

Exercice 146 : X 2022

On considère le nombre rationnel :
1
r= = 0.00010102030508132134 . . .
9899
1. Que vous inspire r ?
2. Formuler une conjecture à l’aide d’une série, puis la démontrer.
3. Que peut-on dire du développement décimal de r ?
4. En déduire une conjecture faisant intervenir la suite de Fibonacci, puis la démontrer.

Exercice 147 : X 2022

On note E l’ensemble des fonctions continues f : [0, 1] → R d’intégrale nulle sur [0, 1]. Pour f ∈ E, on définit
l’application A : E → E par : Z x Z 1
A(f ) : x 7−→ f (t) dt + tf (t) dt.
0 0

Montrer que A est continue et déterminer sa norme d’opérateur.[30]

[29] C’estune version de l’égalité de Parseval, avec laquelle on peut d’ailleurs calculer les ζ(2k) !
[30] Cettenotion n’était pas au programme en 2022, la question avait donc été formulée de la manière suivante : démontrer C > 0
tel que ∥A(f )∥∞ ≤ C ∥f ∥∞ pour tout f ∈ E, et trouver la constante C optimale.

47
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 148 : X 2022

Existe-t-il un cercle contenant exactement trois points à coordonnées rationnelles ?

Exercice 149 : X 2022 (corrigé)

∞
X
Soit f (z) = an z n une série entière de rayon 1. On suppose que f (x) −−−−→
−
ℓ.
x→1
n=0

1. Est-il vrai que an est convergente, de somme ℓ ?

P

2. Montrer que ce résultat est vrai si l’on suppose (an ) positive.

3. Montrer que ce résultat est vrai si l’on suppose an = o(1/n).[31]

Exercice 150 : X 2022

1. Soit n ∈ N. Montrer qu’il existe xn , yn ∈ ]0, 1[ tels que :
∞ ∞
X 1 1 X (−1)k (−1)n+1
n! = et n! = .
k! n + xn k! n + 1 + yn
k=n+1 k=n+1

2. Montrer qu’il n’existe aucun (a, b, c) ∈ Z3 tel que a + be + ce2 = 0.[32]

Exercice 151 : X 2022

Soient α1 , . . . , αn ∈ ]−1, 1[ non nuls et tous distincts, ainsi que β1 , . . . , βn ∈ R.
Montrer qu’il existe une série entière :
∞
X
f (x) = ck x k
k=0

de rayon de convergence ≥ 1, à coefficients entiers, uniformément bornés, et telle que :

∀i ∈ {1, . . . , n}, f (αi ) = βi .

[31] C’est un corollaire d’un théorème dû à Hardy et Littlewood, démontré en 1914 par les deux mathématiciens du même nom,

qui l’ont d’ailleurs utilisé l’année suivante dans une nouvelle démonstration du théorème des nombres premiers. Le résultat reste
d’ailleurs vrai si l’on suppose seulement an = O(1/n). Une forme plus générale est le théorème dit taubérien de Hardy-Littlewood.
[32] En fait, e est même transcendant, c’est-à-dire qu’il n’est racine d’aucun polynôme non nul à coefficients rationnels. Ce résultat

a été démontré par Charles Hermite en 1873. Le théorème d’Hermite-Lindemann, démontré en 1882 par Ferdinand von Lindemann,
affirme plus généralement que si a est un nombre algébrique non nul, alors ea est transcendant.

48
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 152 : X 2022

On pose E = C 0 ([0, 1], R). On dit que f est α-höldérienne lorsque :
α
∃C ∈ R, ∀(s, t) ∈ [0, 1], |f (t) − f (s)| ≤ C|t − s| .

1. Soient α, β ∈ [0, 1] tels que α ≤ β. Montrer que si f ∈ E est β-höldérienne, alors f est α-höldérienne.
2. Soient α, β ∈ [0, 1] tels que 0 < α ≤ β < 1 et α + β > 1. On considère f ∈ E une fonction α-höldérienne et
g ∈ E une fonction β-höldérienne. On pose, pour n ∈ N :
n
2X −1
k+1
     
k k
In (f, g) = f g −g .
2n 2n 2n
k=0

2.a) Montrer que (In (f, g))n∈N converge. On notera I(f, g) sa limite.
2.b) Calculer I(f, g) + I(g, f ).
2.c) On suppose f et g de classe C ∞ . Calculer I(f, g).

Exercice 153 : X 2022

Soient A ⊆ N∗ et pour n ∈ N∗ :
n n
1
1A (k) et g(n) = 1A (k).
X X
f (n) =
k
k=1 k=1

1. Trouver un lien entre les assertions :

f (n) g(n)
lim =ℓ et lim = ℓ.
n→∞ n n→∞ ln n

2. Contre-exemples au résultat de la question 1 ?

Exercice 154 : X 2022

Soit f une fonction développable en série entière de rayon R. Pour r < R, on pose :

mr (f ) = sup |f (z)| .
|z|≤r

On considère r1 , r2 , r3 tels que R > r1 > r2 > r3 > 0. Montrer qu’il existe des constantes C > 0 et s ∈ ]0, 1[ qui
dépendent de r1 , r2 , r3 , mais pas de f , telles que :

mr2 (f ) ≤ C × mr1 (f )s × mr3 (f )1−s .

▷ Des indications sont disponibles pour cet exercice. Cliquez ici pour les consulter.

49
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 155 : X 2023

Soient f, g ∈ C 1 (R+ , R+ ) et a ∈ [0, 1]. On considère l’équation différentielle :

x(0) = a

x′ (t) = g(t) − x(t)(f (t) + g(t))

et on admet qu’elle possède une unique solution sur R+ .[33] On suppose enfin que :

f (t) −−−−→ ℓf > 0 et g(t) −−−−→ ℓg > 0.

t→+∞ t→+∞

Comportement de x(t) lorsque t → +∞ ?

Exercice 156 : X 2023

On définit la suite (an )n∈N comme suit :

a = 1,

 0

a1 = 2,
an−1
n+1 = 2an +

 a .
n2
Trouver un équivalent de an et majorer la constante qui y apparaı̂t.

Exercice 157 : X 2023

Soient (an )n∈N et (bn )n∈N deux suites de réels positifs telles que :
∞
X ∞
X ∞
X
an = 1 ; bn < ∞ ; nan = ∞.
n=0 n=0 n=0

On pose, pour n ∈ N :
n
X
un = bn + uk an−k .
k=0

1. Montrer que u est bien définie et bornée.

2. Montrer que si u converge, alors sa limite est nulle.
3. Montrer que u converge.

Exercice 158 : X 2023

Soit a ∈ C ∞ (R, R) bornée, ne s’annulant pas. Soient m = inf |a|, M = sup |a|, ainsi que q ∈ R \ {−1, 0, 1}.
On suppose que M < 1/2 ou que m ≥ 2. Montrer qu’il existe une unique fonction f ∈ C 0 (R, R) telle que :

f (qt)
∀t ∈ R, f (t) = 1 + .
a(t)

[33] Ce point peut être traité à l’aide du théorème de Cauchy-Lipschitz linéaire. Le théorème général, hors-programme, stipule que
si I est un intervalle ouvert de R, E est un espace de Banach, et F : I × E → E est continue et localement lipschitzienne par rapport
à la seconde variable, alors pour tous t0 ∈ I et x0 ∈ E, l’équation x′ = F (t, x) ; x(t0 ) = x0 admet une unique solution maximale
(J, x) où J est un intervalle ouvert inclus dans I, c’est-à-dire que x est solution sur J et ne peut être prolongée continûment en
dehors. Ici, F est globalement lipschitzienne par rapport à x donc la solution obtenue est en fait globale, c’est-à-dire J = I.

50
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 159 : X 2024

Soient f, g, p ∈ C[X] avec g et p unitaires. On se donne q, w ∈ C∗ tels que :
• w2 n’est pas une puissance entière de q,

• wf (z)g(zq) − w−1 g(z)f (zq) = p(z) pour tout z ∈ C.

1. Trouver une relation entre les degrés.
2. Existence de tels polynômes à p fixé ?
3. Unicité à f et p fixés ?
4. Unicité à g et p fixés ?

Exercice 160 : X 2024

Soit P ∈ R[X] de degré 6. On suppose qu’il existe une droite D tangente en trois points distincts A, B, C à la
courbe C d’équation y = p(x).
1. On note A1 (resp. A2 ) l’aire délimitée par les courbes C et D et les points A et B (resp. B et C).
Montrer que si B est le milieu de [AC], alors A1 = A2 .
A1 AB 2 7
2. On note à présent Q = et q = . Montrer que q 5 ≤ Q ≤ q 5 .
A2 BC 7 2

Exercice 161 : X 2025

Soient A, B, α, β ∈ R avec α, β > 0 et α + β > 1. Soient f, g : R → R vérifiant, pour tous x, y ∈ R :
α β
|f (x) − f (y)| ≤ A |x − y| et |g(x) − g(y)| ≤ B |x − y| .

Étant donné une subdivision S = (x0 , . . . , xn ) de l’intervalle [a, b], on pose[34] :

n−1
X
JS (f, g) = f (xk )(g(xk+1 ) − g(xk )).
k=0

Démontrer qu’il existe C > 0 tel que :

|JS (f, g) − f (a)(g(b) − g(a))| ≤ AB × C α × ζ(α + β).

Que peut-on dire de g lorsque β > 1 ?

[34] C’est la construction de l’intégrale de Riemann-Stieltjes.

51
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 162 : ENS SR 2022 (Gourdon, Analyse, p. 84)

Soit f ∈ C ∞ (R, R). Pour k ∈ N, on pose :

Mk = sup f (k) (x) ∈ [0, +∞].

x∈R

1. Donner la formule de Taylor avec reste intégral, et en déduire l’inégalité de Taylor-Lagrange.

2. On suppose dans toute la suite qu’il existe n ∈ N tel que M0 < ∞ et Mn < ∞.
2.a) Montrer que Mk < ∞ pour tout k ∈ {0, . . . , n}.
√
2.b) Montrer que M1 ≤ 2M0 M2 .
2.c) Démontrer, pour tout k ∈ {0, . . . , n} :
k(n−k) k k
Mk ≤ 2 2 (M0 )1− n (Mn ) n .

Exercice 163 : ENS SR 2022

Soient A ∈ Mn (R), B : R → Mn (R) continue, et x : R → Rn vérifiant ∀t ∈ R, x′ (t) = (A + B(t))x(t).
1. Rappeler le théorème de Cauchy-Lipschitz linéaire.
2. Soient a, u ∈ C 0 (R, R+ ) et c ∈ C 0 (R, R) telles que :
Z t
∀t ∈ R, u(t) ≤ c(t) + a(s)u(s) ds.
0

Démontrer[35] : Z t Z t 
∀t ∈ R, u(t) ≤ c(t) + c(s)a(s) exp a(y) dy ds.
0 s

3. Soit t0 ∈ R. Démontrer[36] :
Z t
∀t ∈ R, x(t) = e(t−t0 )A x(t0 ) + e(t−s)A B(s)x(s) ds.
t0

4. On suppose que spec(A) ∩ iR = ∅ et on pose :

   
E + = X ∈ Rn etA X −−−−→ 0 et E− = X ∈ Rn etA X −−−−→ 0 .
t→+∞ t→−∞

Montrer qu’il existe des projecteurs π + et π − , respectivement sur E + et E − , qui commutent avec A et qui
vérifient π + + π − = idE .
5. On suppose que E + = Rn et que B(t) −−−−→ 0. Montrer que x(t) −−−−→ 0.
t→+∞ t→+∞

[35] C’est le lemme de Grönwall, extrêmement utile dans l’étude des équations différentielles.
[36] C’est une variante de la formule de Duhamel, qui permet d’exprimer les solutions de x′ = Ax + b.

52
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 164 : ENS L 2022

On note E l’ensemble des fonctions 2π-périodiques et continues sur R. Pour f ∈ E et φ ∈ R, on pose :

f (θ)
Z π
It (f )(φ) = dθ.
−π (1 − cos(θ − φ))
1/2−t

1. Pour quelles valeurs de t cette définition a-t-elle un sens ?

2. Montrer que It ∈ L (E).
3. Montrer que It : (E, ∥·∥2 ) → (E, ∥·∥2 ) est continue.

Exercice 165 : ENS ULSR 2023

Soit I un intervalle de R. On considère x0 , . . . , xn ∈ I tels que x0 < . . . < xn et f ∈ C n (I, R).
Montrer qu’il existe τ ∈ I tel que :

1 x0 ··· xn−1
0 f (x0 ) 1 x0 ··· xn−1
0 xn0
.. .. .. .. .. .. .. ..
. . . . f (n) (τ ) . . . .
.. .. .. .. = .. .. .. .. .
n!
. . . . . . . .
1 xn ··· xn−1
n f (xn ) 1 xn ··· xn−1
n xnn

Exercice 166 : ENS ULSR 2023

Pour t ∈ N, on pose :

2k
      
n
N (t) = card (k, n) ∈ N2 =t et B(t) = min k ∈ N t< .
k k

Montrer que N (t) ≤ 2B(t), et que B(t) = o(ln t) lorsque t → ∞.

▷ Des indications sont disponibles pour cet exercice. Cliquez ici pour les consulter.

Exercice 167 : ENS L 2023

Soient I un intervalle de R et a, b ∈ C 0 (I, R).
1. Soit x une solution non nulle de y ′′ + ay ′ + by = 0 sur I. Montrer que les zéros de x sont isolés.
2. On suppose que a est de classe C 1 . Montrer l’existence d’une fonction z : I → R deux fois dérivable sur I
telle que f : t 7−→ x(t)ez(t) soit solution d’une équation différentielle de la forme y ′′ + qy = 0, où q ∈ C 0 (I, R).
3. On note Eq l’ensemble des solutions de l’équation y ′′ + qy = 0 sur I. Soient q1 , q2 ∈ C 0 (I, R) telles que
q1 ≤ q2 . On considère y1 ∈ Eq1 \ {0} et y2 ∈ Eq2 \ {0}, ainsi que deux zéros consécutifs α et β de y1 . Montrer
que y2 s’annule sur [α, β].

53
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 168 : ENS ULSR 2024

Soit (an )n∈N une suite de nombres réels presque sous-additive, c’est-à-dire :

∃c > 0, ∀m, n ∈ N, am+n ≤ am + an + c.

1. Montrer l’égalité[37] :  
an am
lim = lim inf ∈ R ∪ {−∞, +∞}.
n→∞ n n→∞ m≥n m

2. Soit F : R → R continue, telle que :

∀x ∈ R, F (x + 1) = F (x) + 1.

Montrer que pour tout x ∈ R, la suite (un )n≥1 définie par :

F n (x) − x
un = où F n = F ◦ · · · ◦ F (n fois)
n
admet une limite, et que celle-ci est indépendante de x.

Exercice 169 : ENS SR 2024

On note E = C 0 ([0, 1], R), et on dit que u ∈ L (E) est positif lorsque :

∀f ∈ E, (f ≥ 0 =⇒ u(f ) ≥ 0).

On note L+ (E) l’ensemble des applications linéaires positives sur E.

1. Soit u ∈ L+ (E). Démontrer :
∀f ∈ E, |u(f )| ≤ u(|f |).
2. Soient f ∈ E et ε > 0. Démontrer :

∃c > 0, ∀x, y ∈ [0, 1], |f (x) − f (y)| ≤ ε + c(x − y)2 .

3. Pour k ∈ {0, 1, 2}, on considère les fonctions :

pk : [0, 1] −→ R
x 7−→ xk

et on considère une suite (un )n∈N ∈ L+ (E)N telle que (un (pk )) converge uniformément vers pk sur [0, 1] pour
tout k ∈ {0, 1, 2}. Montrer que si f ∈ E, alors (un (f )) converge uniformément vers f sur [0, 1].
4. Lien avec le théorème d’approximation de Weierstrass ?

[37] C’est une version du lemme de Fekete pour les suites presque sous-additives.

54
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 170 : ENS L 2024

On note P(E) l’ensemble des parties de l’ensemble E, et Pf (E) l’ensemble de ses parties finies.
On considère la partie de P(Rn ) :

V = {[a1 , b1 ] × · · · × [an , bn ] | a1 < b1 , . . . , an < bn }.

ainsi que f (G) = {G ∩ P | P ∈ V} pour G ∈ Pf (Rn ). Déterminer le maximum de l’ensemble :

X = {card G | G ∈ Pf (Rn ), f (G) = P(G)}.

Exercice 171 : ENS ULSR 2025

1. Soit ℓ > 0. Montrer que la fonction :

f : R −→ R
Z ℓ
t3
 
x 7−→ exp ixt + i dt
0 3

est de classe C 2 .
2. Même question avec ℓ = +∞.

Exercice 172 : ENS SR 2025

Soit a ∈ ]0, +∞[. On considère la suite (un )n∈N définie par :

u0 = 1,

un+1 = aun .

1. Montrer que u est bien définie.

2. Si a ≥ 1, à quelle condition sur a la suite u converge-t-elle ?
3. Trouver un lien entre les limites éventuelles de u et la fonction f : (x, y) 7−→ xy − y x .
4. Paramétrer les zéros de f . Si f (x, y) = 0, on pourra exprimer x et y en fonction de x/y.
5. Que dire des zéros de f dans Q2 ?

Exercice 173 : ENS L 2025

Déterminer toutes les fonctions f : R → [0, 1] croissantes, continues à droite, de limite nulle en −∞, de limite
1 en +∞, et pour lesquelles il existe une suite de réels (bn )n≥1 telle que f (x)n = f (x + bn ) pour tout x ∈ R.

55
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 174 : ENS L 2025

Soit f ∈ C 0 (R, R). On définit l’ensemble :

D = {2k ℓ + 2k [0, 1] | k, ℓ ∈ Z}

et on pose, pour I ∈ D :
1
Z
mI (f ) = f (x) dx
|I| I

où |I| désigne la longueur de l’intervalle I.[38] On définit enfin :

Z
∥f ∥ = sup |f − mI (f )| .
I∈D I

Montrer que si J ∈ D et I ⊆ J, alors pour tout I ∈ P :

|mI (f ) − mJ (f )| ≤ 2n ∥f ∥ où |J| = 2n |I| .

Exercice 175 : ENS L 2025

Soit (fn )n∈N une suite de fonctions [0, 1] → ]0, 1] qui converge simplement vers f .
1. Montrer que la suite de fonctions (gn )n≥2 définie par :
n
1 X fi (x)
gn (x) =
ln n i=1 i

converge simplement vers f .

2. On suppose que les fn sont toutes dérivables, croissantes, et que pour tout n ∈ N∗ :
n−1
nfn X
fn′ ≥ avec σn = fk .
σn
k=0

On suppose de plus dans cette question que :

1
 
sup σn < ∞.
n∈N 2

Montrer que pour tout x ∈ [0, 1/2[, il existe cx ∈ R à expliciter, tel qu’à partir d’un certain rang :

fn (x) ≤ exp(−cx n).

3. On ne fait plus l’hypothèse précédente sur σn . Montrer qu’il existe x0 ∈ ]0, 1] tel que :
• si x < x0 , alors il existe cx0 ∈ R tel qu’à partir d’un certain rang, fn (x) ≤ exp(−cx0 n) ;
• si x > x0 , alors fn (x) ≥ x − x0 pour tout n ∈ N.

[38] En toute rigueur, c’est sa mesure de Lebesgue.

56
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 176 : ENS U 2022

Trouver toutes les fonctions f : R → R continues et bornées telles que :

f (x − 1) + f (x + 1) + f (x − π) + f (x + π)
∀x ∈ R, f (x) = .
4

Exercice 177 : ENS U 2023

On note B l’ensemble des fonctions R → R bornées, et on considère g ∈ B à support compact.[39]
Caractériser les t ∈ R tels que l’adhérence du sous-espace :

W (g) = vect(x 7−→ g(x − n)).

n∈Z

de l’espace vectoriel normé (B, ∥·∥∞ ) soit invariante par translation par t.

[39] Le support d’une fonction f : E → F est l’adhérence de l’ensemble {x ∈ E | f (x) ̸= 0}. Par conséquent, une fonction continue

est à support compact si et seulement si elle est nulle en dehors d’un compact.

57
Oraux de mathématiques aux concours Lycée Thiers – MP*

Calcul différentiel
Exercice 178 : Centrale 2023
On considère la fonction :

g : R∗+ × R −→ R
x
(x, t) 7−→ .
x2 + t 2
1. Justifier que g est de classe C 2 et calculer ∆g.
2. On considère à présent la fonction :

f : R∗+ −→ R
Z ∞
x 7−→ g(x, t)eit dt.
−∞

Montrer que f est de classe C 2 et vérifie f ′′ − f = 0.

3. En déduire une expression de f .

Exercice 179 : Centrale 2024

On considère l’ensemble M des matrices de Mn (R) à coefficients dans [−1, 1], et on pose :

α = sup det(A).
A∈M

1. Montrer que det : Mn (R) → R est continue.

2. Montrer que α est bien défini et est un maximum.
3. Montrer que α est atteint en une matrice M vérifiant det M > 0 et à coefficients dans {−1, 1}.

Exercice 180 : Mines 2023

Déterminer le plus grand k ∈ N tel que la fonction :

f : R2 −→ R
x2 − y 2
(x, y) 7−→ xy .
x2 + y 2

soit de classe C k mais pas C k+1 .

Exercice 181 : Mines 2023

Existence, continuité et extrema de la fonction :

f : R × R∗+ −→ R
Z ∞
sin(t + x)
(x, y) 7−→ dt.
0 t+y

58
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 182 : Mines 2023

1. Montrer que det : Mn (R) → R est de classe C 1 et que sa différentielle en In est l’application trace.
 
T
2. Montrer que sa différentielle en X ∈ Mn (R) est l’application H 7−→ tr com(X) H .

3. Montrer que GLn (R) est dense dans Mn (R).

4. Montrer qu’il existe un unique prolongement continu sur Mn (R) de :

ϕ : GLn (R) −→ Mn (R)

X 7−→ det(X)X −1 .

5. On pose f (t) = det(At + B). Montrer que :

X
f ′ (0) = ∆i,j bi,j
1≤i,j≤n

où ∆i,j désigne le cofacteur[40] d’indice (i, j) de A.

Exercice 183 : Mines 2024

On considère la fonction :

f : R2 −→ R2
1
(x, y) 7−→ (sin(x + y), cos(x − y)).
2
1. Déterminer la différentielle de f .
2. Montrer que pour tout (x, y) ∈ R2 :
1
∥df (x, y)∥2 ≤ √ .
2
3. En déduire que le système :
2x = sin(x + y)

2y = cos(x − y)
admet au plus une solution.

Exercice 184 : Mines 2024

On définit la fonction :

f : R2 −→ R
(x, y) 7−→ min x2 , y 2 .

Domaine de continuité de f ? Différentiabilité ? Caractère C 1 ?

[40] Le cofacteur d’indice (i, j) d’une matrice A est le coefficient (i, j) de sa comatrice, c’est-à-dire (−1)i+j det(D ), où D
i,j i,j est la
matrice obtenue en supprimant la ième ligne et la j ème colonne de A. Dans l’espace euclidien orienté R3 , la comatrice de A décrit
d’ailleurs l’interaction de A avec le produit vectoriel : pour tous vecteurs u et v, Au ∧ Av = (com A)(u ∧ v).

59
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 185 : Mines 2024

Soient U un ouvert de Rn et f ∈ C 1 (U, R). On fixe également R > 0, et on pose :

m = min ∥∇f (x)∥

x∈B

où B désigne la boule fermée de centre 0 et de rayon R.

1. Montrer que f est lipschitzienne sur B.
2. Pour r ∈ [0, R], on pose :
α(r) = max f (x).
x∈B

Montrer que α est bien définie et qu’elle est lipschitzienne sur [0, R].
3. Soit r0 ∈ [0, R[. Démontrer :

α(r) − α(r0 )
∀ε > 0, ∃δ > 0, ∀r ∈ ]r0 , r0 + δ], ≥ m(1 − ε).
r − r0
4. Montrer que α(r) ≥ mr + f (0).

Exercice 186 : Mines 2025

Soient k ∈ N∗ et f : Rn → R différentiable, telle que[41] :

∀x ∈ Rn , ∀t ∈ [0, +∞[, f (tx) = tk f (x).

Démontrer :
∀x ∈ Rn , df (x)(x) = kf (x).
Étudier la réciproque.

Exercice 187 : Mines 2025

On note Sn la sphère de dimension n :

Sn = {x ∈ Rn+1 | ∥x∥2 = 1}.

1. Soit a ∈ Sn . Déterminer l’espace tangent à Sn en a.

2. Soit f ∈ C 1 (Rn+1 , R). On considère a ∈ Sn tel que :

f (a) = maxn f (x)

x∈S

Montrer que ∇f (a) est colinéaire à a.

[41] Une telle fonction est dite homogène de degré k.

60
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 188 : Mines 2025

Montrer que la fonction :

f : S++
n (R) −→ Sn (R)
++

A 7−→ A2

est bijective, puis que sa différentielle est bijective.

Exercice 189 : ENS ULSR 2022

1. Soit u : Rn → R de classe C ∞ . Montrer que si ∆u ≥ 0, alors la restriction de u à la boule unité atteint son
maximum sur la sphère unité S.
2. Soit V : Rn → R l’application déterminant de Vandermonde (cf. exercice 24). Montrer que V atteint son
maximum sur S ∩ H, où H est un hyperplan de Rn à déterminer.

Exercice 190 : ENS SR 2022

Soit ⋆ une loi de composition interne sur R faisant de (R, ⋆) un groupe, de neutre noté e.
On note également f cette application :

f : R2 −→ R
(x, y) 7−→ x ⋆ y.

1. Rappeler la définition de la différentielle d’une fonction Rn → R.

2. Montrer que pour tous x, y ∈ R :

∂2 f (x ⋆ y, e) = ∂2 f (x, y)∂2 f (y, e).

3. Soit φ : (R, ⋆) → (R, +) un morphisme de groupes. Montrer que pour tout x ∈ R :

1
Z x
φ(x) = dt.
e ∂2 f (t, e)

61
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 191 : ENS ULSR 2025

L’objectif est de résoudre l’équation différentielle (E) :

y ′′ + µ(1 − y 2 )y ′ + y = 0

sur R, où µ ∈ R est un paramètre fixé.

1. Résoudre (E) lorsque µ = 0.
2. Déterminer les solutions de (E) de la forme y(t) = x(ω(µ)t, µ), où x : R2 → R est une fonction de classe C 2
vérifiant les hypothèses suivantes :

• il existe des fonctions bornées x0 , x1 : R → R et une fonction ε : R2 → R telles que, lorsque µ → 0+ :

x(τ, µ) = x0 (τ ) + µx1 (τ ) + ε(τ, µ)

• il existe ω1 ∈ R tel que, lorsque µ → 0 :

ω(µ) = 1 + ω1 µ + O(µ2 )

• lorsque µ → 0 :
ε(τ, µ) = O(µ2 ) ; ∂1 ε(τ, µ) = O(µ2 ) ; ∂1,1 ε(τ, µ) = O(µ2 ).

Exercice 192 : ENS U 2025

Soit f ∈ C 2 (Rd , R). On suppose que pour tout x ∈ Rd :

spec ∇2 f (x) ⊆ [ℓ, L]

où ℓ, L ∈ R sont tels que 0 < ℓ ≤ L. On fixe τ ∈ ]0, 2/L[ et on définit la suite (un )n∈N par[42] :

u 0 ∈ Rd


un+1 = un − τ ∇f (un ).

Montrer que (un ) converge.

[42] Cette méthode est une variante de la descente de gradient.

62
Oraux de mathématiques aux concours Lycée Thiers – MP*

Groupes, anneaux, arithmétique

Exercice 193 : Centrale 2022
Soit (A, +, ×) un anneau.
1.a) Montrer que l’unique morphisme d’anneaux Z → A est donné par :

fA : Z −→ A
k 7−→ k · 1A .

1.b) Montrer qu’il existe un unique κA ∈ N tel que ker(fA ) = κA Z.[43]

2.a) Montrer que si A est un corps, alors κA = 0 ou κA est un nombre premier.
2.b) Montrer que si A est un corps fini, alors κA ̸= 0.
3.a) On suppose que A est un corps fini, noté K, de cardinal pn où p est un nombre premier et n ∈ N∗ .[44]
Montrer que l’application[45] :

F : K −→ K
x 7−→ xp

est un automorphisme de corps de K.

3.b) Déterminer l’ordre de F dans le groupe des automorphismes de K.

Exercice 194 : Centrale 2023 (Cassini 2, Algèbre 1, Exercice 4.33)

On définit la fonction de Möbius par :

0 si n est divisible par un carré parfait strictement supérieur à 1


µ(n) =
(−1) ω(n)
sinon, où ω(n) est le nombre de facteurs premiers distincts de n

et on donne la formule du crible, stipulant que pour des ensembles finis V1 , . . . , Vk :

 
k
X X
card(V1 ∪ · · · ∪ Vk ) = (−1)j−1  card(Vi1 ∩ · · · ∩ Vij ) .
j=1 1≤i1 <···<ij ≤n

1. Montrer la formule du crible pour k = 2. Que donne-t-elle pour k = 3 ?

2. On admet la formule du crible pour tout k ∈ N. On munit {1, . . . , n} × {1, . . . , n} de la probabilité uniforme
et on y tire un couple (a, b) au hasard. On note rn la probabilité que a ∧ b = 1. Exprimer rn en fonction de µ.
3. Montrer que (rn ) converge, calculer sa limite et interpréter le résultat.[46]

[43] Cet entier est appelé la caractéristique de A. Le résultat de la question 2.a) reste vrai lorsque A est seulement supposé intègre.
[44] On peut construire un corps de cardinal q = pn en quotientant Fp [X] par l’idéal engendré par un polynôme irréductible à
coefficients dans Fp de degré n, ou encore en considérant le corps de décomposition de X q − X sur Fp . En fait, si K est un corps
fini de cardinal q, alors q = pn où p désigne la caractéristique de K, et n = dimFp (K). Un tel corps est unique à isomorphisme
près.
[45] C’est l’endomorphisme de Frobenius, qui se trouve être un automorphisme car K est un corps fini. Il est toujours injectif

en tant que morphisme de corps, mais n’est surjectif que lorsque K est parfait, c’est-à-dire que toutes ses extensions finies sont
séparables (c’est le cas des corps finis, de ceux dont la caractéristique est nulle, mais pas de Fp (X) par exemple).
[46] Ce résultat se généralise à n’importe quel nombre d’entiers et fait intervenir la légendaire fonction zêta de Riemann.

63
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 195 : Centrale 2023

Soient A, B ∈ GLn (C) et a, b ∈ N tels que Aa = In , B b = In et AB = BA.
On note G le sous-groupe de GLn (C) engendré par A et B.
1.a) Montrer que G est fini.
1.b) Écrire une fonction comp(A, B) qui renvoie 1 si A = B et 0 sinon. Écrire une fonction nonrep prenant en
argument une liste de matrices et éliminant ses doublons.
1.c) Écrire une fonction card(A, a, B, b) qui renvoie le cardinal de G.
2. On considère les matrices :
0 0 1 0 0 0 0
   
−1
0 0 0 1 −1 0 0 0
A= et B= .
0 1 0 0 0 0 1

−1
0 −1 0 1 0 0 1 0

On admet dans un premier temps que A6 = I4 , B 4 = I4 et AB = BA.

2.a) Quel est le cardinal de G ?
2.b) Soient M, N, P, Q ∈ M2 (C). Démontrer (cf. exercice 23 pour la définition du produit tensoriel) :

(M ⊗ N )(P ⊗ Q) = (M P ) ⊗ (N Q).

2.c) En déduire que A6 = I4 , B 4 = I4 et AB = BA.

3.a) Montrer qu’il existe un morphisme de groupes ψ : Z/aZ × Z/bZ → G tel que ψ(1, 0) = A et ψ(0, 1) = B.
3.b) Montrer que ψ est un isomorphisme.[47]
Il restait probablement des questions ; si tel est le cas, en voici une ou plusieurs qui auraient pu être posées.
4. Généraliser le résultat à un nombre quelconque de matrices d’ordre fini qui commutent deux à deux.

[47] On peut s’en convaincre en écrivant une présentation du groupe G. En effet, G = ⟨x, y | xa = y b = 1, xy = yx⟩ correspond à

l’abélianisé du produit libre Z/aZ ⋆ Z/bZ = ⟨x, y | xa = y b = 1⟩, c’est donc la somme directe Z/aZ ⊕ Z/bZ, c’est-à-dire le produit.

64
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 196 : Centrale 2023

On désigne par (pn )n∈N la suite des nombres premiers rangés par ordre croissant.
1. Écrire une fonction Python renvoyant pn en fonction de n.
2. On admet dans un premier temps la proposition (P) :

P ∈ Z[X] =⇒ P (X + Y )P (X − Y ) ∈ Z[X, Y 2 ].

On définit la suite (Pn )n∈N∗ comme suit :

P1 = X 2 − 2,

√
√

Pn = Pn−1 X − pn × Pn−1 X + pn .
√ √
Montrer que pour tout n ∈ N∗ , Pn ∈ Z[X] et Pn p1 + · · · + pn = 0.

3. Écrire une fonction Python renvoyant Pn en fonction de n.

4. Soient k, ℓ ∈ N tels que k < ℓ. Montrer que :

(X − Y )k (X + Y )ℓ + (X − Y )ℓ (X + Y )k ∈ Z[X, Y 2 ].

En déduire la proposition (P).

5. On note A l’ensemble des nombres complexes annulés par un polynôme unitaire de Z[X].[48]
5.a) Démontrer :
∀P ∈ Z[X], ∃Q, R ∈ Z[X], P = Q(X 2 ) + XR(X 2 ).
5.b) Montrer que si a ∈ A, alors a2 ∈ A.

Exercice 197 : Centrale 2024

1.a) Énoncer le théorème de Gauss dans Z, ainsi que le petit théorème de Fermat.
1.b) Rappeler la définition d’un idéal d’un anneau commutatif. Montrer que pour tout a ∈ Z, l’ensemble :

aZ[X] = {aP | P ∈ Z[X]}

est un idéal de Z[X].

1.c) Soient R un anneau commutatif et p ∈ Z. Montrer que pR = {pr | r ∈ R} est un idéal de R, puis que :

∀x, y ∈ R, (x + y)p − (xp + y p ) ∈ pR.

2. Soit p un nombre premier.

2.a) Soient R un anneau commutatif, I un idéal de R ainsi que A, B ∈ Mn (R). On suppose que tous les
coefficients de B appartiennent à I. Montrer que det(A + B) − det(A) ∈ I.
2.b) Soit P ∈ Z[X]. Montrer que P (X p ) − P (X)p ∈ pZ[X].
2.c) Soit M ∈ Mn (Z). Montrer que tr(M p ) ≡ tr(M ) (mod p).

[48] Ces complexes sont appelés entiers algébriques. On peut montrer qu’ils forment un anneau commutatif intègre, et même un

sous-anneau du corps des nombres algébriques, qui sont les complexes annulés par un polynôme non nul de Q[X].

65
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 198 : Centrale 2025

1. Écrire une fonction Python récursive euclide(u, v) qui renvoie le PGCD de u et v.
2. Écrire une fonction compte(u, v) qui compte le nombre d’appels à la fonction euclide.
3. Tracer le nombre d’appels moyens à la fonction euclide pour u < v et v ∈ {2, . . . , 2000}.
4. Soient α, β ∈ N∗ tels que α < β. On pose u0 = α, v0 = β, et pour n ∈ N tel que un ̸= 0 :

vn+1 = un et un+1 = vn mod un .

Montrer qu’il existe N ∈ N tel que uN = 0.

5. On pose à présent :  
α vn−1 vn−1
x0 = ; an = ; xn = − an .
β un−1 un−1
Montrer que pour tout n ∈ N :
un
xn = .
vn
6. On définit la suite de fonctions (φp )p∈N par :

1
φ0 = 0 et φp (t1 , . . . , tp ) = .
t1 + φp−1 (t2 , . . . , tp )

et la suite de fonctions (Kp )p∈N par :

K0 = 1, K1 (t1 ) = t1 et Kp (t1 , . . . , tp ) = t1 Kp−1 (t2 , . . . , tp ) + Kp−2 (t3 , . . . , tp ).

Démontrer, pour t1 , . . . , tp > 0 :

Kp−1 (t2 , . . . , tp )
φp (t1 , . . . , tp ) = .
Kp (t1 , . . . , tp )
7. Démontrer, pour n ∈ {p, . . . , N } :

φp (an+p−1 , an+p−2 , . . . , an−1 , xn + an ) = xn−p .

8. On admet que si t1 , . . . , tp > 0, alors Kp (t1 , . . . , tp ) et Kp−1 (t2 , . . . , tp ) sont des entiers strictement positifs
premiers entre eux. On note d = pgcd(α, β). Montrer que :

α = dKN −1 (a2 , . . . , aN −1 ) et β = dKN (a1 , . . . , aN −1 ).

9. Montrer que si euclide(u, v) nécessite n appels, alors v > Fn−1 , où (Fn )n∈N est la suite de Fibonacci.
10. En déduire que le nombre d’appels à euclide(u, v) est supérieur à :
√ 
1+v 5

ln
2
A= √ .
1+ 5

ln
2

Exercice 199 : Mines 2022

Résoudre le système suivant :
x + y ≡ 4 (mod 11)

xy ≡ 10 (mod 11).

66
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 200 : Mines 2023

√ √ √ √ √ √
On note K = Q + 2Q + 3Q + 6Q. Montrer que K est un Q-espace vectoriel dont (1, 2, 3, 6) est une
base, puis que K est un sous-corps de R.

Exercice 201 : Mines 2024

Soient G et G′ deux groupes, et f : G → G′ un morphisme de groupes. Montrer que f est surjectif si, et
seulement si, l’image par f de toute partie génératrice de G est génératrice de G′ .

Exercice 202 : X 2022

Soit A un anneau commutatif. On dit que a ∈ A est un diviseur de zéro lorsqu’il existe b ∈ A \ {0} tel que
ab = 0.
1. Montrer que si A est fini et sans diviseur de zéro, alors A est un corps.
2. Soit f ∈ A[X] \ {0}. Montrer que si f est un diviseur de zéro, alors il existe a ∈ A \ {0} tel que af = 0.

Exercice 203 : X 2023

Quelles sont les permutations σ ∈ Sn qui maximisent σ(1)σ(2) + σ(2)σ(3) + · · · + σ(n − 1)σ(n) + σ(n)σ(1) ?

Exercice 204 : X 2023 (Perrin, Cours d’algèbre, p. 30)

On considère σ ∈ Sn et on note Z(σ) = {τ ∈ Sn | σ ◦ τ = τ ◦ σ}.
1. Montrer que Z(σ) est un sous-groupe de Sn et que Z(φ(σ)) = φ(Z(σ)) pour tout φ ∈ Aut(Sn ).
2. On suppose que σ est un produit de k transpositions à supports disjoints. Calculer card(Z(σ)).
3. On suppose que n ̸= 6 et on considère φ ∈ Aut(Sn ). Montrer que si τ est une transposition, alors φ(τ ) est
également une transposition.
4. En déduire que tout automorphisme de Sn est intérieur[49] lorsque n ̸= 6.[50]

Exercice 205 : ENS ULSR 2022

Montrer que les morphismes de groupes continus SL2 (R) → GLn (R) sont à valeurs dans SLn (R).

[49] Dans un groupe G, un automorphisme f est appelé intérieur lorsqu’il existe g ∈ G tel que f (x) = gxg −1 pour tout x ∈ G.
[50] Lorsque n = 6, il existe un automorphisme « exceptionnel » et [Aut S6 : Int S6 ] = 2.

67
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 206 : ENS ULSR 2022

On considère le sous-groupe de M2 (C) :
  
α −β 2 2
G= (α, β) ∈ C2 et |α| + |β| = 1 .
β α

Si B est un sous-groupe de G, on définit :

C(B) = {g −1 Bg | g ∈ GL2 (C)} ∩ G.

Montrer qu’il existe un unique sous-groupe non trivial H de G tel que C(H) = H.
▷ Des indications sont disponibles pour cet exercice. Cliquez ici pour les consulter.

Exercice 207 : ENS L 2022

Soit n ≥ 5 un nombre premier. Pour a0 , . . . , an−1 ∈ Z, on pose :
 
n−1
Y n−1 2iπ
X  
d(a0 , . . . , an−1 ) =  aj ζ jk  où ζ = exp .
j=0
n
k=0

1. Montrer que Z[ζ] = {P (ζ) | P ∈ Z[X]} est un anneau.

2. Étudier l’application N définie sur Zn par :
 
n−1
Y n−1
X
N (a0 , . . . , an−1 ) =  aj ζ jk  .
k=1 j=0

3. Soit x ∈ Z[ζ]. Montrer que x ∈ Z[ζ]× si, et seulement si, N (x) = 1.

4. On admet que pour tout M ∈ Z[X] :

M (X) − M (1)
∈ Z[X].
X −1
Montrer que l’équation d’inconnue (a0 , . . . , an−1 ) ∈ Zn :

d(a0 , . . . , an−1 ) = a0 + · · · + an−1

possède une infinité de solutions.

68
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 208 : ENS L 2022

Pour n ∈ N, on note π(n) le nombre de nombres premiers inférieurs à n. L’objectif est de montrer qu’il existe
une constante C > 0 telle que, pour tout entier n ≥ 2[51] :
n
π(n) ≤ C .
ln n
Déterminer un encadrement de la forme :

f (π(n)) ≤ ν(n!) ≤ g(n)

où ν désigne la fonction « produit des diviseurs premiers ». Conclure.

Exercice 209 : ENS L 2023

On munit R2 de sa structure euclidienne canonique. On considère le réseau :

L = v1 Z + v2 Z

où v1 , v2 ∈ R2 sont deux vecteurs non colinéaires, et on note vol(L) = det(v1 , v2 ).

1. Soit B une boule d’aire strictement supérieure à vol(L). Montrer qu’il existe x, y ∈ B tels que x − y ∈ L.
2. Démontrer : r
vol(L)
∀ε > 0, ∃I ∈ L, ∥I∥2 ≤ 2(1 + ε) .
π
3. Soit p un nombre premier tel que p ≡ 1 (mod 4). Montrer que −1 est un carré modulo p.
4. Montrer que p est somme de deux carrés.
▷ Des indications sont disponibles pour cet exercice. Cliquez ici pour les consulter.

[51] Le théorème des nombres premiers affirme que π(n) est en fait équivalent à n / ln n.

69
Oraux de mathématiques aux concours Lycée Thiers – MP*

Probabilités
Exercice 210 : CCP 2024
1. Soit X une variable aléatoire entière. Montrer que sa fonction génératrice :
∞
X
GX (t) = P(X = n)tn
n=0

est bien définie sur ]−1, 1[.

2. Soient X1 et X2 des variables aléatoires entières indépendantes. Montrer que GX1 +X2 = GX1 + GX2 :

a) par un produit de Cauchy,

b) par la formule GX (t) = E tX .

3. On admet que le résultat précédent se généralise à un nombre quelconque n ≥ 2 de variables aléatoires

entières. On considère une urne qui contient 4 boules dont une portant le numéro 0, deux le numéro 1, et une
le numéro 2. On y réalise n tirages avec remise, et on note Xk la variable aléatoire entière prenant la valeur sur
la boule au k ème tirage, ainsi que Sn = X1 + · · · + Xn . Calculer GSn puis donner la loi de Sn .

Exercice 211 : Centrale 2023

1. Rappeler l’inégalité de Bienaymé-Tchebychev.
2. En déduire une majoration de la probabilité d’obtenir au moins 3/4 de « face » au cours de N lancers d’une
pièce équilibrée.
3. Soit X une variable aléatoire centrée à valeurs dans [a, b]. Montrer que pour tout t ∈ [0, +∞[ :
  a
E etX ≤ eµy(t) 1 − µ + µey(t) avec µ = et y(t) = t(b − a).


a−b

70
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 212 : Centrale 2023

Soit A = (Xi,j )1≤i,j≤n où les Xi,j sont des variables aléatoires réelles indépendantes.

1. Écrire une fonction Python A(n) qui renvoie la matrice A, si les Xi,j suivent une loi de Rademacher.[52]
2. On admet que D = det(A) est une variable aléatoire. Conjecturer les valeurs de E(D) et Var(D) en fonction
de n, et vérifier cela pour n = 1 et n = 2.
3. Montrer que E(D) = det (E(Xi,j )1≤i,j≤n ).
4. Calculer E(χA (x)) pour x ∈ R.
5. Déterminer Var(D). On pourra montrer que si σ, τ ∈ Sn :
n n
! 
Y Y 0 si σ = τ,
cov Xσ(i),i ; Xτ (i),i =
1 sinon.
i=1 i=1

6. Montrer que[53] :
n
Y
det(A) ≤ ∥Ci ∥2 .
i=1

où Ci désigne la ième colonne de A. En déduire que D ≤ nn/2 .

√
7. En déduire une majoration de P (D ≤ n! n).

Exercice 213 : Mines 2022

Une urne contient a boules blanches et b boules rouges. Chaque fois qu’on pioche une boule, on la remet dans
l’urne et on y rajoute c boules de la même couleur. On note Y le premier instant où l’on tire une boule rouge.
Déterminer la loi de Y . Admet-elle une espérance ?

Exercice 214 : Mines 2022

On considère une urne composée de a boules blanches et b boules noires. On en tire successivement et sans
remise toutes les boules, et on note X la variable aléatoire correspondant au numéro du tirage de la dernière
boule blanche.
1. Montrer que pour tous p, q ∈ N :
q  
q+1
 
X k
= .
p p+1
k=p

2. Montrer que pour tout n ∈ N :

n−1
 

a−1
P(X = n) =  .
a+b
a
3. En déduire E(X) et Var(X).

[52] On dit que X suit une loi de Rademacher lorsque P(X = 1) = P(X = −1) = 1/2, en référence au mathématicien du même

nom. Un théorème portant son nom énonce qu’une fonction lipschitzienne est presque partout dérivable.
[53] C’est l’inégalité de Hadamard. Les mathématiciens Jacques Hadamard et Charles-Jean de la Vallée Poussin furent les premiers

à démontrer le théorème des nombres premiers en 1896, à l’aide des travaux de Riemann sur la fonction zêta.

71
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 215 : Mines 2022

On considère une urne contenant n boules indiscernables au toucher, numérotées de 1 à n. On tire une poignée
de boules, on replace cette poignée dans l’urne et on mélange, puis on tire une deuxième poignée. Déterminer
la probabilité que les deux poignées n’aient aucune boule en commun.

Exercice 216 : Mines 2022

Soit (Yn )n≥1 une suite de variables aléatoires, chacune suivant une loi géométrique de paramètre 1/n.
1. Pour x ∈ ]0, +∞[, calculer la limite :  
Yn
lim P ≤x .
n→∞ n
2. Soit f : R → R une fonction continue bornée. On définit, pour p ∈ N∗ :
∞ k−1
1 1
 
X k
an = f 1−
n n n
k=np+1

np
1X k−1
   
k
bn = f exp −
n n n
k=1

np   " k−1 #
1X 1 k−1

k
cn = f 1− − exp −
n n n n
k=1

Démontrer les assertions :

p
p2
Z
|an | ≤ ∥f ∥∞ e
−p
; bn −−−−→ f (t)e−t dt ; |cn | ≤ ∥f ∥∞ .
n→∞ 0 2n

3. En déduire :    Z ∞
Yn
lim E f = f (t)e−t dt.
n→∞ n 0

Exercice 217 : Mines 2022

On considère une urne contenant n jetons, numérotés de 1 à n. On en tire m simultanément, et on les trie par
ordre croissant des numéros. Soit Xi la variable aléatoire qui correspond au numéro du ième jeton. Déterminer
la loi, l’espérance et la variance de Xi .

Exercice 218 : Mines 2022

Deux urnes contiennent respectivement 2 boules blanches (urne 1) et α boules noires (urne 2). À chaque étape,
on prélève une boule dans l’urne 1 et une boule dans l’urne 2, et on échange leurs places. Calculer l’espérance
du nombre de boules blanches dans l’urne 1.

72
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 219 : Mines 2022

Soit f ∈ C 1 ([0, 1], R+ ). Pour n ∈ N, on pose :
Z 1
pn = tn f (t) dt.
0

Trouver une condition nécessaire et suffisante pour que (pn )n∈N définisse une distribution de probabilité.
L’hypothèse « f de classe C 1 » est-elle nécessaire ?

Exercice 220 : Mines 2023

On considère un graphe aléatoire G = (V, E) défini comme suit. On suppose que n = |V | ≥ 2, on fixe pn ∈ ]0, 1[
et on ajoute une arête entre deux sommets distincts de G selon une loi de Bernoulli de paramètre pn .
1. Combien d’éléments l’ensemble E peut-il avoir au maximum ?
2. Pour x ∈ V , on appelle degré de x et on note deg(x) la variable aléatoire correspondant au nombre d’arêtes
de G dont x est une extrémité. Déterminer sa loi.
3. On dit que x ∈ V est isolé lorsque deg(x) = 0, et on note Zn la variable aléatoire correspondant au nombre
de sommets isolés de G. Montrer que :
E(Zn ) = n(1 − p)n−1 .
4. Démontrer :
Var(Zn )
P(Zn = 0) ≤ .
E(Zn )2
5. On suppose à présent qu’il existe C > 0 tel que :
ln n
pn = C .
n
Déterminer un développement asymptotique de E(Zn ).
6. Déterminer un développement asymptotique de P(Zn > 0). On distinguera les cas C > 1 et C < 1.

Exercice 221 : Mines 2023

Dans un sac se trouvent n boules noires et b boules blanches. On les tire une à une sans remise, et on note X
le rang de la dernière boule blanche tirée. Déterminer la loi, l’espérance, et la variance de X.

Exercice 222 : Mines 2023

On considère une urne contenant quatre jetons : 0, 1, 1, 2. On tire n jetons avec remise, et on note S la valeur
totale obtenue. Déterminer la fonction génératrice de S et en déduire sa loi, son espérance et sa variance.

Exercice 223 : Mines 2023

Soit X une variable aléatoire entière de fonction génératrice GX (t) = α exp 1 + t2 avec α ∈ R.

1. Trouver α et déterminer la loi, l’espérance et la variance de X.

2. Calculer P(X ∈ 2N), P(X ∈ 3N) et P(X ∈ 6N).

73
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 224 : Mines 2023

Toutes les variables aléatoires introduites dans cet exercice sont entières.
On dit que Y est k-divisible lorsqu’il existe des variables aléatoires X1 , . . . , Xk i.i.d. telles que :

Y = X1 + · · · + Xk .

1. Soient λ, µ ∈ R. Déterminer la loi de U + V lorsque U ∼ P(λ) et V ∼ P(µ).

En déduire que si Y ∼ P(λ), alors Y est k-divisible pour tout k ∈ N.
2. Soit Y = X1 + · · · + Xk une variable aléatoire k-divisible.
2.a) Soit A ∈ R tel que P (−A ≤ Y ≤ A) = 1. Montrer que pour tout i ∈ {1, . . . , k} :
 
A A
P − ≤ Xi ≤ =1
n n

2.b) Montrer que pour tout i ∈ {1, . . . , k} :

A2
Var(Xi ) ≤ .
n2
En déduire une majoration de Var(Y ).
2.c) Quelles sont les variables aléatoires bornées et infiniment divisibles ?
3. On suppose que Y ∼ B(p) avec p ∈ ]0, 1[. Montrer que Y n’est pas k-divisible pour k ≥ 2.
4. On suppose que Y ∼ B(n, p). Déterminer les k ∈ N tels que Y soit k-divisible.

Exercice 225 : Mines 2024

Soit f : [a, b] → R une fonction continue. Pour x ∈ [a, b], on considère une suite de variables aléatoires réelles
(Xn,x )n∈N avec un moment d’ordre 2 et ayant toutes pour espérance x. On définit les suites de fonctions :

En (x) = E(f (Xn,x )) et Vn (x) = Var(Xn,x ).

Déterminer une condition nécessaire et suffisante sur (Vn ) pour que (En ) converge uniformément vers f .

Exercice 226 : Mines 2025

Soient p ∈ [0, 1] et une suite de variables aléatoires indépendantes (Xk )k≥1 à valeurs dans {−1, 1}, telles que
P(Xk = 1) = p. On note Sn = X1 + . . . + Xn . Montrer que p = 1/2 si, et seulement si, pour tout n ∈ N∗ :

P(S2n = 0) = sup P(S2n = k).

k∈Z

Exercice 227 : ENS L 2022

1. Donner l’espérance d’une variable aléatoire suivant une loi géométrique.
2. Une boı̂te contient n cartes. Un collectionneur en tire une et la remet dans la boı̂te, et ainsi de suite jusqu’à
toutes les avoir tirées. Calculer l’espérance du nombre de tirages.

Exercice 228 : ENS L 2022

On tire des vecteurs aléatoirement avec remise dans (Z/5Z)n et on note X la variable aléatoire donnant le
nombre de tirages nécessaire pour en obtenir un système générateur. Déterminer E(X).

74
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 229 : ENS SR 2023

On munit Sn de la loi uniforme. On tire au sort σ ∈ Sn et on note :
• Ai l’événement (σ(i) = i) pour i ∈ {1, . . . , n} ;

• N la variable aléatoire qui compte le nombre de points fixes de σ.

1. Exprimer P(A) pour A ⊆ Sn .
2. Pour i1 , . . . , ik ∈ {1, . . . , n}, calculer P(Ai1 ∩ · · · ∩ Aik ).
3. On admet la formule du crible (voir exercice 194). Calculer P(N > 0).
4. Calculer le nombre de dérangements (voir exercice 97) de {1, . . . , n}.
5. Calculer P(N = k). Que peut-on dire lorsque n → ∞ ?

Exercice 230 : ENS ULSR 2023

On considère deux suites (ak )k∈N à valeurs dans [1, 2] et (pk )k∈N à valeurs dans [0, 1]. On se donne également
une suite (Xk )k∈N de variables aléatoires réelles indépendantes, telles que :
pk
P(Xk = ak ) = P(Xk = −ak ) = et P(Xk = 0) = 1 − pk .
2

1. À quelle condition sur ak et pk a-t-on Var(Xk ) = 1 ? On la supposera vérifiée par la suite.

2. On pose, pour N ∈ N∗ :
N
1 X
SN = √ Xk .
N k=1
Démontrer :
N   
Y tXk
E [cos(tSN )] = E cos √ .
k=1
N

3. En déduire[54] :
t2
 
E [cos(tSN )] −−−−→ exp − .
N →∞ 2

Exercice 231 : ENS ULSR 2025

On définit la suite de variables aléatoires (Sn )n∈N par S0 = k ∈ Z et[55] :
1
P(Sn+1 = Sn + 1) = P(Sn+1 = Sn − 1) = .
2
1. Calculer E(Sn ) et Var(Sn ).
2. Pour m, n ∈ N tels que m ≤ n, calculer la loi de Sn sachant (S1 = k1 , . . . , Sm = km ).
3. Soient N ∈ N∗ et k ∈ {0, . . . , N }. On décrète que la marche (Sn ) s’arrête lorsqu’on atteint 0 ou N , et on
admet qu’elle s’arrête presque sûrement.[56] Calculer la probabilité qu’elle s’arrête en 0.

[54] C’est exactement le théorème central limite exprimé à l’aide des fonctions caractéristiques ! L’exercice en reproduit la preuve

dans un cas particulier. Pour le démontrer en général, il faut faire appel au théorème de Lévy sur l’inversion de Fourier.
[55] Il s’agit de la marche aléatoire symétrique sur Z ! C’est une chaı̂ne de Markov que l’on peut facilement généraliser à Zd . Elle

est récurrente (c’est-à-dire que l’on repasse presque sûrement par tous les états) si et seulement si d ≤ 2.
[56] Les notions de martingale et de temps d’arrêt ne sont pas loin, mais cela nous emmènerait au contraire un peu loin.

75
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 232 : ENS ULSR 2025

Soit p ∈ ]0, 1[.
1. Donner la définition, la série génératrice et l’espérance de la loi géométrique G(p).
2. Montrer que la loi G(p) est sans mémoire.
3. Soient X1 , . . . , Xn des variables aléatoires i.i.d. de loi G(p). Déterminer la loi de Y = X1 + . . . + Xn .
4. Soit Z une variable aléatoire à valeurs dans N∗ dont la loi est donnée par :
c0
P(Z = k) = (1 − p)k où c0 ∈ R.
k
Déterminer c0 et calculer la série génératrice de Z.
5. On considère une variable aléatoire N de loi P(λ) et une suite (Zi )i∈N de variables aléatoires i.i.d. toutes
indépendantes de N . On note R = Z0 + . . . + ZN . Trouver λ et p tels que R ait la même loi que Y .
▷ Des indications sont disponibles pour cet exercice. Cliquez ici pour les consulter.

Exercice 233 : ENS U 2022

Soient X, Y deux variables aléatoires indépendantes à valeurs dans N telles que XY suive une loi de Poisson.
Montrer que X ou Y est à valeurs dans {0, 1}.

Exercice 234 : ENS U 2022

Soient n ∈ N∗ et ε > 0. Montrer qu’il existe des réels σ0 , . . . , σn > 0 tels que, pour toutes variables aléatoires
indépendantes A0 , . . . , An vérifiant, pour tout i ∈ {0, . . . , n} :

P(Ai = 0) = 0 ; E(Ai ) = 0 ; Var(Ai ) = σi2

la probabilité que Pn = A0 + A1 X + · · · + An X n ait n racines réelles soit supérieure ou égale à 1 − ε.

76
Oraux de mathématiques aux concours Lycée Thiers – MP*

Indications

Cette section contient des indications fournies dans certains exercices ou certaines questions difficiles, qui sont
parfois apparues au cours de l’échange avec l’examinateur pour les oraux qui s’y prêtent.

Exercice 10
Montrer que la composante connexe par arcs de idR3 dans G est un sous-groupe distingué de G.[57]
Dans le cas où G est connexe par arcs et G ̸= {idR3 }, montrer que G contient une rotation d’angle π.

Exercice 73
Chercher un vecteur propre commun à a et b.

Exercice 74
Pour la question 3, étant donnés X = (x0 , . . . , xn ) ∈ Rn+1 et Y = (y0 , . . . , yn ) ∈ Rn+1 , on pourra considérer :
n
X n
X
P (t) = xk eikt et Q(t) = yk eikt .
k=0 k=0

Exercice 102
Pour la question 4, on pourra poser g(t) = f (t) − Ln (f )(t) − CUn (t) où C ∈ R.

Exercice 154
Prendre r2 < (r1 )s (r3 )1−s .

Exercice 166
i+j i+j
   
Montrer que les fonctions i 7−→ et j 7−→ sont strictement croissantes.
i j

Exercice 206
Déterminer d’abord C(M ) lorsque M est un singleton. Pour ce faire, écrire les relations entre coefficients et
racines du polynôme caractéristique, et montrer que C({A}) = C({B}) si, et seulement si, tr(A) = tr(B).

Exercice 209
2
Pour la question 4, on pourra choisir L tel que ∥I∥2 = p pour tout I ∈ L.
On pourra également prendre v1 = (p, 0) et v2 = (q, 1) où q 2 ≡ −1 (mod p).

Exercice 232
Pour la question 5, on pourra montrer que GR = GN ◦ GZ .

[57] On rappelle qu’un sous-groupe H de G est dit distingué lorsque gHg −1 ⊆ H pour tout g ∈ G.

77
Oraux de mathématiques aux concours Lycée Thiers – MP*

Corrigés

Exercice 11 (corrigé proposé par Vivien)

Lemme. Pour toute base orthonormée (x1 , . . . , xn ) de Rn et pour tout A ∈ Sn (R) :
n
X
exp ⟨Axk , xk ⟩ ≤ tr eA .

k=1

Démonstration. On note tout d’abord λ1 , . . . , λr les valeurs propres distinctes de A. D’après le théorème
spectral, il existe alors Q ∈ O(n) telle que :
 
λ1 Iα1
A = Q ..  T
. Q


λr Iαr

où l’on a noté αi = dim ker(A − λi In ) pour i ∈ {1, . . . , r}. La matrice du projecteur spectral associé est :

0
 

Pi = Q  Iαi  QT .
0

De plus, par construction, on dispose des égalités suivantes :

r
X r
X
Pi = QT Q = In ; λ i Pi = A ; Pi Pj = δi,j Pi .
i=1 i=1

Si x ∈ Rn est un vecteur unitaire, on a donc :

r
X
⟨Ax, x⟩ = λi ⟨Pi x, x⟩
i=1

et puisque les Pi sont symétriques positives, chaque ⟨Pi x, x⟩ est positif. De plus :
n
X
⟨Pi x, x⟩ = 1
i=1

donc par l’inégalité de Jensen appliquée à l’exponentielle :

r
X
exp ⟨Ax, x⟩ ≤ eλi ⟨Pi x, x⟩ .
i=1

Ainsi, si (x1 , . . . , xn ) est une base orthonormée de Rn :

n
X n X
X r r
X n
X
exp ⟨Axk , xk ⟩ ≤ eλi ⟨Pi xk , xk ⟩ = eλi ⟨Pi xk , xk ⟩ .
k=1 k=1 i=1 i=1 k=1
| {z }
=tr(Pi )=αi

On en conclut, comme annoncé :

n
X r
X
exp ⟨Axk , xk ⟩ ≤ αi eλi ≤ tr (exp A) . □
k=1 i=1

78
Oraux de mathématiques aux concours Lycée Thiers – MP*

Soient A, B ∈ Sn (R) et t ∈ [0, 1]. Notons M (t) = tA + (1 − t)B. Puisque c’est une matrice symétrique réelle, il
existe une base orthonormée (x1 , . . . , xn ) de Rn constituée de vecteurs propres de M (t), chaque xi étant associé
à la valeur propre λi . Remarquons alors que :

tAxi + (1 − t)Bxi = λi xi

ce qui entraı̂ne :
t ⟨Axi , xi ⟩ + (1 − t) ⟨Bxi , xi ⟩ = λi .
Ainsi, par convexité de l’exponentielle :
n
X n
X n
X
tr M (t) = exp(t ⟨Axi , xi ⟩ + (1 − t) ⟨Bxi , xi ⟩) ≤ t exp ⟨Axi , xi ⟩ + (1 − t) exp ⟨Bxi , xi ⟩ .
i=1 i=1 i=1

D’après le lemme, on en déduit :

tr M (t) = tr (exp (tA + (1 − t)B)) ≤ t tr (exp A) + (1 − t) tr (exp B)

et ceci traduit la convexité de M 7−→ tr (exp M ) sur Sn (R). □

79
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 79 (corrigé proposé par Giovanni)

Cet exercice, que j’ai eu à l’oral, n’est pas bien compliqué, mais il est facile de s’y perdre. La clé est d’utiliser
la formule bien connue pour P ′ /P . Comme P est scindé et de degré N ≥ 1, on peut l’écrire :
r
Y
P =λ (X − αi )mi
i=1

où λ ∈ R et les αi sont les racines distinctes de P . On obtient alors les équivalences :
2 ′ 2
P′ P ′′ P′ P′
  
(N − 1)(P ′ )2 ≥ N P P ′′ ⇐⇒ (N − 1) ≥N ⇐⇒ −N ≥ .
P P P P

On utilise alors la formule bien connue :

r
P′ X mi
=
P i=1
X − αi
et il ne reste plus qu’à l’injecter dans l’inégalité précédente. Le résultat à prouver est donc équivalent à :
r r
!2
X mi X mi
N ≥ .
i=1
(X − αi )2 i=1
X − αi

Chaque mi étant positif, on peut définir, pour i ∈ {1, . . . , r} :

√
mi √
ai = et bi = mi
X − αi
et puisque la somme des mi vaut N = deg P , le résultat à prouver équivaut à :
r
! r
! r
!2
X X X
a2i b2i ≥ ai bi
i=1 i=1 i=1

ce qui découle de l’inégalité de Cauchy-Schwarz.

Étudions le cas d’égalité. Si x ∈ R, alors (N − 1)P ′ (x)2 = N P (x)P ′′ (x) si, et seulement si, les vecteurs :

a(x) = (a1 (x), . . . , ar (x)) et b = (b1 , . . . , br )

sont positivement liés. Puisque N = deg P ≥ 1, ils ne sont pas nuls, donc il y a égalité si, et seulement, s’il
existe t0 (x) > 0 tel que pour tout i ∈ {1, . . . , r} :
1
x − αi = .
t0 (x)

On a donc égalité si, et seulement si, pour tous i, j ∈ {1, . . . , r} :

x − αi = x − αj .

Par conséquent, le cas d’égalité correspond au cas où P a exactement une seule racine. □

80
Oraux de mathématiques aux concours Lycée Thiers – MP*

Exercice 149 (corrigé proposé par Giovanni)

P∞
1. Non, prendre par exemple f (z) = n=0 (−1)n z n .
2. Si (an ) est positive, alors f est croissante, donc l’existence de ℓ permet d’affirmer que f est majorée par ℓ,
au voisinage de 1− , et même sur [0, 1[. Ainsi :
N
X
∀x ∈ [0, 1[, ∀N ∈ N, an xn ≤ f (x) ≤ ℓ.
n=0

Puisqu’on a tronqué la somme, on peut maintenant faire tendre x vers 1− et on obtient :

N
X
∀N ∈ N, an ≤ ℓ.
n=0

Comme (an ) est P positive, on en déduit que an converge. C’est presque terminé. De nouveau par positivité
P
de (an ), la série an xn converge normalement sur [0, 1]. Donc f est continue en 1, puis f (1) = ℓ.
3. Il suffit de montrer que :
N
1
  X
f 1− − an −−−−→ 0.
N n=0
N →∞

Tout d’abord, pour N ≥ 1 :

N n X N N n N
1 1 1 X
X  X  
an 1 − − an ≤ |an | 1 − 1 − ≤ n |an | −−−−→ 0
n=0
N n=0 n=0
N N n=0 N →∞

d’après le lemme de Cesàro. On doit donc montrer que :

∞ n
1
X 
an 1 − −−−−→ 0.
N N →∞
n=N +1

Rappelons que an z n est de rayon 1, donc nan z n également, ce qui justifie la majoration :
P P

∞ n ∞ n
1 1 1
X  X 
an 1 − ≤ n |an | 1 −
N N N
n=N +1 n=N +1

puisque la somme démarre à n = N + 1 ≥ N . Puisque la suite (n |an |) est majorée, on a donc :

∞ n ∞ n  N +2
1 1 1 1
X    X  
n |an | 1 − ≤ sup n |an | 1− = sup n |an | 1− .
N N n>N N n>N N
n=N +1 n=N +1

On déduit aisément du fait que n |an | → 0 le résultat suivant :

 
lim sup n |an | = 0.
N →∞ n>N

Enfin, par inégalité triangulaire :

N N n X N ∞ n
1 1 1
  X X  X 
f 1− − an ≤ an 1 − − an + an 1−
N n=0 n=0
N n=0
N
n=N +1

ce qui donne le résultat cherché puisque f a une limite en 1. □

81