Esercizio insiemi

[blob84]

Voi come risolvereste questo esercizio:

Siano a, b, c € Z. Si verifichi che:
b - a = b - c → a = c,
b - a = c - a  → b = c

la prima relazione così:
Per definizione si ha b = (b − a) + a = (b − c) + c. Da
b − a = b − c segue allora a = c, per la cancellabilità a destra rispetto alla somma cioè: da a + c = b + c segue a = b  

la seconda relazione:
?? 

[gugo82]

L'importante non è come noi risolveremmo l'esercizio, ma come hai pensato tu di risolverlo...

Ti ricordo di dare un'occhiata a questo vademecum.