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]

EjemplosEditar

• Al teorema de Pitágoras que dice

El cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos

le sigue el corolario:

La longitud de un cateto es menor que la de la hipotenusa;

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