Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 08-09-2018 15:32:44

yaya
Invité

Monter que) A inter (B\C) = (A inter B) \ (A inter C)

Bonjour,

Dans mon exercice de maths sup je dois monter de DEUX manières différentes que :
A∩(B\C) = (A∩B)\(A∩C)

Je ne vois pas du tout comment démarrer ne serait-ce que pour une seule manière, pour moi quand je fais le diagramme de Venn représentant cette situation, c'est évident, je ne vois pas comment le montrer, pouvez-vous me donner une piste s'il vous plait ?

Cordialement

#2 08-09-2018 18:46:51

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 035

Re : Monter que) A inter (B\C) = (A inter B) \ (A inter C)

Bonjour

  La première façon de le démontrer c'est par double inclusion. Tu commences par prendre un élément du premier ensemble et tu démontres qu'il est dans le second. Puis tu prends un élément du second et tu montres qu'il est dans le premier.
Je suis sûr qu'il y a au moins un exemple comme cela dans ton cours. Inspire toi de lui.

F

Hors ligne

#3 08-09-2018 20:45:36

yaya
Invité

Re : Monter que) A inter (B\C) = (A inter B) \ (A inter C)

Re, merci de m'avoir laissé une réponse:

Alors en cherchant un peu plus j'ai finit par essayé quelque chose en posant x élément de E
A∩B = {x appartient à E: x appartient à A et x appartient à B}
A∩C = {x appartient à E: x appartient à A et x appartient à B}
d'où :
(A∩B)\(A∩C) = {x appartient à E: x appartient à A et x appartient à B et x n'appartient pas à C}

Je ne sais pas (et je ne pense pas) si cela est suffisant pour dire par la suite que "donc : A∩(B\C) = (A∩B)\(A∩C)"
Ce exercice fait justement parti des exemples de mon cours que je dois chercher

#4 09-09-2018 13:47:52

D_john
Invité

Re : Monter que) A inter (B\C) = (A inter B) \ (A inter C)

Salut,

Si tu as vu les opérateurs logiques en cours ainsi que les formules associées, une autre méthode est de les utiliser, en commençant par :

[tex] X \setminus Y = X\cap\overline{Y} [/tex]

A+

#5 10-09-2018 22:12:17

yaya
Invité

Re : Monter que) A inter (B\C) = (A inter B) \ (A inter C)

Salut D_John, merci pour ta réponse, j'ai essayé quelque chose (c'est un début) et ça donne :

posons : X = A∩B et Y=A∩C

X\Y=X∩Y(barre)
implique : (A∩B)\(A∩C)=(A∩B)\(A∩C)(barre)

cependant je ne vois pas comment aller plus loin... est-ce déjà un bon début ?

#6 10-09-2018 22:42:00

D_john
Invité

Re : Monter que) A inter (B\C) = (A inter B) \ (A inter C)

Bonsoir,
... j'en déduis que tu n'as pas encore vu les relations utiles pour établir cette égalité.
Si tu fais un 'en-avant' dans ton cours tu vas trouver :
[tex] \overline{A \cap C} = \overline{A} \cup \overline{C} [/tex]
En clair, le complémentaire de l'intersection est égal à l'union des complémentaires.
Ensuite, tu dois utiliser la distributivité...
Désolé mais je n'ai pas souvenir d'autres méthodes que #1 et celle-ci.
Merci de transmettre la solution à l'occasion.

#7 11-09-2018 18:09:48

yaya
Invité

Re : Monter que) A inter (B\C) = (A inter B) \ (A inter C)

Hey, encore merci pour ta réponse D_John, et comme on a corrigé l'exercice, je me permet de partager la solution avec tout le monde:

ta méthode (@D_John) était effectivement la bonne il fallait faire:
(A∩B)\(A∩C)=(A∩B)∩(A∩C)(barre)
=(A∩B)∩(AbarreUCbarre)
=(A∩B∩A(barre))U(C(barre)∩A∩B)
Comme:
(A∩B∩A(barre)) = ensemble vide
alors:
=C(barre)∩A∩B
=A∩(B\C) CQFD.

La "deuxième méthode" supposée de l'énoncé était simplement de réécrire tout cela entre accolade (un peu comme j'avais essayé au tout début)

Merci encore à tout ceux qui m'ont aidé pour ce petit problème

#8 11-09-2018 22:29:42

D_john
Invité

Re : Monter que) A inter (B\C) = (A inter B) \ (A inter C)

Super ! et merci pour le retour yaya. J'espère que tu avais trouvé toi-même avant le corrigé.

PS : X(barre) en Latex c'est simplement \overline{X}

Pied de page des forums