Este problema era demasiado simple para los lectores de esta página: todas las respuestas recibidas hasta hoy (cuarenta y seis) eran correctas. La respuesta es, como dice la primera que recibí de Oriol Martín:
"1+a-b=0, luego no podemos cancelar, pues estaríamos diciendo que 0 · 2 = 0 · 3 implica que 2=3."
Ya está. Dicho de otra forma, la división por cero no tiene sentido.
Aparte de esto, es curioso ver cómo están hechos siempre este tipo de razonamientos falsos. Si intentáis hacerlo vosotros veréis que para ocultar el hecho de que se divide por cero y obtener algo falso partiendo de una igualdad verdadera con esta técnica hace falta pasar por una ecuación de segundo grado (por lo menos), y desde luego hay muchas formas de hacerlo. ¿Por qué de segundo grado?. El significado de la primera ecuación que aparecía en el problema no es más que "b es más grande que a en una unidad". La segunda ecuación, una vez que hemos multiplicado por a-b, no dice lo mismo que la primera. Ésta es más débil. Dice: "o bien ocurre lo de antes, o bien a es igual que b". Más tarde, dividir por 1+a-b es lo mismo que decirle a la ecuación que no ocurre que b sea más grande que a en una unidad (porque sólo se puede hacer si esta cantidad no es cero). La ecuación nos responde que entonces no queda más opción que a=b.
¿Por qué no se puede dividir por cero? ¿Por qué eso no está definido? Después de todo, uno puede definir lo que quiera. Podemos decir, si queremos, que cualquier número dividido por cero va a valer siete de ahora en adelante. La verdadera pregunta es, ¿serviría eso de algo?. No arreglaría nada, por supuesto. La utilidad de las operaciones es el poder hacer cosas con ellas y encontrar reglas de las que deducir algo, como por ejemplo la regla de cancelación que se menciona en la respuesta. Con la definición de que al dividir por cero cualquier cosa el resultado es siete esta regla no es cierta porque en ese caso a·0 dividido por cero da 7 y no da a. Bueno, esta definición no sirve. De hecho, no hay forma de definir la división por cero y mantener la regla de cancelación, precisamente porque de lo contrario estaríamos aceptando demostraciones sin sentido como la anterior. Muchas otras reglas útiles son imposibles de conservar en la división por cero.
Sin embargo, como he dicho antes, no hay nada que nos impida definir la división de un número por cero si eso va a resultar útil para algo. Un ejemplo técnico: al escribir las transformaciones de Möbius en el plano complejo suele ser conveniente decir que un número no nulo dividido por cero es infinito; esta afirmación tiene un sentido preciso cuando se entienden estas transformaciones como transformaciones de la compactificación del plano complejo.