Korollar
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. 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.[3]
Se også rediger
Referanser rediger
- ^ E.J.Borowski, J.M.Borwein (1989). Dictionary of mathematics. Glasgow: Collins. s. 125. ISBN 0-00-434347-6.
- ^ «What is the difference between a theorem, a lemma, and a corollary?» (engelsk). David Richeson: Division by Zero. Besøkt 4. februar 2020.
- ^ 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.