Académique Documents
Professionnel Documents
Culture Documents
ln(1 + x) − x
f(x) = .
x2
i Montrer que f peut être prolongée par continuité en 0 et que ce prolongement est alors
dérivable en 0.
ii Quelle est alors la position relative de la courbe de f par rapport à sa tangente en ce
point ?
1
6 Soit f : x 7→ (x + 1)e x définie sur R+∗ .
1
i Former un développement asymptotique de f à la précision en +∞.
x
ii En déduire l’existence d’une droite asymptote en +∞ à la courbe représentative de f.
iii Etudier la position relative de la courbe et de son asymptote en +∞.
1
Problèmes Corrigés My Ismail Mamouni
2017-2018 http ://myismail.net
.
m noPqp\r5sPIp\Sutjvwr>tjPqr5SxSzyvw{q|qv^Q|qS
U FW}~X`A]A]=>9d4]A$[`46;B*.107=>A8\?;7J]07= _ ]J 46;7?d03.07;7;B8:=^@Z=@A`8<4]=>0707=C]= f (x) = 1 − 1 07XZ9D?:[4]= x → 0 F
tan x ln(1 + x)
a F\
X`4]9 x ∈ R \ {0, 2} _ XZAC]56A];B8 g(x) = x2 + 3x + 2 = x−2
1 1 VYXZA8:9<=>9[4]=I07=qZ9D.1J]]=qC=
tan · g
J X?:?:@C=4]A]=.Z?:J8<X18<=.14`XZ;3?;7A6.ZZ=C= +∞ Fi
9<@25;3?:=>9~07=@?JiX`?:;E8<;BX`A6?W9<=>03.*8<;B`=@?HC4`9<.ZJ]]=C= g =>8C]=
x x
0
.Z?:,J]8:X18<=^.14qZXZ;3?:;BA6.ZZ=C= +∞ F
FW}~>8:=>9<;BA6=>9\03.07;7;B8:=^@Z=@A`8<4]=>0707=C]= (cos x)(sin x)/x 0BX`9<?<[4]= x → 0 F
3
{qQN^$r5Wpx|qpyipypdQ5{Ivr5p¡
GHA?> ;BA8<>9<=@?<?=;72>;¡¢q07.$?:4];B8:= u C=J]9<=>;7=>98:=@9:= u = 0 _ =58w`>9<;E .ZA803.q9:=@07.18:;7XZA u = f (u ) JiXZ469
8:X`48 n ∈ N _ .`=@2 f : x 7→ x + 1 cos x + 1 ·
0 n+1 n
U F\£8:46C]=wC= f 2 4
¤ .`¥R£8<46C;7=>9W07=@?\*.Z9:;3.*8<;BX`A6?dC= ?:4]9 F
¤§¦ ¥qVYX`A`8<9:=@9/[4 ;70i=>¨;7?8:=4]AR46A]f;7[4]= xR ∈ [0, π] 8<=>0z[4]= f (x ) = x F£8:46C;7=>9\07=?;7ZA]=C= f (x) − x ?4]9
F 0 0 0
¤ .`¥IVYX`A`8<9:=@9\[`46=^J X`4]9d8:X`48 F
¤§¦ ¥q¸\=@J]9:?=@A8:=>907=@?l¹J]9<=>n;B=@9<∈?N8<=>_ 9<un=? C=$07.?:4];E8<=Y¢0º .1;3C=qC]4»`9<.ZJ]]=qC= f ¤ =@A9<=5¼½.Z;B9<=q4]AJiXZ469
∈ [0, x0 ]
0º X2>2@.Z?:;BX`A^¾ ¥j=@AIXZA8<9<.ZA`8\07=J]9:X2>@CZ9D.1J6];7[4]=^C=^2>XZA6?8:9<462±8<;BX`AF
¤ 2@¥qVYX`A`8<9:=@9\[`46= u =@?8~259<XZ;3?:?<.1A8:= _ J64];7?~[`46= u −→ x F
FHGHAIA]XZ8:=¿.1;7A8:=>A .1A8 δ = x − u F
n 0
n→∞
2
Problèmes Corrigés My Ismail Mamouni
2017-2018 http ://myismail.net
.
U F\£8:46C];B=@9j9D.1J];3C=@=@A8 f XZA8<9:=@9j[4]= f 9<@.Z0B;3?=~4]A]= ¦ ; À=2±8:;7XZAqC= R∗ ?4]9 R _ =58j9<=>J69:?=@A`8<=>9¡?:XZARZ9D.1J]]=`F
a FWVYXZA8:9<=>9\[4]=JiXZ4]9d8<XZ48W=@A`8<;B=@9 n ∈ N _ ;70=5¨;3?À8<=^4]AI46A];7[4]=^9<>=@0 x >+ 0 8:=@0 [4]= f(x) = n F
h1g]°cfe1®cf¯w´Bh°±®«¬c²¯ ª 5°D«Z gi¯>¶:h
D ¯w¶D ¯>´
f«¬´ª²µ6¯5g"ªI³>«½¯5g¯5g cf¯>giª1®ªZ¯
xn n1·
FWVYXZA8:9<=>9\[4]= x −→ +∞ ¤ XZA$JiXZ4]9<9D.XZA8<9:=@9d[4]=^JiXZ469 n .`?:?:=Z9D.1A6C _ X`AY. x ≥ n1/4 ¥±F
n n
FWVYXZA8:9<=>9\[4]= F
n→∞ 2
1/4
x ∼n
¹]FHGHAIA]XZ8:=¿.1;7A8:n=>A .1A8 x = n1/4(1 + y ) F H 4]=^C;79:=wC]= y
n n n
F\£A$;BA À=2±8D.1A8W0
=5¨J]9<=@?<?:;BX`ARJ]9<@2>@C=@A`8<=^C].1A6?d0º @[46.*8<;BX`A XZA8:9<=>9K x = n1/4 − 1 + o(1) F
f(xn ) = n _
F ¤ J]0746?WC; l25;70B=¥dVYXZA8<9:=@9K
n
2
1/4 1 3 1
xn = n − + 1/4 + o 1/4 ·
2 8n n
3
Problèmes Corrigés My Ismail Mamouni
2017-2018 http ://myismail.net
.
Formules usuelles
Cas généraux.
n
X xk x2 x3
DLn (0) ex = + o(xn ) DL3 (0) ex = 1 + x + + + o(x3 )
k=0
k! 2 6
n
X
1 1
DLn (0) = xk + o(xn ) DL3 (0) = 1 + x + x2 + x3 + o(x3 )
1−x k=0
1−x
X n
1 1
DLn (0) = (−1)k xk + o(xn ) DL3 (0) = 1 − x + x2 − x3 + o(x3 )
1+x k=0
1+x
X n
xk x2 x3
DLn (0) ln(1 − x) = − + o(xn ) DL3 (0) ln(1 − x) = −x − − + o(x3 )
k=1
k 2 3
X n
(−1)k+1 k x2 x3
DLn (0) ln(1 + x) = x + o(xn ) DL3 (0) ln(1 + x) = x − + + o(x3 )
k=1
k 2 3
X n
(−1)k 2k+1 x3
DL2n+1 (0) sin(x) = x + o(x2n+1 ) DL3 (0) sin(x) = x − + o(x3 )
k=0
(2k + 1)! 3!
n−1
X (−1)k 2k+1 x3
DL2n (0) sin(x) = x + o(x2n ) DL4 (0) sin(x) = x − + o(x4 )
k=0
(2k + 1)! 3!
X n
(−1)k 2k x2
DL2n+1 (0) cos(x) = x + o(x2n+1 ) DL3 (0) cos(x) = 1 − + o(x3 )
k=0
(2k)! 2!
X n
(−1)k 2k x2 x4
DL2n (0) cos(x) = x + o(x2n) DL4 (0) cos(x) = 1 − + + o(x4 )
k=0
(2k)! 2! 4!
Xn
x2k+1 x3
DL2n+1 (0) sh(x) = + o(x2n+1 ) DL3 (0) sh(x) = x + + o(x3 )
k=0
(2k + 1)! 3!
n−1
X x2k+1 x3
DL2n (0) sh(x) = + o(x2n ) DL4 (0) sh(x) = x + + o(x4 )
k=0
(2k + 1)! 3!
Xn
x2k x2
DL2n+1 (0) ch(x) = + o(x2n+1 ) DL3 (0) ch(x) = 1 + + o(x3 )
k=0
(2k)! 2!
Xn
x2k x2 x4
DL2n (0) ch(x) = + o(x2n ) DL4 (0) ch(x) = 1 + + + o(x4 )
k=0
(2k)! 2! 4!
Yk−1
n
(α − i)
X i=0 α(α − 1) 2
DLn (0) (1 + x)α = 1 + xk + o(xn ) DL2 (0) (1 + x)α = 1 + αx + x + o(x2 )
k=1
(k)! 2
Cas particuliers.
x3
DL3 (0) tan(x) = x + + o(x3 )
3
√ x x2
DL2 (0) 1+x= 1+ − + o(x2 )
2 8 2
1 x 3x
DL2 (0) √ =1− + + o(x2 )
1+x 2 8
i
F
nn
i
4
Problèmes Corrigés My Ismail Mamouni
2017-2018 http ://myismail.net
.
Corrigé
Niveau 2 (10 points) :
2 2 π 2 π 2 π π
1 sin(x ) = + (x − ) − (x − )2 − (x − )3 + o ((x − )3 )
2 2 4 4 4 12 4 4
e 11e 2
2 (1 + x )1 x = e − x + x + o (x 2 ) .
2 24
1 + x + x 2 + o (x 2 )
ex 2 1 1
3 (arctan e )′ = x
= = (1 + x + x 2 + o (x 2 ))(1− x + o (x 2 ))
1+ e 2x
2 + 2x + 2x + o (x ) 2
2 2
2
1 1 π 1 1
donc (arctan ex )′ = (1− x 2 + o (x 2 )) puis arctan ex = + x − x 3 + o (x 3 ) .
2 2 4 2 12
4
f est C ∞ sur ℝ et f ′(x ) = (1 + 2x 2 )ex > 0 , de plus lim f = +∞,lim f = −∞ .
2
+∞ −∞
5
Problèmes Corrigés My Ismail Mamouni
2017-2018 http ://myismail.net
.
/ 02135476
8:9<;>=@?@?BA:CDA+EFC f1 (x) ∼ g1 (x) GIH f2 (x) ∼ g2 (x)
9BJKE$LL+MNA:OPC
x→a x→a
x→0
e fg3'hjiIk3Uhj6mlon)iYlo3'iI6p6Sqn)r's'nd4s'6
8:9KJKEtuL\v H MwL Q vNxBVWO G EF` G Q G Q G =y HDG OPz G Co{:=Fv HPG E Q G E Ho|+G OPC +∞ } O G CD?9 −∞~ M]A+O^CD{= G x HDG E Q |+G OPC 0+ } O G C? 9
0− ~
9+JKEL Q A+E `ZLb?FODv]A+OPv+=@E G tA+OPz G v]E Q V HDG OPzvNEFV G 9+oA:zz G ` a L+{= GHPG OPz GZG C H V{=@v | L+M G E H7 1 _ M G C HDG ODz G C
?@ODv]EF`YvN?FL+=y | A:E H C R VYM]v]zv]E G OW9 JKE | L Q A+EF`
OPVW`I=F? VWO G O<=@E HDG ODz G L+= Q G M Q G M R VW{=@v | L\M G E H 9 oxA:zz G EFIA:EFC
?FL\O?FL:CDC G ObL+=UzYz G Q VWE@A+zv]EFL HPG =@O
1 1 ln(1 + x) − tan x
− = ·
tan x ln(1 + x) ln(1 + x) tan x
G Q YV EFA+zvNE L HDG =@O G C H V{:=Fv | L\M G E Hb 9F<='E>=@zVWOPL HDG F= OjM G C HDG DO z G C G E | :A E H C R VWMNv]zvNE G O _ Q A+E `A+EUtuL\v H
=@E' M R A:O Q O G X5 x2 x
x2 x2
ln(1 + x) − tan x = x − − x + o(x2 ) ∼ − ,
2 2
Q +A EF` 1 − 1 G C H VW{=@v | L\M G E H − 1 {=@v G C H =@E G `IA:EFC H L\E DH G 6= 0 _ Q A:EF` 1 − 1 −→ − 1 ·
tan x ln(1 + x) 2 tan x ln(1 + x) x→0 2
X@9KJKE` a@G O^` a@G VW`IOPv]O G g(x) = ax + b + c + o(1/x) 9"M]= HD+H {= G Q )G H L H A+E@E G OKCD=FCKM G C Q vNx"VYO G E H C<A+O Q O G C _
VW`IOPv | A+E H x
3 2 2 p 1 q
g(x) = x 1 + + 3 (1 + · · · + o(1/x )) + · · · + o(1/x )
x x x
3
= x 1 + + o(1/x2 ) (1 + · · · + o(1/xp )) 1 + · · · + o(1/xq−1 )
x
A:=@OL\OPODv |+G O E@ACFEFC _ A+E | L Q A:EF`'?@O G E Q O G p = 2 GIH q = 3 tan 1 = 1 + 1 + o(1/x3 ) _GYH
3x3
G 1/(x−2) u 2 2 L
= G = 1 + u + u /2 + o(u ) _ |:G u =
` 1
∼ _
1 Cv @v E{=
G G
x x
o(u ) = o(1/x2 )
2 9 R =FE G ?FL+O H_
x−2 x
u=
1 1
= (1 − 2/x) = −1 1
1 + + o(1/x) = + 2 + o(1/x2 ) _GIH
2 1 2 QSR L+= H O G ?FL\O H u2 ∼ 1/x2
Q A+EF` u2 = 1/x2 + o(1/x2 ) _ Q A+E `
x − 2 x x x x x
G 1
x−2 =1+
1
+
5
x 2x2
+ o(1/x2 ),
?@=@vwC
3 1 5 1
g(x) = x 1+ + o(1/x2 ) 1 + + 2 + o(1/x2 ) 1 + 2 + o(1/x2 )
x x 2x 3x
3 1 17
= x 1+ + o(1/x2 ) 1 + + 2 + o(1/x2 )
x x 6x
4 35 35
= x 1+ + 2 + o(1/x2 ) = x + 4 + + o(1/x)
x 6x 6x
6
Problèmes Corrigés My Ismail Mamouni
2017-2018 http ://myismail.net
.
bv]EFCv _ g(x) − (x + 4) −→ 0 _>GYH M G ^O L\? @a G Q G g B? A:CPC Q G Q A+E `K`YA+zz G L:C> z? H A HDG M]L Q OPA+v HDG QSR VW{=FL H vNA:E
9 L\O<L+vNM]M G =@O^C _ g(x) − (x + 4) ∼ 35 _ Q A:EF` G C H ?BA:CDv H v tZL+= | A+vwCDvNEFL +G Q G M R vNE E@v } Q G =@y$` a AC G C
x→∞
y = x+4
VW{=@v | L+M G E HDG C A:E H M G =@OjO^L\?@?BA+O H {:=Fv HDG E Q |:G O^6x CK8 _ Q A+EF` G C H ?BA:CDv H v t? A:=@O x L+CPC G OPL+E Q 9]9N9 ~ 9 G OPL+? a@G Q G
gG H
C Q +
A F
E d
` D
C v @
=
H GV Q P
C D
C F
= j
C
C :
A '
E :
L C
>
z ? A
H HDG 9
F9
3 sin x sin x
(cos x)(sin x)/x = exp ln 1 − x2 /2 + o(x2 ) )
ln(cos x) = exp
x3 x 3
JKE L GIH
ln 1 − x2 /2 + o(x2 ) ∼ −
x2
+ o(x2 ) ∼ −
x2
_ Q A+EF` sinx3x ln(cos x) ∼ 1
_ Q A+EF`
sin x ∼ x −
} ~ JKE L f (x) = x Cv GYH C G =@M G z G E H Cv cos x = − 21 · GIHDHDG Q G ODE@v YO G VW{=FL H vNA:E ?BA:CPC Q G =@E G C G =@M G
CDA+M]= H v]A+E C=@O [0, π] _S CPL | A:vNO x = 2π } CDvNz?@M G `YA+E@E L\vwCDCPL\EF` G Q G MwLtA+E ` H v]A+E cos _ {=@v7ODVL\M]v]C G =@E G
@v ! G ` H v]A+E Q G [0, π] CD=@O [−1, 1]~ 09 3
" L+vNE HDG EFL\E H_ f (x) − x = cos x + 1 G C H =@E G tA+EF` H v]A+E C H OPv]` HDG z G E H Q VW`YODA:v]CPCPL\E HDG CD=@O [0, π] } E>=@M
G CDA+v]E Q G Q VYOPv |:G O c ~ {:=FvC R L\E@E>2=@M GG E 4x _ Q A+E ` G C H C H OPvw` HDG z G E H ? ACv H v |+G CD=@O [0, x [ GIH C H OPvw` HDG z G E H
E@V L H v |:G C=@O ]x , π] 0 0
} ` ~ QZOPt A+v" L\?@QSM R GVW{9$=F# MjL `Iv]A:A+EE | v G E H Q 9 G tuL+vNO G L+?@?FL+OPL&% H O G M G C?BA+v]E H C QSR vNE HDG OPC G ` H v]A+E Q = OPL+? a@G Q G f GYH Q G MwL
0
Q} ~ ;>=@?F? HDG ACA:EFC x H∈ [0,yx =] 9BxJKE LL\M]A+O^C 0 ≤ x ≤ x _@GYH M]L`YODA:v]CPCDL+EF` G(' Q G f CD=@O [0, π] Q A+EF`dCD=@O [0, x ]
E@A:=FC<L:CDCD=@O G {:= G f (0)0 ≤ f (x) ≤ f (x ) 9 " L\vwC 0f (0) > 0 _@GIH f (x ) = x ?FL\O `IA+E C H OD=F` H v]A+E _ Q A+EF`0
0 < f (0) ≤ f (x) ≤ f (x0 ) = x0 _
Q A:EF` 0 f (x ) ∈ [0, x ] 9 0 0
X@9 } L ~ 7A+=@O H A:= H n ∈ N _ A+E Q VYFE@v H M]L?@ODA:? ACv H v]A+E P(n) ) u ∈ [0, x ]* 9KV+! F_ u = 0 ∈ [0, x ] _ ` G 0 0
{=@vSV H L\@M]v H P(0) 9F;=@?@?BA:CDA+EFC zL\v]E HDG E L\E H P(n) | VYOPv V G ? nA:=@Oj=@E G 0E H v G O n ∈ N0 , #.-/b9BJKE$L
0L+MNA:OPC
un ∈ [0, x0 ] _
Q A:EF` QSR L\?FOCdM]L {= C vNA:E 8 Q _ f (u ) ∈ [0, x ] _ ` R G C H0 &0 Q v]O G u ∈ [0, x ] _ ` G {:=Fv
V H L\@M]v HbG y@L+` HDG z G E H P(n + 1) 9 G H n 0 n+1 0
9
f (l) = l
b= zA+z G E H QSR VW`IOPv]O G M G `IA:ODOPv V _ ! G CPL\vwC Q V+! {= G ! G Q GY| OPL+vM]v]O G Q L\E C {= G M]{= Ga@G =@O G C Q G C8)PJKE L
f (l) = l _
A:O Q A:EF` 9]9]9";>vYL5E A:=FC<` A>{= ?FL+C ` R C {:= A:=FCbM R L |:9G V`IOPv H_
A+=${= Gd| A:=FC fM R(xVW`Y0OD)v]O =G9dx 0M]_ L?@O G zlv Y =O G xA0`W* `YL+CDv]A+E9 " VG)Q | v HPG9 Q A:a EF`` GG ?BA+v]E _ H 9 G H G)|
:;=<?>A@?BDCEGF$HJILK&ILH$ILM<ONQPIR<JSGTM(FUGUGU
VWYX Z[\Z[&]^Z[3_`C&EaIcb+NQd<OSGd9MS <JefKF f dhg IiHjSGF+dkl ILSGHjFSGbSmUGUGU
n9WYX Z[oZ[&]^Z[3_`CDp3F+HJqJNQddF1dF\qOFqOF+HJIEaILSGqOqJe\ILEGEGFHrksM(dutJb+HJNQSGqJqvILd<OFQCwPIRxjNQHjeFpILH x CyKNQdb\b+NQd9zF+Hj{QFd<JFszF+HJq x SGF+d
F+d9<JF+dKMhUGUGU 0 0 |}~
7
Problèmes Corrigés My Ismail Mamouni
2017-2018 http ://myismail.net
.
KJ O Q A+EF` _ A:E L f (l) = l 9 " L\vwC<M R vNE@V L+MNv H V 0 ≤ u ≤ x ?FL:CDCDV G M]L5MNv]zv HPG Q A:E@E G 0 ≤ l ≤ x _ GYH
CD=@Ob` GYH vNE HDG O | L+MNM G+_ x G C H M]L; CDA+M]= H v]A+E Q G n ` GIHHPG 0 VW{=FL H v]A+E 0
0
F 9 } L ~ JKE L δn+1 = x0 − un+1 = f (x0 ) − f (un ) · " L\vwC u −→ x QR =@E G ?FL+O H_oGYH QSR L\= H O G ?FL+O H_
n 0
δn x0 − u n x0 − u n n→∞
f (x) − f (x0 )
−→ f 0 (x0 ) _
Q A+EF` f (x0 ) − f (un ) −→ f 0 (x ) _ CDA+v HG E `IA+O G δn+1 −→ f 0 (x ) =
0 0
x − x0 x→x x0 − u n n→∞ δn n→∞
F
E \
L M z E
0
1−
sin x0
2
_GIH G G H
√ !
3
δn+1 ∼ 1− δn .
4
4bA H :A EFC7{:= G M R G EF`WL Q O G z G E H ? G = EFL\= Q 1 < √3 < 2 L:CDCD=@O GH A:= H Q G zYz G 1 < λ = 1− 3 < 3 ·
√
2 4 4
} ~ 4bA H A:EFC α = δn · JKE L αn+1 −→ λ < 3/4 = 15 · =Fv]CP{= G αn+1 −→ λ < 15 _ v]M
n
(4/5)n αn n→∞ 4/5 4/5 16 αn n→∞ 4/5 16
yG vwC HPG =@EOPL+E N HDG M{:= G+_ ?BA+=@O H A+= H n ≥ N _ 0 < αn+1 ≤ 15 _ Q A+EF` 0 ≤ α ≤
15
α _
0 0 N0 +1 N0
αn 16 16
?@=@vwC _GIH ?FL+OjODV`I=@OPO G EF` G v]zzV Q wv L DH G
2
15 15
0 ≤ αN0 +2 ≤ αN +1 ≤ αN 0
16 0 16
n−N0
15
∀n ≥ N0 , 0 ≤ αn ≤ ,
16
Q A:EF` αn −→ 0
Q A+EF` δn = o
n
4 9
n→∞ 5
GIHDHDG
HDG ` a E@vw{:= G +L ?@?@M]v]{=@V G \L = OPL+?@? A:O H β = (1/2)n ? G OPz GIHH OPL Q G zA:E H O G O Q G MwLzYz G tuL+YA+E
n
δn
n
1
= o(δ ) _
M R \
L O @
= z E
G H ` I ]
M
V V H H G β −→ 1/2 ∈ [0, 1[ 9
\
L E
{ =
n n
2 n→∞ λ
r s
)hjiI1 h hjr
qmn)6wu Uq1q?Yk3'h
8:9 f G C H `YA+E H v]E>= G+_BGIH zYz G Q VYOPv | L+@M G CD=@O R∗+ _ L |+G ` f 0(x) = 4x3 + 6x2 + 1 + x1 _ {=FL+E H v H VC H OPvw` HDG z G E H
? ACv H v |+G ? A:=@O H A+= H x > 0 _ Q A+EF` f G C H C H OPv]` HDG z G E H `IOPA+vwCPCDL+E HPG 9 G CoM]vNzv HDG C Q G f G E 0+ GYH +∞ CA:E H ?FL+O
L\v]MNM G =@O^C V | v Q G E HDG C } M G C Q vNx"VYO G E H C?@OPA H L A+E@vwC HPG CoV H L\E H QSR L:`Y`YA+O Q C ~ f (x) −→ −∞ GYH f (x) −→ +∞ 9
L'`IA+E H vNE>=@v H V _ M]L$C H OPv]` HDG `IOPA+vwCDCPL\E ` GGYH M G CMNv]zv HPG CdE@A:=FCdL+CPCD=@O G E H {= G fx→0 H v]A+E Q G R∗+
OPVWL+MNvwC G =@E G Fv ! G ` x→+∞
+
C=@O R 97A:=@OjM G OPL+? a@G:_ A:E'C G `IA:E HDG E HPG Q G ?FM]L:` G O f (1) GIH Q G O G CD? G ` HPG OjM G CM]vNzv HDG CW9
X@9 , vNyA+EFC n ∈ N 9 R L\?@?@M]vw`YL H vNA:E f V H L+E H =@E G @v ! G ` H v]A+E Q G R∗ CD=@O R _ A+E G C H ` G O H L\v]E{= G n ?BA:CPC Q G =@E
=@E@vw{:= G L+E H VW`YV Q G E H ? L\O f 9 +
n1/4 n1/4
n1/4
f ≤ n = f (xn ),
2
8
Problèmes Corrigés My Ismail Mamouni
2017-2018 http ://myismail.net
.
9KJKE[L f (x) ∼ x4 GIH xn −→ +∞ _ Q A+EF` f (xn ) ∼ x4n
9 " L\vwC f (xn ) = n _ Q A+EF` x4n ∼ n _GYHG E E
xn ∼ n1/4
9 x→∞ n→∞
1/4
x4n
xn
= ···
n1/4 n
@9 xn
−→ 1 _ +A Ob` G OPL+?@? A:O Hj| L\= H 1 + y ?FL\Ob`YA+EFC H OP=F` H v]A+E _ Q A:EF` yn −→ 0
9
F9KJKE'CD=@v H M R vNE Q v]`WL H vNA:E Q G M R VYE@A:EF`IV
n
n1/4 n→∞ n→∞
n = f (xn ) = n(1 + yn )4 + 2n3/4 (1 + yn )3 + n1/4 (1 + yn ) + ln n1/4 (1 + yn )
= n (1 + 4yn + o(yn )) + 2n3/4 + o(n3/4 )
Q A+EF` −2n3/4 ∼ −2n3/4 + o(n3/4 ) = n (4yn + o(yn )) ∼ 4nyn GIH L+vNEFCDv yn ∼ −
1
_ Q A:EF` yn =
2n1/4
−
1
+ o(1/n1/4 )
E O G ? :A O H L\E H Q L\EFC
_ ?F=@v]C G ' xn = n1/4 (1 + yn )
2n1/4
1
xn = n1/4 − + o(1).
2
9KJKEUV`IOPv H zL\v]E HDG E \L E H xn = n1/4 −
1
+ εn @_ GYH A+E'ODVWvNE&! G ` HPG Q L\EFCM R VW{=FL H vNA:E f (xn ) = n C G M]A+E'M G zWz G
?@ODv]EF`YvN? G} A: HDG E@vNOj=FE HPG OPz G VW{=@v | L+M G E H< V L\M =@E HDG ODz G VW{=@v | L\M G E H< {= G Mw{= G ` a A:C G Q G Cv]z?@M G~ 9
2
MwL?FO G zv YO G V H L+? G:_ f (x) L | L\v H V H V V | L\M]=@VCv]z?@M G z G E H L\=UE@v |:G L+= Q G M R VW{=@v | L\M G E H 9>7A+=FO ?FODA:MNA:E +G OZM G
εn
Q V M]A+?@? z E L+C>z? A v]{= Q A+E$L L+v L\OPO^L+` Vb=FE HPG OPz G Q G ?@M]=FC f (x) 9 H ?BA+=@OjA: HDG E@v]O =FE
E@A+|:= G |:G L+= G HDG ODGz G H Q L+EFCM G H <H Q G G xG x_ nQ _ GY| vNE G9 | {=@H A+v 7 a
n
4 3
1 εn 3/4 1 εn
n = f (xn ) = n 1 − 1/4 + 1/4 + 2n 1 − 1/4 + 1/4 + n1/4 (...) + ln(...)
2n n 2n n
4 εn 6 3/4 3
= n 1 − 1/4 + 4 1/4 + 1/2 + 2n 1 − 1/4 + o(1/n ) + o(n1/2 )
1/4
2n n 4n 2n
= n + n3/4 (−2 + 2 + 4εn ) + n1/2 (3/2 − 3) + o(1/n1/2 )
Q A+EF` 4ε n3/4 = 3 n1/2 + o(n1/2 ) ∼ 3 n1/2 _ Q A+EF` εn ∼
3
_FGIH A+E Q A:v H ? :A = | A:vNO<`YA+EF`YMN=FO G CDv A:E G C H
L\OPODv | V! =FnCD{= G M 9 2 2 8n1/4
9
Problèmes Corrigés My Ismail Mamouni
2017-2018 http ://myismail.net
.
2. Soit k ∈ [[1, p − 1]], alors k et p sont premiers entre eux. Par conséquent le
théorème de Gauss s’applique :
p−1
= k kp
p | p k−1 p
⇒p |
P GCD(p, k) = 1 k
N
4. La preuve sera par récurrence sur n ∈ N.
• Initialisation : lorsque n = 0, 0 = 0 × p est bien divisible par p.
• Hérédité : soit n ∈ N tel que np − n est divisible par p. On a alors
p
p
X p
(n + 1) − (n + 1) = nk − n − 1
k=0
k
p
X p
= n −n+ p−1 nk
k=1
k
p−1
X p
Or d’après la première question nk est divisible par p comme
k=1
k
somme de tels nombres tandis que np − n est divisible par p par hy-
pothèse de récurrence. Ainsi, (n+1)p −(n+1) est divisible par p comme
somme de tels nombres.
• Conclusion : par récurrence, on a montré que pour tout entier naturel
n ∈ N, np − n est divisible par p. N
Partie II. Application
On souhaite établir l’existence d’une infinité de nombres premiers de la
forme 4n + 1. Pour cela, nous allons raisonner par l’absurde en supposant
qu’il n’existe au contraire que k nombres premiers de la forme 4n + 1.
10
Problèmes Corrigés My Ismail Mamouni
2017-2018 http ://myismail.net
.
a fortiori par q. Ainsi q divise a4n − 1 et a4n+2 − 1 : il doit donc diviser leur
différence, c’est-à-dire (a2 − 1)a4n . Comme a et q sont premiers entre eux,
il découle du théorème de Gauss que q divise a2 − 1.
Finalement, comme q divise a2 + 1 et a2 − 1, il divise leur différence, à savoir
2, ce qui est absurde vu que q s’écrit sous la forme q = 4n + 3.
En conclusion : les facteurs premiers de N sont 2 ou de la forme 4n + 1 N
2. On observe que pour tous nombres entiers (ℓ1 , ℓ1 ), (4ℓ1 + 1) × (4ℓ2 + 1) =
4(ℓ1 + ℓ2 + 4ℓ1 ℓ2 ) + 1. Autrement dit, le produits d’entiers de la forme
4ℓ + 1 est encore de cette forme. Par conséquent, a étant le produit d’entiers
de type 4ℓ + 1, il est lui-même de la forme a = 4a′ + 1. Par suite a2 =
16(a′ )2 + 16a′ + 1 = 4A + 1, d’où l’on tire que N = 4A + 2. Il s’ensuit que
N est divisble par 2 mais pas par 4. N
3. On sait que k est au moins égal à 3 car 5, 13, 17 sont des entiers premiers
de la forme 4n + 1. En conséquence, N est un entier strictement supérieur
à 2, divisible par 2 mais pas par 4. Il admet donc un diviseur premier p
différent de 2. D’après ce qui précède, p est nécessairement de la forme
4n + 1. Pourtant, p ne saurait appartenir à {p1 , p2 , . . . , , pk } car N = (P1 ×
· · · × pk )2 + 1. Ce qui contredit le fait que les seuls nombres premiers de la
forme 4n + 1 sont p1 , p2 , . . . , , pk . N
11
Problèmes Corrigés My Ismail Mamouni
2017-2018 http ://myismail.net
.
12