Contraejemplo en matemáticas: definición y ejemplos

¿Qué es un contraejemplo?

Un contraejemplo es un tipo especial de ejemplo que refuta una declaración o proposición. Los contraejemplos se utilizan a menudo en matemáticas para demostrar los límites de posibles teoremas. En álgebra, geometría y otras ramas de las matemáticas, un teorema es una regla expresada por símbolos o una fórmula. Los contraejemplos son útiles porque facilitan a los matemáticos mostrar rápidamente que ciertas conjeturas o ideas son falsas. Esto permite a los matemáticos ahorrar tiempo y centrar sus esfuerzos en ideas para producir teoremas demostrables.

Ejemplos

Los contraejemplos se usan a menudo en matemáticas, pero la verdad es que los contraejemplos están a nuestro alrededor. Considere la afirmación: «Todos los matemáticos tienen el pelo loco». Ahora considere la dificultad que encontrará al tratar de probar esta afirmación. ¿Sería esto posible? A menudo puede ser muy difícil probar que una proposición es verdadera, por lo que nuestros esfuerzos están mejor enfocados para encontrar un contraejemplo y probar que la proposición es falsa. Solo se necesita un contraejemplo para que la proposición sea falsa.

En geometría, el estudio de la lógica y la demostración es muy importante. Los contraejemplos se discuten a menudo, ya que pueden usarse para refutar declaraciones condicionales. Un enunciado condicional tiene dos partes, tales como: «Si estudias álgebra todas las noches, obtendrás 100 en tu próximo examen». Es probable que se puedan proporcionar muchos ejemplos para hacer que esta declaración sea verdadera, pero nuevamente, solo necesitamos un contraejemplo para probar que es falsa. Para encontrar un contraejemplo de una declaración condicional, necesita un ejemplo para que la condición inicial sea verdadera, pero al mismo tiempo, haga que la declaración concluida sea falsa. Cualquier estudiante que estudie álgebra todas las noches satisfaría la condición inicial, y si uno de estos estudiantes no sacara 100 en su próximo examen, no cumpliría con la afirmación concluida. Por tanto, la primera parte es verdadera, mientras que la segunda es falsa.

Para considerar un ejemplo de geometría, considere la proposición, «Todos los triángulos rectángulos son escalenos». Nuevamente, llevaría mucho tiempo probar y demostrar que esta proposición es cierta. Hay una cantidad infinita de triángulos rectángulos que se pueden dibujar si se deben considerar todas las posibilidades, por lo que cualquier esfuerzo para probar y probar todos los casos sería en vano. Sin embargo, solo necesitamos un contraejemplo para probar que esto es falso. Considere un triángulo rectángulo con dos ángulos de 45 grados; tendría dos bases iguales haciéndolo isósceles. Este triángulo sería un contraejemplo.

Para un ejemplo del álgebra, podemos considerar la proposición «Todos los números primos son impares». Este parecería difícil de refutar, ya que los números pares siempre son divisibles por 2 y, por lo tanto, son compuestos (no primos). Un contraejemplo de esta afirmación sería el número 2. El número 2 no tiene más divisores que él mismo y 1, por lo tanto, es primo. Es un contraejemplo.

Resumen de la lección

Revisemos. Un contraejemplo es un ejemplo que refuta una proposición. Los contraejemplos existen a nuestro alrededor en el mundo y a menudo se usan en matemáticas para demostrar que las proposiciones son falsas. Los contraejemplos son importantes para la geometría para demostrar que los enunciados condicionales son falsos. Esto se logra proporcionando un ejemplo que satisface la condición inicial pero hace que la declaración concluida sea falsa. Los contraejemplos también son útiles en otros campos de las matemáticas para probar que las teorías y proposiciones iniciales son falsas, lo que nos permite centrar nuestros esfuerzos en otras teorías posibles. Para probar que una proposición es verdadera, se deben probar todos los casos, pero solo se necesita un contraejemplo para probar que una proposición es falsa.

Rodrigo Ricardo Editor y fundador