A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Legyen a sokszök köré írt kör sugara , a sokszög oldalszáma pedig . Ekkor a sokszög darab olyan egyenlő szárú háromszögre bontható, amelyek szárszöge , szárainak hossza pedig (1. ábra). Ezért a sokszög területe . Tudjuk, hogy a kör területe . A sokszög akkor közelíti körülírt körének területét 1 ezreléknél kisebb hibával, ha teljesül a egyenlőtlenség. A területképleteket beírva és rendezve kapjuk, hogy ez pontosan akkor teljesül, ha | | (1) | Ha , akkor (1) nem teljesülhet, mert . Ha , akkor viszont teljesül (1), mert . Az a szemléletesen nyilvánvaló tény, hogy az oldalszám növelésével a sokszög mind jobban közelíti a körülírt kör területét, vagyis a hiba csökken, most azzal egyenértékű, hogy az az -nek szigorúan monoton növő függvénye. A következőkben ezt igazoljuk. Megmutatjuk, hogy -nek monoton növekvő függvénye, amiből következik, hogy (1) minden egész számra teljesül. Legyen . Elegendő azt belátnunk, hogy monoton nő, ha csökken ( esetén). A 2. ábrán a függvény grafikonjának egy darabja látható. Tudjuk, hogy esetén , és a grafikonja alulról nézve konvex. Ezért az egyenes az szakaszt egy belső pontban metszi. Tehát ha , akkor | | amit bizonyítani akartunk. Tehát a legalább 82 oldalú szabályos sokszögek 1 ezreléknél kisebb hibával közelítik körülírt körük területét.
Kiss-Tóth Christian (Fazekas M. Főv. Gyak. Gimn., 8. o.t.) dolgozata alapján |
Megjegyzés. Nem egészen magától értetődő, hogy hogyan keressük meg az értéket. Kalkulátorral és némi türelemmel viszonylag gyorsan eljuthatunk ehhez az értékhez, de némi háttérismeret birtokában gyorsabban találjuk meg a keresett küszöböt. Ismeretes, hogy ha valós szám, akkor annak a szögnek a szinusza, amelynek az ívmértéke, az alábbi végtelen sor öszege: Erre persze most nincs igazán szükség, csak arra, hogy a váltakozó előjelű tagok hozzávételével felső, illetve alsó becslések (egyre finomodó) sorozatát nyerjük. Minden pozitív -re fennáll ezért a egyenlőtlenség, ahonnan -val osztva . Ha most a vizsgált egyenlőtlenséget a alakba írjuk, akkor ez bizonyosan teljesül, ha | | (1) tehát biztosan teljesül, ha , az pedig, hogy -re nem teljesül, akár a kalkulátorral, akár pedig a egyenlőtlenség hibájának ismeretében ‐ ez a hiba kisebb a következő tag, abszolút értékénél ‐ gyorsan eldönthető.
|