Mariana

Corolario
Un corolario (del latín corollarium)[1] es un término que se utiliza en matemáticas y en lógica para designar la evidencia de un teorema o de una definición ya demostrados, sin necesidad de 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 entreteorema y corolario es tan subjetiva como entre lema y teorema.
|
Ampliación de la etimología
El vocablo latino corollarium deriva de: a) corōlla (pétalos de las flores), que es diminutivo de corōna: corona, porque a los actores, en calidad de gratificación adicional, se les entregaba una coronita.[2] En Roma, así mismo a los espectadores y a los invitados a los banquetes se les otorgaba uncorollarium;[3] b) -arium, sufijo abundancial (por las flores de la corona).
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 ubicada frente al ángulo de 90°, la suma de los ángulos del triángulocontiguos a esa línea es igual a 180° - 90° = 90°.
* A la afirmació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 conocimiento de un parámetro: tales centímetros cuadrados de piel sin folículos pilosos son una cantidad considerable para lograr una diferencia relevante demiles.
Teorema

Esta imagen muestra la relación entre las cadenas de caracteres, las fórmulas bien formadas y los teoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.
Un teorema es una afirmación que puede ser demostrada dentro de un sistema formal. Demostrar teoremas es un asunto central en la lógica y la matemática.
Unteorema generalmente posee un número de premisas que deben ser enumeradas o aclaradas de antemano. Luego existe una conclusión, una afirmación lógica o matemática, la cual es verdadera bajo las condiciones dadas. El contenido informativo del teorema es la relación que existe entre la hipótesis y la tesis o conclusión.
Se llama corolario a una afirmación lógica que sea consecuencia inmediata de unteorema, pudiendo ser demostrada usando las propiedades del teorema previamente demostrado.
|
Terminología
En matemática una afirmación debe ser interesante o importante dentro de la comunidad matemática para ser considerada un teorema. Las afirmaciones menos importantes se denominan:
* Lema: una afirmación que forma parte de un teorema más amplio. El lema de Gauss y el lema de Zorn, porejemplo, son considerados demasiado importantes per se para algunos autores, por lo cual consideran que la denominación lema no es adecuada.
* Corolario: una afirmación que sigue inmediatamente a un teorema. Una proposición A es un corolario de una proposición o teorema B si A puede ser deducida sencillamente de B.
* Proposición: una afirmación o resultado no asociado a ningún teorema enparticular.
Una afirmación matemática que se cree verdadera pero no ha sido demostrada se denomina conjetura o hipótesis. Por ejemplo: la conjetura de Goldbach o la hipótesis de Riemann.
Postulado

En los Elementos, Euclides expuso los postulados de la Geometría clásica.
Un postulado es una proposición no evidente por sí misma, ni demostrada, pero que se acepta ya que no existe otro principioal que pueda ser referida.[1]
Difiere del axioma en que, en un sistema hipotético-deductivo, es toda proposición no deducida de otra, sino que constituye una regla general de pensamiento lógico (en oposición a los postulados).[2]
También se denomina postulado a los principios sustentados por una determinada persona, un grupo, o una organización.[3]
Por ejemplo, en Filosofía y en Psicología...