Feladat: F.2816 Korcsoport: 18- Nehézségi fok: átlagos
Megoldó(k):  Kovács Flórián 
Füzet: 1991/szeptember, 255 - 257. oldal  PDF  |  MathML 
Témakör(ök): Trigonometriai azonosságok, Húrnégyszögek, Síkgeometriai számítások trigonometriával, Szabályos sokszögek geometriája, Feladat
Hivatkozás(ok):Feladatok: 1990/október: F.2816

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.

I. megoldás. Ptolemaiosz tétele szerint bármely konvex húrnégyszög átlóinak szorzata egyenlő a szemközti oldalpárok szorzatainak összegével. Alkalmazzuk a tételt a PABC,PBCE és PBCD húrnégyszögekre.

 
 

Az ábra jelöléseit is használva:
PAx+PCx=PBy,PEx+PBy=PCy,PBx+PDx=PCy.
A három egyenletet összeadva, majd mindkét oldalból (PB+PC)y -t levonva:
PAx+PCx+PEx=PBx+PDx,
és ezt x-szel osztva a feladat állítását kapjuk.
 

II. megoldás. A feladat állításánál valamivel általánosabban azt fogjuk megmutatni, hogy a 2n+1-oldalú P0P1P2n szabályos sokszög P0P^2n ívén lévő P pontra
PP0+PP2++PP2n=PP1+PP3++PP2n-1.(1)

Ez n=2 esetben a feladat állítása.
Ismeretes, hogy az r sugarú körben a 2α középponti szöghöz tartozó húr hossza 2rsinα. Legyen a szabályos sokszög középpontja O és POP0=2φ. Ekkor az (1)-ben szereplő szakaszokat az említett módon felírva, majd 2r-rel osztva a következőt kapjuk:
sinφ+sin(21802n+1+φ)++sin(2n1802n+1+φ)==sin(1802n+1+φ)+sin(31802n+1+φ)++sin((2n-1)1802n+1+φ).


Vonjuk ki mindkét oldalból a jobb oldalt, és csoportosítsunk úgy, hogy a sinφ tagon kívül a következő párok különbsége szerepeljen:
a bal oldal második tagjának és a jobb oldal utolsó tagjának különbsége, a bal oldal harmadik és a jobb oldal utolsó előtti tagjának különbsége s í.t. Ekkor a bal oldalon a sinφ tagon kívül
sin(2i1802n+1+φ)-sin(2(n-i)+12n+1180+φ)==sin(2i1802n+1+φ)-sin(180-2i1802n+1-φ)==sin(2i1802n+1+φ)-sin(2i1802n+1-φ)


alakú kifejezések lesznek. Ezeket a sin(α+φ)-sin(α-φ)=2cosαsinφ azonosság segítségével átalakítva azt kell megmutatnunk, hogy
sinφ+(2cos21802n+1+2cos41802n+1++2cos2n1802n+1)sinφ=0.(2)

Ha PP0, azaz sinφ=0, akkor (2) teljesül. Ha sinφ0, akkor sinφ-vel osztva, majd a
2cos2i1802n+1=cos2i1802n+1+cos(2180-2i1802n+1)==cos2i1802n+1+cos2(2n-i+1)1802n+1


átalakítást alkalmazva az
1+cos21802n+1+cos4n1802n+1+cos41802n+1+cos(4n-2)1802n+1++cos2n1802n+1+cos(2n+2)1802n+1=0


egyenlőséghez jutunk. Ezt rendezve, és cos0=1-et írva végül azt kell bizonyítanunk, hogy
cos0+cos3602n+1+cos23602n+1+cos33602n+1++cos2n3602n+1=0.11(3)

Tekintsük ehhez azt a 2n+1-oldalú szabályos sokszöget, amelynek középpontja az origó, egyik csúcsa pedig az (1;0) pont. Tudjuk, hogy a szabályos sokszög középpontjából a csúcsokba mutató vektorok összege a zérusvektor. A (3)-ban szereplő összeg ennek a nullvektornak az x koordinátája, tehát zérus. Mivel pedig (3) ekvivalens (1)-gyel, így azt is igazoltuk.
 

Kovács Flórián (Bp., Árpád Gimn., IV. o. t.) dolgozata alapján
 

Megjegyzés. A (2) bal oldalán a zárójelben lévő összeg kiszámítható az
12+cosx+cos2x++cosnx=sin2n+12x2sinx2
azonosság alapján is. (Igazolása megtalálható Bogdán Z.: Matematika feladatok ‐ ötletek ‐ megoldások II. c. könyvben.)