Feladat: F.1701 Korcsoport: 16-17 Nehézségi fok: átlagos
Füzet: 1970/december, 205 - 207. oldal  PDF  |  MathML 
Témakör(ök): Harmadfokú (és arra visszavezethető) egyenletek, Paraméteres egyenletek, Gyökök és együtthatók közötti összefüggések, Feladat
Hivatkozás(ok):Feladatok: 1970/február: F.1701

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. Két szám, u és v, harmonikus közepén, h-n reciprokuk számtani közepének reciprokát értjük:

1h=12(1u+1v),ahonnanh=2uvu+v,
aminek csak akkor van értelme, ha u, v és u+v egyike sem 0.
Legyenek (1) gyökei x1, x2, x3, és játssza a kiemelt szerepet x2, ekkor
x2=2x1x3x1+x3.(2)

Ismeretes1, hogy a három gyök és (1) együtthatói között a következő összefüggések állnak fönn:
x1+x2+x3=-ba,x1x2+x1x3+x2x3=ca,x1x2x3=-da.
Ide (2)-t beírva, az x1, x3 ismeretlenekre három egyenletünk van, ami csak úgy teljesülhet, ha a jobb oldalak között bizonyos összefüggés áll fönn. Éppen ennek keresése a feladat, úgy kapjuk, hogy valamelyik két egyenlet alapján meghatározzuk x1-et és x3-at és ezt a hátra levőbe helyettesítjük.
x1+x3+2x1x3x1+x3=-ba,(3)x1x3+(x1+x3)x2=3x1x3=ca,(4)2x12x32x1+x3=-da,


és a másodikból azt látjuk, hogy c0-nak is fönn kell állania, hiszen d0 miatt egyik gyök sem 0. (4) alapján az utolsóból
x1+x3=-2ad(x1x3)2=-2ad(c3a)2=-2c29ad,(5)
ami (4)-gyel együtt kétismeretlenes egyenletrendszert jelent az x1, x3 párra.
Nincs azonban szükség x1 és x3 külön kifejezéseire, mert (3)-ban éppen x1 és x3 szimmetrikus függvényeire van szükség, így (3)-ból (5) és (4) alapján a keresett összefüggés:
-2c29ad+(2c3a)(-9ad2c2)=-2c29ad-3dc=-ba,
ill. a szokásos rendezéssel
27ad2-9bcd+2c3=0,(6)
hacsak ad0. (A közben talált c0 feltételt nem kell ismételnünk, mert (6)-ból
c=27ad29bd-2c20.)

 

II. megoldás. Legyenek (1) gyökei x1, x2, x3. Mivel a0, azért az egyenlet valóban harmadfokú, és mivel d0, azért egyik gyök sem lehet 0-val egyenlő. Ha a gyökök közül az egyik harmonikus közepe a másik kettőnek, akkor e gyökök reciprokai közül az egyik a másik kettő számtani közepe. E gyökök reciprokai a
dx3+cx2+bx+a=0(7)
egyenlet gyökei, hiszen pl. az, hogy x1 gyöke (1)-nek, azt jelenti, hogy
ax13+bx12+cx1+d=0,
ahonnan x13-nel osztva (ami 0), kapjuk, hogy 1x1 gyöke (7)-nek.
(7) gyökeit y1, y2, y3-mal jelölve, a gyökök és együtthatók összefüggése szerint
y1+y2+y3=-cd,y1y2+y2y3+y3y1=bd,y1y2y3=-ad.(8)
E gyökök közül akkor és csakis akkor lesz egyik a másik kettőnek számtani közepével egyenlő, ha az
S=(2y1-y2-y3)(2y2-y3-y1)(2y3-y1-y2)
szorzat értéke 0. (8) alapján S kifejezhető az egyenlet együtthatóival:
S=(3y1+cd)(3y2+cd)(3y3+cd)==27y1y2y3+9(y1y2+y2y3+y3y1)cd+3(y1+y2+y3)c2d2+c3d3==-27ad+9bcd2-3c3d3+c3d3=1d3(-27ad2+9bcd-2c3).


S tehát akkor és csakis akkor 0, ha (6) teljesül, vagyis (6) szükséges és elegendő feltétele annak, hogy (1) gyökei közül egyik a másik kettőnek harmonikus közepe legyen.
1 Lásd pl. Hack F.: Függvénytáblázatok, matematikai összefüggések (Tankönyvkiadó, Budapest, 1967), 62. old., 251. 333-335. jelzőszám.