CONCOURS COMMUN SUP 2004

DES ECOLES DES MINES D’ALBI, ALES, DOUAI, NANTES

Épreuve Spécifique de Mathématiques

(Filière MPSI)

Proposition de Correction

Page 1 sur 12
Premier problème.
Partie I
1. L’équation linéaire du premier ordre s’écrit : z ′ = −z th t ; or une primitive de − tht est
λ
− ln ( ch t ) ; donc ∃λ ∈ / z (t ) = λe − ln(ch t ) ou z (t ) = ⋅
ch t
1
z ( 0 ) = 1 ⇔ λ = 1 , d’où z 1 (t ) =
⋅
ch t
2. L’équation sans second membre a déjà été résolue au 1.
La recherche d’une solution particulière par la méthode de variation de la constante donne,
λ (t ) , λ ′ (t )
en posant z = = t th t , soit λ ′ (t ) = t sh t ; une intégration par parties donne :
ch t ch t
∫ t th tdt = t ch t − ∫ ch tdt = t ch t − sh t ; une solution particulière est donc
t ch t − sh t λ
z = = t − th t ; d’où la solution générale : z = + t − th t (λ ∈ ) .
ch t ch t
z 2 ( 0 ) = 0 ⇔ λ = 0 , d’où z 2 (t ) = t − th t .

Partie II
3. L’arc est défini sur et de classe C ∞ sur .
De ∀t ∈ x ( −t ) = −x (t ) et y ( −t ) = y (t ) , on déduit que l’axe des ordonnées est axe de
symétrie de ( Γ ) ; on fera donc l’étude pour x . 0 .
4. Lorsque t → +∞ th t → 1 ; donc x (t ) → +∞ ; ch t → +∞ , donc y (t ) → 0 , ce qui
montre que l’axe des abscisses est asymptote à ( Γ ) .
⎧ 1 ch2 t − 1 sh2 t
⎪⎪ x ′ ( t ) = 1 − = = 2
5. ⎨ ch2 t ch2 t ch t
⎪y ′ (t ) = − sh t
⎪⎩ ch2 t

t 0 +∞
x′ 0 +
x +∞
0
y 1
0
y′ 0 −

Page 2 sur 12
 dM
6. ( 0 ) = 0 . Le point A ( 0,1) , obtenu pour t = 0 , est donc un point stationnaire. De
dt
⎛ x ′′ = 2 ( ch t )−3 sh t ⎞ 0
2
dM⎜ ⎟ d 2M
, on déduit ( 0 ) ; par suite, la tangente en A est
dt 2 ⎜⎜ y ′′ = − ch t + 2 sh t ⎟⎟
2 2
dt 2 −1
⎝ ch 3 t ⎠
verticale ; c’est donc l’axe des ordonnées. Compte tenu de la symétrie de la courbe pour
cet axe et des signes de x (t ) et y (t ) , le point A est un point de rebroussement de
première espèce.
7.
a) De ch2 t − sh2 t = 1 , on déduit ch2 t = 1 + sh2 t = 2 , d’où ( ch t > 0 ) ch t = 2 ,
sh t 1 2
th t = = ou th t = et e t = ch t + sh t = 1 + 2 , d’où t = ln (1 + 2 ) .
ch t 2 2
b) Le coefficient directeur de la tangente en M (t ) , ( M ≠ A) , est
y ′ (t ) − sh t ch2 t 1
m (t ) = = ⋅ 2 =− ⋅ Ainsi m (t ) = −1 ⇔ sh t = 1 , soit t = ln (1 + 2 ) ;
x ′ (t ) ch t sh t
2
sh t
⎛ 2, 2⎞
d’où B ⎜ ln (1 + 2 ) − ⎟.
⎝ 2 2 ⎠
La tangente en B a pour équation : y − yB = m (t ) ( x − x B ) , soit y = −x + ln (1 + 2 ) .
8.

O x

9.
d (OM ) sh t ⎛ sh t ⎞
a) De (t ) = 2 ⎜ ⎟ , on déduit qu’un vecteur directeur de la tangente en
dt ch t ⎜⎝ −1 ⎟⎠
sh t
M (t ) est u (t ) (même pour t = 0 ). Notons ∆t la tangente en M (t ) à ( Γ ) .
−1

Page 3 sur 12
 x − t + t ht sh t
N ( x , y ) ∈ ∆t ⇔ ( MN , u (t ) ) est liée ⇔ det ( MN , u (t ) ) = 0 , soit 1 = 0,
y− −1
ch t
soit x + y sh t = t .
t − th t
b) Pour y = 0 , il vient N . De NM 1 , on déduit
0
ch t
2
sh t ⎞ 1 sh2 t + 1
NM = ⎛⎜ ⎟ + 2 = =1 NM = 1 .
⎝ ch t ⎠ ch t ch2 t

Partie III
1
10. Notons que t étant continue sur [ 0,x ] , I k ( x ) existe pour tout réel x.
chk t
du
Le changement de variable u = e t donne = e t et
dt
x 2dt e x du du ex du ex
I1 x = ∫ t
( )
0 e + e −t
= 2 ∫1 1
= 2 ∫1 u 2 + 1 = [ 2 Arct an x ]1
.
u+ u
u
π
D’où I 1 ( x ) = 2 Arctan (e x ) − .
2
x dt
∫ = [ th t ]0 = th x
x
11. I 2 ( x ) = 2
I 2 ( x ) = th x .
0 ch t
12.
dt
x x ch t dt
∫ =∫ , en posant u = ( ch t )
−(k +1)
a) Intégrons par parties I k ( x ) = , v ′ = ch t ,
k
0 ch t 0 chk +1 t

donc u ′ = − (k + 1) ( ch t )
− k −2
⋅ sh t, v = sh t , en remarquant que u et v sont de classe C 1
sur [ 0,x ] .
Il vient :
x
x ch t − 1
2 2
sh t x sh t sh x
I k ( x ) = ⎡⎢ k +1 ⎤⎥ + (k + 1) ∫ dt = + ( k + 1 ) ∫0 chk +2 t dt
⎣ ch t ⎦ 0 0 chk + 2 t chk +1 x
sh x x dt dt ⎤ sh x
= k +1 + (k + 1) ⎡⎢ ∫
x
−∫ = + ( k + 1 ) [I k ( x ) − I k + 2 ( x ) ]
ch x ⎣ 0 ch x
k 0 ch k + 2
x ⎥⎦ chk +1 x
sh x sh x
D’où kI k ( x ) = − k +1 + (k + 1) I k +2 ( x ) ou (k + 1) I k +2 ( x ) = kI k ( x ) + k +1 .
ch x ch x
sh x π sh x
b) Pour k = 1 , il vient : 2I 3 = I 1 + 2 , soit I 3 ( x ) = Arctan (e x ) − + .
ch x 4 2 ch2 x
sh x 2 sh x
Pour k = 2 , on obtient : 3I 4 = 2I 2 + 3 I 4 ( x ) = th x +
ch x 3 3 ch 3 x

Page 4 sur 12
13.
dt
−x
a) On a I k ( −x ) = ∫chk t
0
⋅ Le changement de variable défini par u = −t, du = −dt donne
x −du x du
I k ( −x ) = ∫ = −∫ = −I k ( x ) ∀x ∈ , ce qui montre que I k est une
0 ch ( −u )
k 0 chk ( u )

fonction impaire.
1
b) Comme t est continue sur , I k est dérivable, donc continue sur
chk t
1
(intégrale fonction de la borne du dessus), de dérivée I k ′ ( x ) = k ⋅
ch x
c) Cette dérivée est de classe C comme inverse d’une fonction de classe C ∞ qui ne
∞

s’annule pas ; par suite, I k est de classe C ∞ sur .

1 −k sh x
14. On a : I k ′ ( x ) = k , I k ′′ ( x ) = −k ch −k −1 x ⋅ sh x , soit I k ′′ ( x ) = k +1 et
ch x ch x
′′′ ′′′ k (k + 1) sh2 x k
I k ( x ) = k (k + 1) ch − k −2
x ⋅ sh x − k ch
2 − k −1
x ch x , d’où I k x =( )
k +2
− k .
ch x ch x
3
15. Comme I k est de classe C sur , elle admet un développement limité d’ordre 3 au
voisinage de 0, donné par la formule de Taylor-Young :
x ′ x2 x3
I k (x ) = I k ( 0 ) + I k ( 0 ) + I k ′′ ( 0 ) + I k ′′′ ( 0 ) + o ( x 3 ) , soit, puisque
1! 2! 3!
x3
I k ( 0 ) = 0, I k ′ ( 0 ) = 1, I k ′′ ( 0 ) = 0, I k ′′′ ( 0 ) = −k , I k ( x ) = x − k + o (x 3 )
6
1
16. De I k ′ ( x ) = 2 > 0 , on déduit que I k est une fonction strictement croissante.
ch x
17.
a) De cette croissance stricte, il résulte que : n < n + 1 ⇒ I n (n ) < I k (n + 1) , soit
∀n un < un +1 ; (un )n. 1 est donc strictement croissante.
1 2 2 1
b) Comme e −t > 0 , on a = t −t
- t , soit - 2e −t .
ch t e + e e +0 ch t
n
n dt ⎡ e −kt ⎤
-∫ ( 2e −t ) dt , d’où un -2k ∫ e −ktdt , un -2k
n k n
Comme n > 0 , un = ∫ k ⎢− k ⎥ ;
0 ch t 0 0
⎣ ⎦0
2k 2k
finalement : un - ⎡⎣1 − e −nk ⎤⎦ < ⋅
k k
La suite (un )n. 1 , croissante et majorée, est donc convergente.

18.
a) Le même raisonnement (remplacer n par x), prouve que pour x > 0 ,
2k
I k ( x ) -∫ ( 2e −t ) dt , d’où ∀x > 0
x k
⋅
I k (x ) -
0 k
La fonction I k , croissante et majorée, a donc une limite finie lorsque x → +∞
∗
(théorème de la limite monotone), d’où l’existence de J k ∀k ∈ .

Page 5 sur 12
 π π π π
b) I 1 ( x ) = 2 Arctan (e x ) − →2 − (x → +∞ ) ; ainsi J 1 =
2 2 2 2
I 2 x = th x → 1 x → +∞ ; ainsi J 2 = 1 .
( ) ( )

k 1 sh x
c) On a : I k +2 ( x ) = I k (x ) + .
k +1 k + 1 chk +1 x
ex
x −k
sh x 2 sh x ⎛e ⎞
Or, lorsque x → +∞ , I k ( x ) → J k , ∼ k +1 ; donc ∼ ⎜ ⎟ → 0.
chk +1 x ⎛ e x ⎞ chk +1 x ⎝ 2 ⎠
⎜ ⎟
⎝2⎠
k
On déduit, en passant à la limite lorsque x → +∞ , J k +2 = Jk .
k +1
2 2 4 2×4
On en déduit, en donnant à k les valeurs 2,4,6, … que J 4 = J 2 = , J 6 = J 4 = .
3 3 5 3×5
2 × 4 × 6 × × ( 2p − 2 )
On conjecture donc que, pour k pair (k = 2p ) , p . 2 , J 2 p = ⋅
3 × 5 × 7 × × ( 2 p − 1)
Cette relation est vraie pour p = 2 . Supposons la vérifiée pour p . 2 ; alors, pour
2p 1 × 3 × × ( 2p − 2 ) ( 2p )
k = 2p , il vient J 2 p +2 = J 2p = ⋅
2p + 1 2 × 4 × × ( 2 p − 1) ( 2 p + 1)
2 × 4 × 6 × × ( 2p − 2 )
Ainsi, ∀p .2 J 2p = ⋅
3 × 5 × 7 × × ( 2 p − 1)
Remarquons
⎡⎣2p −1 (1 × 2 × 3 × × ( p − 1) ) ⎤⎦
2
[2 × 4 × 6 × × ( 2p − 2 ) ]
2

que : J 2 p = = .
1×2 × 3 × 4 × × ( 2 p − 2 ) ( 2 p − 1) ( 2 p − 1) !
22 p −2 [( p − 1) !]
2
∗
Donc J 2 p = ∀p ∈ (encore vrai pour p = 1 ).
( 2 p − 1) !
1 3 1× 3
De même, si k est impair ( k = 2p + 1, p ∈ ), J 3 = J 1, J 5 = J 3 = J 1 ; on prouve
2 4 2×4
de même par récurrence sur p que :
1 × 3 × 5 × × ( 2 p − 1) 1 × 3 × 5 × × ( 2 p − 1) π
J 2 p +1 = J1 = ⋅
2 × 4 × 6 × × ( 2p ) 2 × 4 × 6 × × ( 2p ) 2

Remarquons que : J 2 p +1 =
1× 2 × 3 × 4 × × ( 2 p − 1) ( 2 p ) π [(2p ) !] π .
⋅ = p 2
[2 × 4 × 6 × × ( 2 p ) ] 2 ( 2 p !) 2
2

( 2p ) ! π
D’où J 2 p +1 = ∀p ∈ (encore vrai pour p = 0 ).
2 2p
( p !)2 2

Page 6 sur 12
 Deuxième problème
Partie I
1.

a) E est inclus dans l’ensemble M2 ( ) des matrices carrées d’ordre 2 qui est un espace
vectoriel sur .
⎛1 0⎞ ⎛0 0⎞ ⎛0 1⎞
Posons M 1 = ⎜ ⎟ , M2 = ⎜ ⎟ ,M3 = ⎜
⎜ 0 0 ⎟⎟
.
⎜0 0⎟ ⎜0 1⎟
⎝ ⎠ ⎝ ⎠ ⎝ ⎠
⎛a c ⎞
Alors ⎜ = aM 1 + bM 2 + cM 3 , ce qui montre que E est le sous espace vectoriel de
0 b⎟
⎝ ⎠
M2 ( ) engendré par la famille B = ( M 1, M 2 , M 3 ) .

⎛a c ⎞ ⎛ 0 0 ⎞
b) De plus, si aM 1 + bM 2 + cM 3 = 0 , alors ⎜ = , donc a = b = c = 0 ; ce qui
0 b ⎟ ⎜⎜ 0 0 ⎟⎟
⎝ ⎠ ⎝ ⎠
montre que B est libre.
On en déduit que E est un espace vectoriel de dimension 3, de base B .

2.

⎛ a c ⎞ ⎛ a ′ c ′ ⎞ ⎛ aa ′ ac ′ + cb ′ ⎞
a) ∀ ( M , M ′ ) ∈ E 2 M ⋅ M′ = ⎜ ⎜ ⎟=⎜ ⎟∈E
0 b ⎟ ⎜ 0 b′ ⎟ ⎜ 0 bb ′ ⎟
⎝ ⎠⎝ ⎠ ⎝ ⎠
b) E est inclus dans l’anneau M2 ( ) des matrices carrées d’ordre 2 et
∀ (M , M ′) ∈ E 2 M − M ′ ∈ E (car E est un espace vectoriel), MM ′ ∈ E et
⎛1 0⎞
I2 = ⎜ ∈ E ; il en résulte que E est un sous-anneau de M2 ( ) : E est un anneau.
⎜ 0 1 ⎟⎟
⎝ ⎠
⎛ 0 1⎞ ⎛ 1 1⎞ ⎛ 1 1⎞ ⎛ 0 1⎞
≠
⎜ 0 0 ⎟⎟ ⎜⎜ 0 2 ⎟⎟ ⎜⎜ 0 2 ⎟⎟ ⎜⎜ 0 0 ⎟⎟
c) Remarquons que ⎜ , ce qui montre que l’anneau E n’est
⎝ ⎠⎝ ⎠ ⎝ ⎠⎝ ⎠
pas commutatif.

⎛a c⎞
3. Pour toute matrice M = ⎜ de G, on a det ( M ) = ab ≠ 0 (car a ≠ 0 et b ≠ 0 ), ce qui
0 b⎟
⎝ ⎠
montre que M est inversible.
G est donc une partie non vide du groupe GL2 ( ) des matrices d’ordre 2 inversibles.
⎛ aa ′ ac ′ + cb ′ ⎞
De plus, ∀ ( M , M ′ ) ∈ E 2 M ⋅ M ′ = ⎜ ⎟ , avec aa ′ > 0 et bb ′ > 0 , car
⎜ 0 bb ′ ⎟
⎝ ⎠

Page 7 sur 12
 a > 0, a ′ > 0, b > 0, b ′ > 0 , ce qui prouve que MM ′ ∈ G .
⎧a ′ = 1 car a ≠ 0
⎧aa ′ = 1 ⎪ a
⎪⎪ ⎪
⎪ 1
En outre MM ′ = I ⇔ ⎨bb ′ = 1 ⇔ ⎨b ′ = car b ≠ 0
⎪ ⎪ b
ac ′ + cb ′ = 0 cb ′
⎩⎪ ⎪ ′
c = − =−
c
⎪⎩ a ab
⎛ 1 c
⎜ − ⎞⎟
⎛ 1 1
> 0 et > 0 ⎞⎟ .
Donc M −1 = ⎜ a ab
⎟ ∈ G ⎜ car
⎜⎜ 0 1 ⎟ ⎝ a b ⎠
⎟
⎝ b ⎠
Par suite, (G, ⋅) est un groupe (sous-groupe de (GL2 ( ) , ⋅) .

Partie II
4.

a) La relation donnée est vraie pour p = 1 . Supposons-la vérifiée pour p .1 ; alors :

⎛ p a p − bp ⎞ a c ⎛ p +1 ⎡ p ap − bp ⎤ ⎞
a c ⎛ ⎞ ⎜ a c a + b
Ap +1 = Ap A donne : Ap +1 =⎜ a −b ⎟ = ⎢⎣ a − b ⎥⎦ ⎟⎟ .
⎜ ⎟⎜0 b⎟ ⎜
⎜0 bp ⎟⎝ ⎠ ⎜ 0 b p +1 ⎟
⎝ ⎠ ⎝ ⎠
a p − b p a p +1 − b p +1
Or a p + b = , ce qui montre que le relation est vraie pour p + 1 .
a −b a −b
⎛ p a p − bp ⎞
a c
Ainsi, pour tout p ∈ ∗ , et a ≠ b , Ap = ⎜⎜ a −b ⎟
⎟
⎜0 bp ⎟
⎝ ⎠

⎛a 2 2ac ⎞ ⎛ a 3 3a 2c ⎞
b) On obtient : A = ⎜ 2
⎟, A = ⎜
3
⎟.
⎜0 a2 ⎟ ⎜ 0 a3 ⎟
⎝ ⎠ ⎝ ⎠
p −1
⎛ a pa c ⎞
p

On conjecture donc que Ap = ⎜ ⎟ . Cette relation est vraie pour p = 1 .

⎜0 ap ⎟
⎝ ⎠
Supposons-la vérifiée pour p .1 ; alors : Ap +1 = Ap A donne :
pa p −1c ⎞ ⎛ a c ⎞ ⎛ a p +1 ( p + 1) a pc ⎞
⎛a p
=⎜ ⎟⎜ ⎟=⎜ ⎟.
p +1
A
⎜0 ap ⎟⎝0 a ⎠ ⎜ 0 a p +1
⎟
⎝ ⎠ ⎝ ⎠
⎛ a p pa p −1c ⎞
Par suite, pour a = b , on a ∀p ∈ ∗
A =⎜
p
⎟
⎜0 ap ⎟
⎝ ⎠

Page 8 sur 12
5.

a) Rappelons que : si f est une fonction de classe C n +1 sur le segment [a, b ] , et si K est un
n
(b − a )k b −a
n +1

majorant de f n +1
(t ) sur [a, b ] , alors f (b ) − ∑ f (k )
(a ) - K⋅
k =0 k! ( n + 1) !
b) En appliquant cette inégalité à f = exp sur [ 0,x ] , compte tenu de f (k ) ( x ) = e x et de
n
( x − 0 )k x − 0 n +1
f (k )
( 0 ) = 1 , il vient f (x ) −∑ f (k )
( 0) - K , soit
k =0 k! ( n + 1) !
xk
n
x n +1 ⎧si x . 0
⎪ ∀t ∈ [ 0, x ] f (n +1) (t ) -e x
f (x ) − ∑ - K . Or, ⎨ ; donc K = e x
k =0 k ! ( n + 1) ! ⎪⎩si x < 0 ∀t ∈ [x , 0] f (n +1)
(t ) -1
n
xk x n +1
ou K = 1 , constante indépendante de n (x est fixé) et f ( x ) − ∑ - K.
k =0 k ! ( n + 1) !
x n +1
Comme lim = 0 , il vient lim ϕn ( x ) = e x .
n →+∞ ( n + 1) ! n →+∞

a a2 an n
ap n
bp n
bp
c) On a : αn = 1 + + + + = ∑ , βn = 1 + ∑ = ∑ et
1! 2! n! p =0 p ! p =1 p ! p =0 p !

c ⎛ a − b a 2 − b2 a n − bn ⎞ c ⎛ n ap n
bp ⎞
γn = + + = + ⎜∑ − ∑ ⎟.
a − b ⎜⎝ 1! 2! n ! ⎟⎠ a − b ⎝ p =0 p ! p =0 p ! ⎠
c
D’où αn = ϕn (a ) , βn = ϕn (b ) , γ n = (ϕn (a ) − ϕn (b ) ) .
a −b
Comme, pour tout réel x, e x = lim ϕn ( x ) , on a :
n →+∞

e a − eb
α = lim αn = ea , β = lim βn = eb et γ = lim γ n = c
n →+∞ n →+∞ n →+∞ a −b
d) Pour a = b , on a αn = βn = ϕn (a ) et
⎛ 1 2a 3a 2 na n −1 ⎞ ⎛ a a2 a n −1 ⎞
γn = c ⎜ + + + = c ⎜1 + + + + ⎟ = cϕn −1 (a ) .
⎝ 1! 2! 3! n ! ⎟⎠ ⎜
⎝ 1! 2! ( n − 1) ! ⎟
⎠
Par suite, lorsque n → +∞ α n → e , βn → e et γ n → ce .
a a a

⎧ a c ⎛ a e a − eb ⎞
⎪ ⎛ ⎞ ⎜e c ⎟
⎪si a ≠ b f⎜ = a −b
0 b⎟ ⎜ ⎟
⎪ ⎝ ⎠ ⎜0 eb ⎟
6. L’application f de E vers E est donc définie par : ⎨ ⎝ ⎠
⎪
⎛ a c ⎞ ⎛e ce ⎞
a a

⎪si a = b f⎜ =⎜ ⎟
⎪ 0 a ⎟ ⎜ 0 ea ⎟
⎩ ⎝ ⎠ ⎝ ⎠

⎛0 0⎞ ⎛1 0⎞
= ≠ 0 , ce qui prouve que f n’est pas linéaire.
⎜ 0 0 ⎟⎟ ⎜⎜ 0 1 ⎟⎟
a) Remarquons que f ⎜
⎝ ⎠ ⎝ ⎠

Page 9 sur 12
 ⎛a c ⎞ ⎛a ′ c′ ⎞
b) Soit A = ⎜ ⎟ et B = ⎜ ⎟.
⎝
0 b
⎠ ⎜ 0 b′ ⎟
⎝ ⎠
Si f ( A) = f ( B ) , alors, dans tous les cas, on a : ea = ea ′, eb = eb ′ , donc a = a ′, b = b ′ ; par
suite, si a ≠ b , on a a ′ ≠ b ′ .
⎛ a e a − eb ⎞ ⎛ a ′ e a ′ − eb ′ ⎞
⎜e c a − b ⎟ ⎜e c ′ a ′ − b ′ ⎟
1er cas : si a ≠ b ( et donc a ′ ≠ b ′ ) , on obtient : ⎜ ⎟=⎜ ⎟ et,
⎜0 e b
⎟ ⎜0 e b′
⎟
⎝ ⎠ ⎝ ⎠
a′ b′
e −e
a b
e −e
puisque a = a ′, b = b ′ , c = c′ , donc (ea ≠ eb ) c = c ′ ; d’où A = B .
a −b a ′ − b′
⎛ ea cea ⎞ ⎛ea ′ c ′ea ′ ⎞
2ème cas : si a = b ( et donc a ′ = b ′ ) , alors ⎜ ⎟=⎜ ⎟ .
⎜ 0 ea ⎟ ⎜ 0 ea ′ ⎟
⎝ ⎠ ⎝ ⎠
De a = a ′ et ce = c ′e , on déduit c = c ′ ; ainsi A = B .
a a′

Dans tous les cas, la relation f ( A) = f ( B ) entraîne A = B ; donc f est injective.

c) Comme l’élément diagonal ea de f ( A) est strictement positif, des éléments de E

⎛ −1 0 ⎞
n’ont pas d’antécédent par f : par exemple, ⎜
⎜ 0 1 ⎟⎟
est élément de E et n’a pas
⎝ ⎠
d’antécédent par f, ce qui montre que f n’est pas surjective.

d) Il est immédiat, puisque ea > 0 et eb > 0 , que ∀A ∈ E f ( A) ∈ G , donc Im f ⊂ G .

⎛a ′ c′ ⎞
Réciproquement, soit B = ⎜ ⎟ ∈ G , avec a ′ > 0 et b ′ > 0 .
⎜ 0 b′ ⎟
⎝ ⎠
Remarquons que si f ( A) = B , alors ea = a ′, eb = b ′ .
Cas où a ′ ≠ b ′ ; alors a ≠ b .
⎧ ⎧
⎪ea = a ′ ⎪
⎪ a = ln a ′
⎪ ⎪⎪
f ( A ) = B ⇔ ⎨eb = b ′ ⇔ ⎨b = ln b ′
⎪ ⎪
⎪c ⎛ e − e ⎞ = c ′ ⎪c = c ′ ln a ′ − ln b ′
a b

⎪ ⎜ ⎟ ⎩⎪ a ′ − b′
⎩ ⎝ a −b ⎠
⎛e
a
cea ⎞ ⎛ a ′ c ′ ⎞ ⎧⎪e = a ′
a ⎧a = ln a ′
⎪
Cas où a ′ = b ′ ; alors a = b . f ( A ) = B ⇔ ⎜ ⎟=⎜ ⎟⇔⎨ a ⇔ ⎨ c′
⎜0 ea ⎟ ⎜ 0 a ′ ⎟ ce = c ′
⎝ ⎠ ⎝ ⎠ ⎩⎪ ⎪c =
⎩ a′
Ainsi, ∀B ∈ G ∃A ∈ G / f ( A ) = B , ce qui prouve que G ⊂ Im f .
Finalement : Im f = G .

Page 10 sur 12
7.

a) Premier cas : a ≠ b .
⎛ a ea − eb ⎞
⎜e − 1 c a − b ⎟ ⎛u w ⎞
On a : f ( A ) − I = ⎜ ⎟ ; posons, pour simplifier, B − I = ⎜ 0 v ⎟ . Puisque
⎜ 0 eb − 1 ⎟ ⎝ ⎠
⎝ ⎠
⎛ p up − vp ⎞
u w
a ≠ b , alors u ≠ v . D'où : ( B − I ) = ⎜ u − v ⎟ et
p
⎜ ⎟
⎜0 vp ⎟
⎝ ⎠
2 n n p n p
u n −1 u p −1 u p −1 v
an = u − + + ( −1 ) = ∑ ( −1 ) = ψ n (u ) , bn = ∑ ( −1) = ψ n (v ) et
2 n p =1 p p =1 p
p −1 u − v
p p
w n
cn = ∑
u − v p =1
( −1 )
p
, soit

⎧
⎪an = ψ n (u ) = ψ n (e − 1)
a

⎪
⎨bn = ψ n (v ) = ψ n (e − 1)
b

⎪ w
⎪cn = [ψ n (u ) − ψ n (v )] = c ⎡⎣ψ n (ea − 1) − ψ n (eb − 1)⎤⎦
⎩ u −v
Second cas : a = b .
⎛e − 1 ce ⎞ ⎛u w ⎞ pu p −1w ⎞
a a
⎛up
, (B − I ) = ⎜
p
B −I = ⎜ ⎟ ; d’où, en posant B − I = ⎜ ⎟.
⎜ 0 ea − 1 ⎟ 0 u⎟ ⎜0 up ⎟
⎝ ⎠ ⎝ ⎠ ⎝ ⎠
n p n n −1
p −1 u ,
Donc an = bn = ∑ ( −1) cn = w ∑ ( −1) u p −1 = w ∑ ( −u )p .
p −1

p =1 p p =1 p =0

On reconnaît dans cn la somme des termes d’une suite géométrique de raison −u ;

comme cette raison est différente de 1 ( −u = 1 − ea ⇒ −u ≠ 1 ), on a :
⎧an = bn = ψ n (u ) = ψ n (ea − 1)
1 − ( −1) u n ⎪
n
cn = w . Ainsi : ⎨ a 1 − ( −1 ) u
n n
= c (1 − ( −1) (ea − 1) )
n n
1+u c
⎪n = ce
⎩ 1 + (e − 1)
a

b) Posons f ( x ) = ln (1 + x ) ; cette fonction est de classe C ∞ sur [ 0, +∞[ et vérifie les

1
hypothèses de la formule de Taylor à tout ordre. On a f ′ ( x ) = ; une récurrence
1+x
k −1 ( k − 1) !
simple prouve que, ∀k .1 , f (k ) ( x ) = ( −1) k ; f
(k )
( 0 ) = ( −1)k −1 (k − 1) !
(1 + x )
n! n!
Pour t ∈ [ 0, x ] , f (n +1) (t ) = n +1 - car x . 0 ; par suite
(1 + t ) (1 + 0 )n +1
n
(x − 0 )k x − 0 n +1 x
ln (1 + x ) − ∑ ( −1) ( k − 1) ! - n ! , soit ln (1 + x ) − ψ n ( x ) -
k −1
, ce
k =0 k! ( n + 1) ! n +1
qui montre que lim ( ln (1 + x ) − ψ n ( x ) ) = 0 ou lim ψ n ( x ) = ln (1 + x ) .
n →+∞ n →+∞

Page 11 sur 12
c) Les relations 0 < a < ln 2 et 0 < b < ln 2 sont équivalentes à 1 < ea < 2 , 1 < eb < 2 ; on
en déduit 0 < ea − 1 < 1 et 0 < eb − 1 < 1 ; donc 0 < u < 1 et 0 < v < 1 .
Dans les deux cas : lim an = lim ψ n (u ) = ln (1 + u ) = ln (ea ) = a et
n →+∞ n →+∞

lim bn = lim ψ n (v ) = ln (1 + v ) = ln (eb ) = b .

n →+∞ n →+∞

Pour étudier lim cn , on distingue les deux cas :

w w
Premier cas : a ≠ b : cn = [ψ n (u ) − ψ n (v )] → (a − b ) ; donc
u −v u −v
⎛ e a − eb ⎞
⎜ c ⎟
a − b e a − eb a − b
lim cn = ⎜ a ⎟ (a − b ) = c =c.
n →+∞
( b
)
⎜⎜ (e − 1) − (e − 1) ⎟⎟ a − b e a − eb
⎝ ⎠
w w
Second cas : cn =
1+u
[1 − ( −1) u n ] →
n

1+u
car, comme u < 1 , u n → 0 ; donc
cea
lim cn = a = c .
n →+∞ e
Ainsi, dans tous les cas : lim an = a, lim bn = b et lim cn = c .

Page 12 sur 12