Demostración inválida


Demostración inválida

Demostración inválida

En matemáticas, hay múltiples demostraciones matemáticas de contradicciones obvias. A pesar de que las demostraciones son erróneas, los errores son sutiles, y la mayor parte de las veces, intencionados. Estas falacias se consideran normalmente meras curiosidades, pero pueden ser usadas para ilustrar la importancia del rigor en esta área.

La mayoría de estas demostraciones dependen de variantes del mismo error. El error consisten en usar una función f que no es biyectiva, para observar que f(x) = f(y) para ciertas x e y, concluyendo (erróneamente) que por tanto x = y. La división por cero es un caso particular: la función f es xx × 0, y el paso erróneo es comenzar con x × 0 = y × 0 y con ello concluir que x = y.

Contenido

Ejemplos

Demostración de que 1 equivale a −1

Comenzamos con

 -1 = -1\

Ahora, los convertimos en fracciones

\frac{1}{-1} = \frac{-1}{1}

Aplicando la raíz cuadrada en ambos lados obtenemos

\sqrt{\frac{1}{-1}} = \sqrt{\frac{-1}{1}}

Que equivale a

\frac{\sqrt{1}}{\sqrt{-1}} = \frac{\sqrt{-1}}{\sqrt{1}}

Pero ya que i = \sqrt{-1} (ver número imaginario), podemos sustituirlo, obteniendo

\frac{1}{i} = \frac{i}{1}

Reordenando la ecuación para eliminar las fracciones, obtenemos

1^2 = i^2\

Y ya que i2 = − 1 tenemos como resultado

1 = -1\

Q.E.D.

Esta demostración no es válida, ya que aplica mal el siguiente principio de las raíces cuadradas:

\sqrt{\frac{x}{y}} = \frac{\sqrt{x}}{\sqrt{y}}

Este principio sólo es correcto cuando tanto x como y son números positivos. En la "demostración" anterior, una de estas dos variables es un número negativo, lo que invalida toda la demostración.

Demostración de que 1 es menor que 0

Supongamos que

x < 1

Ahora tomamos el logaritmo en ambos lados de la desigualdad. Podemos hacerlo siempre que x > 0, porque los logaritmos crecen monótonamente. Si tenemos en cuenta que el logaritmo de 1 es 0, obtendremos

lnx < 0

Dividir por ln x da como resultado

1 < 0

Q.E.D.

El error se encuentra en el último paso, la división. Este paso es erróneo porque el número por el que estamos dividiendo es negativo, lo que a su vez es porque el argumento del logaritmo es menor que 1, por nuestra suposición original. Una multiplicación o división por un número negativo invierte el símbolo de desigualdad. En otras palabras, deberíamos obtener 1 > 0, lo que es, por cierto, correcto.

(Véase la demostración correcta en "Demostración matemática)".

Demostración de que 2 equivale a 1

Sean a y b dos cantidades iguales. Se sigue que:

a = b
= ab
a² - b² = ab - b²
(a - b)(a + b) = b(a - b)
a + b = b
b + b = b
2b = b
2 = 1

Q.E.D.

La falacia se encuentra en la línea 5: el paso de la línea 4 a la 5 implica una división por a-b, que es cero ya que a equivale a b (por la suposición). Como la división por cero no está definida, la demostración no es válida."

La otra falacia es que también se demostraría que a = 0, pues si: a + b = b => a = b - b => a = 0

Otra demostración de que 2 equivale a 1

  • Por definición de la multiplicación, se tiene que, para x ≠ 0,
    x = 1 + 1 + ... + 1 (x términos)
  • Multiplicando ambos lados por x,
    x2 = x + x + ... + x (x términos)
  • Derivando con respecto a x,
    2x = 1 + 1 + ... + 1 (x términos)
  • Ahora bien, volviendo a la primera línea, se ve que el lado derecho de esa igualdad es x, y por lo tanto,
    2x = x
  • Dividiendo ambos lados por x (lo cual es posible, pues x ≠ 0), se tiene
    2 = 1

Q.E.D.

El error: en la primera línea de la supuesta demostración se asumió que x era entero; dicha expresión no tiene sentido para números no enteros. Por otro lado, para derivar funciones hace falta un dominio continuo como los reales, no los enteros; para cada x entero se tiene una ecuación correcta, pero para derivar ambos lados hace falta una ecuación de funciones, no de enteros, y la función x + x +... + x "con x términos" no tiene sentido en general (¿cómo se pueden tener x términos?), con lo cual no es derivable.

Demostración de que 4 equivale a 2

4 = 4

Restamos a ambos lados de la ecuación

4 - 4 = 4 - 4

En un lado factorizamos usando la "suma por su diferencia" y en el otro lado se factoriza por 2

(2 - 2) (2 + 2) = 2 (2 - 2)

Cancelamos los términos iguales a cada lado de la ecuación (2 - 2)

(2 + 2) = 2

Nos queda como resultado

4 = 2

Q.E.D.

La falacia se encuentra en el paso de la línea 3 a la 4, ya que implica una división por (2 - 2), que es cero. Como la división por cero no está definida, la demostración no es válida.

Demostración de que a equivale a b

Comenzamos con

a - b = c

Elevamos al cuadrado ambos lados

a² - 2ab + b² = c²

Como (a - b)(c) = c² = ac - bc, podemos reescribirlo como

a² - 2ab + b² = ac - bc

Si lo reordenamos, obtenemos

a² - ab - ac = ab - b² - bc

Factorizamos ambos miembros

a(a - b - c) = b(a - b - c)

Dividimos ambos miembros por (a - b -c)

a(a - b - c) = b(a - b - c)

Al final

a = b

Q.E.D.

La falacia consiste en que si a - b = c, entonces a - b - c = 0, por lo que hemos realizado una división por cero, que invalida la demostración.

Demostración de que 0 equivale a 1

Lo siguiente es una "demostración" de que 0 es igual a 1

0 = 0 + 0 + 0 +...
  = (1 − 1) + (1 − 1) + (1 − 1) +...
  = 1 + (−1 + 1) + (−1 + 1) + (−1 + 1) +... (ley asociativa)
  = 1 + 0 + 0 + 0 +...
  = 1

Q.E.D.

El error se encuentra en que la ley asociativa no se puede aplicar libremente a sumas infinitas a menos que sean absolutamente convergentes.

Véase también

Obtenido de "Demostraci%C3%B3n inv%C3%A1lida"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Demostración — Saltar a navegación, búsqueda Demostración puede referirse a: Demostración matemática Demostración automática Demostración inválida Demostración por inducción Demostración por contraposición Demostración (merchandising) Teoría de la demostración… …   Wikipedia Español

  • Epistemología de la virtud — Saltar a navegación, búsqueda Virtue epistemology, o epistemología de la virtud, es la denominación para una aproximación filosófica contemporánea que enfatiza la importancia tanto de los aspectos intelectuales (epistémicos) como éticos en el… …   Wikipedia Español

  • Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… …   Wikipedia Español

  • Lógica empírica — La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la antigua Grecia. El término empírico deriva del griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ… …   Wikipedia Español

  • Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español

  • Crisis constitucional rusa de 1993 — Saltar a navegación, búsqueda La crisis constitucional rusa de 1993 hace referencia a los hechos acaecidos en Rusia entre el 21 de septiembre y el 5 de octubre de ese año. La crisis comenzó en el día 21 de septiembre de 1993 cuando el presidente… …   Wikipedia Español

  • Explicación — Saltar a navegación, búsqueda Se entiende por explicación del latín “explicatio”: acción de desplegar o desenvolver ya sea hacer evidente la esencia de algún objeto o fenómeno de interés u ofrecer una aclaración o motivo entendible a la razón por …   Wikipedia Español

  • Relación de indeterminación de Heisenberg — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Grafología — Firma de Gabriel García Márquez. Firma de …   Wikipedia Español

  • Charles Darwin — «Darwin» redirige aquí. Para otras acepciones, véase Darwin (desambiguación). Charles Darwin …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.