Feladat: F.2488 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Sipiczki Róbert 
Füzet: 1985/szeptember, 251 - 253. oldal  PDF  |  MathML 
Témakör(ök): Harmadfokú (és arra visszavezethető) egyenletrendszerek, Másodfokú (és arra visszavezethető) egyenletek, Gyökök és együtthatók közötti összefüggések, Feladat
Hivatkozás(ok):Feladatok: 1984/október: F.2488

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. Jelöljük b-vel az xyz szorzatot és a-val az x+y+z összeget! Ha b=0, akkor x, y, z valamelyike, mondjuk x is nulla. A 4xyz=(x+y)(xy+2) egyenlet ekkor így alakul :

0=2y,vagyisy=0.
Ugyanígy kapjuk, hogy z=0, ebben az esetben tehát az x1=y1=z1=0 megoldást kapjuk. Hasonlóan erre a megoldásra vezet az y=0 és z=0 feltétel is, csak akkor a 4xyz=(y+z)(yz+2), illetve 4xyz=(z+x)(xz+2) egyenletet használjuk.
A továbbiakban feltesszük, hogy b0, vagyis x, y, z egyike sem nulla. Egyenletrendszerünket most így írhatjuk fel:
4b=(a-z)(bz+2),4b=(a-y)(by+2),4b=(a-x)(bx+2).

Vagyis ha a-t és b-t már ismerjük, akkor x, y és z a következő egyenlet megoldásai közül kerülhet csak ki :
4b=(a-u)(bu+2).(2)
Ez az u0 esetén ekvivalens a
2u2+(5b-2a)u-ab=0(3)
másodfokú egyenlettel, amelynek főegyütthatója nem nulla. Egy ilyen egyenletnek legföljebb két különböző megoldása lehet, x, y, z közül tehát legalább kettő egyenlő.
Ha x=y=z (és persze nullától különböznek), akkor (1) a
4x3=2x(x2+2)
alakra egyszerűsödik. Most oszthatunk 2x-szel, rendezés után x2-2=0, amiből két további megoldást kapunk :
x2=y2=z2=2,x3=y3=z3=-2.

Marad még az az eset, amikor x, y, z közül kettő (pl. x és y) egyenlő és a harmadik különbözik tőlük. Ekkor x és z is kielégíti (3)-at, így a két gyök x és z. A gyökök és együtthatók közötti összefüggés alapján xz=-ab2. Tudjuk, hogy b=xyz, a=x+y+z és x=y, tehát b=x2z, a=2x+z. Ezt beírva
xz=-x2z(2x+z)2.
Feltettük, hogy x és z nem nulla, tehát oszthatunk xz-vel, rendezés után
2x2+xz+2=0.(4)
Másrészt az egyenletrendszer első egyenletébe az x=y összefüggést helyettesítve 4x2z=2x(x2+2). Megint oszthatunk 2x-szel, a rendezés után
x2-2xz+2=0.
Ehhez (4) kétszeresét adva 5x2+6=0 adódik, aminek nincs megoldása a valós számok között. Beláttuk tehát, hogy ebben az esetben nincs megoldás.
Egyenletrendszerünknek tehát csak az
x1=y1=z1=0,x2=y2=z2=2,x3=y3=z3=-2

számhármas tehet eleget. Könnyen ellenőrizhető, hogy e három számhármas valóban megoldása is az egyenletrendszernek.
 
II. megoldás: Az (x+y)(xy+2)=(y+z)(yz+2) egyenletből rendezés után az
(x-z)(y2+xy+yz+2)=0(5)
egyenlethez jutunk. Hasonlóan kapjuk az
(x-y)(z2+xz+yz+2)=0(6)
(y-z)(x2+xy+xz+2)=0(7)
egyenleteket. Ha x, y, z mindegyike különböző volna, akkor az egyenletek bal oldalán a második zárójelben álló kifejezéseknek kellene nullának lenniük, de akkor ezek összege is nulla volna, holott ezek összege éppen (x+y+z)2+6, ami biztosan pozitív. x, y, z közül tehát legalább kettő egyenlő. Ha például x=yz, akkor (7) bal oldalán a második zárójelben áll nulla, tehát
0=x2+xy+xz+2=2x2+xz+2.
Másrészt a 4xyz=(x+y)(xy+2) egyenlet x=y esetén 4x2z=2x(x2+2), azaz
2x(x2+2-2xz)=0
lesz. Az I. megoldásban már láttuk, hogy x=0 esetén az
x1=y1=z1=0
megoldáshoz jutunk. Ha x0, akkor a
2x2+xz+2=0,
x2-2xz+2=0
egyenletrendszerhez jutunk, aminek (mint láttuk) valós számok között nincs megoldása. Maradt tehát az az eset, ha x=y=z0, ekkor az
x2=y2=z2=2és azx3=y3=z3=-2
megoldásokat kapjuk. Egyenletrendszerünknek tehát három megoldása lehet, s ez a három számhármas meg is felel.