corollaire

Cet article est extrait de l'ouvrage Larousse « Dictionnaire de la philosophie ».

Logique, Mathématiques

Proposition qui dérive immédiatement d'une autre, par déduction logique.

Il s'agit donc d'une conséquence formelle directe d'une proposition antécédente. La distinction entre un corollaire et un théorème, lui aussi nécessairement déduit, tient à un jugement d'immédiateté et de simplicité. On rencontre ainsi le terme de « corollaire » lorsque la déduction concerne un cas particulier, établi à partir d'un théorème plus général. Par exemple, de la propriété pour un triangle isocèle d'avoir deux angles égaux, on tirera comme corollaire qu'un triangle équilatéral a trois angles égaux.

Vincent Jullien