{"id":1997,"date":"2021-07-02T20:19:47","date_gmt":"2021-07-02T19:19:47","guid":{"rendered":"https:\/\/xmau.com\/wp\/ilpost\/?p=1997"},"modified":"2021-07-05T14:15:45","modified_gmt":"2021-07-05T13:15:45","slug":"dimostrazione-geometrica-dellirrazionalita-di-2","status":"publish","type":"post","link":"https:\/\/xmau.com\/ilpost\/2021\/07\/02\/dimostrazione-geometrica-dellirrazionalita-di-2\/","title":{"rendered":"Dimostrazione geometrica dell&#8217;irrazionalit\u00e0 di &radic;2"},"content":{"rendered":"<p>Una delle &#8220;dimostrazioni famose&#8221; in matematica \u00e8 sicuramente quella dell&#8217;irrazionalit\u00e0 della radice quadrata di 2, che ha distrutto la teoria pitagorica e forse anche Ippaso di Metaponto e ha dato una svolta a 90 gradi alla matematica greca, che ha deciso di non usare pi\u00f9 il concetto di numero come punto di partenza ma basarsi sulla geometria. <\/p>\n<p>La dimostrazione che si legge di solito parte immaginando per assurdo che &radic;2 sia uguale a una frazione <i>a<\/i>\/<i>b<\/i>, con <i>a<\/i> e <i>b<\/i> interi positivi. Senza perdita di generalit\u00e0 possiamo anche supporre che <i>a<\/i> e <i>b<\/i> non abbiano fattori comuni, perch\u00e9 in caso contrario possiamo semplificare entrambi i valori. A questo punto, elevando al quadrato i due membri dell&#8217;uguaglianza, abbiamo che <i>a<\/i>&sup2;\/<i>b<\/i>&sup2;=2, cio\u00e8 <i>a<\/i>&sup2;=2<i>b<\/i>&sup2;, da cui si vede che <i>a<\/i>&sup2; \u00e8 pari. Poich\u00e9 il quadrato di un numero pari \u00e8 pari e il quadrato di un numero dispari \u00e8 dispari, otteniamo che <i>a<\/i> \u00e8 anch&#8217;esso pari, e quindi possiamo scrivere <i>a<\/i>=2<i>c<\/i>. Sostituendo questo valore e semplificando, abbiamo 2<i>c<\/i>&sup2;=<i>b<\/i>&sup2;, e per lo stesso ragionamento di prima vediamo che <i>b<\/i> deve essere pari, assurdo perch\u00e9 non pu\u00f2 avere fattori in comune con <i>a<\/i>.<\/p>\n<p><!--more-->Tutto questo va benissimo, se non fosse per una piccola seccatura: questa dimostrazione non \u00e8 geometrica. Bene: ho scoperto nel libro <em>Le fascinant nombre \u03c0<\/em> di Jean-Paul Delahaye una dimostrazione puramente geometrica, che potete vedere qui sotto.<br \/>\n<img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" data-attachment-id=\"1999\" data-permalink=\"https:\/\/xmau.com\/ilpost\/2021\/07\/02\/dimostrazione-geometrica-dellirrazionalita-di-2\/210702-pitagora\/\" data-orig-file=\"https:\/\/i0.wp.com\/xmau.com\/ilpost\/wp-content\/uploads\/sites\/5\/2021\/07\/210702-pitagora.png?fit=622%2C595&amp;ssl=1\" data-orig-size=\"622,595\" data-comments-opened=\"1\" data-image-meta=\"{&quot;aperture&quot;:&quot;0&quot;,&quot;credit&quot;:&quot;&quot;,&quot;camera&quot;:&quot;&quot;,&quot;caption&quot;:&quot;&quot;,&quot;created_timestamp&quot;:&quot;0&quot;,&quot;copyright&quot;:&quot;&quot;,&quot;focal_length&quot;:&quot;0&quot;,&quot;iso&quot;:&quot;0&quot;,&quot;shutter_speed&quot;:&quot;0&quot;,&quot;title&quot;:&quot;&quot;,&quot;orientation&quot;:&quot;0&quot;}\" data-image-title=\"210702-pitagora\" data-image-description=\"\" data-image-caption=\"\" data-large-file=\"https:\/\/i0.wp.com\/xmau.com\/ilpost\/wp-content\/uploads\/sites\/5\/2021\/07\/210702-pitagora.png?fit=600%2C574&amp;ssl=1\" src=\"https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2021\/07\/210702-pitagora.png?resize=622%2C595\" alt=\"\" width=\"622\" height=\"595\" class=\"aligncenter size-full wp-image-1999\" srcset=\"https:\/\/i0.wp.com\/xmau.com\/ilpost\/wp-content\/uploads\/sites\/5\/2021\/07\/210702-pitagora.png?w=622&amp;ssl=1 622w, https:\/\/i0.wp.com\/xmau.com\/ilpost\/wp-content\/uploads\/sites\/5\/2021\/07\/210702-pitagora.png?resize=300%2C287&amp;ssl=1 300w\" sizes=\"auto, (max-width: 622px) 100vw, 622px\" \/><\/p>\n<p>Il quadrato <i>ABCD<\/i> ha lato <i>a<\/i> e diagonale <i>b<\/i>, che supponiamo entrambi multipli di una lunghezza <i>l<\/i>. Costruiamo la diagonale <i>BD<\/i> e la bisettrice dell&#8217;angolo <i>CBD<\/i> che incontra il lato <i>CD<\/i> in <i>E<\/i>; da <i>E<\/i> tracciamo la perpendicolare a <i>BD<\/i> che lo incontra in <i>H<\/i>. <\/p>\n<p>I triangoli rettangoli <i>BCE<\/i> e <i>BHE<\/i> hanno gli angoli uguali e l&#8217;ipotenusa in comune, quindi sono congruenti, e pertanto <i>CE<\/i>=<i>EH<\/i>=<i>c<\/i>. Il triangolo <i>EHD<\/i> \u00e8 rettangolo per costruzione, ma \u00e8 anche isoscele (l&#8217;angolo in <i>D<\/i> \u00e8 di 45 gradi), pertanto <i>HD<\/i>=<i>EH<\/i> e dunque <i>c<\/i>=<i>b<\/i>&minus;<i>a<\/i>. Ma <i>EHD<\/i> \u00e8 simile a <i>BAD<\/i>, dunque se definiamo <i>d<\/i> il segmento <i>DE<\/i>=<i>a<\/i>&minus;<i>c<\/i> allora <i>c<\/i> e <i>d<\/i> sono lato e diagonale di un quadrato pi\u00f9 piccolo di quello con <i>a<\/i> e <i>b<\/i>, e sempre multipli della nostra lunghezza unitaria <i>l<\/i>. Da qui possiamo ricominciare le nostre operazioni e ottenere coppie sempre pi\u00f9 piccole di numeri interi positivi fino a scendere sotto la lunghezza <i>l<\/i>, il che \u00e8 assurdo. (Per la cronaca, questo tipo di dimostrazione si chiama &#8220;per discesa infinita&#8221; e piaceva tanto a Fermat&#8230;). <\/p>\n<p>Carino, no?<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Se preferite giocare con le figure anzich\u00e9 coi numeri, eccovi qua un esempio.<\/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_feature_clip_id":0,"_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-1997","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-wd","jetpack-related-posts":[{"id":398,"url":"https:\/\/xmau.com\/ilpost\/2010\/07\/27\/il-teorema-di-pitagora\/","url_meta":{"origin":1997,"position":0},"title":"Il teorema di Pitagora","author":".mau.","date":"27\/07\/2010","format":false,"excerpt":"Il teorema pi\u00f9 famoso della geometria merita indubbiamente una trattazione a s\u00e9.","rel":"","context":"In \"geometria\"","block_context":{"text":"geometria","link":"https:\/\/xmau.com\/ilpost\/tag\/geometria\/"},"img":{"alt_text":"[la costruzione euclidea del teorema di Pitagora]","src":"https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2014\/09\/pitagora-euclide.png?resize=350%2C200","width":350,"height":200},"classes":[]},{"id":2478,"url":"https:\/\/xmau.com\/ilpost\/2012\/02\/13\/una-dimostrazione-errata-e-meglio-che-nessuna-dimostrazione\/","url_meta":{"origin":1997,"position":1},"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":[]},{"id":2614,"url":"https:\/\/xmau.com\/ilpost\/2013\/06\/03\/matematica-per-analogie\/","url_meta":{"origin":1997,"position":2},"title":"Matematica per analogie","author":".mau.","date":"03\/06\/2013","format":false,"excerpt":"Non \u00e8 che i matematici predichino bene e razzolino male: il punto \u00e8 che loro sono inconsciamente abituati a distinguere la scoperta di una propriet\u00e0 dalla sua dimostrazione, ma si dimenticano di mostrare il momento della scoperta.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"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":1997,"position":3},"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":2584,"url":"https:\/\/xmau.com\/ilpost\/2013\/04\/03\/euclide-aritmetico\/","url_meta":{"origin":1997,"position":4},"title":"Euclide aritmetico","author":".mau.","date":"03\/04\/2013","format":false,"excerpt":"Gli Elementi non parlano solo di geometria, ma anche di aritmetica; e anche qua brilla l'esposizione di Euclide.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"https:\/\/i0.wp.com\/www.ilpost.it\/wp-content\/uploads\/bloggers\/2013\/04\/Euclids_algorithm_Book_VII_Proposition_2_3.png?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":553,"url":"https:\/\/xmau.com\/ilpost\/2015\/04\/01\/il-piu-grande-numero-intero-e-1-pillole\/","url_meta":{"origin":1997,"position":5},"title":"Il pi\u00f9 grande numero intero \u00e8 1 [Pillole]","author":".mau.","date":"01\/04\/2015","format":false,"excerpt":"Una dimostrazione impeccabile :-)","rel":"","context":"In \"dimostrazioni\"","block_context":{"text":"dimostrazioni","link":"https:\/\/xmau.com\/ilpost\/tag\/dimostrazioni\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]}],"_links":{"self":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/1997","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=1997"}],"version-history":[{"count":7,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/1997\/revisions"}],"predecessor-version":[{"id":2005,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/1997\/revisions\/2005"}],"wp:attachment":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/media?parent=1997"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/categories?post=1997"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/tags?post=1997"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}