Obviamente, esta afirmación es falsa, por lo que no puede probarla en el campo habitual de números reales (aunque el anillo cero es una opción para los pedantes)
Sin embargo, hay una “prueba” falaz, que da como resultado esto.
Dejar:
[matemáticas] a = b, ~~ a, b \ neq 0 \ tag {1} [/ matemáticas]
- ¿Cómo pueden los matemáticos descubrir [matemáticas] \ left (ab \ right) ^ {2} \ geq 0 [/ math] como el primer paso para probar [matemáticas] \ dfrac {a + b} {2} \ geq \ sqrt { ab} [/ matemáticas]?
- ¿Cuál es el teorema de Lami?
- ¿Cómo puedo probar que sinA tanA + cosA = secA?
- ¿Por qué la prueba de infinitos números primos se denomina “prueba inductiva”?
- ¿Cómo puedo probar que [matemáticas] 1+ \ frac12 + \ frac13 + \ frac14 + \ cdots + \ frac1n = \ ln n + c [/ math]?
Multiplicar por [matemáticas] a [/ matemáticas]
[matemáticas] a ^ 2 = ab \ tag {2} [/ matemáticas]
Restar [matemáticas] b ^ 2 [/ matemáticas]
[matemáticas] a ^ 2 -b ^ 2 = ab – b ^ 2 \ tag {3} [/ matemáticas]
Factorizar:
[matemáticas] (ab) (a + b) = b (ab) \ tag {4} [/ matemáticas]
Cancele [math] (ab) [/ math] desde ambos lados:
[matemáticas] a + b = b \ etiqueta {5} [/ matemáticas]
Pero sabemos [matemáticas] a = b [/ matemáticas], así que donde sea que veamos [matemáticas] a [/ matemáticas], podemos escribir [matemáticas] b [/ matemáticas]:
[matemáticas] b + b = b \ etiqueta {6} [/ matemáticas]
[matemáticas] 2b = b \ etiqueta {7} [/ matemáticas]
[matemáticas] \ en caja {2 = 1} \ etiqueta {8} [/ matemáticas]
QED
¿Dónde se arrastra el error?
Todo hasta la ecuación 4 está absolutamente bien, pero en esa línea nos dividimos entre [matemática] (ab) [/ matemática] – o hacemos una inferencia que si [matemática] x \ veces a = y \ veces a \ to x = y [/ math], si lo prefieres.
Sin embargo, sabemos que [matemáticas] a = b. [/ Matemáticas]
Por lo tanto, [math] ab = 0 [/ math]
Sí, entre la ecuación 4 y 5, divides por cero.
¡Gran error!
Dividir por cero no está permitido, para empezar, ¡porque te permite sacar conclusiones locas como esta!
Considerar:
[matemáticas] 5 \ veces 0 = 0 [/ matemáticas]
Y [matemáticas] 7 \ veces 0 = 0 [/ matemáticas]
Por lo tanto, [matemáticas] 5 \ veces 0 = 7 \ veces 0 [/ matemáticas]
Cancele los ceros: [matemáticas] 5 = 7 [/ matemáticas]
Otra conclusión loca!
Es por eso que la prueba es una falacia: utiliza una operación matemática no válida a mitad de camino.
Sin embargo, es interesante porque está oculto dentro de un paso que mucha gente hace casi instintivamente, ¡simplemente cancelando términos alegremente!
Pero tenga la seguridad, [matemáticas] 2 \ neq 1 [/ matemáticas]