Feladat: F.1654 Korcsoport: 16-17 Nehézségi fok: átlagos
Megoldó(k):  Gerhardt Tamás ,  Szalontai Árpád 
Füzet: 1969/november, 121 - 123. oldal  PDF  |  MathML 
Témakör(ök): Trigonometrikus egyenletek, Műveletek polinomokkal, Feladat
Hivatkozás(ok):Feladatok: 1969/március: F.1654

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. Megkeressük (1) összes gyökeit, és mindegyikre megvizsgáljuk, gyök-e a 2-szerese is, vagyis teljesül-e a módosított egyenlet:

cos2x+cos4x+cos8x=0.(2)
(1) bal oldalán az utolsó két tag összegét szorzattá alakítva
cosx+cos2x+cos4x=cosx+2cosxcos3x=cosx(1+2cos3x)=0,
eszerint (1) gyökei (fok egységekben):
cosx=0-ból  x1,2=90+k180,  továbbá  
1+2cos3x=0,  azaz
cos3x=-12ből3x={120+k360,240+k360,
x3,4,5=40+k120,x6,7,8=80+k120.
A (0, 720) intervallumba eső gyökök tehát:
 

40,80,90,160,200,270,280,320,400,440,450,520,560,630,640,680.   
 

Már innen látjuk, hogy x1,2-re nem igaz az állítás, 180,540 nem szerepel, és valóban, (2x1=)180 és (2x2=)540 esetén (2) bal oldala +1. Azt sejtjük viszont, hogy minden további gyökre helyes az állítás.
 

 

Valóban,
2x3,4,5=80+(2k)120,
ami mindig benne van az x6,7,8 alakban, másrészt hasonlóan
2x6,7,8=160+2k120=40+(2k+1)120,
ezt pedig az x3,4,5 alak tartalmazza. Ezzel szemben 2x1,2=(2k+1)180 nem gyök. ‐ Ezzel a kívánt vizsgálatot befejeztük.
Gerhardt Tamás (Budapest, Kaffka Margit Gimn., III. o. t.)

Szalontai Árpád (Budapest, Berzsenyi D. Gimn., II. o. t.)
 

II. megoldás. Az (1) egyenlet teljes megoldása nélkül adjuk meg a választ a kérdésre. Az 1575. feladat1

(1) táblázatát (az n=8-hoz tartozó sorral való kiegészítés után) felhasználva 2cosx=C polinomjává alakítjuk (1) bal oldalának 2-szeresét, és azt a kifejezést is, ami belőle adódik, x helyére 2x-et írva:
2cosx+2cos2x+2cos4x=C+(C2-2)+(C4-4C2+2)=(1a)C(C3-3C+1),2cos2x+2cos4x+2cos8x=(C2-2)+(C4-4C2+2)+(2a)(C8-8C6+20C4-16C2+2)=C8-8C6+21C4-19C2+2.

Az első polinom C tényezője a második polinomnak nem tényezője. Eszerint C=0, vagyis x1=90+k180 esetén (1a) és vele (1) bal oldala 0, x1 gyök, (2a) értéke viszont 2(0), tehát x1 a módosított egyenletnek nem gyöke.
Polinom-osztás útján kapjuk, hogy (2a) jobb oldala többszöröse az (1a) jobb oldalán álló háromtagúnak:
C8-8C6+21C4-19C2+2=(C3-3C+1)(C5-5C3-C2+6C+2),
eszerint minden további olyan C esetében, amelyre (1a) jobb oldala 0, vagyis x2=arc  cos(C/2) gyöke (1)-nek, a (2a) jobb oldala is 0, tehát x2 a módosított egyenletnek is gyöke. Legalább egy ilyen gyök van, mert C=-2 esetén C3-3C+1=-1,<0,C=2 esetén pedig +3,>0, a megfelelő grafikon legalább egy helyen átmetszi az x tengelyt.
A kérdéses állítás tehát bizonyos gyökökre igaz, másokra nem igaz.
 

III. megoldás. Könnyű észrevenni, hogy x=±90 az (1)-nek gyöke, a (2)-nek nem, van tehát olyan gyök, amelyre az állítás nem igaz. Megmutatjuk viszont, hogy olyan gyök is van, amelyre (2) is teljesül, vagyis amelyre az állítás igaz. Az ilyen gyökre (1) és (2) kivonásával mindenesetre
cosx=cos8x,
tehát csak 8x-x=7x=k360 és 8x-x=9x=k360 megoldásairól lehet szó, amennyiben kielégítik (1)-et.
 

 

Az utóbbiból adódó x=40 esetén (1) bal oldala cos40+cos80+cos160=cos40+cos280+cos160, az egységkörnek a 40,160 és 280 irányszögű pontjaihoz tartozó helyvektorok x koordinátáiból képezett összeg2, más szóval a vektorok összegének x-koordinátája. Ámde a 3 vektor összege 0, mert mindegyikük egységvektor, és bármelyik kettő közötti szög 120, így (1) bal oldala 0. Ugyanígy cos80+cos160+cos320=cos80+cos200+cos320=0. (x=120 esetén 2x=240,4x=120+360, és nem találunk a fentiekhez hasonló tükrözést.)
1K. M. L. 37 (1968) 120. o. Cn=2cosnx a C1=C=2cosx-nek az az n-edfokú, csökkenő hatványok szerint rendezett polinomja, melyben Cn együtthatója 1, a további tagokban a kitevő 2 egységenként csökken, az egymás utáni együtthatók az (1*) táblázat n indexű sorából vehetők ki, és a táblázat a (2*) séma szerint fejleszthető tovább, ahol a=b-c (miután kész sor utolsó száma után 0-t írtunk).
   n  11  21-2  31-3  41-42MMM(1*)  51-55  61-69-2  71-714-7  8   1   -8   20   -16   2
MMMMM       c      b    MMM(2*)a

2Nem okoz zavart, hogy x-nek itt kétféle jelentése van.