Grado 11
  1. Álgebra  1.1. Comprender Secuencias y Series en Álgebra  1.1.1. Entendiendo las secuencias aritméticas  1.1.2. Series aritmética  1.1.3. Comprender las secuencias geométricas  1.1.4. Entendiendo series geométricas  1.1.5. Convergencia y divergencia  1.1.6. Entendiendo "suma al infinito" en álgebra  1.1.7. Notación sigma  1.2. Números complejos  1.2.1. Comprendiendo los números imaginarios y complejos  1.2.2. Operaciones con números complejos  1.2.3. Formas polares y cartesianas de números complejos  1.2.4. Conjugados complejos  1.2.5. Módulo y argumento  1.2.6. El teorema de De Moivre  1.2.7. Potencias y raíces de números complejos  1.3. Teorema binomial  1.3.1. Expansión de un binomio  1.3.2. Términos comunes en el teorema del binomio  1.3.3. Coeficiente binomial  1.3.4. Aplicaciones del Teorema Binomial  1.3.5. Triángulo de Pascal
  2. Funciones y gráficos  2.1. Tipos de tareas  2.1.1. Función polinómica  2.1.2. Funciones racionales  2.1.3. Función exponencial  2.1.4. Función logarítmica  2.1.5. Funciones trigonométricas  2.1.6. Trabajo por partes  2.2. Conversión de funciones  2.2.1. Traducción  2.2.2. Entender las reflexiones en transformaciones de funciones  2.2.3. Estirar y estirar  2.2.4. Comprensión de la rotación en funciones y gráficos  2.3. Función inversa  2.3.1. Encontrar la inversa  2.3.2. Gráficas de funciones inversas  2.3.3. Propiedades de la función inversa  2.3.4. Restricciones para inversas
  3. Trigonometría  3.1. Relaciones e identidades trigonométricas  3.1.1. Ratios trigonométricos básicos  3.1.2. Comprender las identidades pitagóricas en trigonometría  3.1.3. Fórmulas de suma y diferencia  3.1.4. Fórmula del ángulo doble  3.1.5. Comprendiendo las fórmulas de ángulo medio en trigonometría  3.1.6. Fórmulas de producto a suma y de suma a producto  3.2. Ecuaciones trigonométricas  3.2.1. Resolución de ecuaciones trigonométricas  3.2.2. Soluciones generales en ecuaciones trigonométricas  3.3. Gráficas de funciones trigonométricas  3.3.1. Gráfico del seno  3.3.2. Comprendiendo el gráfico del coseno  3.3.3. Gráfico de tangente  3.3.4. Ajuste de amplitud y duración  3.3.5. Cambio de fase en el gráfico de funciones trigonométricas  3.4. Aplicaciones de la trigonometría  3.4.1. Leyes de senos y cosenos  3.4.2. Área de triángulos  3.4.3. Resolviendo triángulos  3.4.4. Rodamientos y navegación
  4. Introducción al cálculo  4.1. Entendiendo límites y continuidad en cálculo  4.1.1. El concepto de límite  4.1.2. Límites unilaterales  4.1.3. Comprender los límites en el infinito en cálculo  4.1.4. Continuidad de una función  4.1.5. Tipos de discontinuidad  4.2. Discriminación  4.2.1. Definición de derivada  4.2.2. Reglas de diferenciación  4.2.3. Derivadas de orden superior  4.2.4. Regla de la cadena  4.2.5. Regla del producto  4.2.6. Comprender la regla del cociente en cálculo  4.3. Aplicaciones de la diferenciación  4.3.1. Tasa de cambio  4.3.2. Tangente y normal  4.3.3. Máximo y mínimo  4.3.4. Comprensión de funciones crecientes y decrecientes  4.3.5. Problemas de optimización  4.3.6. Graficar una curva  4.3.7. Tasas relacionadas en aplicaciones de la diferenciación  4.4. ¿Qué es la integración?  4.4.1. Antiderivadas  4.4.2. Integral indefinida  4.4.3. Integral definida  4.4.4. Teorema fundamental del cálculo  4.4.5. Técnicas de integración  4.4.6. Comprender el área bajo la curva en la integración  4.5. Aplicaciones de la integración  4.5.1. Área entre curvas  4.5.2. Volúmenes de sólidos de revolución  4.5.3. Comprender el valor promedio de una función en cálculo
  5. Vectores y matrices  5.1. Vectores  5.1.1. Introducción  5.1.2. Operaciones con vectores  5.1.3. Comprendiendo el Producto Punto  5.1.4. Producto cruz  5.1.5. Aplicaciones en geometría  5.1.6. Proyección de vectores  5.2. Matrices  5.2.1. Tipos de matrices  5.2.2. Comprendiendo las operaciones con matrices  5.2.3. Determinantes  5.2.4. Inverso de una matriz  5.2.5. Resolución de sistemas de ecuaciones lineales  5.2.6. Regla de Cramer
  6. Probabilidad y estadísticas  6.1. Comprendiendo la probabilidad en matemáticas  6.1.1. Conceptos básicos de probabilidad  6.1.2. Probabilidad condicional  6.1.3. Introducción a eventos independientes y dependientes en probabilidad  6.1.4. Teorema de Bayes  6.1.5. Probabilidad combinatoria  6.2. Variables aleatorias  6.2.1. Variable aleatoria discreta  6.2.2. Variable aleatoria continua  6.2.3. Distribuciones de probabilidad  6.3. Distribuciones de probabilidad  6.3.1. Comprendiendo la distribución binomial  6.3.2. Distribución normal  6.3.3. Distribución de Poisson  6.3.4. Distribución uniforme  6.4. Figuras  6.4.1. Medidas de tendencia central  6.4.2. Medidas de dispersión  6.4.3. Recolección y representación de datos  6.4.4. Correlación y Regresión  6.4.5. Técnicas de muestreo
  7. Geometría coordinada  7.1. Líneas rectas en geometría coordinada  7.1.1. Forma de pendiente e intercepto en geometría de coordenadas  7.1.2. La fórmula de la distancia en líneas rectas  7.1.3. Entendiendo la fórmula del punto medio en la geometría de coordenadas  7.1.4. Ángulo entre líneas  7.1.5. Ecuación de líneas  7.2. Secciones cónicas  7.2.1. Círculo  7.2.2. Introducción a las parábolas  7.2.3. Elipse en una sección cónica  7.2.4. Comprendiendo la hipérbola en secciones cónicas  7.2.5. Propiedades de las cónicas  7.2.6. Ecuaciones paramétricas de conos  7.2.7. Coordenadas polares de las cónicas
  8. Lógica aritmética  8.1. Introducción a la lógica en la lógica matemática  8.1.1. Enunciados y conectivos lógicos  8.1.2. Tablas de verdad  8.1.3. Equivalencia lógica  8.1.4. Cuantificadores en lógica en lógica matemática  8.1.5. Técnicas de demostración  8.2. Comprender las pruebas en lógica matemática  8.2.1. Evidencia directa  8.2.2. Evidencia indirecta  8.2.3. Entendiendo la prueba por contradicción  8.2.4. Prueba por inducción matemática

Grado 11 → Lógica aritmética → Comprender las pruebas en lógica matemática ↓


Entendiendo la prueba por contradicción


La prueba por contradicción es una técnica fundamental utilizada en matemáticas para establecer la verdad de una afirmación. Esta técnica puede ser una herramienta increíblemente poderosa para resolver una amplia variedad de problemas. La esencia de la prueba por contradicción es demostrar que la negación de la afirmación que queremos probar conduce a una contradicción, demostrando así que la afirmación en sí debe ser verdadera. En este documento, exploraremos este concepto en detalle, proporcionando explicaciones sencillas y numerosos ejemplos para proporcionar claridad.

¿Qué es la prueba por contradicción?

La prueba por contradicción es un método para demostrar una afirmación matemática asumiendo lo opuesto (negación) de la afirmación que deseas probar y mostrando que esta suposición lleva a una contradicción. Si asumir lo opuesto conduce a una situación imposible o ilógica, entonces la afirmación original debe ser verdadera.

Estructura general

La estructura general de una prueba por contradicción se puede resumir en los siguientes pasos:

  1. Supón que la afirmación opuesta (negativa) de la afirmación que deseas probar es verdadera.
  2. Utiliza el razonamiento lógico para explorar las consecuencias de esta suposición.
  3. Identifica la paradoja, que es un resultado que contradice hechos conocidos, otras afirmaciones probadas o a sí mismo.
  4. Concluye que la afirmación original debe ser verdadera porque la suposición lleva a una contradicción.

Exploremos más a fondo este método con una serie de ejemplos y explicaciones, para garantizar una comprensión integral.

Ejemplo simple: Probar números irracionales

Un ejemplo clásico de prueba por contradicción es demostrar que la raíz cuadrada de 2 es un número irracional. Un número irracional es un número que no se puede expresar como una fracción simple o razón de dos enteros. Veamos cómo se puede utilizar la prueba por contradicción para probar esto.

Prueba paso a paso

  1. Suposición: Sea √2 un número racional.
  2. Según la definición de números racionales, √2 = frac{a}{b} donde a y b son enteros que no tienen otro factor común además de 1, y b ≠ 0.
  3. Elevando al cuadrado ambos lados se obtiene:
    2 = frac{a^2}{b^2}
  4. Multiplica ambos lados por b^2:
    2b^2 = a^2
  5. Esto implica que a^2 es un número par, ya que es igual a 2 veces cualquier otro número entero.
  6. Si a^2 es par, entonces a también será par (porque el cuadrado de un número impar es impar).
  7. Sea a = 2c para algún entero c. Entonces a^2 = (2c)^2 = 4c^2.
  8. Re-sustituir: 2b^2 = 4c^2 lo que simplifica a b^2 = 2c^2.
  9. Esto implica que b^2 es par, por lo que b también debe ser par.
  10. Sin embargo, inicialmente asumimos que a y b no tienen factores comunes además de 1, pero dado que a y b son ambos pares, tienen al menos 2 factores comunes, lo cual es una contradicción.
  11. Conclusión: Nuestra suposición de que √2 es un número racional lleva a una contradicción. Por lo tanto, √2 es irracional.

Visualizando la prueba por contradicción

Para visualizar la prueba por contradicción, considera el siguiente diagrama que muestra el flujo lógico:

+-------+
| Inicio | ---------------> Asume ¬P
+-------+        |
                v
  Consecuencia lógica
                |
                v
+---------------------+
| Contradicción encontrada |
+---------------------+
                |
                v
  La afirmación P es verdadera

Otro ejemplo: Probar afirmaciones sobre enteros

Demostremos la prueba por contradicción con otro ejemplo que involucra enteros. Probaremos que "no hay un número entero mayor".

Evidencia

  1. Suposición: Supón que hay un número entero mayor, llámalo N
  2. Considera el entero N+1. Claramente, N+1 es mayor que N
  3. Esto contradice nuestra suposición original de que N es el número entero mayor, ya que hemos encontrado un número entero mayor que N
  4. Conclusión: Nuestra suposición inicial de que hay un número entero mayor lleva a una contradicción. Por lo tanto, no existe tal número entero mayor.

Análisis de la prueba por contradicción

La prueba por contradicción es muy poderosa porque nos permite ver los problemas desde un ángulo diferente. Al profundizar en las consecuencias de la negación, puede revelar verdades que no son inmediatamente obvias. Además, puede ser particularmente útil en situaciones donde los métodos de prueba directa son desafiantes o poco prácticos. A través de la reducción lógica, las paradojas proporcionan conocimientos importantes sobre la verdad de las afirmaciones matemáticas.

Ventajas de la prueba por contradicción

  • Proporciona una perspectiva diferente cuando es difícil proporcionar evidencia directa.
  • A menudo revela conocimientos más profundos sobre la naturaleza del problema.
  • Es especialmente útil para afirmaciones que afirman la existencia o no existencia de algo.

Límites

Aunque es poderosa, la prueba por contradicción no siempre es el mejor método. Encontrar la contradicción correcta puede requerir ingenio considerable, y a veces no puede explicar por qué algo es verdadero, solo que lo es.

Errores comunes en la prueba por contradicción

Algunos errores comunes a evitar al usar la prueba por contradicción:

  • No definir claramente la negación: Sé claro sobre cuál es la negación de la afirmación. Es fácil malentender o mal aplicar la negación accidentalmente.
  • Falta de progreso lógico: Asegúrate de que cada paso siga lógicamente del paso anterior. Si un paso se basa en la intuición en lugar de la lógica, la prueba puede desmoronarse.
  • Llegar a una contradicción falsa: A veces una contradicción puede deberse a un error de lógica cometido anteriormente en la prueba.
    Verifica cada parte de tu argumento antes de considerar la prueba completa.

Ejemplo: Paradoja del mentiroso

Considera una prueba defectuosa que afirma: "Si x es un número entero y x^2 = 2, entonces x no es un número entero". Intentando usar la prueba por contradicción:

  1. Suposición: Sea x^2 = 2 para un número entero x.
  2. Concluir que x no puede ser un número entero asume que ningún número entero satisface la condición (verdadero ya que x = ±√2), pero asume sin verificación que esto es falso.
  3. Afirmación falsa |x| ≈ 1.414, no un número entero, fin de la prueba.
  4. Defecto: La idea de que x sea ±√2 deja de lado la derivación lógica y asume un conocimiento previo de la irracionalidad sin demostración a través de la lógica.

Problemas de práctica:

La práctica es clave para dominar la prueba por contradicción. Aquí tienes algunos ejercicios para fortalecer tu comprensión:

  1. Demuestra que no hay un número racional x tal que x^2 = 3.
  2. Utiliza la prueba por contradicción para mostrar que si la suma de dos enteros es impar, entonces uno de ellos es par.
  3. Demuestra que no hay un número racional positivo más pequeño.

Conclusión

La prueba por contradicción es un método valioso en tu conjunto de herramientas matemáticas, que te permite demostrar afirmaciones mostrando la imposibilidad de sus negaciones. Al practicar y comprender esta técnica, puedes resolver problemas complejos en matemáticas con un enfoque lógico y estructurado. Recuerda analizar cuidadosamente cada paso y verificar tu razonamiento para sacar conclusiones significativas.

Al participar en los ejemplos y problemas de práctica proporcionados aquí, desarrollarás una comprensión más profunda de cómo aplicar efectivamente la prueba por contradicción en una variedad de contextos matemáticos. Continúa practicando, reflexionando y refinando tus habilidades para convertirte en un experto en la prueba por contradicción, lo que fortalecerá tus habilidades generales de razonamiento matemático.


Grado 11 → 8.2.3


U
username
0%
completado en Grado 11

← Anterior (8.2.2)
Evidencia indirecta
Siguiente (8.2.4) →
Prueba por inducción matemática

Comentarios 



Entendiendo la prueba por contradicción

https://www.buddymath.com/g11/8.2.3?bmal=es