P. 1
Demostración matemática

Demostración matemática

|Views: 984|Likes:
Publicado porMarllory Cobos

More info:

Published by: Marllory Cobos on Jan 08, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

05/28/2013

pdf

text

original

ESCUELA SUPERIOR POLITECNICA DE CHIMBORAZO FACULTAD DE INGENIERÍA ELECTRÓNICA ESCUELA DE INGENIERÍA ELÉCTRONICA EN TELECOMUNICACIONES Y REDES NOMBRE: Marllory Corina

Cobos Maldonado CODIGO: 318 NIVEL: PRIMERO PARALELO: A

TEMA: Métodos Demostración matemática
1

Otra forma de reconocerlo: todo lo que supones que es cierto. la demostración por contraposición y la demostración por reducción al absurdo. puedes suponer que A es verdadera y usar de alguna forma esta información par a concluir que B es verdadera. Consideremos el siguiente ejemplo: Proposición: Si el triángulo rectángulo XYZ de catetos x e y e hipotenusa z tiene de z2 . Los métodos de demostración directa e indirecta X y Z x z Y Cuando quieres probar que la proposición Si A entonces B es verdadera. cuando quieres probar que A implica B . o sea.Demostración matemática. entonces es isósceles. la tesis. 4 Si recuerdas los ejercicios que has hecho en el capítulo 1 en el apartado «Algo sobre la proposición Si A entonces B ». y todo lo que está después de entonces . es A y todo lo que tienes que probar que es cierto. Cuando veamos las características de cada uno de estos métodos. todo lo que está entre las palabras si y entonces constituye la proposición A. la hipótesis. El propósito de este capítulo es describir y ejercitarse en algunas de las técnicas de demostración más importantes: la demostración directa. lo primero que tienes que hacer es reconocer quién es la proposición A y quién es B. Por lo general. es B. podremos ver con cierta claridad cuándo es uno de ellos preferible a los otros. Empecemos estudiando conjuntamente los dos primeros: demostración directa y demostración indirecta. o sea. El método de demostración indirecta 2 . la B. área 4 En este ejemplo tenemos las proposiciones A El triángulo rectángulo XYZ de catetos z2 x e y e hipotenusa z tiene de área y B El triángulo rectángulo XYZ es isósceles . la demostración indirecta.

debo concluir que la proposición B es verdadera? Esta pregunta debes hacerla de forma general. la llamaremos en lo que sigue la pregunta clave. Una pregunta clave bien planteada no debería contener ni símbolos ni otras n otaciones (salvo números) del problema que se está considerando. Luego. Una vez que has planteado la proposición B1. has construido una nueva proposición. entonces B lo será. Otra. sería ¿cómo puedo probar que dos núm eros reales son iguales? Al fin y al cabo. la pregunta (general) es: ¿Cómo puedo probar que un triángulo es isósceles? Esta pregunta. Volviendo al ejemplo anterior. tu paso siguiente en este método será responderla. debes empezar preguntándote: ¿Cómo. una forma es probando que dos de sus lados tienen la misma longitud. pongamos por caso. x e y son números reales. Una vez que has planteado la pregunta clave. entonces el triángulo XYZ es isósceles. es verdadera. B1. habrá solamente una pregunta clave obvia. En el ejemplo anterior. igualmente razonable. La llave para muchas demostraciones es formular correctamente la tal pregunta clave. Una de las dificultades que pueden surgir en el método de demostración indirecta es la posibilidad de más de una pregunta clave en algún paso. Con el método de demostración indirecta. Observa que en la respuesta a la pregunta clave hay dos fases: en primer lugar. o cuándo. ¿cómo puedo probar que un triángulo es isósceles? Obviamente. En nuestro ejemplo. una pregunta clave raz onable podría ser ¿cómo puedo probar que las longitudes de dos lados de un triángulo son iguales? . aplicas esta respuesta a la situación en cuestión: demostrar que dos de sus lados tienen igual long itud. Considerando nuestra figura. todos tus esfuerzos deberían dirigirse a intentar llegar a la conclusión de que B1 es verdadera. Elegir la correcta tiene más de arte que de ciencia. que tiene la propiedad de que si puedes demostrar que B1. Si puedes probar que x ! y. la nueva proposición es B1: x ! y.En el método de demostración indirecta. deberías probar que x ! y. obtenida de la proposición B. en 3 . pues entonces seguiría que B es verdadera. das una respuesta general que no contiene símbolos del problema planteado: demostrar que un triángulo es isósceles. significa demostrar que x ! y (no que x ! z ó y ! z). En algunos casos. es demostrar que dos de sus lados tienen igual longitud. ¿Cómo puedes demostrar que B1 es verdadera? ¿Cómo puedes plantear una nueva pregunta clave para B1? Puesto que x e y son longitudes de dos lados de un triángulo.

Has vuelto. la nueva proposición B2 es B2: x  y ! 0. Por otra parte. puedes incluso elegir una respuesta que impida c ompletar la demostración. de momento. x e y) son iguales . En nuestro triángulo significaría probar que los án gulos X e Y son iguales. también B. Todos tus esfuerzos deben ahora dirigirse a llegar a la conclusión de que B2 es verdadera. a construir una nueva proposición B2 con la propiedad de que si puedes probar que B2 es verdadera. continuemos una vez más con el método de demostración indirecta aplicado a B2. podrías demostrar que dos lados de un triángulo tienen igual longitud. ¿Puedes hacer esto para las dos preguntas clave que supuestamente has planteado para B1? Para la primera. que eliges la respuesta de probar que su di ferencia es cero. Una norma gen eral. Al margen de la pregunta clave que finalmente plantees. por tanto. en el método de demostración indirecta.. probando que los ángulos opuestos son iguales. por razones que seguro ya estás viendo. debemos elegir la otra pregunta clave. primero en general y luego aplicada a la situación en cuestión. 4 . el siguiente paso será responderla. pues uno de sus ángulos es recto. Ahora estás ya frente a la pregunta ¿Cómo puedo probar que dos números reales (a saber. para la pregunta clave ¿Cómo puedo demostrar que un triángulo es isósceles? estaría la respuesta Demostrando que es equilátero . Desafo rtunadamente hay otra respuesta perfectamente razonable: demostrar que el primer número es menor o igual que el segundo y que el segundo es menor o igual que el primero. elegir bien la pregunta clave pero puede haber más de una respuesta para ella. Aquí es donde tu intuición. Concretamente.otros casos. es imposible demostrar que el triángulo de nuestro ejemplo es equilátero. Deberás. Un rápido examen de la proposición A nos hace ver que no aporta mucha información sobre los ángulos del triángulo XYZ. hacer uso de la información de A pero. esfuerzo. surge una segunda dificultad en el método de demostración indir ecta: puedes. Volviendo a la pregunta clave asociada a B1 ¿Cómo puedo demostrar que dos números reales (a saber. x e y) son iguales? Una respuesta es probar que su diferencia es cero. Como puedes observar. Por ejemplo. Así pues. supón. creatividad. es dejar que la información que encierra A (que estás suponiendo cierta) te ayude a elegir la tal pregunta. incluso. pueden jugar un papel importante. etc. Así pues. tus diagramas. así lo será B1 y. deberás proceder por ensayo y error. en último lugar.

! 2 4 Uno de los problemas de este método es que es también posible construir algunas A3: proposiciones carentes de utilidad. Es ahora el momento de hacer uso de ello. Así. Un nuevo problema surge en el método de demostración indirecta: ¡La pregunta clave aparentemente no tiene respuesta! No hay que desanimarse. tengamos pr esente que. parece que no hay una respue sta razonable a esta pregunta. en nuestro caso. en nuestro caso. deben estar enfocadas hacia la última prop osición obtenida en el método indirecto. 4 Como bien sabes.Una pregunta clave asociada a B2 sería: ¿Cómo puedo probar que la diferencia de dos números reales es cero? Después de alguna reflexión. que supones verdadera. Es importante resaltar que las proposiciones deducidas de A no deben ser hechas de cualquier modo. que fue la última que dedujimos en el método de demo stración indirecta. El triángulo rectángulo XYZ de catetos de longiz2 tud x e y e hipotenusa de longitud z. El método de demostración directa El método de demostración directa parte de la proposición A. por ejemplo: El ángulo X es menor de 90º . 5 . Naturalmente que podemos combinar A1 y A2 y construir más proposiciones verdaderas. no todo está perdido. el método de demo stración directa está dirigido a probar la proposición B2: x  y ! 0. de A deducimos xy z 2 A1: ! 2 4 Otra proposición útil deducida de A es A2: x2  y2 ! z2. debes suponer que A es verdadera. tendríamos En este ejemplo. El hecho de que B2 no contenga el número z es la razón por la que hemos eliminado z2 de A1 y A2 para construir A3. tiene por área . Recuerda que cuando quieres probar A implica B . recordemos que la última proposición obtenida en el método indirecto era B2 : x  y ! 0. la proposición A es xy x 2  y 2 . Volviendo a nuestro ejemplo. y deducir de ella una nueva proposición A1 que puedas ver que es verdadera como resultado de que A lo es. Como no hay normas específicas para construir nuevas proposiciones.

nos lleva a x2  y2 ! 2xy. Es interesante hacer notar que el método de demostración directa nos ha dado una respuesta a la pregunta clave que habíamos asociado con B2: ¿Cómo puedo demostrar que la diferencia de dos números reales es cero? . B1 : x ! y B: XYZ es isósceles Como te habrás dado cuenta. Por ejemplo. Como ves. suelen aparecer versiones mucho más condensadas. que. de donde (x  y)2 ! 0 y el triángulo es isósceles como queríamos probar. en este caso. junto al teorema de Pitágoras. debes intentar volver a escribir A3 para que se parezca más a B2. sería demo strando que el cuadrado de su diferencia es cero. La hipótesis. en nuestro caso. aparecería algo así como Demostración. 6 .Continuando con el método de demostración directa. Por ejemplo A4: x2  2xy  y2 ! 0. Un resumen de nuestra demostración podría ser: Proposiciones z2 A: Área de XYZ es 4 A1: Justificaciones Dado Área ! base ™ altura 2 xy z 2 ! 2 4 A2: x2  y2 ! z2 A3: Teorema de Pitágoras De A2 y A1 De A3 Factorizando A4 De A5 De B2 De B1 xy x 2  y 2 ! 2 4 A4: x2  2xy  y2 ! 0 A5: (x  y)2 ! 0 B2: x  y ! 0. no es normal escribir todos estos pasos en una demostración. que factorizándola da A5: (x  y)2 ! 0. normalmente mezclamos los dos métodos vistos.

La aparición del cuantificador existe sugiere proceder mediante un método de construcción. si B tiene que ser verdadera. sin embargo. tal que n2 ! 2m. junto con unas indicaciones de cuándo y cómo debe utilizarse. la idea de la demostración por reducción al absurdo es suponer que A es verdadera y B falsa y ver que no puede ocurrir esto. para llegar a la conclusión buscada. demostración directa-indirecta. Por ejemplo: Proposición: Si n es un entero positivo y n2 es par. de forma que usaremos el método directo de demostración para intentar construir el entero buscado k. podemos afirmar A1: Existe un entero. existen casos muy simples donde fracasa estrepitosamente. empezamos con la pregunta clave: ¿Cómo puedo demostrar que un entero (a saber. digamos m. a saber. te va a resolver casi cualquier tipo de demostración que te aparezca. entonces n es par. debes empezar suponiendo que A es verdadera. Ahora. El objetivo del método de demostración por reducción al absurdo es. En otras palabras. Una de ellas. Si pensamos en el método de demostración indirecta. al igual que hacías en el método de demostración directa. de la hipótesis de que n2 es par. parece natural tomar la raíz cuadrada positiva de los dos términos en A1 y escribir: A2: n ! 2m y ¿cómo volver a escribir ahora 2m para que se parezca a 2k? ¡Parece que el método de demostración directa -indirecta falla aquí! Afortunadamente existen otras técnicas de demostración. n) es un número par? Una respuesta sería demostrar B1: Existe entero k tal que n ! 2k. precisamente. que B es verdadera puedes proceder haciéndote una pregunta muy simple: ¿Por qué no puede B ser falsa? Después de todo.El método de demostración por reducción al absurdo Aunque hayas creído por un momento que el método de demostración que acabas de ver. descubrir esa razón. Trabajando así. Como nuestro objetivo es encontrar el entero k para el que n ! 2k. En el método de demostración de reducción al absurdo. el método de demostración por reducción al absurdo es la que vamos ahora a ver. debe haber alguna razón por la que no pueda ser falsa. 7 .

¿Por qué y cuándo debemos utilizar este método en lugar del de demostración directa-indirecta? La primera pregunta es. supones únicamente que A es verdadera. Respecto de la segunda pregunta. Hay al menos dos casos fácilmente reconocibles en los que esto ocurre: Recuerda la proposición B asociada a nuestro ejemplo del comienzo: n es un entero par .¿Y qué significa ver por qué no puede ocurrir esto ? Supón. Una vez llegados aquí surgen. de forma natural. debe ocurrir que n es un entero impar. esfuerzo. y suerte para llegar a esa contradicción. ¿Qué contradicción debemos buscar? ¿Cómo utilizar exactamente la suposición de que A es verdadera y B falsa para llegar a esa contradicción? 3. en el método de reducción al absurdo supones que tanto A como no B son verdaderas. Puesto que un entero solamente puede ser par o impar.. mediante demostración directa. porque no hay normas específicas. varias preguntas: 1. la más difícil de responder. 8 . utiliza el método de demostración por reducción al absurdo cua ndo la proposición no B te dé alguna información útil. hay normalmente que tener creatividad. partiendo de que A y no B son verdaderas. ¿No te convencería eso de la imposibilidad de ser A verdadera y B falsa simultáneamente? Así pues. Como contrapartida no ti enes una idea exacta de cómo va a surgir la contradicción. Cada problema origina su propia contradicción. el método más normal para llegar a una contradi cción es trabajar conjuntamente. que después de suponer que A es verdadera y B falsa (en lo que sigue escribiremos no B) eres capaz de demostrar que 1 ! 0. debes suponer que A y no B son verdaderas y usar esta información para llegar a una contradicción de algo que tú estás seguro de que es verdadero.. 2. con mucho. persistencia . Aquí. tienes dos proposiciones para empezar a andar en vez de una sólo. Como regla general. en una demostración por reducción al absurdo. Así pues. Esta última observación también puede indicar la conveniencia de usar a veces el método de demostración por reducción al absurdo en lugar del de demostración directa-indirecta: mientras que en este último. la proposición no B te da alguna información útil. cuando supones que B no es verdadera. por ejemplo.

pero un matemático sacrifica la partida completa . es una de las armas más finas que puede emplear un matemático. Si usas el método de con strucción.H. ¿por qué no proceder con la suposición de que no existe tal objeto ? Nuestra tarea sería ahora usar esta información para llegar a algún tipo de contradicción. que no hubiera n ingún par de personas con el mismo cumpleaños e intenta llegar tú solo a una contradicción.En general. por el contrario. tendrías que ir a la fiesta y encontrar las dos personas en cuestión. sabes que ocurre la otra alternativa. Es un gambito mucho más hermoso que cualquiera de los que pueda ofrecernos el juego del ajedrez. decía que el método de reducción al absurdo. suponiendo no B. entonces r no es racional. por demostración directa. intentas alcanzar algún tipo de contradicción. Considera el siguiente ejemplo: Supón que quieres demostrar que en una fiesta con 367 personas. en tanto que. como se muestra en el ejemplo más clásico y más hermoso de demostración por reducción al absurdo que verás en el problema 2-28: Proposición: Si r es un número real tal que r2 ! 2. En lugar de demostrar que existe un objeto con la propiedad de que tal cosa ocurre. La dificultad de este método es que no sabes a qué contradicción te 9 . Un jugador de ajedrez puede sacrificar un peón o incluso una pieza. el inglés G. Supón. que tanto complacía a Euclides. Un segundo caso en el que el método de demostración por reducción al absurdo pu ede tener éxito es aquel en el que la proposición B contiene la palabra no. La demostración por contraposición Acabamos de ver que en el método de demostración por reducción al absurdo. El cómo y dónde va a surgir la contradicción puede no estar claro pero puede resultar mucho más fácil que construir el objeto bu scado. partes de las proposiciones A y no B y. El método por reducción al absurdo abre ahora un nuevo enfoque. Hardy. Con el método de construcción tenemos la dificultad de tener que construir el objeto buscado. el método de demostración por reducción al absurdo puede ser útil. cuando la proposición B es una de dos posibles alternativas (como ocurre en nuestro ejemplo). Uno de los matemáticos más importantes de este siglo. al menos hay dos con el mismo cumpleaños. Otros casos en los que es útil el método de demostración por reducción al absurdo son aquellos en los que la proposición B contiene el cuantificador existe.

algunos casos en los que el método de contraposición o el de por reducción al absurdo deberían elegirse o. Para terminar.. El método que veremos ahora. La ventaja es que sabes exactamente a donde quieres llegar. sin embargo. sino que empiezas a trabajar solamente con no B y tu objetivo es llegar a que A es falsa. En el método por contrap osición. con lo que puedes aplicar el método de demostración indirecta a la proposición no A. no hay. pues. en estos casos. por tanto. sin embargo. al igual que la demostración por reducción al absurdo. considerarse seriamente. (Recuerda que una función es inyectiva si para cualesquiera n os reales x e y con x { y es f (x) { f (y)). no B. en principio. La desventaja del método de demostración por contraposición frente al de reducción al absurdo consiste en que en aquél partes de una sola proposición. no partes de A y no B. con lo que ya has llegado a una contradi cción ¿Qué mejor contradicción? ¿Cómo puede ser A a la vez verdadera y falsa? Intenta demostrar por contraposición la siguiente proposición: Proposición: Si m y b son números reales con m { 0. al menos. a no A. tiene la ventaja de que te vas a dirigir hacia una contradicción concreta. es bastante normal que la proposición no B contenga alguna información útil. razones aparentes para preferir uno a otro. en lugar de dos. La opción de trabajar con demostración indirecta no es aplicable en el método por reducción al absurdo pues no sabes qué contradicción estás buscando.. Cada uno de estos dos métodos tiene sus ventajas y sus inconvenientes. he aquí un cuadro que resume los tres métodos: Método Demostración directaindirecta Supongo directa Concluyo Indirecta A . Son aquellos en los que en la proposición B aparece la palabra no. B 10 . la demostración por contraposición. Si comparas el método de demostración directa-indirecta (A implica B) con el de contraposición (no B implica no A) observarás que tienen la misma estructura y. Hemos dicho que la demostración por contraposición es un cierto tipo de demostración por reducción al absurdo. supones que tanto A como no B son verdaderas. En la demostración por contraposición. entonces la función f (x) ! mx  b es inyectiva. Hay.vas a dirigir.

P(me ') es cierto implica que P(me ' + 1) es cierto. el resto de infinitos otros casos también tienen que ser ciertos. con seguridad. Demostración probabilística Una demostración probabilística es una en la que se demuestra que existe un ejemplo. Demostración por construcción La demostración por construcción. La demostración hecha de este teorema hasta la actualidad que tiene menos casos todavía tiene más de 600. Joseph Liouville. . Demostración por transposición La demostración por transposición establece la conclusión "si p entonces q" demo strando el enunciado equivalente contrapositive "si no q entonces no p". ie. Demostración por exhaustió En una demostración por exhaustió. Esta prueba fue bastante controvertida porque la mayoría de los casos fueron comprobados por un programa de ordenador y no con lápiz y papel . 3. 4. Se utilizó un método de descenso infin ito para demostrar que el raíz de 2 es irracional. ie. Cómo que se ha demostrado que el caso inicial es cierto. } el conjunto de los núm eros naturales y P( ') una afirmación matemática en la que interviene el número natural ' perteneciente a tal que (y) P(1) es cierto. ... El principio de inducción matemática dice que: Sea ' = { 1. El número de casos puede ser a veces muy grande. utilizando métodos probabilísticos. se llega a la conclusión mediante la división de la afirmación en un número fenecido de casos y probando cada caso independienteme nte.. la primera demostración del teorema de los cuatro colores se hizo por exhaustió con 1936 casos. Por ejemplo. 2. o demostración por ejemplo consiste al construir un ejemplo concreto con la propiedad que demuestra que existe algo con una propi edad determinada. Ento nces P( ') es cierto para todos los números naturales '. Los matemáticos utilizan a menudo el término "demostración por inducción " como abreviatura para demostración por inducción matemática.. demostró la existencia de los números trascendentes construyendo un ejemplo explícito.Reducción al absurdo Contraposición A y no B no B directa directa . y contradicción Indirecta no A Demostración por inducción matemática En una demostración por inducción matemática. Por ejemplo. P( ') es cierto por ' = 1 (ii) P(me ' + 1) es cierto si P(me ') es cierto. Un subconjunto de inducción es un método de descenso infinito.. aunque todos no se puedan demostrar directamente puesto que son un núm ero infinito. y entonces la "regla de inducción" se utiliza para probar una serie de otro casos (a menudo infinitos casos). el término "demostración por inducción" también se puede utilizar en lógica para signif icar una argumentación que utiliza razonamiento inductivo.[4] A pesar de esto. No se tiene que confundir con la 11 . antes que nada se tiene que demostrar que un "caso inicial " es cierto..

Demostración no-constructiva Una Demostración no-constructiva establece que un determinado objeto matemático tiene que existir (e.g. por lo tanto escribimos y . Normalmente se utiliza una biyección para demostrar que las dos interpretaciones dan el mismo r esultado. entonces. "Algún X satisface f(X)"). Demostración combinatórica Una Demostración combinatórica establece la equivalencia de las diferentes expresiones demostrando que cuentan el mismo objeto de diferentes maneras.5). como las demostraciones por construcción.4. ya hemos acabado (tomamos ). Este último tipo de razonamie nto se puede denominar 'argumento plausible' y no es una prueba. o es irr acional.afirmación que un teorema es 'probablemente' cierto. una demostración visual de un teor ema matemático toma a veces el nombre de "demostración sin palabras". sin explicar como se puede encontrar este objeto. que es por lo tanto un número raciona l de la forma ab. Este término se utiliza en la teoría de números para referirse a demostraciones que no utilizan análisis complejo. A pesar de que no es una demostración formal. es una de las muchas maneras de demostrar teoremas de existencia. 4. Demostración visual Demostración visual al triángulo (3. Demostración elemental Una demostración elemental es una demostración en la que se utilizan únicamente técnicas básicas. en el caso de la co njetura de Collatz está clara la diferencia entre este tipo de demostraciones y una demostración auténtica. 5) cómo en el Chou Pei Suan Ching 500 200 BC. La imagen de la derecha es un ejemplo de una demostración visual histórica del teorema de Pitàg ores en el caso del triángulo (3. Durante tiempo se creía que algunos teoremas como el teorema de números primos sólo se podían demostrar utilizando 12 . En un demostración constructiva se demuestra que este objeto existe dando un método para encontrarlo. La demostración probabilística. Un ejemplo famoso de una demostración no con structiva demuestra que existen dos números irracionales a y b tal que enb es un núm ero racional: O bien es un número racional y. A menudo este tipo de demostraciones toma la forma de una demostr ación por reducción al absurdo en la que se demuestra la imposibilidad de la no existe ncia del objeto. Esto da .

muchos de estos resultados se han demo strado utilizando sólo técnicas elementales. comprobada por cualquier matemático competente para confirmar su validez. que no se puede ni probar ni refutar a partir de los axiomas de la geometría euclídea.wikilingue. Con el tiempo.matemáticas "de alto nivel". Se ha demostrado que hay muchas proposiciones que no son ni demostrables ni ref utables en la teoría de conjuntos de Zermelo-Fraenkel con el axioma de la elección (ZFC). Algunos matemáticos están preocupados por la posib ilidad de algún error en el programa de ordenador o un error en el tiempo de ejecución de los cálculos. la primera demostración del teorema de los cuatro colores es un ejemplo de u na demostración asistida por ordenador.[7][8][9] Se utiliza menos frecuentemente para referirse a una demostración matemática en la rama de estadística matemática. las posibilidades de un error que inv alidara la demostración asistida por ordenador se pueden reducir incorporando redu ndancia y auto-comprobaciones en los cálculos. la columna de la izquierda contiene una proposición.[6] La demostración se escribe como una serie de líneas en dos columnas.[1] Pero hoy en día.[4]. A cada línea.com/ca/Demostraci%C3%B3n_matem%C3%A1tica 13 . Estos posibles problemas pondrían en cuestión la validez de es ta demostración asistida por ordenador. o bien puede ser obtenida a partir de las líneas anteriores. Demostraciones estadísticas en matemáticas puras La expresión "demostración estadística" se puede utilizar técnicamente o coloquia lment en las áreas de matemáticas puras como la criptografía. Demostración a dos columnas Una forma particular de demostración utilizando dos columnas paralelas se utiliza a menudo en las clases de geometría elemental. en principio. o bien un axioma. ved lista de las proposiciones indecidibles a ZFC. así como aproximaciones independientes. Demostraciones asistidas por ordenador Hasta el siglo XX se creía que toda demostración podía ser. Un ejemplo es el postulado de las paralelas. o bien una hipótesis. Webgrafia: * http://es. el sistema estándar de la teoría de los conjuntos en matemáticas (suponiendo que ZFC es consistente). Ved también la sección "Demostración estadística utilizando datos" más adelante. Proposiciones indemostrables Una proposición de la cual no se puede demostrar ni la veracidad ni la falsetat a partir de un conjunto de axiomas se denomina indecidible (por este conjunto de axiomas). se utilizan los ordenadores tanto para demostrar teoremas como para hacer cálculos que son demasiado largos para hacer por cualquier persona o grupo de personas. las series caóticas y la teoría de números probabilística o analítica. y desarrollando múltiples y diferen tes programas. mientras que la columna de la derecha contiene la explicación de si esta proposición es. A la práctica.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->