{"id":2567,"date":"2013-02-22T16:22:26","date_gmt":"2013-02-22T15:22:26","guid":{"rendered":"https:\/\/xmau.com\/wp\/ilpost\/?p=2567"},"modified":"2022-10-11T11:37:56","modified_gmt":"2022-10-11T09:37:56","slug":"di-pozzi-e-problemi","status":"publish","type":"post","link":"https:\/\/xmau.com\/ilpost\/2013\/02\/22\/di-pozzi-e-problemi\/","title":{"rendered":"Di pozzi e problemi"},"content":{"rendered":"

\u00abMio cuggino mio cuggino (cit.) deve andare al pozzo a prendere esattamente cinque litri d’acqua. Purtroppo ha solo a disposizione un secchio da tre litri e uno da sette. Come pu\u00f2 riuscire nel suo intento?\u00bb<\/em><\/p>\n

Questo problema, o una sua variante, \u00e8 uno dei pi\u00f9 famosi nel campo della matematica ricreativa. Ho verificato: un problema simile, che consiste nel dividere in due parti uguali otto litri di vino avendo a disposizione altre due botti vuote una di tre e una di cinque litri, era gi\u00e0 presente nel manoscritto Vat. Lat. 3129 di Fra’ Luca Pacioli, della fine del XV secolo, e probabilmente \u00e8 ancora anteriore. Erano i bei tempi in cui le persone erano abbastanza brave da non versare nulla per terra durante i travasi, e almeno nel primo caso non dovevano preoccuparsi delle tariffe dell’acqua, che forse non era un bene comune ma almeno era abbastanza liberamente disponibile senza dover pagare le bollette. Ma torniamo al problema: devo risolvervelo io, o ce la fate da soli?<\/p>\n

\"[pozzo]\"<\/a>
Metodo geometrico per i "problemi del pozzo"<\/figcaption><\/figure> Immagino che con un po’ di tentativi ci siate riusciti tutti, al limite sprecando un po’ d’acqua: quello che serve \u00e8 avere un po’ di pazienza e poi si arriva alla soluzione. Ma i matematici spesso non sono tipi pazienti: cos\u00ec c’\u00e8 stato chi ha pensato di trovare un metodo sicuro (quello che gli informatici chiamano “algoritmo”) per arrivare alla soluzione. Howard Grossman aveva una rubrica intitolata “Fun with Lattice Points” nella rivista Scripta Mathematica<\/i>, e nel numero di marzo 1948 present\u00f2 il seguente metodo aritmo-geometrico per generare una soluzione di problemi di questo tipo. (In realt\u00e0, come dice Futility Closet<\/a> da cui ho brutalmente preso questo problema, Grossman aveva dato una soluzione rigorosamente algebrica gi\u00e0 nel 1940: ma come capita spesso la soluzione algebrica \u00e8 pallosa, e per i nostri scopi \u00e8 meglio lavorare meno rigorosamente).<\/p>\n

Generalizzando il problema, bisogna ottenere l<\/i> litri d’acqua avendo a disposizione due secchi di h<\/i> e k<\/i> litri. Potete immaginare che h<\/i> e k<\/i> siano primi tra loro, perch\u00e9 altrimenti o il problema \u00e8 impossibile (se l<\/i> non \u00e8 anche multiplo del massimo comun denominatore degli altri due numeri) oppure si possono dividere tutti e tre i numeri per il suddetto MCD; inoltre h<\/i>+k<\/i> deve essere maggiore di l<\/i>. Senza perdere in generalit\u00e0, possiamo anche supporre che h<\/i> sia maggiore di k<\/i>. Prendete ordunque un bel foglio quadrettato, oppure se siete tipi che amate la manualit\u00e0 piantate un bel po’ di chiodini a costruire una grata a quadratini; scegliete un punto in basso a destra e chiamatelo O<\/i> come origine, e prendete il punto P<\/i> a distanza (h<\/i>,k<\/i>) dall’origine. Tracciate una riga tra O<\/i> e P<\/i>: \u00e8 facile dimostrare che tale riga non tocca alcun altro punto. Qui arriva il colpo di genio: costruite una spezzata r<\/i> i cui lati siano orizzontali e verticali, i cui vertici siano i punti della grata, che non tocchi il segmento OP<\/i> ma arrivi il pi\u00f9 vicino possibile, come si vede qui a fianco.<\/p>\n

A questo punto immaginate di avere una pseudodistanza di tipo tassistico, in cui ogni passo a destra valga +h<\/i> e ogni passo in alto −k<\/i>; \u00e8 allora possibile dimostrare che gli h+k<\/i>−1 punti nella spezzata tra O<\/i> e P<\/i> esclusi assumeranno in un certo ordine tutti i valori da 1 a h+k<\/i>−1. (Aiutino per chi volesse dimostrarlo: non si pu\u00f2 raggiungere o superare h+k<\/i>, e se mancasse qualche valore allora per il principio dei cassetti ce ne dovrebbe essere uno doppio, il che non \u00e8 possibile). Quindi ci deve essere un punto X<\/i> a distanza esattamente l<\/i>; quel punto, che in questa figura \u00e8 casualmente a distanza tassistica 5 dall’origine, corrisponder\u00e0 alla soluzione del problema, se si seguono i passi dell’algoritmo spiegato qui sotto.<\/p>\n

 [1] Se si fa un passo a destra, innanzitutto si versi l’eventuale acqua dal recipiente h<\/i> a quello k<\/i>; poi si riempia il recipiente h<\/i>.
\n[2] Se si fa un passo verso l’alto, si versi l’acqua dal recipiente h<\/i> a quello k<\/i>; poi si svuoti il recipiente k<\/i>.<\/p><\/blockquote>\n

Sono sicuro che vi siete accorti come il passo [1] aumenti di h<\/i> litri il totale di acqua nei secchi, mentre il passo [2] lo faccia diminuire di k<\/i> litri, in maniera coerente con la distanza da noi definita. La spezzata OP<\/i> avr\u00e0 pertanto i seguenti valori per le coppie h,k<\/i>:<\/p>\n

 (0,0), (7,0), (4,0), (1,0), (7,1), (5,0), (2,0), (7,2), (6,0), (3,0), (0,0)<\/p><\/blockquote>\n

Notate inoltre che esiste sempre una soluzione duale, rappresentata dalla spezzata r’<\/i> nel disegno. Purtroppo il metodo ha una falla, nel senso che non \u00e8 possibile sapere esattamente qual \u00e8 il punto corrispondente alla soluzione cercata e bisogna comunque fare il percorso: per\u00f2 non bisogna fare troppa fatica a seguire l’algoritmo, il che \u00e8 sempre utile.<\/p>\n","protected":false},"excerpt":{"rendered":"

Un problema classico che pu\u00f2 essere risolto con un metodo automatico.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","ast-disable-related-posts":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"activitypub_content_warning":"","activitypub_content_visibility":"","activitypub_max_image_attachments":4,"activitypub_interaction_policy_quote":"anyone","activitypub_status":"","footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[1],"tags":[],"class_list":["post-2567","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/phh2yP-Fp","jetpack-related-posts":[{"id":404,"url":"https:\/\/xmau.com\/ilpost\/2010\/10\/08\/il-quinto-postulato-di-euclide\/","url_meta":{"origin":2567,"position":0},"title":"Il quinto postulato di Euclide","author":".mau.","date":"08\/10\/2010","format":false,"excerpt":"Quello delle geometrie non euclidee \u00e8 un tema che non pu\u00f2 mancare in un blog di divulgazione matematica; il difficile \u00e8 riuscire a dire qualcosa di diverso dal solito. Cominciamo a vedere la storia dei tentativi di dimostrazione.","rel":"","context":"In \"geometria\"","block_context":{"text":"geometria","link":"https:\/\/xmau.com\/ilpost\/tag\/geometria\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2476,"url":"https:\/\/xmau.com\/ilpost\/2012\/02\/08\/la-magia-delle-soluzioni\/","url_meta":{"origin":2567,"position":1},"title":"La magia delle soluzioni","author":".mau.","date":"08\/02\/2012","format":false,"excerpt":"Spesso la soluzione di un problema matematico sembra uscire come per magia da un cappello. Ma in fin dei conti il bello della matematica \u00e8 che un problema pu\u00f2 magicamente essere visto da un altro punto di vista!","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2481,"url":"https:\/\/xmau.com\/ilpost\/2012\/02\/23\/quando-i-matematici-sbagliano\/","url_meta":{"origin":2567,"position":2},"title":"Quando i matematici sbagliano","author":".mau.","date":"23\/02\/2012","format":false,"excerpt":"Perch\u00e9 preoccuparsi delle smentite in fisica? Persino in matematica una dimostrazione non \u00e8 sempre corretta.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2626,"url":"https:\/\/xmau.com\/ilpost\/2013\/07\/12\/epidemie\/","url_meta":{"origin":2567,"position":3},"title":"Epidemie","author":".mau.","date":"12\/07\/2013","format":false,"excerpt":"Un problema matematico la cui dimostrazione \u00e8 un'applicazione del concetto di monovariante.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":447,"url":"https:\/\/xmau.com\/ilpost\/2011\/12\/12\/arriva-godel\/","url_meta":{"origin":2567,"position":4},"title":"Arriva G\u00f6del!","author":".mau.","date":"12\/12\/2011","format":false,"excerpt":"Cosa dice esattamente il teorema di G\u00f6del? E perch\u00e9 \u00e8 cos\u00ec importante?","rel":"","context":"In \"logica\"","block_context":{"text":"logica","link":"https:\/\/xmau.com\/ilpost\/tag\/logica\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2478,"url":"https:\/\/xmau.com\/ilpost\/2012\/02\/13\/una-dimostrazione-errata-e-meglio-che-nessuna-dimostrazione\/","url_meta":{"origin":2567,"position":5},"title":"Una dimostrazione errata \u00e8 meglio che nessuna dimostrazione","author":".mau.","date":"13\/02\/2012","format":false,"excerpt":"Certo, in matematica una dimostrazione errata di per s\u00e9 non serve a nulla. Per\u00f2 pu\u00f2 essere un utile punto di partenza.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]}],"_links":{"self":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/2567","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/comments?post=2567"}],"version-history":[{"count":1,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/2567\/revisions"}],"predecessor-version":[{"id":2568,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/2567\/revisions\/2568"}],"wp:attachment":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/media?parent=2567"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/categories?post=2567"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/tags?post=2567"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}