• Aucun résultat trouvé

2016-2017

N/A
N/A
Protected

Academic year: 2021

Partager "2016-2017"

Copied!
4
0
0

Texte intégral

(1)

ISA BTP, 1◦ ann´ee ANN ´EE UNIVERSITAIRE 2016-2017

CONTR ˆOLE CONTINU Logique, ensemble, calcul alg´ebrique.

Tous les exercices sont ind´ependants. Calculatrices autoris´ees

Il sera tenu compte de la r´edaction et de la pr´esentation.

Exercice 1 Soient E et F deux ensembles et f : E → F une fonction.

1. Exprimer `a l’aide des quantificateurs la proposition : “f n’est pas injective”.

2. Traduire en langage courant les propostions suivante (on donnera dans chaque cas le terme math´ematique associ´e `a cette propri´et´e) :

(a) ∃y ∈ F / ∀x ∈ E, y = f (x). (b) ∀y ∈ F, ∃x ∈ E / y = f (x).

? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? Exercice 2 Soit E un ensemble.

1. Soient A et B deux parties de E.

(a) Construire un diagramme de Venn faisant apparaˆıtre A ∪ B et A ∪ B. (b) Construire un diagramme de Venn faisant intervenir A, B et A ∩ B.

(c) Enoncer la premi`ere loi de De Morgan, donnant le compl´ementaire de A ∪ B en fonction de A et B. (d) En appliquant l’´egalit´e pr´ec´edente aux ensembles A et B, d´emontrer la seconde loi de De Morgan,

donnant le compl´ementaire de A ∩ B en fonction de A et B. 2. Soient n ∈ N, n > 2 et A1, . . . , An des parties de E. Montrer que

A1∪ A2∪ . . . ∪ An−1∪ An= A1∩ . . . ∩ An

? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?

Exercice 3 Pour tout n ∈ N∗, on note Sn= 1.(1!)+2.(2!)+3.(3!)+. . .+n.(n!)

1. ´Ecrire Sn `a l’aide du signe Σ.

2. Recopier et compl´eter le tableau ci-contre.

3. Conjecturer une relation simple liant Sn et (n + 1)! puis la d´emontrer

par r´ecurrence (on pourra commencer par ajouter la colonne (n + 1)! au tableau rempli `a la question pr´ec´edente).

n n! Sn 1 2 3 4 5 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?

Exercice 4 Pour tout n ∈ N, on note Fn= (1 +

5)n+ (1 −5)n

1. Calculer F0 et F1.

2. `A l’aide du binˆome de Newton, calculer F2 et F3.

3. Montrer que pour tout n ∈ N, Fn est un nombre entier pair (on pourra commencer par d´evelopper les

deux termes de Fn `a l’aide du binˆome de Newton puis tout rassembler sous un mˆeme signe Σ).

? ? ?

(2)

CORRECTION

Exercice 1 :

1. Une application f : E → E n’est pas injective si deux ´el´ements distincts de E ont la mˆeme image par f . Ainsi

∃x, y ∈ E / x 6= y et f (x) = f (y)

2. (a) En fran¸cais, la premi`ere phrase dit : “il existe un ´el´ement y de F tel que pour tout x de E on ait y = f (x). Dans ce cas, la fonction f est donc une fonction constante.

(b) En fran¸cais, la seconde phrase dit : “pour tout ´el´ement y de F , il existe un ´el´ement x de E tel que y = f (x). Dans ce cas, la fonction f est donc surjective.

? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? Exercice 2 : 1.

E

A

B

AUB

AUB

2.

E

A

B

A

E

A

B

B

E

A

B

AnB

3. Les dessins ci-dessus illustrent la premi`ere loi de De Morgan : ∀A, B ⊂ E, A ∪ B = A ∩ B

(3)

4. En appliquant l’´egalit´e ci-dessus aux ensembles A et B, on a A ∪ B = A ∩ B = A ∩ B

Or si ces deux ensembles A ∪ B et A ∩ B sont ´egaux, leurs compl´ementaires aussi. D’o`u : A ∩ B = A ∪ B = A ∪ B

5. La proposition que l’on souhaite d´emontrer pour tout n > 2 est la suivante :

P(n) : “Si A1, A2, . . . , An sont n parties de E, alors A1∪ . . . ∪ An= A1∩ . . . ∩ An”

Or

— Initialisation : pour n = 2, il s’agit de la premi`ere loi de De Morgan.

— H´er´edit´e : supposons qu’il existe un entier n > 2 tel que la P(n) soit vraie et consid´erons (n+1) parties de E, not´ees A1, A2, . . . , An, An+1. On a alors

A1∪ . . . ∪ An∪ An+1= (A1∪ . . . ∪ An) ∪ An+1

= A1∪ . . . ∪ An∩ An+1 d’apr`es la 1`ere loi de De Morgan

= A1∩ . . . ∩ An∩ An+1 d’apr`es l’hypoth`ese de r´ecurrence

Donc P(n + 1) est vraie.

— Conculsion : la propri´et´e P(n) ´etant vraie pour n = 2 et h´er´editaire, elle est vraie pour tout n ∈ N, n > 2. ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? Exercice 3 : 1. Sn= n X k=1 k.(k!) 2. n n! Sn (n + 1)! 1 1 1 2 2 2 5 6 3 6 23 24 4 24 119 120 5 120 719 720

3. D’apr`es le tableau ci-dessus, on peut remarquer que, pour les premi`eres valeurs de n, on a Sn = (n+1)!−1.

D´emontrons le par r´ecurrence : on pose

P(n) : “Sn = (n + 1)! − 1”

— Initialisation : le tableau nous montre que S1= 1 = 2! − 1. Donc la propri´et´e est vraie au rang 2.

— H´er´edit´e : supposons qu’il existe un entier n ∈ N∗ tel que P(n) est vraie et calculons alors Sn+1 en

fonction de Sn : Sn+1= n+1 X k=1 k.(k!) = n X k=1 k.(k!) + (n + 1). ((n + 1)!)

= [(n + 1)! − 1] + (n + 1). ((n + 1)!) par hypoth`ese de r´ecurrence = ((n + 1)!) (1 + n + 1) − 1

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

La propri´et´e P(n + 1) est donc vraie.

(4)

— Conclusion : la propri´et´e P(n) ´etant vraie pour n = 1 et h´er´editaire, elle est vraie pour tout n ∈ N∗. ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? Exercice 4 : 1. F0= (1 + √ 5)0+ (1 −√5)0= 1 + 1 = 2 et F1= (1 + √ 5)1+ (1 −√5)1= 1 +  √ 5 + 1 −  √ 5 = 2 2. F2= (1 + √ 5)2+ (1 −√5)2=1 + 2√5 + (√5)2+1 − 2√5 + (√5)2 = 1 +2  √ 5 + 5 + 1 −2  √ 5 + 5 = 12 et F3= (1 + √ 5)3+ (1 −√5)3 =1 + 3√5 + 3(√5)2+ (√5)3+1 − 3√5 + 3(√5)2+ (−√5)3 = 1 +3  √ 5 + 15 +5  √ 5 + 1 −3  √ 5 + 15 −5  √ 5 = 32

3. D’apr`es la formule du binˆome, on a Fn=  1 +√5 n +1 −√5 n = n X k=0 n k √ 5 k + n X k=0 n k   −√5 k = n X k=0 n k  √ 5 k + (−1)k√5 k = n X k=0 n k √ 5 k 1 + (−1)k

Or dans la somme ci-dessus, lorsque k est impair, on a 1 + (−1)k = 1 − 1 = 0. Ainsi, il ne reste dans cette somme que les termes correspondant `a k pair. Mais si k est pair, on a 1 + (−1)k = 1 + 1 = 2

et (√5)k = 5k

2 est un entier. Puisque les coefficients binomiaux sont ´egalement entiers, dans la somme

ci-dessus n’apparaissent que des entiers pairs. Leur somme est donc ´egalement un entier pair. ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?

Références

Documents relatifs

[r]

— On utilise des propriétés liées à la cardinalité d’un ensemble A afin de calculer Card(A) de deux façons différentes pour obtenir une égalité entre deux valeurs.. – Exe

Définition (Limite infinie) Une suite u admet pour limite +∞ si pour tout nombre réel A (aussi grand que l’on veut), tous les termes de la suite u sont supérieurs à A à partir

[r]

Méthode Pour démontrer qu’une suite n’est pas géométrique, on montre deux quotients de termes successifs qui n’ont pas la même valeur.. Si on trouve deux quotients sont

L’accès aux archives de la revue « Nouvelles annales de mathématiques » implique l’accord avec les conditions générales d’utilisation ( http://www.numdam.org/conditions )..

L’accès aux archives de la revue « Nouvelles annales de mathématiques » implique l’accord avec les conditions générales d’utilisation ( http://www.numdam.org/conditions )..

[r]