http://www.mathsland.

com

1

ChapItre : rratIonalIt de PI
Classes : TermInales S et ScIences |ath
Propos par : Abdel lah AlaouI |ranI (), Lyce Hassan , FIssanI, |aroc


Etude d'une suIte, monotonIe, lImIte.
FaIsonnement par l'absurde.
Encadrement, majoratIon, IntgratIon.


L'objet de ce probleme est de dmontrer l'IrratIonalIt de .


SoIt ( )
n
u une suIte numrIque et x un rel strIctement posItIf tel que :

0
n
u > et pour tout n,
1
1
n
n
u
x
u n
+
=
+
.

1) |ontrer qu'Il exIste un entIer
0
n tel que la suIte
0
( )
n n n
u

est dcroIssante.

2) En dduIre que la suIte ( )
n
u admet une lImIte 0 l .

J) En raIsonnant par l'absurde, montrer que 0 l = .

4) En dduIre que pour tout rel strIctement posItIf, lim 0
!
n
n
x
n

= .


SoIt
n
f la fonctIon dfInIe par
( ) 1
( )
!
n
n
n
x x
f x
n

= .
1) |ontrer que
] [
1
0 , 1 : 0 ( )
!
n
x f x
n
< < .
2) |ontrer que ( )
n
0
1
: ( ) C 1
!
k
k n k
n n
k
x f x x
n
+
=
=

.
J)
a) |ontrer que
( )
(0) 0
r
f = pour r n < ou 2 r n > .


http://www.mathsland.com

2
b) |onter que pour tout { } m 1, 2, 3, ... , 1 n et pour tout x , on a
( )
( )
( )
( )
! 1
( ) C 1
! !
n
k
n m k k m
n n
k m
n k
f x x
n k m
+
=
+
=

.
c) En dduIre que pour tout s , on a
( )
(0)
s
n
f et
( )
(1)
s
n
f .


Dn souhaIte montrer que est IrratIonnel. A cette fIn, on va d'abord montrer que
2
est IrratIonnel.

Dn raIsonne par l'absurde en supposant que
2
est ratIonnel, c'estdIre que
2
a
b
= pour certaIns
*
, a b .

Pour tout n, on dfInIt la fonctIon F
n
par :

( )
2( ) (2 )
0
F ( ) 1 ( )
n
k
n n k k
n n
k
x b f x

=
=

1) |ontrer que F (0)
n
et F (1)
n
sont des entIers pour tout
*
n .

2) |ontrer que
" 2 2
F ( ) F ( ) ( )
n
n n n
x x a f x + = .

J) En dduIre que :

a)
'
' 2
F ( ) sin( ) F ( ) cos( ) ( )sin( )
n
n n n
x x x x a f x x

=

.

b)
1
0
( )sin( )d F(1) F (0)
n
n n
a f x x x = +

et que
1
0
( ) sin( )d
n
n
a f x x x

.

4) |ontrer que
1
0
0 ( ) sin( )d
!
n
n
n
a
a f x x x
n

< <

.

5) En dduIre l'exIstence de
0
n tel que :
0
n n :
1
0
0 ( )sin( )d
!
n
n
n
a
a f x x x
n

< <

.

6) Conclure que
2
est IrratIonnel puIs en dduIre que est IrratIonnel.