¿Puedes probar 2 = 1?

Se cree ampliamente y extremadamente firmemente que no es posible probar la afirmación 2 = 1 (siempre que estemos de acuerdo con las interpretaciones comunes de los símbolos “2” y “=” y “1”) dentro de las bases comúnmente utilizadas de las matemáticas (por lo general, Zermelo-Frenkel establece la teoría junto con el Axioma de Elección).

Más desenvuelto, “1 = 2” sería el enunciado teórico del conjunto

(X) “Existe una función biyectiva entre los conjuntos {{}} y {{}, {{}}}”

Es bastante fácil demostrar la negación de (X) en la teoría de conjuntos de Zermelo-Frenkel,

(-X) “No existe una función biyectiva entre {{}} y {{}, {{}}}”.

Por lo tanto, si a alguien se le ocurrió una prueba válida de la declaración X, podría considerarse el final del mundo matemático tal como lo conocemos. En otras palabras, en tal caso puedes estar bastante seguro de que la prueba de la declaración X contiene un error (como multiplicar ambos lados por cero y pretender que este paso es una equivalencia)

Aquí hay una prueba. (Pero tiene un error que no es muy difícil de encontrar)

Deje x = y

Entonces x * x = y * x ————— (multiplique ambos lados por x)

x ^ 2 = xy ———————— (Ecuación simplificada)

x ^ 2 – y ^ 2 = xy – y ^ 2 ——— (y ^ 2 Restado de ambos lados)

(x – y) (x + y) = y (x – y) – (El lado izquierdo es una fórmula matemática simple

– – – – – – – – – – – – – – (Desde el lado derecho tome y como común)

x + y = y ——————— (Dividiendo ambos lados por (xy))

y + y = y ——————— (Dado que x = y, reemplace x por y en la ecuación)

2 y = y ———————— (Matemáticas simples)

2 = 1 ————————— (Divide ambos lados entre y)

Por lo tanto demostrado.

Si estuviera dispuesto a romper las reglas y hacer algo encubierto como escabullirse en un paso que se divide por cero, sí, podría probar casi cualquier cosa. Pero cuál sería el punto?

También podrías decir “1 = 2 porque yo lo digo, ahora, siéntate y cállate)”. ¿Eso lo haría realidad? No lo creo.

Desde un punto de vista más filosófico … Dos personas son “Una pareja”, o “Una pareja”, que es, para todos los efectos, un elemento, como lo demuestra el artículo indefinido “A”.