Säännöllisellä monikulmiolla tarkoitetaan monikulmiota, jonka kaikki sivut ovat yhtä pitkät ja kaikki kulmat yhtä suuret. Niitä on tutkittu käytännössä niin kauan kuin matematiikkaa yleensäkin on tutkittu.
Yksi hyvin tunnettu säännöllisten monikulmoiden sovelluskohde on ympyrän piirin ja pinta-alan arviointi. Jo ammoin ymmärrettiin, että kaikkien ympyröiden piirin ja halkaisijan suhde oli sama: piiri on hieman yli kolminkertainen halkaisijaan nähden. Nykyään tätä suhdetta merkitään symbolilla . Luku on irrationaaliluku, eli päättymätön jaksoton desimaaliluku. Sitä on vuosituhansien saatossa arvioitu monin tavoin, josta tässä paneudumme nyt ympyrän sisään piirrettyihin säännöllisiin monikulmioihin.
Ympyrän sisään piirretyllä monikulmiolla tarkoitetaan monikulmiota, jonka kaikki kärjet ovat ympyrän kehällä. Säännöllisen monikulmion ympäri voidaan aina piirtää ympyrä, vaikka yleisesti kaikilla monikulmioilla tätä ominaisuutta ei ole. Säännöllisen monikulmion keskipiste ja sen ympäri piirretyn ympyrän keskipiste yhtyvät.
Jos säännöllisen monikulmion sivujen lukumäärää kasvatetaan, saadaan yhä parempia arviota ympyrän pinta-alalle ja sitä kautta myös luvulle . Voidaan (melko) helposti osoittaa, että kun monikulmion sivujen lukumäärä kasvaa rajatta, monikulmion alan raja-arvo on ympyrän ala . Kuvia katsomalla tämä toki näyttää ilmeiseltä, mutta matematiikassa mikään ei ole varmaa ennen kuin se on oikeasti todistettu.
Viikon vaikea kysymys on seuraava. Kuinka monisivuinen ympyrän sisään piirretty säännöllinen monikulmio tarvitaan, jotta monikulmion ala olisi korkeintaan prosenttia pienempi kuin ympyrän ala?
PS. Arkhimedes pääsi jo 200-luvulla eaa. huiman hyvään arvioon . Hän käytti tiettävästi apunaan ympyrän ympäri ja sisään piirrettyä säännöllistä 96-kulmiota!
Ratkaisu: Säännöllinen -kulmio voidaan aina jakaa yhtenevään tasakylkiseen kolmioon, joiden kanta on monikulmion sivu ja kylkinä monikulmion keskipisteen ja kärjen yhdysjana. Tässä tapauksessa tämä yhdysjana on tietenkin ympyrän säde. Kolmioiden huippukulma on , joten kolmioiden yhteenlasketuksi pinta-alaksi saadaan
Tehdään tässä vaiheessa muutama muutos käytettäviin lukuihin. Ensinnäkin, muutetaan kulman suuruus radiaaneiksi. (rad), joten alan lausekkeeksi saadaan nyt Tehdään vielä toinen tekninen vaihdos vähäksi aikaa: olkoon joten , josta edelleen
Ympyrän ala on tietenkin , joten kysytty suhde
Tutkitaan seuraavaksi lausekkeen käyttäytymistä. Koska niin sivujen lukumäärän kasvaessa rajatta . On tilanneyhteydestä ilmeistä, että nyt , kun mutta kuinka se todistetaan? Ja edelleen (ja tässä onkin varsinainen kysymyksemme): kuinka suuri luvun on oltava, tai siis kuinka pieni luvun on oltava, jotta . Vastaus molempiin kysymyksiin voidaan etsiä monin tavoin. Niistä yksi hienoimmista on ns. Taylorin sarja.
Sinifunktio voidaan esittää päättymättömänä summana eli sarjana
joten lauseke voidaan sieventää muotoon
Tämän lausekkeen arvo lähestyy selvästi arvoa , kun . Edelleen tätä lauseketta voidaan arvioida vain paria ensimmäistä termiä käyttäen. Siis lähellä nollaa
Näin ollen oikea suuruusluokka ratkaisulle saadaan epäyhtälöstä , josta (Ei-positiivinen osa epäyhtälön ratkaisusta voidaan nyt sivuuttaa.) Takaisin alkuperäiseen muuttujaan palaten saamme
josta edelleen . Koska tämä oli alkujaankin likiarvo, tarkistetaan vielä saadut arvot sijoittamalla lausekkeeseen luvun arvoja ja vastaavat arvot ja :
Näin ollen vastaus kysymykseen on siis vähintään säännöllinen -kulmio.
Ratkaisuun liittyvää Geogebra-applettia voi tutkia tämän linkin kautta.