Ma perché Charlie e Freddy e non Tizio e Caio o Cosma e Damiano o Mario e Silla? E perché 27 cents e non 27 centesimi, o almeno "27 cent" (i prestiti linguistici sono neutri e invariabili, in italiano!)? Boh!
------------------------------
Assegnando un nome simbolico a ciascuna entità d'interesse si scrivono le relazioni descritte in narrativa come formule nei nomi assegnati.
Il loro insieme costituisce il modello matematico la cui elaborazione risolve il problema.
---------------
* a = colletti di Charlie
* b = polsini di Charlie
* c = colletti di Freddy
* d = polsini di Freddy
* p = prezzo del lavaggio di un polsino
* q = 4*p/5 = prezzo del lavaggio di un colletto
* x = l'incognita del problema
---------------
* "30 pezzi in tutto" ≡ a + b + c + d = 30
* "conteneva metà dei polsini ... totali" ≡ d = (b + d)/2
* "conteneva ... 1/3 dei colletti totali" ≡ c = (a + c)/3
* "pagò in tutto 27 cents" ≡ d*p + c*q = 27
* "Quanto pagherà Charlie per il resto della biancheria?" ≡ x = b*p + a*q
------------------------------
Modello risolutivo
* (q = 4*p/5) & (a + b + c + d = 30) & (d = (b + d)/2) & (c = (a + c)/3) & (d*p + c*q = 27) & (x = b*p + a*q) ≡
≡ (c = (a + c)/3) & (d = (b + d)/2) & (q = 4*p/5) & (a + b + c + d = 30) & (d*p + c*q = 27) & (x = b*p + a*q) ≡
≡ (a = 2*c) & (b = d) & (q = 4*p/5) & (2*c + d + c + d = 30) & (d*p + c*4*p/5 = 27) & (x = d*p + 2*c*4*p/5) ≡
≡ (a = 2*c) & (b = d) & (q = 4*p/5) & (d = 3*(10 - c)/2) & ((3*(10 - c)/2)*p + c*4*p/5 = 27) & (x = (3*(10 - c)/2)*p + 2*c*4*p/5) ≡
≡ (a = 2*c) & (b = d) & (q = 4*p/5) & (d = 3*(10 - c)/2) & (p = 27/(15 - 7*c/10)) & (x = (c + 150)*p/10) ≡
≡ (a = 2*c) & (b = d) & (q = 4*p/5) & (d = 3*(10 - c)/2) & (p = 27/(15 - 7*c/10)) & (x = 27*(c + 150)/(150 - 7*c))
in quest'ultima scrittura si osserva che
* le prime cinque relazioni determinano valori irrilevanti per il problema
* l'ultima relazione consente di determinare x in funzione di c
---------------
Dovendo avere x intero positivo e 0 < c < 150/7 = 21.(428571) si deve valutare x per i ventun possibili valori di c e restringere la risposta ai valori ammissibili
* {c, x} ∈ {{1, 4077/143}, {2, 513/17}, {3, 1377/43}, {4, 2079/61}, {5, 837/23}, {6, 39}, {7, 4239/101}, {8, 2133/47}, {9, 1431/29}, {10, 54}, {11, 4347/73}, {12, 729/11}, {13, 4401/59}, {14, 1107/13}, {15, 99}, {16, 2241/19}, {17, 4509/31}, {18, 189}, {19, 4563/17}, {20, 459}, {21, 1539}}
da cui i risultati ammissibili
* {c, x} ∈ {{6, 39}, {10, 54}, {15, 99}, {18, 189}, {20, 459}, {21, 1539}}
---------------
Tuttavia, pur se irrilevanti per il problema, i valori di d e di p devono essere positivi e d dev'essere intero
* (3*(10 - c)/2 > 0) & (27/(15 - 7*c/10) > 0) ≡ c < 10
quindi infine
* "Quanto pagherà Charlie per il resto della biancheria?" ≡ x = 39 cent, unica soluzione corretta.