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
Kategori:Matematisk terminologi