Corolario

Corolario (del latín corollarium) es un concepto referido a una proposición tanto en matemática como en lógica que se utiliza para designar la consistencia de un teorema ya demostrado, sin necesidad de invertir esfuerzo adicional en su demostración. En pocas palabras, es una consecuencia obvia que no necesita demostración.

Siempre se refiere a una inferencia escueta e inmediata, si bien la distinción entre teorema y corolario es tan subjetiva como entre lema y teorema, siendo el lema una proposición breve.^[1]​

Una proposición si es consecuencia de un teorema se denomina corolario.^[2]​

El vocablo latina corollarium deriva de: a) corōlla (pétalos de las flores), que es diminutivo de corōna: porque a los actores, en calidad de gratificación adicional, se les entregaba una coronita. En Roma, así mismo a los espectadores y a los invitados a los banquetes se les otorgaba un corollarium; b) -arium, sufijo abundancial (por las flores de la corona).

le sigue el corolario:

De a² = b² +c² resulta b² = a² - c².