Feladat: B.3689 Korcsoport: 16-17 Nehézségi fok: átlagos
Megoldó(k):  Halász Veronika 
Füzet: 2004/szeptember, 346 - 347. oldal  PDF  |  MathML 
Témakör(ök): Trigonometriai azonosságok, Mértani sorozat, Feladat
Hivatkozás(ok):Feladatok: 2003/december: B.3689

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.

Megoldás. A megoldás során föltesszük, hogy tg(π12-x) és tg(π12+x) értelmesek. A három mennyiségnek hatféle sorrendje lehetséges, azonban az esetek száma csökkenthető. Először is vegyük észre, hogy amennyiben a középső elemet rögzítjük, akkor a két szélső elem sorrendje a feladat szempontjából közömbös, három (nem nulla) szám egy adott sorrendben pontosan akkor alkot mértani sorozatot, ha a két szélső tagot felcserélve ugyancsak mértani sorozatot kapunk. (A sorozat hányadosa a csere után a reciprokára változik.) Ezzel az esetek száma a felére csökken.
Másfelől az x-x helyettesítés fölcseréli tg(π12-x) és tg(π12+x) értékét, így a tgπ12, tg(π12-x), tg(π12+x) mennyiségekre ebben a sorrendben akkor és csak akkor teljesül a feladat feltétele, ha az adott helyettesítés után tgπ12, tg(π12+x) és tg(π12-x) alkotnak mértani sorozatot. Így elegendő két esetre szorítkoznunk: ha tgπ12, illetve ha tg(π12-x) a középső elem.
Jelölje tgx értékét y és az egyszerűség kedvéért legyen tgπ12=t. A megfelelő addíciós tételek felhasználásával

tg(π12-x)=t-y1+tyéstg(π12+x)=t+y1-ty.
Ismeretes, hogy három nullától különböző szám pontosan akkor lesz egy mértani sorozat három szomszédos tagja, ha a középső tag négyzete egyenlő a másik két tag szorzatával. Az első esetben, ha t a középső tag, akkor
t2=t-y1+tyt+y1-ty=t2-y21-t2y2,
ahonnan t4y2-y2=0. Mivel t41, azért innen y=0 következik, azaz x=kπ, ahol k tetszőleges egész szám. Ekkor a három szám egyenlő és nem nulla, valóban mértani sorozatot alkotnak.
Ha t-y1+ty a középső elem, akkor a feltétel szerint most a
tt+y1-ty=(t-y1+ty)2
egyenletet kapjuk. A műveleteket elvégezve és y hatványai szerint rendezve, majd szorzattá alakítva a
(t2+1)y[ty2+(t2-1)y+3t]=0
egyenlet adódik. Ha y=0, akkor a számok egyenlők, az előző megoldást kapjuk, egyébként t0-val osztva az y2-1-t2ty+3=0 egyenletet kell megoldanunk. Az elsőfokú tag együtthatója igen megnyugtató: a tg2α=2tgα1-tg2α azonosság szerint
1-t2t=1-tg2π12tgπ12=2tg2π12=2tgπ6=23.
A másodfokú egyenlet bal oldala tehát y2-23y+3=(y-3)2, ahonnan y=3=tg-1π3. Ekkor x=π3+nπ, nZ, a három szám pedig tgπ12=2-3, tg(-π4)=-1 és tg5π12=2+3, amelyek ebben a sorrendben valóban mértani sorozatot alkotnak, a hányados q=-(2+3).
A korábbiak szerint az eddigiek mellett az x=-π3+nπ, nZ alakú számok is megoldásai a feladatnak, ekkor a tgπ12, tg(π12+x), tg(π12-x) értékek adják a fenti mértani sorozatot.
A feladat megoldásai tehát az x=επ3+nπ alakú számok, ahol ε a -1, 0, 1 értékek valamelyike, n pedig tetszőleges egész szám.
 
Megjegyzések. 1. Érdemes felfigyelni arra, hogy a feladat nem triviális megoldása a nyilvánvaló tg15tg75=1=tg245 azonosság átirata. A jobb oldal ugyanis tg2(-45)-nek is írható, így pedig az argumentumok a -45, 15, 75 elrendezésben olyan számtani sorozatot alkotnak, amelynek középső tagja 15(π12), míg a megfelelő tangens értékek a tg15, tg(-45), tg75 sorrendben alkotnak mértani sorozatot.
2. A megoldás során minden további nélkül használtuk, hogy tg15 pontos értéke 2-3. Ez például a szokásos módon igazolható a különbség tangensére vonatkozó azonosság és tg45=1, illetve tg30=33 ismert értékeinek felhasználásával:
tg15=tg(45-30)=tg45-tg301+tg45tg30=1-331+33=3-33+3=9-63+39-3=2-3.