Feladat: F.2819 Korcsoport: 18- Nehézségi fok: átlagos
Megoldó(k):  Álmos Attila ,  Lente Gábor 
Füzet: 1991/december, 451 - 452. oldal  PDF  |  MathML 
Témakör(ök): Trigonometrikus egyenletek, Másodfokú (és arra visszavezethető) egyenlőtlenségek, Trigonometriai azonosságok, Indirekt bizonyítási mód, Feladat
Hivatkozás(ok):Feladatok: 1990/november: F.2819

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.

Először megmutatjuk, hogy x,y és z abszolút értéke nem lehet 1-nél nagyobb. Tegyük fel, hogy állításunkkal ellentétben például |x|>1. Mivel az első egyenlet alapján x nem lehet (-1)-nél kisebb, ez (valós számokkal) csak úgy lehetséges, hax>1. Ekkor a harmadik egyenlet alapján

z=2x2-1=x2+(x2-1)>x>1,
így a második egyenlet alapján
y=2z2-1>z,
ezért az első egyenletből
x=2y2-1>y.

Az x>1 feltevésből kapott három egyenlőtlenség:
x<z<y<x,
ami ellentmondás.
A betűzés ciklikus cseréjével hasonlóan bizonyítható, hogy y és z sem lehet 1-nél nagyobb abszolút értékű.
Legyen t olyan 0 és π közé eső valós szám, amelyre x=cost. Mivel |x|1, pontosan egy ilyen t létezik. Ekkor a harmadik egyenlet alapján
z=2x2-1=2cos2t-1=cos2t,
a második egyenlet szerint pedig
y=2z2-1=2cos22t-1=cos4t.

A kapott eredményeket behelyettesítve az első egyenletbe:
cost=x=2y2-1=2cos24t-1=cos8t,
 vagyis
cost=cos8t.

Mivel tetszőleges u és v valós számokra cosu=cosv pontosan akkor teljesül, ha u-v vagy u+v a 2π-nek egész számú többszöröse, ez azt jelenti, hogy 7t vagy 9t a 2π-nek egész számú többszöröse. Ilyen t érték a [0,π] intervallumban nyolc van:
t1=0;t2=2π7;t3=4π7;t4=6π7;t5=2π9;t6=4π9;t7=6π9;t8=8π9.

Az ezekhez tartozó megoldások:

x1=cos0=1;y1=cos0=1;z1=cos0=1;x2=cos2π7;y2=cos8π7=cos6π7;z2=cos4π7;x3=cos4π7;y3=cos16π7=cos2π7;z3=cos8π7=cos6π7;x4=cos6π7;y4=cos24π7=cos4π7;z4=cos12π7=cos2π7;x5=cos2π9;y5=cos8π9;z5=cos4π9;x6=cos4π9;y6=cos16π9=cos2π9;z6=cos8π9;x7=cos6π9=-12;y7=cos24π9=-12;z7=cos12π9=-12;x8=cos8π9;y8=cos32π9=cos4π9;z8=cos16π9=cos2π9.