Disjonction de cas :
Pour démontrer qu'une propriété est vraie pour tout élément d'un ensemble E, on peut démontrer successivement que cette propriété est vraie pour les éléments de sous-ensembles disjoints de E dont la réunion est E. On dit qu'on a raisonné par disjonction des cas.
FORMULES A RETENIR