Con un caraffa da 12 litri e una da 5 litri, misurare 4 litri d'acqua.
Le soluzioni lecite sono:
$a)$ riempire una caraffa fino
all'orlo da un rubinetto.
$b)$ svuotare completamente una
caraffa.
$c$)travasare acqua da una caraffa
all'altra finché la cedente è
vuota o la ricevente è piena.
Siccome $12$ e $5$ sono coprimi posso scrivere un'identità di Bezout.
$3*12+5*(-7)=1$ da cui si ricava $12*12+5*(-28)=4$.
Se riempio la caraffa da 12 litri 12 volte quando è vuota e svuoto la caraffa da 5 litri 28 volte quando è totalmente piena e poi faccio solo travasi da quella da 12L a quella da 5l arrivo ad avere 4 litri.
Supponiamo di aver riempito quella da 12 litri 12 volte e aver svuotato quella da 5l $k$ volte con $k<28$.
In tutto ho $12*12-k*5$ rispetto a $12*12-28*5$.
$[$ ho quindi $(28-k)*5$ litri. Tra aso dalla 12L alla 5l e svuoto questa ultima $28-k$ volte $]$
Il risultato sarebbe quello ma io non ho capito l'ultima parte che ho messo tra parentesi... perché svuoto $28-k$ volte? E il valore di $k$ come lo trovo?
Grazie