Grado 12
  1. Introducción al Álgebra  1.1. Matrices  1.1.1. Definición y tipos de matrices  1.1.2. Operaciones en matrices  1.1.3. Transposición de una matriz  1.1.4. Determinantes y sus propiedades  1.1.5. Inverso de una matriz  1.1.6. Resolución de ecuaciones lineales usando matrices  1.1.7. Aplicaciones de matrices  1.2. Números complejos  1.2.1. Definición y representación de números complejos  1.2.2. Comprensión del álgebra de los números complejos  1.2.3. Módulo y argumento de números complejos  1.2.4. Introducción a los números complejos  1.2.5. Teorema de De Moivre  1.2.6. Raíces de números complejos  1.2.7. Aplicaciones en geometría  1.3. Vectores y geometría 3D  1.3.1. Álgebra de vectores  1.3.2. Producto escalar y vectorial  1.3.3. Ecuación de una línea en el espacio  1.3.4. Ecuación de un plano en vectores y geometría 3D  1.3.5. Distancia entre líneas y planos  1.3.6. Ángulo entre líneas y planos
  2. Cálculos  2.1. Límites y continuidad  2.1.1. Concepto de Límites  2.1.2. Continuación de trabajos  2.1.3. Tipos de discontinuidad  2.1.4. Comprendiendo las limitaciones de la mano izquierda y derecha  2.2. Discriminación  2.2.1. Derivado como tasa de cambio  2.2.2. Técnicas de diferenciación  2.2.3. Derivadas de orden superior  2.2.4. Aplicaciones de las derivadas  2.2.5. Tangente y normal  2.2.6. Funciones crecientes y decrecientes  2.3. Integración  2.3.1. Integral indefinida  2.3.2. Integral definida  2.3.3. Técnicas de integración  2.3.4. Entendiendo el área bajo la curva en integración  2.3.5. Aplicaciones de las integrales en geometría  2.4. Ecuaciones diferenciales  2.4.1. Formación de ecuaciones diferenciales  2.4.2. Orden y grado de las ecuaciones diferenciales  2.4.3. Soluciones de ecuaciones diferenciales  2.4.4. Aplicaciones de las ecuaciones diferenciales  2.4.5. Introducción a las ecuaciones diferenciales lineales de primer orden
  3. Probabilidad y estadística  3.1. Entendiendo la Probabilidad  3.1.1. Comprendiendo la probabilidad condicional  3.1.2. Teorema de Bayes  3.1.3. Comprendiendo las variables aleatorias en probabilidad y estadísticas  3.1.4. Distribuciones de probabilidad  3.1.5. Distribución binomial y normal  3.2. Figuras  3.2.1. Media y desviación estándar  3.2.2. Varianza y covarianza  3.2.3. Correlación y regresión  3.2.4. Comprendiendo la prueba de hipótesis en estadística
  4. Programación lineal  4.1. Método gráfico en programación lineal  4.1.1. Comprendiendo las regiones factibles y no factibles en la programación lineal  4.1.2. Solución óptima en el método gráfico de programación lineal  4.1.3. Análisis de sensibilidad en el método gráfico  4.2. Método simplex  4.2.1. Formulación de problemas en el método del simplex  4.2.2. Resolviendo problemas de programación lineal usando el método simplex  4.2.3. Método del simplejo dual
  5. Relaciones y funciones  5.1. Tipos de relaciones  5.1.1. Relación reflexiva  5.1.2. Relaciones simétricas  5.1.3. Comprendiendo las relaciones transitivas  5.1.4. Relación de equivalencia  5.2. Tipos de tareas  5.2.1. Función sobreyectiva  5.2.2. Función uno a uno  5.2.3. Función inversa  5.2.4. Trabajo conjunto  5.3. Funciones trigonométricas inversas  5.3.1. Valores principales en funciones trigonométricas inversas  5.3.2. Propiedades y gráficos de funciones trigonométricas inversas  5.3.3. Aplicaciones en cálculo
  6. Trigonometría avanzada  6.1. Introducción a las ecuaciones trigonométricas  6.1.1. Soluciones generales de ecuaciones en ecuaciones trigonométricas  6.1.2. Fórmula de transformación  6.2. Funciones hiperbólicas  6.2.1. Definiciones y propiedades de las funciones hiperbólicas  6.2.2. Relación entre funciones hiperbólicas y trigonométricas
  7. Lógica aritmética  7.1. Razonamiento lógico  7.1.1. Declaraciones y conectores lógicos  7.1.2. Tautología y contradicción  7.2. Evidencia  7.2.1. Evidencia directa  7.2.2. Evidencia indirecta  7.2.3. Prueba por contradicción  7.2.4. Prueba por inducción matemática
  8. Aplicaciones de las Matemáticas  8.1. Aplicaciones del cálculo  8.1.1. Problemas de máximos y mínimos  8.1.2. Aplicaciones de la economía y la biología  8.1.3. Tasa de cambio en física  8.2. Aplicaciones de la Probabilidad  8.2.1. Análisis de riesgo  8.2.2. Toma de decisiones en aplicaciones de probabilidad  8.2.3. Teoría de juegos

Grado 12 → Lógica aritmética → Evidencia ↓


Evidencia indirecta


En matemáticas y lógica, probar cosas es fundamental. Las pruebas no solo nos ayudan a saber si algo es verdadero o falso, sino que también nos ayudan a entender por qué es así. Hay muchas maneras de probar algo, y una forma muy interesante se llama prueba indirecta.

¿Qué es la evidencia indirecta?

La prueba indirecta es un método para probar una afirmación en el que se asume que la afirmación que se quiere probar es falsa y luego se muestra que esta suposición lleva a una contradicción. Dado que la suposición de que la afirmación es falsa lleva a una inconsistencia, concluimos que la afirmación debe ser verdadera. Este método a veces se conoce como prueba por contradicción.

Estructura básica de la prueba indirecta

  • Comienza con la suposición de que la afirmación que queremos probar es falsa.
  • Desarrolla lógicamente las implicaciones de esta suposición.
  • Muestra que al menos una de estas implicaciones es imposible o lleva a una contradicción.
  • Concluye que la afirmación original debe ser verdadera porque asumir que es falsa resulta en una contradicción.

Ventajas de usar evidencia indirecta

El método de prueba indirecta es especialmente útil cuando:

  • La evidencia directa es muy compleja o imposible de obtener fácilmente.
  • El problema se plantea naturalmente como una contradicción.
  • Esto permite una variedad de puntos de vista y perspectivas.

Ejemplo simple

Ejemplo matemático simple

Comencemos con una simple afirmación lógica:

Afirmación: Supongamos que un número entero n es impar. Prueba que n 2 es impar.

Evidencia:

Para el bien de la contradicción, supongamos que n 2 es par.

  • Si n 2 es par, entonces se puede escribir como 2k para algún entero k.
  • Ahora, dado que n 2 = 2k, n en sí mismo debe ser par. Esto se debe a que el cuadrado de un número impar es impar, por lo que esta suposición implica que n es par.
  • Sin embargo, esto es una contradicción ya que inicialmente asumimos que n es impar.

Por lo tanto, nuestra suposición de que n 2 es par será falsa. Por lo tanto, n 2 es impar.

Echemos un vistazo a esta simple prueba:

Supone que n^2 es par n es par (contradicción) n debe ser impar, n^2 es impar

Ejemplos en geometría

Considera una afirmación clásica de la geometría:

Afirmación: Prueba que la raíz cuadrada de 2 es irracional.

Evidencia:

Para el bien de la contradicción, supongamos que sqrt(2) es un número racional.

  • Si sqrt(2) es racional, se puede expresar como una fracción a/b donde a y b son enteros sin factores comunes distintos de 1 (es decir, a/b está en su forma más simple).
  • Entonces, sqrt(2) = a/b implica 2 = a 2 /b 2 o a 2 = 2b 2.
  • Esto implica que a2 es par, ya que 2 por cualquier número entero es par.
  • Si a2 es par, entonces a también debe ser par (ya que el cuadrado de un número impar es impar).
  • Sea a = 2c para algún entero c. Entonces, (2c) 2 = 2b 2 o 4c 2 = 2b 2 que se simplifica a 2c 2 = b 2.
  • Por lo tanto, b 2 es par, lo que significa que b también debe ser par.

Si a y b son ambos pares, entonces su factor común será 2, lo que contradice nuestra suposición de que a/b está en su forma más simple.

Por lo tanto, la suposición de que sqrt(2) es racional lleva a una contradicción, lo que significa que sqrt(2) debe ser irracional.

Usando evidencia indirecta en situaciones de la vida real

Las pruebas indirectas no se limitan solo a nuestras clases de matemáticas; también tienen aplicaciones en la vida real. Considera el escenario donde queremos demostrar la falta de fiabilidad de un diseño de sistema particular. Al asumir que un diseño defectuoso funciona perfectamente, y luego mostrar cómo esta suposición conduce a errores operativos o inconsistencias, efectivamente probamos fallas por contradicción.

Razonando con una posición lógica

Consideremos un ejemplo lógico para entender mejor la prueba indirecta:

Escenario: Tienes un compañero de cuarto, y has notado que faltan algunas galletas de tu tarro. Sospechas que tu compañero de cuarto o tú las comiste. Argumentas que no las comiste; ¡pruébalo!

Solución:

Para probar que no comiste las galletas, asume lo contrario: Supón que sí comiste las galletas. Esto significa:

  • Deberías haber sabido ya sobre las galletas que estaban allí, porque las comiste.
  • Pero sabías que no las habías tocado en absoluto.
  • Revisar tu diario de comida, planes sociales y otras evidencias suplementarias mostrará que no estuviste allí cuando fueron comidas.
  • Por lo tanto, la suposición de que comiste las galletas entra en conflicto con los detalles factuales que recopilaste.

Esto proporciona evidencia indirecta de que otro posible culpable, como tu compañero de cuarto, puede ser responsable.

Limitaciones y consideraciones

Aunque la evidencia indirecta es una técnica poderosa, es importante reconocer sus limitaciones:

  • Las pruebas indirectas dependen mucho de encontrar una contradicción real. Si esto se pasa por alto, el intento de prueba falla.
  • A veces, puede complicar innecesariamente problemas simples. Por lo tanto, debe evitarse cuando existan métodos de prueba más simples.

Ejemplo avanzado: Suma de dos números irracionales

Exploremos una afirmación matemática compleja:

Afirmación: Prueba que la suma de dos números irracionales puede ser racional.

Evidencia:

Supongamos, para la contradicción, que la suma de dos números irracionales es siempre irracional.

  • Considera dos números irracionales específicos, x = pi y y = -pi.
  • Por suposición, x + y debe ser irracional. Sin embargo, pi + (-pi) = 0, lo cual es racional.

Por lo tanto, esta suposición lleva a una contradicción, lo que demuestra que la suma de dos números irracionales puede, de hecho, ser racional.

Conclusión

La prueba indirecta es un método versátil y hermoso en la lógica y el razonamiento matemático. Utiliza la técnica de la contradicción para demostrar la verdad de una afirmación. En varias ramas de las matemáticas, a menudo descubre relaciones que no son fácilmente accesibles mediante métodos directos.

Al incorporar suposiciones, deduciendo consecuencias lógicas y aclarando contradicciones, los estudiantes pueden dominar la aplicación de pruebas indirectas en una variedad de contextos matemáticos. A través de la práctica y la exploración adicional, su hermosa utilidad en el análisis de problemas complejos emerge en todo su potencial.


Grado 12 → 7.2.2


U
username
0%
completado en Grado 12

← Anterior (7.2.1)
Evidencia directa
Siguiente (7.2.3) →
Prueba por contradicción

Comentarios 



Evidencia indirecta

https://www.buddymath.com/g12/7.2.2?bmal=es