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. Egyenleteink a (3) kivételével , , , -ban szimmetrikusok, vagyis bennük mindegyik ismeretlen ugyanolyan szerepet játszik: (1)-ben mindegyik az -szeresével, (2)-ben mindegyik a négyzetének -szeresével szerepel tagként ugyanazon az oldalon, (4)-ben mindegyik az első hatványával tényezőként ugyanazon tagban. A (3)-ban viszont minden tag két különböző ismeretlen szorzata, de a lehetséges ilyen szorzatok közül és hiányzik, ez az egyenlet az , és , párokban szimmetrikus. Ezeknek az észrevételeknek a kihasználásával rendszerünk megoldását több szakaszra bonthatjuk. (3)-ból és (1)-ből alkalmas zárójelbefoglalással:
Ez az és ismeretlenekre vonatkozóan a legegyszerűbb típusú másodfokú egyenletrendszer (adva van a szorzatuk és az összegük), így értékük a egyenletből (ahol akár -t, akár -t jelentheti) egyetlen megoldásként . Másrészt (1) négyzetreemelésével a bal oldalon (2)-nek és (3) kétszeresének majdnem minden tagját megkapjuk, ugyanis
innen az és ismeretlenek összegére kapunk egyenletet, amelyeknek ismét ismerjük a szorzatát is (4)-ből. Az (1)‐(3) figyelembevételével (5)-ből ennélfogva a
egyenletrendszerből az egyenlet egyetlen megoldásaként . Így megkaptuk mind az , , mind az , ismeretlenpárra vonatkozóan mind összegüket, mind szorzatukat, ezek harmadszor is ,,összeg és szorzat'' típusú rendszert alkotnak. Sőt, mivel és , azért a két egyenletrendszer egymástól csak az ismeretlenek jelölésében különbözik, és ugyanazon másodfokú egyenlet gyökei, mint és , éspedig a vagyis a egyenleté. A megoldások:
Most már a teljes egyenletrendszer összes megoldásait úgy kapjuk, hogy és -ből, valamint és -ből mind a lehetséges párt felírjuk (l. a táblázatot).
Muszély György (Bp. VIII., Vörösmarty M. g. II. o. t.) | Megjegyzések. 1. Ha feltesszük, hogy a gyökök egész számok, akkor egyenletrendszerünknek fenti megoldásait az alábbi meggondolásokkal is megkereshetjük. (2) folytán abszolút értékben egyik ismeretlen értéke sem lehet 4-nél nagyobb. (4) folytán egyik sem lehet páros (0 sem), továbbá kettőnek abszolút értéke 3, kettőé 1. Egyik sem lehet negatív, mert (4) folytán a negatívok száma csak páros lehet, de (1) folytán mind a négynek negatív volta nem jöhet szóba, és kettő sem lehet negatív, mert akkor előbbi megállapításunk szerint (1) bal oldala maximálisan (a két abszolút értékben 3-mal egyenlő ismeretlent pozitívnak, az abszolút értékben 1-gyel egyenlőket negatívnak véve) 3+3-1-1=4 lenne. Eszerint az ismeretlenek értékei csak 1, 1, 3, 3 lehetnek valamely sorrendben, ezek (2)-nek is megfelelnek. E számoknak az x, y, z, u szerepre való elrendezése (3) alapján végezhető el. Hatféle lehetséges sorrendjük közül 1, 3, 1, 3 és 3, 1, 3, 1 (vigyázzunk a betűsorrendre !) nem felel meg.
Marót Ildikó (Bp. V., Veres Pálné lg. II. o. t.) | 2. A fenti ,,keresés'' természetesen nem tekinthető teljes értékű megoldásnak, egyrészt mert abból a gyakran hallható, de hibás felfogásból indul ki, hogy számokon csak a legjobban ismert számokat, a természetes számokat értjük (e tekintetben az sem számít, hogy (1)‐(4) jobb oldalán egész számok állnak), másrészt a próbálkozás, még ha rendszeres is, nem mindig biztosít az összes gyökrendszerek előállításáról, mindig egy alkalomra szabott, nem általános érvényű. A közölt megoldásban is van bizonyos fogás jellegű elem, a szimmetriák felismerése, ez azonban az ismeretleneknek egymás közti kapcsolatára vonatkozik, nem pedig az ismert számok pozitív egész voltára. A közölt módszerrel a 8, 20, 16, 9 számok helyén más, nem egész számokkal, sőt a, b, c, d-vel is meg tudnók oldani a rendszert, akkor persze ξ és η-ra vonatkozó egyenleteknek két-két gyökével kellene tovább haladnunk. |