Dimostrare che "divide" è transitivo

[marcus1121]

|

Se $m$ divide $n$ ed $n$ divide $r$ allora $m$ divide $r$; cioè che divide è transitivo.

Io ho pensato di fare così ma aspetto consigli:

$ 8 | 16 ^^ 16 |64 rarr 8 | 64$ quindi risulta vero poichè $64 divide 8=8$

[mistake89]

Ma devi dimostrarlo per $m,n,r$ generici

[Relegal]

Tu devi dimostrare la transitività dell'operazione "divisione di numeri interi" ?
Se sì quello che hai fatto non va bene perchè hai fatto vedere che è vero per una sola terna di numeri, $8,16 e 64$.
L'obiettivo è far vedere che il risultato è valido per qualsiasi terna di interi $(m;n;r)$.

[e3353cdc139f9576d1418ef5ef3cff2aac614a86]

[mod="Martino"]marcus112: per favore metti un titolo più specifico, quello attuale ("Dimostrazione") non va bene. Grazie.[/mod]