Feladat: B.4978 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Weisz Máté 
Füzet: 2019/április, 222 - 224. oldal  PDF  |  MathML 
Témakör(ök): Feladat, Szögfüggvények, síkgeometriai számítások, Síkgeometriai bizonyítások, Vektorok
Hivatkozás(ok):Feladatok: 2018/október: B.4978

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.

A kétszeres szögeke vonatkozó cos2x=cos2x-sin2x azonosságot 2cos2x=cos2x+1 formában tagonként alkalmazva kapjuk, hogy

2k=0n-1cos2(α+2kπn)=k=0n-12cos2(α+2kπn)=k=0n-1(cos(2α+4kπn)+1)==k=0n-1(cos(2α+4kπn))+n.
Pontosan azt kell megmutatnunk, hogy
k=0n-1(cos(2α+4kπn))=0.

A megoldás további részében a komplex számok trigonometrikus alakját használjuk. Legyen
z=cos(2πn)+isin(2πn).
Ekkor algebrai azonosság alapján
cos(4π)+isin(4π)-1cos(4πn)+isin(4πn)-1=z2n-1z2-1=k=0n-1z2k==k=0n-1(cos(4kπn)+isin(4kπn)).

Az n3 feltétel miatt 4n nem lehet páros egész szám, így a nevezőben szereplő cos(4π)+isin(4π)-10. Viszont a számláló, cos(4π)+isin(4π)-1=0, tehát
k=0n-1(cos(4kπn)+isin(4kπn))=0.
Most használjuk fel a trigonometrikus alakban adott komplex számok szorzására vonatkozó azonosságot tagonként:
0=(cos(2α)+isin(2α))k=0n-1(cos(4kπn)+isin(4kπn))==k=0n-1((cos(2α)+isin(2α))(cos(4kπn)+isin(4kπn)))==k=0n-1(cos(2α+4kπn)+isin(2α+4kπn))==k=0n-1(cos(2α+4kπn))+ik=0n-1(sin(2α+4kπn)).
Tudjuk, hogy ez a komplex szám nulla, emiatt a valós része is nulla:
k=0n-1(cos(2α+4kπn))=0.
Az eredeti állításhoz visszatérve tehát beláttuk, hogy
2k=0n-1cos2(α+2kπn)=n,vagyisk=0n-1cos2(α+2kπn)=n2.

 
 Weisz Máté (Szegedi Radnóti M. Kísérleti Gimn., 11. évf.)
 dolgozata alapján