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

o sea. cuando quieres probar que A implica B . 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. la B. la demostración indirecta. Cuando veamos las características de cada uno de estos métodos. entonces es isósceles. la hipótesis. o sea. podremos ver con cierta claridad cuándo es uno de ellos preferible a los otros. la tesis. Consideremos el siguiente ejemplo: Proposición: Si el triángulo rectángulo XYZ de catetos x e y e hipotenusa z tiene de z2 . es A y todo lo que tienes que probar que es cierto. todo lo que está entre las palabras si y entonces constituye la proposición A.Demostración matemática. 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. Empecemos estudiando conjuntamente los dos primeros: demostración directa y demostración indirecta. á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 . El método de demostración indirecta 2 . y todo lo que está después de entonces . puedes suponer que A es verdadera y usar de alguna forma esta información par a concluir que B es verdadera. es B. Por lo general. Otra forma de reconocerlo: todo lo que supones que es cierto. 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 ». la demostración por contraposición y la demostración por reducción al absurdo. lo primero que tienes que hacer es reconocer quién es la proposición A y quién es B.

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

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

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

que factorizándola da A5: (x  y)2 ! 0. Por ejemplo. aparecería algo así como Demostración. en este caso. de donde (x  y)2 ! 0 y el triángulo es isósceles como queríamos probar.Continuando con el método de demostración directa. en nuestro caso. normalmente mezclamos los dos métodos vistos. suelen aparecer versiones mucho más condensadas. Como ves. 6 . no es normal escribir todos estos pasos en una demostración. 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. B1 : x ! y B: XYZ es isósceles Como te habrás dado cuenta. debes intentar volver a escribir A3 para que se parezca más a B2. La hipótesis. junto al teorema de Pitágoras. Por ejemplo A4: x2  2xy  y2 ! 0. sería demo strando que el cuadrado de su diferencia es cero. 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? . que. nos lleva a x2  y2 ! 2xy.

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

porque no hay normas específicas. varias preguntas: 1. el método más normal para llegar a una contradi cción es trabajar conjuntamente. y suerte para llegar a esa contradicción... la más difícil de responder. la proposición no B te da alguna información útil. ¿Por qué y cuándo debemos utilizar este método en lugar del de demostración directa-indirecta? La primera pregunta es. persistencia . esfuerzo. 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. Como regla general. 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. de forma natural. Puesto que un entero solamente puede ser par o impar. hay normalmente que tener creatividad. en el método de reducción al absurdo supones que tanto A como no B son verdaderas. Aquí. Como contrapartida no ti enes una idea exacta de cómo va a surgir la contradicción. Así pues. 8 .¿Y qué significa ver por qué no puede ocurrir esto ? Supón. partiendo de que A y no B son verdaderas. ¿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. debe ocurrir que n es un entero impar. tienes dos proposiciones para empezar a andar en vez de una sólo. en una demostración por reducción al absurdo. ¿No te convencería eso de la imposibilidad de ser A verdadera y B falsa simultáneamente? Así pues. 2. 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. 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. Una vez llegados aquí surgen. por ejemplo. Cada problema origina su propia contradicción. cuando supones que B no es verdadera. supones únicamente que A es verdadera. con mucho. 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 . mediante demostración directa. Respecto de la segunda pregunta.

que no hubiera n ingún par de personas con el mismo cumpleaños e intenta llegar tú solo a una contradicción. 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. El método por reducción al absurdo abre ahora un nuevo enfoque. Es un gambito mucho más hermoso que cualquiera de los que pueda ofrecernos el juego del ajedrez. pero un matemático sacrifica la partida completa . Con el método de construcción tenemos la dificultad de tener que construir el objeto buscado. que tanto complacía a Euclides. tendrías que ir a la fiesta y encontrar las dos personas en cuestión. ¿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. 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. 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. es una de las armas más finas que puede emplear un matemático. suponiendo no B. por demostración directa. decía que el método de reducción al absurdo.En general. sabes que ocurre la otra alternativa. en tanto que. entonces r no es racional. 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. Supón. La dificultad de este método es que no sabes a qué contradicción te 9 . intentas alcanzar algún tipo de contradicción. Considera el siguiente ejemplo: Supón que quieres demostrar que en una fiesta con 367 personas. Un jugador de ajedrez puede sacrificar un peón o incluso una pieza. partes de las proposiciones A y no B y. el método de demostración por reducción al absurdo puede ser útil. el inglés G. La demostración por contraposición Acabamos de ver que en el método de demostración por reducción al absurdo. Hardy.H. Si usas el método de con strucción. Uno de los matemáticos más importantes de este siglo. al menos hay dos con el mismo cumpleaños. En lugar de demostrar que existe un objeto con la propiedad de que tal cosa ocurre. por el contrario. cuando la proposición B es una de dos posibles alternativas (como ocurre en nuestro ejemplo).

supones que tanto A como no B son verdaderas.vas a dirigir. 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. sino que empiezas a trabajar solamente con no B y tu objetivo es llegar a que A es falsa. en lugar de dos.. a no A. no B. razones aparentes para preferir uno a otro. sin embargo. El método que veremos ahora. por tanto. 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. al menos. Hemos dicho que la demostración por contraposición es un cierto tipo de demostración por reducción al absurdo. en principio.. considerarse seriamente. entonces la función f (x) ! mx  b es inyectiva. B 10 . Hay. Para terminar. En la demostración por contraposición. he aquí un cuadro que resume los tres métodos: Método Demostración directaindirecta Supongo directa Concluyo Indirecta A . pues. en estos casos. 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. Son aquellos en los que en la proposición B aparece la palabra no. algunos casos en los que el método de contraposición o el de por reducción al absurdo deberían elegirse o. con lo que puedes aplicar el método de demostración indirecta a la proposición no A. En el método por contrap osición. es bastante normal que la proposición no B contenga alguna información útil. La ventaja es que sabes exactamente a donde quieres llegar. Cada uno de estos dos métodos tiene sus ventajas y sus inconvenientes. 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. no hay. (Recuerda que una función es inyectiva si para cualesquiera n os reales x e y con x { y es f (x) { f (y)). al igual que la demostración por reducción al absurdo. no partes de A y no B. tiene la ventaja de que te vas a dirigir hacia una contradicción concreta. sin embargo. la demostración por contraposición.

Se utilizó un método de descenso infin ito para demostrar que el raíz de 2 es irracional. Los matemáticos utilizan a menudo el término "demostración por inducción " como abreviatura para demostración por inducción matemática...[4] A pesar de esto. Ento nces P( ') es cierto para todos los números naturales '. El número de casos puede ser a veces muy grande. El principio de inducción matemática dice que: Sea ' = { 1.. o demostración por ejemplo consiste al construir un ejemplo concreto con la propiedad que demuestra que existe algo con una propi edad determinada. demostró la existencia de los números trascendentes construyendo un ejemplo explícito. . y entonces la "regla de inducción" se utiliza para probar una serie de otro casos (a menudo infinitos casos). Demostración por construcción La demostración por construcción.. No se tiene que confundir con la 11 . La demostración hecha de este teorema hasta la actualidad que tiene menos casos todavía tiene más de 600. Un subconjunto de inducción es un método de descenso infinito. Por ejemplo. 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 . ie. Demostración por exhaustió En una demostración por exhaustió. P( ') es cierto por ' = 1 (ii) P(me ' + 1) es cierto si P(me ') es cierto.. Por ejemplo. Cómo que se ha demostrado que el caso inicial es cierto. 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.. utilizando métodos probabilísticos. P(me ') es cierto implica que P(me ' + 1) es cierto. 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". Demostración probabilística Una demostración probabilística es una en la que se demuestra que existe un ejemplo. 3. Joseph Liouville. con seguridad. la primera demostración del teorema de los cuatro colores se hizo por exhaustió con 1936 casos.Reducción al absurdo Contraposición A y no B no B directa directa . . aunque todos no se puedan demostrar directamente puesto que son un núm ero infinito. 2. 4. antes que nada se tiene que demostrar que un "caso inicial " es cierto. ie. 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. } 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. y contradicción Indirecta no A Demostración por inducción matemática En una demostración por inducción matemática. el resto de infinitos otros casos también tienen que ser ciertos.

Este término se utiliza en la teoría de números para referirse a demostraciones que no utilizan análisis complejo. una demostración visual de un teor ema matemático toma a veces el nombre de "demostración sin palabras". Demostración elemental Una demostración elemental es una demostración en la que se utilizan únicamente técnicas básicas. En un demostración constructiva se demuestra que este objeto existe dando un método para encontrarlo. 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. Este último tipo de razonamie nto se puede denominar 'argumento plausible' y no es una prueba. por lo tanto escribimos y .afirmación que un teorema es 'probablemente' cierto. "Algún X satisface f(X)"). entonces. 5) cómo en el Chou Pei Suan Ching 500 200 BC. es una de las muchas maneras de demostrar teoremas de existencia. La demostración probabilística. Durante tiempo se creía que algunos teoremas como el teorema de números primos sólo se podían demostrar utilizando 12 .g. sin explicar como se puede encontrar este objeto. Normalmente se utiliza una biyección para demostrar que las dos interpretaciones dan el mismo r esultado. Esto da . ya hemos acabado (tomamos ). 4. A pesar de que no es una demostración formal. o es irr acional. que es por lo tanto un número raciona l de la forma ab. en el caso de la co njetura de Collatz está clara la diferencia entre este tipo de demostraciones y una demostración auténtica. 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. 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. Demostración visual Demostración visual al triángulo (3.4. 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. Demostración no-constructiva Una Demostración no-constructiva establece que un determinado objeto matemático tiene que existir (e.5). como las demostraciones por construcción.

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. 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.[4].matemáticas "de alto nivel".wikilingue.[7][8][9] Se utiliza menos frecuentemente para referirse a una demostración matemática en la rama de estadística matemática.com/ca/Demostraci%C3%B3n_matem%C3%A1tica 13 . Con el tiempo. las series caóticas y la teoría de números probabilística o analítica. A la práctica. Ved también la sección "Demostración estadística utilizando datos" más adelante. Webgrafia: * http://es. en principio. y desarrollando múltiples y diferen tes programas. 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).[6] La demostración se escribe como una serie de líneas en dos columnas. muchos de estos resultados se han demo strado utilizando sólo técnicas elementales.[1] Pero hoy en día. A cada línea. Demostraciones asistidas por ordenador Hasta el siglo XX se creía que toda demostración podía ser. o bien un axioma. la columna de la izquierda contiene una proposición. o bien una hipótesis. la primera demostración del teorema de los cuatro colores es un ejemplo de u na demostración asistida por ordenador. 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. Estos posibles problemas pondrían en cuestión la validez de es ta demostración asistida por ordenador. Un ejemplo es el postulado de las paralelas. mientras que la columna de la derecha contiene la explicación de si esta proposición es. 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. o bien puede ser obtenida a partir de las líneas anteriores. 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). el sistema estándar de la teoría de los conjuntos en matemáticas (suponiendo que ZFC es consistente). así como aproximaciones independientes. ved lista de las proposiciones indecidibles a ZFC. comprobada por cualquier matemático competente para confirmar su validez. 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. que no se puede ni probar ni refutar a partir de los axiomas de la geometría euclídea.

Sign up to vote on this title
UsefulNot useful