Lycée Blaise Pascal MPSI 1 - 2023/2024

MATHÉMATIQUES
Devoir n°4
Vendredi 15 Décembre 2023

La qualité de la rédaction et de la présentation, la clarté et la précision des raisonnements

constitueront des éléments importants dans l’appréciation des copies. En particulier, il est
indispensable de conclure vos réponses et d’encadrer vos résultats à la règle.

On pourra admettre le résultat d’une question après l’avoir mentionné explicitement sur sa copie.

Questions de cours :
ˆ Énoncer une caractérisation des sous-groupes d’un groupe (G, ⋆).

ˆ Donner la définition d’un morphisme d’anneaux.

Exercice 1 Soient f : [a, b] → R et g : [a, b] → R continues telles que f ([a, b]) ⊂ g([a, b]).
1. Justifier que inf{f (x), x ∈ [a, b]} et sup{f (x), x ∈ [a, b]} existent.

2. Montrer qu’il existe c ∈ [a, b] et d ∈ [a, b] tels que

g(c) = inf{f (x), x ∈ [a, b]} et g(d) = sup{f (x), x ∈ [a, b]}.

3. En déduire qu’il existe x0 ∈ [a, b] tel que f (x0 ) = g(x0 ).

Problème 1
Partie 1
Soient a et b deux réels positifs. On définit deux suites (un )n∈N et (vn )n∈N en posant

u0 = min(a, b) v0 = max(a, b)
√ un + vn
∀n ∈ N, un+1 = un vn ∀n ∈ N, vn+1 = .
2
On admet que les suites (un )n∈N et (vn )n∈N sont bien définies et positives.
1. Pour tout n ∈ N, montrer que un ⩽ vn .

2. Montrer que les suites (un )n∈N et (vn )n∈N sont monotones et préciser leur monotonie.
vn − un
3. a) Pour tout n ∈ N, établir que vn+1 − un+1 ⩽ .
2
|a − b|
b) En déduire par récurrence que, pour tout n ∈ N, on a 0 ⩽ vn − un ⩽ .
2n

1
Lycée Blaise Pascal MPSI 1 - 2023/2024

4. En déduire que (un )n∈N et (vn )n∈N convergent vers une même limite commune que l’on
notera M (a, b).

5. Dans cette unique question, on suppose a = 1 et b = 0.

a) Donner une forme explicite des suites (un )n∈N et (vn )n∈N .
b) En déduire la valeur de M (1, 0).

Partie 2

Soient a et b deux réels positifs.

1. Justifier que M (a, b) = M (b, a).

2. Soit λ ∈ R+ . On considère les suites (un ) et (vn ) définies dans la partie 1. On définit deux
suites (u′n )n∈N et (vn′ )n∈N en posant

u′0 = min(λa, λb) v0′ = max(λa, λb)

u′n + vn′
∀n ∈ N, u′n+1 = ′
p
u′n vn′ ∀n ∈ N, vn+1 = .
2
a) Montrer simultanément par récurrence que, pour tout n ∈ N, on a u′n = λun et vn′ =
λvn .
b) En déduire que M (λa, λb) = λM (a, b).
√ a+b
3. Montrer que ab ⩽ M (a, b) ⩽ .
2
√
 
a+b
4. Montrer que M (a, b) = M ab, .
2

Partie 3

Pour tout réel x positif, on pose F (x) = M (1, x). On pourra admettre et utiliser largement
(en les citant) les résultats de la partie 2.
1. Justifier que F (0) = 0.

2. Montrer que F est positive sur R+ .

3. Soient deux réels positifs x1 et x2 tels que x1 ⩽ x2 . On considère les suites (un )n∈N ,
(vn )n∈N , (u′n )n∈N et (vn′ )n∈N définies par

u0 = min(1, x1 ) v0 = max(1, x1 ) u′0 = min(1, x2 ) v0′ = max(1, x2 )

√ un + vn u′ + vn′
∀n ∈ N u′n+1 = u′n vn′ vn+1 ′ = n
p
∀n ∈ N un+1 = un vn vn+1 = .
2 2
(
un ⩽ u′n
a) Par récurrence, montrer que pour tout n ∈ N, on a .
vn ⩽ vn′

2
Lycée Blaise Pascal MPSI 1 - 2023/2024

b) Montrer que F est croissante et en déduire que lim F (x) existe et est finie.
x→0+
√ 1+x
4. Montrer que pour tout réel x positif, on a x ⩽ F (x) ⩽ 2 .
 √ 
2 x
5. a) Montrer que pour tout réel x positif, on a F (x) = 21 (1 + x)F .
1+x
b) En déduire que F est continue en 0.
c) La fonction F est-elle dérivable en 0 ?

6. a) Déterminer la limite de F en +∞.

 
1
b) Montrer que, pour tout réel x positif, on a F (x) = xF .
x
F (x)
c) En déduire que lim x = 0.
x→+∞

Problème 2 Dans ce problème, le plan euclidien est identifié à R2 par choix d’un repère
orthonormé. On note H l’ensemble des points du plan dont les coordonnées (x, y) dans ce repère
vérifient :
x2 − 2y 2 = 1
On note H0 les points de H dont l’abscisse est positive. Cet ensemble H est représenté en
annexe.

Partie 1 Préliminaires hyperboliques

1. a) Justifier que la fonction sh : R → R est bijective.

 
b) Montrer que, pour tout t ∈ R, le point M (t) de coordonnées ch(t), √12 sh(t) appartient
à H0 . Dans toute la suite, on identifie le point M (t) et ses coordonnées dans le repère
considéré.
(
R → H0
c) Prouver que la fonction   est surjective et injective.
t 7→ M (t) = ch(t), √12 sh(t)

2. a) Soit (u, v) ∈ R2 . Établir les relations

sh(u + v) = ch(u)sh(v) + sh(u)ch(v) et sh(u + v) − sh(u − v) = 2ch(u)sh(v).

On montre de même les deux relations ci-après que l’on admet :

ch(u + v) = ch(u)ch(v) + sh(u)sh(v) et ch(u + v) − ch(u − v) = 2sh(u)sh(v)

sh(b) − sh(a) sh(a + b)

b) Soit (a, b) ∈ R2 avec a ̸= ±b. Montrer que = .
ch(b) − ch(a) ch(a + b) − 1

3
Lycée Blaise Pascal MPSI 1 - 2023/2024

Partie 2 Transport de structure

Soit (G, •) un groupe dont on note eG l’élément neutre et soit H un ensemble muni d’une loi de
composition interne ∗. On suppose qu’il existe une fonction f : G → H surjective telle que

∀(x, y) ∈ G2 , f (x • y) = f (x) ∗ f (y).

1. Montrer que f (eG ) est l’élément neutre de H pour ∗.

2. Rappeler la définition d’un groupe.

3. Montrer que (H, ∗) est un groupe.

4. Que peut-on dire de f ?

Étant donnés deux points A et B de H0 , on note ∆ la droite définie par :

ˆ ∆ est la droite (AB) si A ̸= B,

ˆ ∆ est la tangente à H0 en A si A = B.

Si ∆ n’est pas perpendiculaire à l’axe des abscisses, la parallèle à ∆ passant par Ω = M (0) =
(1, 0) ∈ H0 coupe H0 en un autre point C différent de Ω. On note alors C = A ∗ B. Si ∆ est
perpendiculaire à l’axe des abscisses, on pose A ∗ B = Ω.

5. Sur la courbe H0 donnée en annexe, placer les points Ω, A(3, 2), B(17, −12), A ∗ B et
A ∗ A. Le point de coordonnées (19, 13) appartient à une tangente utile pour le tracé.

6. Montrer que si A = M (a) et B = M (b) avec A ̸= B alors C = M (a + b). On admet que

ce résultat est encore valable dans le cas A = B.

7. a) Montrer que (H0 , ∗) est un groupe.

b) Justifier que (H0 , ∗) est isomorphe à (R, +).

Partie 3 Équation de Pell-Fermat

On note A le point de coordonnées (3, 2) dont on peut vérifier que c’est un point de H0 . On
note également t0 le réel tel que A = M (t0 ).

√ √
1. Montrer que et0 = 3 + 2 2 et e−t0 = 3 − 2 2.

2. Montrer que la fonction F : M 7→ A ∗ M de H0 dans H0 envoie le point M de coordonnées

(x, y) sur le point de coordonnées (3x + 4y, 2x + 3y).

On définit la suite (An )n∈N par A0 = Ω et la relation de récurrence An+1 = F (An ) pour tout
n ∈ N.

3. a) Montrer que la suite (An )n∈N est une suite de points à coordonnées entières tous situés
sur H0 .

4
Lycée Blaise Pascal MPSI 1 - 2023/2024

b) Montrer que, pour tout n ∈ N, on a An = M (nt0 ).

c) En déduire que les points An sont les points de coordonnées
√ √ √ √ !
(3 + 2 2)n + (3 − 2 2)n (3 + 2 2)n − (3 − 2 2)n
, √
2 2 2

On peut montrer que les points An , n ∈ N, sont les seuls points du plan à coordonnées entières
positives situés sur H0 .

4. Un groupe de canards (entre 1000 et 5000 individus) hésite entre les deux formations
ci-dessous pour un vol longue distance. Combien le groupe comporte-t-il de canards ?

Configuration 1 Configuration 2

5
Lycée Blaise Pascal MPSI 1 - 2023/2024

6
Lycée Blaise Pascal MPSI 1 - 2023/2024