Corolario
Un corolario (del latín corollarium)[1] es un término que se utiliza en las matemáticas y en la lógica, para designar la evidencia de un teorema o definición ya demostrada, sin necesidad de tener que invertir esfuerzo adicional en su demostración. En pocas palabras, es una consecuencia tan evidente, que no necesita demostración.
A menudo se trata de una inferencia, si bien la distinción entre teorema y corolario es tan subjetiva como entre lema y teorema.
Contenido |
[editar] Ejemplos
- A la afirmación
- La suma de los ángulos interiores de un triángulo es igual a 180°.
le sigue el corolario
- En un triángulo rectángulo la suma de los dos ángulos contiguos a la hipotenusa es igual a 90°.
Dado que la hipotenusa es la arista que se encuentra "frente" al ángulo de 90°, la suma de los ángulos del triángulo contiguos a la misma es igual a 180° - 90° = 90°.
- A la afimación
- El ser humano tiene más cabello que el gorila.
le sigue el corolario
- Los gorilas no tienen folículos pilosos en el rostro.
En este caso, la inferencia requiere el conocimiento de un parámetro: Tales centimetros cuadrados de piel sin folículos pilosos son una cantidad considerable para lograr una diferencia relevante de miles.
[editar] Véase también
[editar] Referencias
- ↑ «corolario», Diccionario de la lengua española (vigésima segunda edición), Real Academia Española, 2001, http://buscon.rae.es/draeI/SrvltConsulta?TIPO_BUS=3&LEMA=corolario, consultado el 17 de noviembre de 2011.
[editar] Bibliografía
- Albrecht Beutelspacher: Das ist o.B.d.A. trivial. Vieweg, Braunschweig 1999, ISBN 3-528-46442-9.
[editar] Enlaces externos
Wikcionario tiene definiciones para corolario.Wikcionario
