Necesito demostrar que para enteros a y b se cumple (a,b)=(b,a)=(a,-b)
Se refiere al MCD, supongo, ¿no?
Si es así, no te puedo ayudar mucho, se me da muy mal demostrar las cosas demasiado evidentes. Espera que pase alguien que lo sepa.
Saludos.
¿Por qué es evidente? es que se me ocurre una respuesta pero no sé como expresarlo formalmente.
Pues ahí está, que a mí tampoco se me ocurría cómo decirlo de forma que pareciera una demostración y no una definición.
No soy matemático, como sí lo es Fernando, entonces la cuestión era que sabía que tenía que haber una formalización (de libro, habitual) pero no sabía cómo se escribía bien. Podría haberte dicho algo parecido con palabras, con otros símbolos... Pero para mí eso es casi una definición, porque esto lo he estudiado por afición, no académicamente.
Es difícil demostrar algo que está muy “pegado” a lo que se entiende por axioma, porque lo único que se le ocurre a uno (si no sabe cómo está acordado escribirlo) es decir “eso así porque es así”. No es lo mismo que otros ejercicios parecidos donde, por ejemplo, se cita el lema de Euclides, se considera que si “a” y “b” son coprimos... etc.
Saludos.