Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 14 vistas

    Guia 1. Metodos de Demostracion Ok

    Cargado por

    jhon freddy cordoba palacios
    El documento describe diferentes métodos de demostración matemática como el método directo, reducción al absurdo, contrarecíproco, doble implicación, método de inducción y contraejemplos. Explica cada método con ejemplos.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd

    Guia 1. Metodos de Demostracion Ok

    Cargado por

    jhon freddy cordoba palacios
    14 vistas4 páginas
    El documento describe diferentes métodos de demostración matemática como el método directo, reducción al absurdo, contrarecíproco, doble implicación, método de inducción y contraejemplos. Explica cada método con ejemplos.

    Descripción original:

    demostración

    Título original

    GUIA 1. METODOS DE DEMOSTRACION OK

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento describe diferentes métodos de demostración matemática como el método directo, reducción al absurdo, contrarecíproco, doble implicación, método de inducción y contraejemplos. Explica cada método con ejemplos.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    14 vistas4 páginas

    Guia 1. Metodos de Demostracion Ok

    Cargado por

    jhon freddy cordoba palacios
    El documento describe diferentes métodos de demostración matemática como el método directo, reducción al absurdo, contrarecíproco, doble implicación, método de inducción y contraejemplos. Explica cada método con ejemplos.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 4

    INSTITUCION EDUCATIVA INTEGRADO CARRASQUILLA INDUSTRIAL

    AREA: MATEMATICAS ASIGANTURA: GEOMETRIA 9


    DOCENTE : MARIA ISABEL TRUQUE M
    ALUMNO:___________________________________________ GUIA No. 1

    METODOS DE DEMOSTRACION

    Según el diccionario de la Lengua Española de la Real Academia Española,


    Demostración (del latín demonstratio, -onis) es, según una de las entradas del término, “la
    prueba de algo, partiendo de verdades universales y evidentes”.

    En términos matemáticos, diremos que una demostración es una serie de pasos lógicos,
    donde cada paso se sigue de manera lógica de los anteriores, encontrándose que el
    último escalón es justamente la afirmación que se quiere probar.

    A continuación, veremos los diferentes métodos de demostración que se emplean en los


    pasos lógicos que conducen a las afirmaciones que se quieren probar. Debe destacarse
    que la validez de los resultados obtenidos siguen un estricto protocolo o control de
    calidad: partiendo de verdades ya conocidas debemos encontrar argumentos lógicos que
    nos conduzcan a la conclusión deseada.
    Definiciones, axiomas, Lemas, Proposiciones, Teoremas, Corolarios, aplicaciones.

    2. MÉTODOS DE DEMOSTRACIÓN EN MATEMÁTICAS


    • Método directo.
    • Reducción al absurdo.
    • Contrarreciproco.
    • Bicondicionales (doble implicación). Equivalencias múltiples.
    • Método de inducción.
    • Contraejemplos.

    Método directo
    En los libros de texto se suele leer: “Si A, entonces B”
    “Para que se cumpla B es suficiente que se cumpla A”
    “B es una condición necesaria para que se cumpla A”
    Se trata de demostrar que si se cumple la propiedad A, entonces se verifica B.

    En esta demostración partimos de la hipótesis que se supone o acepta como verdadera y


    a través de pasos lógicos llegamos a la tesis.

    Ejemplo 1: probar utilizando el método directo que:


    Si x es impar, entonces x2 es impar (x es un entero)

    Hipótesis: x es impar
    Tesis: X2 es impar
    Recursos: todo número impar es de la forma 2a+1, donde a es un entero.
    Demostración.
    (1) X = 2a +1 por definición de número impar
    (2) X2 = (2a+1)2 propiedad de la igualdad
    (3) X2 = 4 a2 + 4 a+1 Binomio al cuadrado
    (4) x 2=2 ( 2 a2 +2 a ) +1 Factorización
    (5) 2
    x =2 b+1 hacemos ( 2 a2 +2 a )=b , donde b es otro entero
    (6) 2
    x es impar por definición de número impar (x 2=2 b+1)

    Ejemplo 2: Probar que, si dos ángulos son opuestos por el vértice, entonces son
    congruentes.
    Hipótesis: dos ángulos son opuestos por el vértice.
    Tesis: son congruentes.
    Recursos:
    a.- Ángulos congruentes son los que tienen la misma medida.
    b. Ángulos opuestos por el vértice so n aquellos en los cuales los lados del uno son
    semirrectas opuestas de los lados del otro.
    c.- Ley transitiva de la igualdad.
    d.- gráfico.

    c a

    Demostración
    m∢a+m∢b=180° definición de ángulo llano
    m∢b+m∢c=180° definición de ángulo llano
    m∢a+m∢b=m∢b+m∢c ley transitiva
    m∢a=m∢c ley cancelativa
    ∢a≌∢c definición de ángulos congruentes

    Reducción al absurdo
    Para probar que una propiedad A es verdadera, se supone que A es falsa y se llega a una
    contradicción. Evidentemente, empleamos el hecho de que una proposición en
    Matemáticas o es verdadera o es falsa, pero no ambas cosas a la vez.
    Ejemplos:
    i) Probar que √2 es un número real irracional.
    ii) Demostrar que hay infinitos números primos (Euclides).

    Contra recíproco
    Este mecanismo de demostración se basa en el hecho de que la implicación A B es
    equivalentemente lógica a NO B NO A. Este mecanismo es aconsejable cuando no
    sabemos cómo trabajar a partir de la hipótesis A y, en cambio, la negación de B
    proporciona un buen punto de partida. No se debe confundir el contra reciproco con el
    mecanismo de reducción al absurdo.
    Ejemplos:
    i) Si n2 es un número natural par, entonces n es par.
    ii) Sean x, y números reales. Si x2+y2=0, entonces x=0 e y=0.
    Doble implicación
    El recíproco de la implicación A → B es B → A. Obviamente si se cumple una implicación
    no tiene por qué cumplirse necesariamente la otra. Por ejemplo, si A representa a la
    propiedad de que un número natural es múltiplo de 6 y B a la de ser múltiplo de 3,
    tenemos que A → B pero su reciproco es cierto (.sabría demostrarlo?).
    Cuando se tiene que tanto la implicación A → B como su reciproco B → A son ciertas,
    decimos que A B NO B NO A las condiciones A y B son equivalentes y empleamos el
    signo de la doble implicación.
    En los textos aparece desarrollada esta doble implicación en sentencias del tipo:
    “Probar que A y B son equivalentes”
    “Probar que se cumple A si, y solo si, se cumple B”
    “Una condición necesaria y suficiente para que se dé A es que se verifique B”

    Ejemplos:
    i) Dados dos números reales x,y se cumple que x2+y2=0 si, y solo si, x=0 e y=0.
    ii) Dados dos enteros n, m se cumple que n∙m es par si, y solo si, n es par o m es par.
    iii) Para que un paralelogramo sea un rectángulo es condición necesaria y suficiente que
    sus diagonales tengan la misma longitud.

    Método de inducción
    Sea P(n) una propiedad relacionada con el numero natural n.
    – Se demuestra que P(1) es cierta.
    – Se prueba que si P(k) es cierta, entonces P(k+1) también lo es.
    En ese caso, la propiedad P(n) es válida para cualquier n Є N.
    Ejemplo:
    Probar por inducción que la suma de los n primeros enteros positivos es igual a n(n+1)/2:
    1 + 2 + 3 + … + n =n(n+1)/2
    En este caso, P(n)=la suma de los n primeros enteros positivos es n(n+1)/2
    La propiedad es cierta para n=1: P(1)=1=1(2)/2=1
    Es conveniente ver que también es cierta para algunos valores mas
    P(2)=1+2=3=2(3)/2; P(3)=1+2+3=6=3(4)/2.

    Contraejemplos
    A veces, la validez de una propiedad se refuta dando un ejemplo en el que no se cumple
    dicha propiedad: habremos probado entonces que, en general, la propiedad en cuestión
    es falsa. A dichos ejemplos que echan abajo la validez de la propiedad se les conoce con
    el nombre de contraejemplos.

    Ejercicios:
    i) Es cierto que para cada entero positivo n se cumple que f(n)=n2-n+17 es un numero
    primo?
    ii) Leibniz probo que para cualquier entero positivo n se cumple
    → n3-n es multiplo de 3
    → n5- n es multiplo de 5
    → n7-n es multiplo de 7
    A la vista de esos resultados, .podemos concluir que, en general, nk -n es divisible
    por k.
    COMENTARIOS
    A. Sobre cómo abordar el enfrentarse a una demostración. Se deben entender todas
    las hipótesis así como el resultado al que se quiere llegar; es muy importante
    conocer el marco en el que estamos trabajando.
    Una vez que entiendas bien de donde partes y a dónde quieres llegar, utiliza
    cualquiera de los mecanismos que has visto en la sección anterior. Y no olvides
    tener en cuenta los conocimientos previos de cada uno de los temas en que te
    estés desenvolviendo.

    También podría gustarte