Dans un raisonnement mathématique, énoncé qui résulte immédiatement d’une proposition déjà démontrée, comme conséquence évidente.
Un corollaire est une proposition simple qui découle de la proposition démontrée par raisonnement.
Exemple
Voici une proposition :
La mesure en degrés d’un angle inscrit est égale à la moitié de la mesure en degrés de l’arc intercepté sur le cercle par ses côtés.
Si m\(\stackrel{\frown}{\textrm{AC}}\) = 84,
alors m\(∠{\textrm{ABC}}\) = 42.
Un corollaire découlant de cette proposition serait :
Tout angle inscrit dans un demi-cercle est droit.
m\(∠{\textrm{ABC}}\) = 90.