transitiv

[rm]

Hvordan viser jeg at denne relasjonen er transitiv.

(n,m) ~(k,l) ↔ n + l = m + k

definisjonen er jo:

xRy og yRz gir xRz

[Magnus]

Ok, la x = (n,m), y = (p,q) , z = (r,s)

Vet at

1) n+q = m + p
2) p+s = q+r

Så vil du vise at da må

3) n+s = m + r


Legger du da 2) til 1) får du resultatet ditt.