Exo 4
Commencez par chercher à résoudre l'exercice par vous-même.
Si vous manquez d'idée pour débuter, consultez l'indice fourni et recommencez à chercher.
Une solution détaillée vous est ensuite proposée.
Soient
,
et
trois parties d'un ensemble
.
Question
Démontrer que
et
si et seulement si
.
Démontrez séparément les deux implications.
Commencez par l'implication la plus facile en supposant
.
Pour l'autre implication, pensez à utiliser le complémentaire de
.
Il est évident que si
, alors
et
.
Montrons l'autre implication. On suppose donc que
et
.
Donc :
.
Or :
. De même :
.
On a donc :
et
. Donc :
.
Or :
. De même :
.
Donc :
.
Conclusion :
et
si et seulement si
.