Korollar

Et korollar er i logikk og matematikk et resultat som følger nokså umiddelbart fra et større teorem, uten omfattende bevis.

I noen tilfeller kan et korollar være et spesialtilfelle av et gitt teorem, på en form som gjør dette lettere å bruke enn det opphavlige teoremet.  Pytagoras’ læresetning er et korollar fra cosinussetningen.  

Ordet korollar har opphav i latin corolla, som igjen er en diminutiv av corona med betydning «blomsterkrans» eller «seierskrans».  Poetisk er et korollar
en liten blomsterkrans som følger en større bukett - et teorem.

Se også 

 Lemma (matematikk)
 Teorem

Referanser 

Matematisk terminologi