Feladat: 1029. matematika feladat Korcsoport: 18- Nehézségi fok: nehéz
Megoldó(k):  Albert I. ,  Bencsik I. ,  Bollobás Béla ,  Csikor F. ,  Fábián G. ,  Fajszi Cs. ,  Farkas Z. ,  Fekete J. ,  Frint G. ,  Fritz J. ,  Fukker G. ,  Gál J. ,  Grüner György ,  Hajna J. ,  Hanyi Zs. ,  Horváth Gaudi I. ,  Jahn A. ,  Knuth Előd ,  Kóta Gábor ,  Marton Katalin ,  Miklóssy E. ,  Molnár E. ,  Nagy Dezső ,  Nagypál B. ,  Pinkert A. ,  Rádai Á. ,  Rátkai J. ,  Sebestyén Z. ,  Sólyom I. ,  Szalay G. ,  Székács Gy. ,  Szilágyi G. ,  Szilvásy I. ,  Szoboszlai L. ,  Tóth Sándor ,  Vaday G. ,  Várady G. 
Füzet: 1961/február, 57 - 60. oldal  PDF  |  MathML 
Témakör(ök): Síkgeometriai számítások trigonometriával, Szabályos sokszögek geometriája, Feladat
Hivatkozás(ok):Feladatok: 1960/február: 1029. matematika feladat

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 két tükörkép O1, O2 és válasszuk k sugarát hosszúságegységnek. Ekkor a k-ba írt szabályos háromszög oldala 3, azt kell tehát bizonyítanunk, hogy O1O2=d=3. Jelöljük továbbá a szabályos 26-szög egy oldalának O-ból való 360/26=180/13 látószögét röviden α-val.

 
 

Az OC25O1C1 és OC2O2C6 négyszögek nyilvánvalóan egységnyi oldalú rombuszok, ezért O1 az OC26, O2 pedig az OC4 félegyenesen van, tehát az O1OO2 szög egyenlő C26OC4=4α-val. A rombuszok O-nál levő szöge 2α, ill. 4α, ezért OO1=2cosα, OO2=2cos2α. Most már az OO1O2 háromszögből a koszinusz tétellel
O1O22=OO12+OO22-2OO1OO2cos4α,d2=4cos2α+4cos22α-8cosαcos2αcos4α.


Ezt az ismert 2cos2x=1+cos2x azonosság felhasználásával írhatjuk így (a jobb oldalon a bizonyítandó d2=3 állításra tekintettel különválasztjuk a 3 összeadandót):
d2=2(1+cos2α+1+cos4α)-8cosαcos2αcos4α==3+2(12+cos2α+cos4α)-8cosαcos2αcos4α.(1)

Itt a jobb oldal harmadik tagja a 914. feladatban1 bebizonyított
cosαcos2αcos4α...cos2nα=sin2n+1α2n+1sinα
azonosság szerint (n=2-t írva) egyenlő
-8sin23α23sinα=-sin8αsinα-val.(2)
A zárójelbeli kifejezés értékét pedig az
12+cosx+cos2x+cos3x+...+cosnx=sin2n+12x2sinx2
azonosság alapján,2 x=2α-val és n=2-vel a
sin5α2sinα(3)
hányados adja meg. Ha még figyelembe vesszük, hogy 13α=8α+5α=180, és így sin8α=sin5α, akkor valóban
d2=3+sin5αsinα-sin8αsinα=3,
és ezt kellett bizonyítanunk.
 

Grüner György (Mosonmagyaróvár, Kossuth L. g. III. o. t.)
 

Megjegyzések. I. Mindkét idézett azonosság legegyszerűbben a teljes indukció módszerével bizonyítható. Itt viszont mindkettőt n=2-vel alkalmaztuk, oly kicsi számmal, amelyre a bizonyítás közvetlenül is elvégezhető az ismert
2cosxsiny=sin(x+y)-sin(x-y)és2cosxcosy=cos(x+y)+cos(x-y)
azonosságok alapján. Ugyanis y=α-val és előbb x=2α, majd x=4α-val
2cos2αsinα=sin3α-sinα,(4)2cos4αsinα=sin5α-sin3α,(5)
ezeket összeadva és hozzáadva még sinα-t mindkét oldalhoz (1) második tagja céljára
sinα(1+cos2α+cos4α)=sin5α,
ez pedig lényegében a (3) eredmény. Másrészt (1) harmadik tagja lépésről lépésre való alakítással
-4cosα(2cos2αcos4α)=-4cosα(cos6α+cos2α)==-2(2cos6αcosα+2cos2αcosα)=-2(cos7α+cos5α+cos3α+cosα),


innen pedig a (4) és (5) mintájára képezett négy azonosság összeadásával (2)-re jutunk.
 

Kóta Gábor (Tatabánya, Árpád g. III. o. t.)
 

2. A fentieket továbbvíve a cos2α=cos(13α-11α)=cos(180-11α)=-cos11α és cos4α=-cos9α egyenlőségek alapján (1) így is alakítható:
d2=3+1-2(cosα+cos3α+cos5α+cos7α+cos9α+cos11α),


elegendő tehát azt belátnunk, hogy a zárójelbeli kifejezés értéke 1/2. Tekintsük evégett egy egységnyi oldalú szabályos 13-szög hét egymás utáni oldalát ‐ az ábrán az ABCDEFGH nyitott poligont ‐ és vetítsük merőlegesen a csúcsokat az A-n át HG-vel párhuzamosan haladó e egyenesre.
 
 

A 13-szög mindegyik külső szöge 2α, az AB oldal e-vel bezárt szöge α, így az egymás utáni AB,BC,CD,...,FG oldalak e-vel bezárt szöge rendre α, 3α, 5α, 7α, 9α, 11α (az utolsó három szög tompaszög). Ezért a zárójelbeli kifejezés tagjai az AB,...,FG oldalak irányított vetületét: AB1,...,F1G1 -et jelentik, pozitívnak véve az A-ból B1-be, B vetületébe mutató irányt. Ennélfogva összegük
AB1+B1C1+C1D1+D1E1+E1F1+F1G1=AG1,
ez pedig valóban egyenlő 1/2-del, mert a 13-szög szimmetriája folytán az A-ban e-re emelt merőleges K-ban felezi GH-t, tehát AG1=KG.
 

Marton Katalin (Budapest, Fazekas M. gyak. g. IV. o. t.)
 

3. A feladat állítása a komplex számsíkon végzett számítással is bizonyítható, abból kiindulva, hogy a szabályos 26-szög csúcsainak a 26-ik egységgyökök képeit vesszük.3
 

Bollobás Béla (Budapest, Apáczai Csere J. gyak. g. III. o. t.)
 

Knuth Előd (Budapest, I. István g. III. o. t.)
 

4. Többen a szögfüggvény-táblázatok felhasználásával azt mutatták meg, hogy az állítás 3, vagy 4 értékes számjegynyi pontossággal igaz. E dolgozatokat hiányosnak minősítettük.

1Lásd a megoldást K. M. L. XVIII. köt. 86. o. (1958. március), továbbá Faragó László: Mat. Szakköri Feladatgyűjtemény, 525. feladat (Középiskolai Szakköri Füzetek), Tankönyvkiadó, 1955. 52. o.

2Lásd az 1. jegyzetben idézett gyűjteményben, 527. feladat, 52. o.

3A felhasznált módszereket lásd pl. a következő műben: Reiman István: Geometriai feladatok megoldása a komplex számsíkon, Középiskolai Szakköri Füzetek. Tankönyvkiadó, 1957.