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 ↓


Evidencia indirecta


En el fascinante mundo de las matemáticas, probar enunciados es una de las tareas más importantes. Las pruebas nos ayudan a verificar que los enunciados matemáticos son universalmente verdaderos. Hay muchos métodos para probar enunciados, y un método poderoso se conoce como prueba indirecta. En esta discusión, exploraremos qué es una prueba indirecta, cómo se utiliza, cuál es su marco lógico y veremos ejemplos en acción para fortalecer nuestra comprensión.

Comprender la evidencia indirecta

La prueba indirecta, también conocida como prueba por contradicción, es un método de razonamiento lógico utilizado para demostrar la verdad de un enunciado asumiendo lo contrario de lo que se quiere probar y mostrando que esta suposición conduce a una contradicción. En otras palabras, se comienza asumiendo la negación de la conclusión deseada y se muestra que esta suposición lleva a una contradicción con hechos o creencias conocidas.

La estructura básica de una prueba indirecta es la siguiente:

  1. Asumir lo contrario de lo que se quiere probar.
  2. Mostrar que esta suposición lógicamente lleva a una contradicción.
  3. Concluir que la suposición es falsa y, por lo tanto, el enunciado original debe ser verdadero.

Marco lógico

La base lógica de la prueba indirecta reside en la ley de no contradicción y el principio del reductio ad absurdum.

  • Ley de la contradicción: Un enunciado no puede ser tanto verdadero como falso al mismo tiempo. Esta ley es fundamental en lógica, la cual dice que una proposición ((P)) y su negación ((neg P)) no pueden ser ambas verdaderas.
  • Reductio ad absurdum: Este es un término latino que significa "reducción al absurdo." Es una técnica en la que se asume lo contrario de lo que se quiere probar y, a través de inferencias lógicas, se llega a una conclusión absurda o falsa, estableciendo así la verdad de la proposición original.

Pasos para presentar evidencia indirecta

Para aplicar la evidencia indirecta de manera efectiva, es necesario seguir cuidadosamente los siguientes pasos:

  1. Identificar la proposición: Decir claramente la proposición o enunciado que necesita ser probado.
  2. Asumir la negación: Asumir lo contrario (negación) de la proposición.
  3. Conclusión lógica: Usar razonamiento lógico para deducir una serie de enunciados a partir de las negaciones.
  4. Llegar a una contradicción: Mostrar que uno de los enunciados derivados contradice un hecho conocido, una definición o una suposición inicial.
  5. Concluir la prueba: Decir que, dado que la suposición lleva a una contradicción, la negación asumida es falsa. Por lo tanto, la proposición original es verdadera.

Ejemplo visual 1: Tríos pitagóricos

Consideremos probar que ((3, 4, 5)) es un trío pitagórico, es decir, que satisface el teorema de Pitágoras: (a^2 + b^2 = c^2).

    Supongamos (a = 3), (b = 4), y (c = 5).
    Tenemos que probar: (3^2 + 4^2 = 5^2).

    Evidencia indirecta:
    1. Supongamos que (3^2 + 4^2 neq 5^2).
    2. Calcule (3^2 + 4^2 = 9 + 16 = 25).
    3. Pero (5^2 = 25) también.
    4. Así que, (3^2 + 4^2 = 5^2) (Contradicción de la suposición).

    conclusión:
    La suposición ((3^2 + 4^2 neq 5^2)) lleva a una contradicción.
    Por lo tanto, ((3, 4, 5)) es un trío pitagórico.

Ejemplo visual 2: Racionalidad de la raíz cuadrada

Probar que (sqrt{2}) es irracional usando evidencia indirecta.

    Enunciado: (sqrt{2}) es irracional.

    Evidencia indirecta:
    1. Supongamos que (sqrt{2}) es racional.
    2. Entonces, puede expresarse como una fracción (frac{a}{b}), donde (a) y (b) son enteros que no tienen factor común distinto de 1 (fracción en términos mínimos).
    3. ((sqrt{2} = frac{a}{b}) Rightarrow (2 = frac{a^2}{b^2}) Rightarrow (a^2 = 2b^2)).
    4. Esto implica que (a^2) es par, por lo que (a) es par.
    5. Sea (a = 2k), sustituir de nuevo en (a^2 = 2b^2),
       ((2k)^2 = 2b^2 rightarrow 4k^2 = 2b^2 rightarrow 2k^2 = b^2).
    6. Esto implica que (b^2) es par, por lo que (b) también es par.
    7. Si (a) y (b) son ambos pares, entonces tendrán un factor común de 2, lo cual contradice la suposición de que no tienen factores comunes.

    conclusión:
    La suposición de que (sqrt{2}) es racional lleva a una contradicción.
    Por lo tanto, (sqrt{2}) es irracional.

Ejemplo: Propiedades de los números pares e impares

Probar que no existe el número impar más grande.

    Proposición: No existe el número impar más grande.

    Evidencia indirecta:
    1. Supongamos que existe un número impar más grande, llamémoslo (n).
    2. Entonces (n) es el número impar más grande.
    3. Considere el número (n + 2). Este también es un número impar.
    4. (n + 2 > n); Entonces (n) no es el número impar más grande. (Contradicción)

    conclusión:
    La noción de que hay un número impar más grande lleva a una paradoja.
    Por lo tanto, no hay un número impar más grande.

Ventajas del uso de evidencia indirecta

La evidencia indirecta puede ser bastante útil por varias razones:

  • Esto simplifica el proceso de demostrar un enunciado, cuando la evidencia directa puede ser compleja o no inmediatamente aparente.
  • Ayuda a reforzar las habilidades básicas de razonamiento lógico, como reconocer contradicciones y usar suposiciones para explorar posibilidades.
  • Algunos enunciados matemáticos son más fáciles de probar indirectamente que directamente, convirtiendo las pruebas indirectas en una herramienta valiosa para los matemáticos.

Limitaciones y desafíos

Aunque la evidencia indirecta es un método poderoso, tiene sus propios desafíos:

  • Este enfoque puede no parecer intuitivo a primera vista, ya que implica probar lo contrario de lo que se quiere mostrar.
  • Encontrar la paradoja correcta puede ser a veces un desafío, requiriendo una comprensión profunda del problema.
  • Un estudiante puede suponer inadvertidamente lo que está tratando de probar en su prueba, resultando en un razonamiento circular.

Conclusión

La prueba indirecta, o prueba por contradicción, es una técnica fundamental en lógica matemática y razonamiento. Permite a los matemáticos establecer la verdad de muchos tipos de enunciados explorando las implicaciones de sus opuestos. Comprender y dominar esta técnica puede enriquecer el conjunto de herramientas matemáticas de un estudiante, llevando a una comprensión más profunda y a la capacidad de abordar problemas complejos.

Los ejemplos dados aquí dejan claro que la prueba indirecta no es solo un concepto abstracto, sino una herramienta viva y activa que revela el poder y la belleza de la inferencia lógica. A medida que continúes tu viaje matemático, la habilidad de utilizar hábilmente la prueba indirecta seguramente abrirá la puerta a nuevos niveles de comprensión e intuición.


Grado 11 → 8.2.2


U
username
0%
completado en Grado 11

← Anterior (8.2.1)
Evidencia directa
Siguiente (8.2.3) →
Entendiendo la prueba por contradicción

Comentarios 



Evidencia indirecta

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