Lycée Blaise Pascal MPSI 1 - 2023/2024

MATHÉMATIQUES
Devoir n°3
Jeudi 23 Octobre 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 le théorème de Bézout.

ˆ Donner la définition d’un entier a inversible modulo n et sa caractérisation.

ˆ Donner la définition de suites adjacentes.

Exercice 1 Déterminer les solutions définies sur R de l’équation différentielle suivante :

y ′′ − 4y ′ + 4y = 2e2x
√
1+ 5 x2 + 1
Exercice 2 Soient ϕ = , I = [1, 2] et f l’application définie sur I par f : x 7→ .
2 2x − 1
1. a) Montrer que ϕ2 = ϕ + 1.
b) Justifier que ϕ appartient à I.
√
c) Montrer que f (ϕ) = ϕ. Il est ici interdit d’écrire 5 dans votre réponse à cette question.

2. Justifier que la fonction f est bien définie sur I, qu’elle est dérivable sur I puis exprimer
sa dérivée f ′ .

3. a) Étudier le signe de f ′ sur I et en déduire les variations de f .

b) Préciser l’image directe de I par la fonction f .
u2n + 1
On pose u0 = 2 et pour tout n ∈ N, on pose un+1 = .
2un − 1
4. Justifier que la suite (un )n∈N est bien définie à l’aide de la question 3b.

5. Pour tout entier naturel n, on pose vn = un − ϕ.

a) Justifier que (vn )n∈N est une suite de réels positifs.

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

2
vn
b) Démontrer que vn+1 = √
2vn + 5
pour tout entier naturel n.
v2
c) Montrer que, pour tout n ∈ N, vn+1 ⩽ √n .
5
2n
√

v0
d) En déduire que vn ⩽ 5 √ pour tout entier naturel n.
5
6. a) En déduire que (un )n∈N converge et donner la valeur de sa limite ℓ.
b) Soit m ∈ N∗ . Justifier que si n ⩾ ln(m)
2 + 1 alors un est une valeurs approchée de ℓ à
10−m près. Que√penser de la vitesse de convergence de la suite (un )n∈N ? On donne
1 ln √ 5
1 ⩽ 105 + m
ln √
5
⩽ 2.
ln v0
ln v0

Problème 1 On considère l’équation (E) : x2 + y 2 = z 2 d’inconnue (x, y, z) ∈ N∗ × N∗ × N∗ .

1. Donner une solution simple de (E).

Dans toute la suite, (x, y, z) désigne une solution de (E) dans (N∗ )3 .

2. On note d = pgcd(x, y).

a) Soient n et m deux entiers non nuls tels que n2 |m2 . Montrer que n|m.
b) En déduire que d divise z.
c) On pose x = dx′ , y = dy ′ et z = dz ′ avec (x′ , y ′ , z ′ ) ∈ (N∗ )3 . Justifier que le triplet
(x′ , y ′ , z ′ ) est également une solution de (E) puis montrer que z ′ et x′ sont premiers
entre eux. De la même manière, les entiers z ′ et y ′ sont premiers entre eux.

3. a) Soient a et b deux entiers impairs. Montrer que a2 + b2 − 2 est divisible par 4.

b) En déduire que x′ et y ′ ne peuvent pas être tous les deux impairs.
c) Montrer que x′ et y ′ sont de parités différentes. Quelle est la parité de z ′ ?

On suppose dans la suite que x′ est pair et que y ′ est impair.

4. On pose x′ = 2a avec a ∈ N∗ .

a) Montrer qu’il existe deux entiers strictement positifs b et c tels que b+c = z ′ et b−c = y ′ .
En déduire que a2 = bc.
b) Montrer que b et c sont premiers entre eux.
c) Démontrer qu’il existe deux entiers u et v dans N∗ tels que b = u2 et c = v 2 .

x = 2duv

d) En déduire que y = d(u2 − v 2 ) .

z = d(u2 + v 2 )


On vérifie réciproquement que tout triplet (x, y, z) de la forme ci-dessus avec d > 0 et
u > v > 0 entiers est solution de (E).

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

Problème 2 Soit k ∈ R. On dira qu’une fonction f :]0, +∞[→ R est solution de (⋆) si f est
dérivable sur ]0, +∞[ et si  
′ 1
∀x > 0, f (x) = kf .
x

Partie 1 Quelques exemples

√
Soit λ ∈ R. On note fλ la fonction définie sur ]0, +∞[ par fλ : x 7→ (λ + ln x) x.

1. a) Justifier que fλ est dérivable sur ]0, +∞[ et donner une expression de fλ′ (x) pour x > 0.
b) Dresser le tableau de variations de la fonction fλ .
c) Donner une équation cartésienne de la tangente Tλ à la courbe représentative de fλ en
le point d’abscisse 1.
d) Montrer que les droites Tλ passent toutes par un même point indépendant de λ. On
dit qu’elles sont concourantes.
e) Sur un même graphique, tracer la courbe représentative de fλ pour λ = −2, λ = −3 et
√
λ = −[Link] donne e2 ≈ 7, 39, e ≈ 1, 65.

2. On note (E) l’équation différentielle y ′ − 1

2x y = √1
x
dont on cherche les solutions définies
sur ]0, +∞[.

a) Résoudre l’équation différentielle (E). On prendra garde au fait que la lettre λ est déjà
utilisée dans cet énoncé pour désigner une constante fixée.
(
y ′ − 2x
1
y = √1x
b) Résoudre le problème de Cauchy .
y(1) = λ

3. Montrer que l’on peut choisir λ de telle sorte que fλ soit une solution de (⋆). On précisera
la valeur du réel k associé.

Partie 2 Résolution dans le cas k = − 21

Dans cette partie, on suppose que f est une solution de (⋆) dans le cas où k = − 12 .
√
1. On note g la fonction définie sur ]0, +∞[ par g : x 7→ f√(x) + xf x1 .


x

a) Montrer que g est une fonction constante.

−f (1)
b) En déduire que, pour tout x > 0, on a f ′ (x) − 1
2x f (x) = √ .
x

Pour la résolution de deux questions suivantes, il est attendu des raisonnements sans résolution
explicite d’équations différentielles.

2. Montrer que si f (1) = 0 alors f est la fonction nulle.

3. On suppose f (1) ̸= 0. À l’aide des résultats de la partie 1, déterminer une expression de f .

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

Partie 3 Résolution dans le cas k ∈ − 12 , 12

 

Soit k un réel tel que − 12 < k < 12 . On note (Ek ) l’équation différentielle suivante dont on
cherche les solutions définies sur ]0, +∞[ :

(Ek ) x2 y ′′ + k 2 y = 0
1
1. Déterminer un réel α > 2 tel que y : x 7→ xα soit solution de (Ek ).

2. Soit y :]0, +∞[ deux fois dérivable sur ]0, +∞[. On note z : x 7→ y(x) xα de telle sorte que,
α
pour tout x > 0, on ait y(x) = x z(x). Montrer que y est solution de (Ek ) si et seulement
si z ′ est solution d’une équation différentielle linéaire (Ek′ ) d’ordre 1 à déterminer.

3. Résoudre (Ek′ ).

4. En déduire que l’ensemble des solutions de (Ek ) est l’ensemble des fonctions définies sur
]0, +∞[ de la forme x 7→ axα + bx1−α avec (a, b) ∈ R2 .

5. Déterminer les solutions de (⋆) dans le cas k ∈ − 21 , 12 .