Como Alon Amit señala en su respuesta, este es más un problema de definición que una cuestión de teorema y prueba. Sin embargo, simplemente decir “así es como elegimos definir la multiplicación de enteros” no es el final de la historia. Por un lado, (-1) x (-1) = 1 no es cómo definimos la multiplicación de números negativos. Y dado que esa ecuación no es en sí misma una definición, debe ser un teorema demostrable a partir de las definiciones.
Pero en lugar de ofrecer una prueba (que dependería de con qué sistema de definición se está comenzando, y hay más de uno), quiero ir en una dirección diferente.
Estamos tan acostumbrados a operar con números negativos que generalmente estamos ciegos a la lógica muy delicada que entra en las definiciones. En el siglo XVII, los fundamentos lógicos no eran tan claros. Por ejemplo, Antoine Arnauld en 1662 objetó que los números negativos eran contrarios a nuestra comprensión básica de magnitud y proporción. Específicamente, nuestra intuición nos diría que la relación de una cantidad mayor a una menor debería ser mayor que la relación de la cantidad menor a la mayor. Pero esto no funciona para números negativos. Ciertamente, 1 es mayor que -1, pero 1 / -1 no es mayor que -1 / 1.
- ¿Por qué el producto cruzado de dos conjuntos es todas las combinaciones de sus elementos?
- ¿Es posible encontrar los divisores de un número usando el Teorema de Pitágoras?
- ¿Qué es un logaritmo? ¿Cómo es útil de manera práctica?
- Cuando se deja ir el automóvil en un plano inclinado, ¿por qué cambia la distancia a la que se detiene el automóvil cuando cambio la ubicación donde pongo pesos adicionales en el automóvil?
- ¿Existe una ganancia real en la transmisión de información por medio de dos o más canales de ruido paralelos?
Para que uno no se sienta tentado a simplemente descartar esta objeción como ingenua o engañosa, debe tenerse en cuenta que en 1712, no menos personaje que Gottfried Wilhelm Leibniz publicó una respuesta a Arnauld en la que acepta que hay un problema fundamental. Luego propuso una solución: tratar la división con signos como una manipulación simbólica y aplicar mecánicamente las reglas de los signos. Esto es quizás menos que satisfactorio porque separa completamente las operaciones aritméticas de cualquier sentido intuitivo de lo que significan los números. Las definiciones posteriores que distinguen entre la magnitud y el orden de los números ayudan, pero aún existen dificultades para relacionar las definiciones con nuestra intuición natural (no entrenada) sobre los números.
Creo que esta discusión de 300 años es relevante hoy cuando tratamos de enseñar conceptos numéricos y aritméticos a los niños. Muchos estudiantes jóvenes que primero encuentran números negativos encuentran difícil el tema. Los maestros que no son conscientes de los problemas fundamentales (y creo que, desafortunadamente, este es el caso con mayor frecuencia) no entenderán qué problema (s) conceptual (es) pueden tener los estudiantes. En consecuencia, esos maestros estarán mal equipados para ayudar a los estudiantes a resolver lo que está sucediendo.