Feladat: B.3411 Korcsoport: 16-17 Nehézségi fok: átlagos
Megoldó(k):  Kiss-Tóth Christián 
Füzet: 2001/április, 229 - 231. oldal  PDF  |  MathML 
Témakör(ök): Síkgeometriai számítások trigonometriával, Numerikus módszerek, Feladat
Hivatkozás(ok):Feladatok: 2000/november: B.3411

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 r, a sokszög oldalszáma pedig n. Ekkor a sokszög n darab olyan egyenlő szárú háromszögre bontható, amelyek szárszöge 2πn, szárainak hossza pedig r (1. ábra). Ezért a sokszög területe Tn=nr22sin2πn. Tudjuk, hogy a kör területe Tk=r2π. 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

Tk-TnTk<11000
egyenlőtlenség. A területképleteket beírva és rendezve kapjuk, hogy ez pontosan akkor teljesül, ha
nsin2πn>999500π6,276717.(1)
Ha n=81, akkor (1) nem teljesülhet, mert 81sin2π81<6,276887<6,2769<999500π. Ha n=82, akkor viszont teljesül (1), mert 999500π<6,277<82sin36082.
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 nsin2πn az n-nek szigorúan monoton növő függvénye. A következőkben ezt igazoljuk.
Megmutatjuk, hogy nsin2πn  n-nek monoton növekvő függvénye, amiből következik, hogy (1) minden n>81 egész számra teljesül.
Legyen x=2πn. Elegendő azt belátnunk, hogy sinxx monoton nő, ha x csökken (0<x<π2 esetén). A 2. ábrán a sinx függvény grafikonjának egy darabja látható. Tudjuk, hogy 0<x<π2 esetén x>sinx, és a sinx grafikonja alulról nézve konvex. Ezért az OB2 egyenes az A1B1 szakaszt egy belső P pontban metszi. Tehát ha x1<x2, akkor
sinx1x1=A1B1OA1>A1POA1=A2B2OA2=sinx2x2,
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 n=81 é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 x valós szám, akkor annak a szögnek a szinusza, amelynek x az ívmértéke, az alábbi végtelen sor öszege:
x-x33!+x55!-...+...
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 x-re fennáll ezért a
sinx>x-x33!(*)
egyenlőtlenség, ahonnan x>0-val osztva sinxx>1-x26.
Ha most a vizsgált nsin2πn>999500π egyenlőtlenséget a
sin2πn2πn>0,999
alakba írjuk, akkor ez bizonyosan teljesül, ha
1-(2πn)26>0,999,
ahonnan rendezés után
n>2π0,00681,12.
(1) tehát biztosan teljesül, ha n82, az pedig, hogy n=81-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, x55! abszolút értékénél ‐ gyorsan eldönthető.