Avi é il formato del video, l'estensione, così come mov é per quicktime...
divx é il codec utilizzato per la compressione, così come potresti utilizzare xvid o tanti altri.
La quantità di spazio dipende dalla tipologia di compressione, ci sono diversi metodi per comprimere video, a volte anche con lo stesso codec di compressione; divx ad esempio, comprime con diverse metodologie, ad esempio a singola passata (più veloce ma con meno qualità) e a doppia passata (più lento ma miglior qualità) e puoi stabilire i parametri della compressione andando a influire sulla dimensione, ovviamente a scapito della qualità...
Questa é ovviamente una spiegazione terra terra solo per farti capire
EDIT:
Franz, sei stato più veloce
ma perchè hai scritto di meno....