You are on page 1of 5

1

PROBLME NIVEAU SUP REDIGE PAR R. FERREOL ferreol@mathcurve.com LES NOMBRES ET POLYNOMES DEULER Pour n N * et p N , on pose Snp = k p et Tnp = ( 1) k p .
k k =1 k =1 n n

L'objectif de ce problme est d'tudier les sommes alternes dentiers Tn et des polynmes associs ces sommes. Les parties I) et II) sont indpendantes. I) PRLIMINAIRES. 1 1 1) a) Calculer, pour n N * , T2 n et T2 n 1 . 1 1) b) Donner une formule algbrique unique pour Tn .
2 2) Calculer, pour n N * , T2 n . p p p 3) a) En crivant que, pour n N * et p N , T2 n = (2 k ) (2 k 1) , exprimer k =1 k =1 n n

T en fonction des sommes S pour q variant de 0 p -1.


2 = 3) b) Appliquer cette mthode pour calculer T2 n , sachant que Sn

p 2n

q n

n( n + 1)(2n + 1) . 6

p p p 4) Dterminer galement une relation liant , pour n N * et p N , T2 n Sn et S2 n . p

II) EXPRESSION DE Tn A L'AIDE DES POLYNMES D'EULER. 1) a) Que dire d'un polynme P R[ X ] vrifiant P(X+2) = P(X) ? 1) b) Que dire d'un polynme P R[ X ] vrifiant P(X+1) = - P(X) ?
2) a) La notation R n [ X ] dsigne l'espace vectoriel des polynmes coefficients rels de degr infrieur ou gal n ; on considre l'application n de R n [ X ] dans lui-mme dfinie par n (P) = P( X + 1) + P ( X ) . Montrer que n est un automorphisme de R n[ X ] . b) En dduire que l'application de R[ X ] dans lui-mme dfinie par ( P ) = P ( X + 1) + P( X ) est bijective.
1 p 3) On pose, pour p N , Ep = (2 X ) (appel polynme d'Euler d'ordre p) ; calculer E0 , E1 et E2 .

p 4) a) Montrer que n N * p N Tn =

1 n ( 1) E p ( n + 1) E p (1) . 2

4) b) Calculer Tn .

III) TUDE DES NOMBRES ET POLYNMES D'EULER. 1) On pose, pour p N , e p = Ep (0) (appel nombre d'Euler d'ordre p). 1 1 2) a) Dmontrer que pour tout polynme P R[ X ] , (P ) = ( (P )) .
* 2) b) En dduire que pour p N , Ep = pE p 1 . * Vrifier que pour p N , e p est aussi gal E p (1).

3) En dduire, en utilisant la formule de Taylor pour les polynmes, que p N


k Ep = Cp e k X p k . k= 0 p

4) a) En dduire que la suite (e p ) peut tre dfinie par rcurrence l'aide des relations 1 p 1 k : e0 = 1 et p 1 e p = Cp ek (1) . 2 k= 0 4) b) Calculer e1 , e2 , e3 , e4 . 5) a) Dduire de 2) b) une mthode simple pour dterminer Ep connaissant Ep 1 et e p . Utiliser cette mthode pour dterminer E3 et E4 .
* 4 5) b) Calculer, pour n N , la somme Tn (factoriser au maximum).

6) Soit (Qp) une suite de polynmes de R[ X ] vrifiant : (i ) Q0 = 1 (ii) p 1 Q p = pQ p 1 (iii) p 1 Qp (1) = Qp (0 ) Montrer que p N Q p = E p . Indications :
k pk a) Prouver que : p N Q p = C p Qk ( 0 ) X . k =0 p

b) Montrer que la suite (Qp (0)) vrifie :

1 p 1 k Q0 (0) = 1 et p 1 Qp (0) = C p Qk (0) 2 k =0

c) Conclure. 7) a) montrer que : p N E p ( X ) = ( 1) E p (1 X ) . Indication : utiliser la question 6) avec un polynme Qp bien choisi. 7) b) Que signifie cette proprit quant la courbe de la fonction f p dfinie par :
p

fp :R R x a Ep ( x) 7) c) En dduire galement la valeur de e2 p pour p N * .

IV) TUDE DES FONCTIONS f p . 1) On suppose que, p tant suprieur ou gal 1: x 0, 1 f (x ) > 0 2 4 p 1 (Hp ) 1 x ,1 f4 p 1 ( x ) < 0 2 Dmontrer que dans ces conditions f4p admet sur ]0,1[ deux zros rels et deux seulement (on pourra envisager les signes respectifs possibles de f4p (1/2) et de f4p(0)). En dduire lallure de la courbe reprsentative de f4p. 2) Dduire successivement de la question prcdente, sous la mme hypothse : a) le signe de f4p(x) et les variations de f4p+1. b) le signe de f4p+1(x) et les variations de f4p+2 c) que f4p+2 admet sur ]0,1[ deux zros et deux seulement. d) le signe de f4p+2(x), les variations de f4p+3 et le signe de f4p+3(x). On prsentera ces rsultats sous forme de tableaux. 3) Montrer que l'hypothse faite en (2) est vraie pour p = 1 et en dduire qelle est vraie pour toute valeur de p, p 1 ; indiquer sous forme de schmas les diffrentes allures que peuvent prsenter les courbes reprsentatives des fonctions fn selon les valeurs de n. 4) Donner le signe de e2p en fonction de p ( 1). CORRIGE DU PROBLME SUR LES NOMBRES ET POLYNOMES D'EULER.
n n

I) 1) T2 n = ( (2k 1) + 2 k ) = 1 = n et T2 n 1 = n 2 n = n .
1 1 k =1 k =1 n

2) T2 n = ( (2k 1) + 2 k
2 2 k =1
n p 2n

) = (4 k 1) = 2n( n + 1) n = n(2 n + 1).


k =1
p

3) a) T = (2 k ) (2k 1)
p 3 2n k =1 0 n 1 n n 2 n

)= (1)
n k =1 q = 0 n p

p 1

p q

C (2k ) = ( 1)
q p q

p +1

(1) C
q q= 0 2

p 1

q p

2 Sn .

3) b) T = S 2.3S + 4.3S = n 3n(n + 1) + 2n(n + 1)(2n + 1) = n (4 n + 3) . 4) T2 n = (2 k ) (2 k 1) = 2 (2 k ) k = 2


p p p p k =1 k =1 k =1 k =1 n 2n p +1 p Snp S2 n.

II) 1) a) Si P( X + 2) = P ( X ) , P(2 n) P(0) = 0 pour tout n, donc P( X ) P (0) = 0 et P est constant. 1) b) Si P( X + 1) = P ( X ) , alors P( X + 2) = P ( X ) et P est constant donc nul. 2) a) n est linaire de noyau rduit 0 par 1)b), et Rn[X] est de dimension finie. b) est injective, et elle est surjective car les n le sont. 3) E0 = 1, E1 = X 4) a) On a : k p = 1 et E2 = X 2 X . 2

1 (E p (k + 1) + E p (k )), donc : 2 1 n 1 n Tnp = ( 1)k (Ep (k + 1) + E p (k )) = ( 1) Ep (n + 1) E p (1) . 2 k =1 2

4) b) Tn =
2

1 ( 1)n (1)n ((n + 1)(n + 1 1) = n(n + 1) . 2 2

1 2) a) Soit Q = ( ( P)); alors (Q ) = Q( X ) + Q ( X + 1) = ( (Q)) = P , donc 1 (P ) = Q = ( 1 (P)) . 1 p 1 p 1 2) b) Ep = ( (2 X )) = (2 pX ) = pE p 1 .


(p k ) 3) D'aprs 2)b), Ep =

III) 1) Car Ep (0) + E p (1) = 2( 0) = 0 .


p

Ep =
k= 0

p k ) E( (0) p

( p k )!

X p k
p

p! E k , donc, en utilisant la formule de Taylor : k! p p p! p k p k = Ek (0) X = Ck . p ek X k = 0 ( p k )! k ! k= 0


p 1 k k

4) a) e p = E p (1) = Cp e k = e p Cp ek , donc e p =
k= 0 k= 0

1 p 1 k C e . 2 k=0 p k

1 1 4) b) e1 = , e2 = 0, e3 = , e 4 = 0. 2 4 5) a) Ep = p.prim( Ep 1 ) + e p o prim(Q) dsigne la primitive de Q s'annulant en 0. 3 1 4 3 E3 = X 3 X 2 + , E4 = X 2 X + X . 2 4 n ( 1) ( 1)n 4 4 3 2 5) b) Tn = ( n + 1) 2( n + 1) + n + 1 = n( n + 1)(n + n 1) . ( ) 2 2 p p 6) a) ( 1) E p (1 X ) = ( 1) ( Ep (1 X ) + E p ( X ))

donc Ep = (1) E p (1 X ) .
p

= ( 1) ( E p ( X )) = ( 1) ( 2 X ) = ( E p )
p p p

6) b) Cela signifie que cette courbe est symtrique par rapport la droite x = 1/2 pour p pair, et par rapport au point (1/2,0) pour p impair. 6) c) e2 p = 0 pour p N * .

You might also like