¿Cuál es la diferencia entre un lema, teorema, corolario y proposición?

Sharvil Kesarwani dio una buena respuesta objetiva. Daré una respuesta un poco más fantasiosa.

Tomaré los términos fuera de servicio:

Un teorema es la recompensa. Es por eso que apareciste y compraste el libro. Contiene una declaración relativamente amplia / poderosa. Si el paisaje matemático es como un desierto inexplorado, un teorema es como una próspera ciudad fronteriza. Mientras deambula por el paisaje matemático, sabe mejor dónde está el teorema más cercano … ¡por su propia seguridad!

Un corolario es como un gran restaurante o atracción en la ciudad. Claro, tal vez no sea la razón principal por la que visitaste. Pero al menos mientras estás en la ciudad, ¡podrías pasar por aquí! No es mucho más trabajo, después de todo.

Un lema es una parada de descanso en el camino hacia un teorema. Es bueno pasar por aquí, tal vez comprar un café e ir al baño. Pero es bastante aburrido … no querrás pasar mucho tiempo allí. Sin embargo, es importante porque el viaje de un teorema al siguiente suele ser muy largo.

Una proposición es una de dos cosas. Ya sea:

  • Es un área tentadora y rumoreada que es rica en tesoros exóticos, pero nunca nadie ha estado allí, ni sabe exactamente cómo llegar allí. También se llama una conjetura .
  • Es un lugar establecido y bien entendido que no está en el itinerario pero que aún influye en el viaje. Si eres un explorador junior con Cristóbal Colón explorando el Nuevo Mundo, España podría ser una propuesta. No necesita conocer los detalles sobre cómo llegar o dónde está. No necesitas hablar español. Solo necesita saber que están pagando por sus aventuras.

Todas estas son palabras clave que a menudo surgen al escribir pruebas / libros avanzados sobre matemáticas. Tienen diferencias algo sutiles, pero son necesarias para diferenciar entre ellas.

Una proposición es una declaración matemática que es verdadera o falsa. Por ejemplo, ‘3 es mayor que 4’ y ‘7 es primo’ son proposiciones, a pesar de que la primera afirmación es falsa.

Un teorema es una proposición probada. Un ejemplo de un teorema es el Teorema de Pitágoras, que establece para cada triángulo rectángulo con longitudes de pierna [matemáticas] a [/ matemáticas] y [matemáticas] b [/ matemáticas] e hipotenusa [matemáticas] c [/ matemáticas], luego la relación [ matemáticas] a ^ 2 + b ^ 2 = c ^ 2 [/ matemáticas] siempre es cierto.

Un corolario es el resultado de un teorema que no requiere demasiadas pruebas para mostrar. Un ejemplo de esto se puede ver aquí:

Teorema: un triángulo es isósceles si dos ángulos en un triángulo son congruentes.

Corolario: un triángulo equilátero es equiangular.

Un lema es un teorema que se prueba en una prueba para ayudar a obtener el siguiente resultado. Un ejemplo de esto está a continuación:

Problema: Encuentre y pruebe todos los números primos [matemática] p [/ matemática] que dividen [matemática] N = 2 ^ {100} \ cdot 3 ^ {23} [/ matemática].

Lema: Si primo [matemática] p [/ matemática] divide entero [matemática] ab [/ matemática], entonces [matemática] p [/ matemática] divide [matemática] a [/ matemática] o [matemática] p [/ matemática] divide [matemáticas] b [/ matemáticas].

El lema anterior ayudaría a simplificar enormemente el problema. Pruébalo. 😉

Aunque #mohit lo explicó bien … Todavía ::

Lemma se usa generalmente para describir un hecho “auxiliar” que se usa como prueba de un resultado más significativo …

Los resultados significativos se llaman frecuentemente teoremas …

Un corolario es algo que se sigue trivialmente de cualquiera de un teorema, lema u otro corolario …

¡Una propuesta es una declaración que se ofrece para investigación en cuanto a si es verdadera o falsa!

El teorema es el resultado principal que quieres probar.
Lemma es un resultado menor ya probado que ayuda a probar el teorema. A veces, el lema mismo se vuelve tan popular que se usan directamente.
La proposición también es un resultado que ya se demostró, pero es menos importante que el teorema y se invoca en menores ocasiones que el lema para probar un teorema.