Indianan pii-lakiehdotus

Indianan pii-lakiehdotus () tarkoittaa Yhdysvaltain Indianan osavaltion edustajainhuoneelle vuonna 1897 esitettyä lakialoitetta nro 246. Ehdotuksen virallinen nimi oli "Lakiehdotus uudeksi matemaattiseksi totuudeksi", ja se oli huomattavimpia yrityksiä vahvistaa matemaattinen totuus lainsäädäntöteitse. Nimityksestä huolimatta ehdotuksen tarkoituksena ei niinkään ollut vahvistaa virallisesti hyväksyttyä arvoa luvulle π (pii) vaan menetelmä ympyrän neliöimiseksi. Ehdotetun menetelmän voidaan kuitenkin katsoa merkitsevän, että samalla myös luvulle pii olisi tullut vahvistetuksi useitakin virallisia, joskin matemaattisesti virheellisiä, arvoja. Toisinaan mainitaankin Indianan edustajainhuoneen päättäneen äänestyksellä, että piin arvo on "de jure" 4.
Ehdotusta ei koskaan vahvistettu laiksi, sillä asiaan puuttui Purduen yliopiston professori C. A. Waldo, joka sattui olemaan paikalla edustajainhuoneessa sinä päivänä, jolloin asiasta äänestettiin.
Ympyrän neliöimistä pelkästään harpin ja viivoittimen avulla epäiltiin mahdottomaksi jo antiikin aikana, ja vuonna 1882 Ferdinand von Lindemann lopullisesti todisti asian. Jo antiikin aikana piille myös tunnettiin tarkempia likiarvoja kuin lakiehdotuksesta on johdettavissa.
Ehdotuksen sisältö.
Lakiehdotuksen sisältö oli seuraava:
Ehdotuksen tausta ja käsittelyvaiheet.
Vuonna 1894 indianalainen lääkäri ja harrastelijamatemaatikko Edward J. Goodwin (n. 1825–1902) uskoi keksineensä menetelmän ympyrän neliöimiseksi ja sai asiasta julkaistuksi artikkelin "American Mathematical Monthly" -lehdessä, tosin huomautuksella, että se julkaistiin kirjoittajan pyynnöstä. Indianan edustajainhuoneessa asia otettiin käsittelyyn Posey Countyn edustaja Taylor I. Recordin aloitteesta 18. tammikuuta 1897.
Kun asia esiteltiin edustajainhuoneelle, ehdotuksen kieliasu ja aihe hämmensivät sen jäseniä. Eräs Bloomingtonista valittu edustaja ehdotti, että siitä olisi kerrottava finanssivaliokunnalle, mutta muiden jäsenten ehdotuksesta se päätettiin lähettää kanavavaliokunnalle, jota nimitettiin myös suomaiden valiokunnaksi, mahdollisesti sen vuoksi, koska asian oletettiin liittyvän maanmittaukseen, tai toisten arvelujen mukaan siksi, että siellä ehdotus ”tulisi ansaitsemallaan tavalla haudatuksi”.. Kanavavaliokunta kuitenkin siirsi asian opetusvaliokunnan käsiteltäväksi, ja tämä suositteli sitä hyväksyttäväksi ja palautti sen edustajainhuoneelle. Helmikuun 5. päivänä edustajainhuone hyväksyi ehdotuksen yksimielisesti äänin 67–0.
Indianapolisissa ilmestynyt saksankielinen lehti "Der Tägliche Telegram" julkaisi asiaa koskeneen uutisen ja siihen liittyneen hätääntyneen vastineen paljon kielteisempään sävyyn kuin paikalliset englanninkieliset lehdet. 
Viisi päivää myöhemmin lakiehdotus tuli Indianan senaatin käsittelyyn. Tuntemattomaksi jääneestä syystä se lähetettiin raittiusvaliokuntaan, joka suositteli sitä hyväksyttäväksi. Ensimmäisessä käsittelyssä lakiehdotus meni senaatissa läpi ilman kommentteja. Mutta samaan Purduen yliopiston professori C. A. Waldo saapui Indianapolikseen vastaanottamaan vuotuisen apurahansa Indiana Academy of Scienceltä. Muuan edustajainhuoneen jäsen perehdytti hänet lakiehdotukseen ja lupasi esitellä hänelle sen neron, joka oli sen kirjoittanut. Professori kieltäytyi sanoen, että hän oli jo tavannut niin monta hullua ihmistä, ettei enemmistä olisi väliksi. Hän piti senaatin jäsenille aiheesta luennon, ja toisessa käsittelyssä 12. helmikuuta lakiehdotuksen käsittely päätettiin lykätä määräämättömäksi ajaksi. Muuan senaattori totesikin, ettei ollut edustajainhuoneen vallassa määritellä matemaattista totuutta. Sanomalehdet kuten "Chicago Tribune" ja "Indianapolis News" alkoivatkin kirjoitella asiasta pilkalliseen sävyyn.
Matemaattinen sisältö.
Piin likiarvot.
Vaikka lakiehdotus tuli tunnetuksi ”pii-lakiehdotuksena”, sen tekstissä ei termiä pii esiinny lainkaan, ja näyttääkin siltä, että Goodwin piti ympyrän kehän ja halkaisijan suhdetta päätavoitteeseensa, ympyrän neliöimiseen verrattuna toissijaisena kysymyksenä. Ehdotuksen toisen osan lopussa sanotaankin:
Tämä kuitenkin merkitsee käytännössä samaa kuin jos väitettäisiin, että formula_1 ja että neliön halkaisijan ja sivun suhde eli kakkosen neliöjuuri olisi formula_2.
Usein on sanottu, että Goodwinin väitteet olisivat ristiriidassa, paitsi alkeis­geometrian tosiasioiden, myös toistensa kanssa ja että niissä ei ole mitään järkeä. Tätä vastaan voidaan kuitenkin huomauttaa, että nämä kohdan 3 väitteet sopivat hyvin keskenään yhteen, vaikka ovatkin matemaattisesti virheellisiä. Ilmeisesti neliön lävistäjän ja sivun suhdetta koskeva väitteen on katsottava koskevan nimenomaan ympyrän "sisään" piirrettyä neliötä, jonka lävistäjänä on ympyrän halkaisija, ei sen "säteelle" piirrettyä neliötä, jonka halkaisijana on 90 asteen kaari. Ympyrä ja sen sisään piirretty neliö yhdessä muodostavat oheisen kuvion, jossa ympyrän halkaisija oli 10 ja sen kehän väitettiin olevan 32; 90 asteen jänteen taas väitettiin olevan 7. Nämä molemmat arvot, jänteen pituus 7 ja kehän pituus 32, poikkeavat kumpikin vain muutaman prosentin verran todellisista arvoistaan, kun ympyrän halkaisija on 10, mistä kuitenkaan ei seuraa, vaikka Goodwin niin väitti, että nämä arvot olisivat tarkkoja. Itse asiassa kehän pituus on tällöin noin 31,4159 ja lävistäjä luvun 50 (25+25) neliöjuuri, joka on noin 7,071.
Ympyrän pinta-ala.
Goodwinin pääasiallinen tavoite ei ollut mitata ympyrän kehän tai jänteiden pituuksia vaan ympyrän neliöiminen, toisin sanoen sellaisen neliön löytäminen, joka olisi pinta-alaltaan yhtä suuri kuin annettu ympyrä. Hän tiesi, että Arkhimedeen lauseke ympyrän pinta-alalle, halkaisija kerrottuna kehän neljäsosalla, ei riittänyt ratkaisuksi tähän vanhaan probleemaan. Tehtävänä oli nimittäin "konstruoida" kyseinen neliö pelkästään harpilla ja viivoittimella, eikä Arkhimedes tarjonnut menetelmää sellaisen janan piirtämiseksi, joka olisi yhtä pitkä kuin annetun ympyrän kehä. Tästä keskeisestä vaatimuksesta Goodwin kuitenkin oli selvästi tietämätön; hän luuli, että vikana Arkhimedeen lausekkeessa olisi, että se antaisi tuloksena väärän lukuarvon ja että vanha probleema voitasiin ratkaista korvaamalla se ”oikealla” lausekkeella. Lakiehdotuksessaan hän esitti ilman perusteluja oman ehdotuksensa:
Sanonta on ilmeisesti tarpeettoman mutkikas, koska ”tasasivuinen suorakulmio” on määritelmän mukaan neliö. Yksinkertaisemmin sanottuna tässä väitettiin, että ympyrän pinta-ala on yhtä suuri kuin sellaisen neliön, jonka ympärysmitta on sama. Tämä väite johti kuitenkin matemaattisiin ristiriitoihin, jotka Goodwin yritti ratkaista. Niinpä heti edellä mainitun osuuden jälkeen lakiehdotuksessa sanottiin:
Jos Goodwinin arvot ympyrän kehälle ja halkaisijalle hyväksytään, yllä olevan malliympyrän pinta-alaksi saataisiin Arkhimedeen lausekkeen mukaan 80, mutta Goodwin väitti sen olevan 64. Luku 64 tosiaan on viidesosan pienempi kuin 80, ja Goodwin ilmeisesti päätteli virheellisesti, että koska 64 = 80 · (1 – 1/5), on 80 = 64 · (1 + 1/5); tällainen likiarvo kuitenkin pätee edes suunnilleen vain, jos käytetty murtoluku on paljon pienempi kuin 1/5.
Goodwinin säännöllä laskettu ympyrän pinta-ala on π/4 kertaa sen todellinen pinta-ala, minkä vuoksi pii-lakiehdotuksen on usein tulkittu merkitsevän, että π:lle olisi aiottu virallisesti hyväksyä arvo 4. Guinnessin ennätystenkirjan eräissä painoksissa tätä on sanottu ”π:n epätarkimmaksi likiarvoksi”. Goodwin ei kuitenkaan esittänyt sellaista väitettä; päin vastoin hän useita kertoja kiistää, että ympyrän pinta-alalla olisi mitään tekemistä sen halkaisijan kanssa.
Pinta-alan lausekkeen 1 – π/4 suhteellinen virhe on noin 21 %, mikä on paljon suurempi kuin edellä mainittujen janojen ja kehän pituuksien suhteellinen virhe. Ei tiedetä, mikä sai Goodwinin uskomaan, että hänen sääntönsä olisi oikea. Yleensä kuviot, joilla on sama ympärysmitta, eivät ole pinta-alaltaan yhtä suuret. Tyypillisenä esimerkkinä voidaan mainita hyvin pitkä ja kapea suorakulmio, jota verrataan neliöön, jolla on sama ympärysmitta. Tällöin pitkän ja kapean suorakulmion pinta-ala lähestyy nollaa sen pituuden kasvaessa, vaikka ympärysmitta pysyy samana ja neliön pinta-ala on paljon suurempi.