Korollar

Fra Wikipedia, den frie encyklopedi
Hopp til navigering Hopp til søk

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

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. Pythagoras’ 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.[3]

Se også[rediger | rediger kilde]

Referanser[rediger | rediger kilde]

  1. ^ E.J.Borowski, J.M.Borwein (1989). Dictionary of mathematics. Glasgow: Collins. s. 125. ISBN 0-00-434347-6. 
  2. ^ «What is the difference between a theorem, a lemma, and a corollary?» (engelsk). David Richeson: Division by Zero. Besøkt 4. februar 2020. 
  3. ^ Steven Schwartzman (1994). The words of mathematics. An etymological dictionary of mathematical terms used in English. Washington, DC: The Mathematical Association of America. s. 59. ISBN 0-88385-511-9.