Corolari

Corolari (del llatí corollarium) és un concepte referit a una proposició tant en matemàtica com en llògica que s'utilisa per a designar la consistència d'un teorema ya demostrat, sense necessitat d'invertir esforç adicional en la seua demostració. En poques paraules, és una conseqüència òbvia que no necessita demostració.

Sempre es referix a una inferència escueta i immediata, si be la distinció entre teorema i corolari és tan subjectiva com entre lema i teorema, sent el lema una proposició breu.

A modo de definició

Una proposició si és conseqüència d'una teorema es denomina corolari.

Ampliació de l'etimologia

El vocablo llatí corollarium deriva de: a) corōlla (pétals de les flors), que és diminutivo de corōna: perque als actorés, en calitat de gratificació adicional, se'ls entregava una coronita. En Roma, aixina mateix als espectadors i als invitats als convits se'ls otorgava un corollarium; b) -arium, sufix abundancial (per les flors de la corona).

Vore també

• Teorema
• Lema (matemàtiques)
• Proposició