Feladat: B.3856 Korcsoport: 16-17 Nehézségi fok: átlagos
Megoldó(k):  Almási Gábor ,  Szabó Tamás 
Füzet: 2007/február, 93 - 95. oldal  PDF  |  MathML 
Témakör(ök): Algebrai átalakítások, Nevezetes azonosságok, Feladat
Hivatkozás(ok):Feladatok: 2005/november: B.3856

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. A törtek a kezdeti feltétel második része miatt mindig értelmezve vannak. Hozzunk közös nevezőre mindkét oldalon:

a7(1+a)2-(1-a)2(1-a)2(1+a)2=b7(1+b)2-(1-b)2(1-b)2(1+b)2.
A számlálókban a műveletek elvégzése után igen egyszerű kifejezések adódnak (a nevezőkben is végezzük el a szorzást):
a74a(1-a2)2=b74b(1-b2)2.
Osszunk 4-gyel és szorozzunk a nevezőkkel:
a8(1-b2)2=b8(1-a2)2.
Mindkét oldalon teljes négyzetek szerepelnek:
(a4b2-a4)2=(b4a2-b4)2.
A feltételként szereplő azonosságot alkalmazva a zárójeleken belül:
[a2(a2+b2)-a4]2=[b2(b2+a2)-b4]2.
A zárójeleken belül a műveleteket elvégezve kapjuk, hogy: (a2b2)2=(b2a2)2, ami nyilvánvalóan igaz, és mivel ekvivalens átalakításokat végeztünk, az eredeti állítás is igaz.
 
II. megoldás. A feladat feltétele szerint a2+b2=a2b2. Ebből b2-et kifejezve:
b2=a2a2-1.(1)
(a2-1)-gyel azért oszthatunk, mert |a|1. Ugyanígy
a2=b2b2-1.(2)
Alakítsuk át a bizonyítandó egyenlőség mindkét oldalát:
a7(1-a)2-a7(1+a)2=b7(1-b)2-b7(1+b)2,a9+2a8+a7-a9+2a8-a7((1-a)(1+a))2=b9+2b8+b7-b9+2b8-b7((1-b)(1+b))2,4a8(a2-1)2=4b8(b2-1)2,a4(a2a2-1)2=b4(b2b2-1)2.
Helyettesítsük be a zárójelben szereplő kifejezések helyére az (1)-ben és (2)-ben kapott értékeket:
a4(b2)2=b4(a2)2,a4b4=a4b4,
ami azonosság. Ezzel az állítást igazoltuk.
 
Megjegyzések. 1. Kicsit módosul a megoldás vége, ha a2-1, illetve b2-1 helyére írjuk be a feltételből kapott a2b2, illetve b2a2 kifejezéseket.
2. Sokan bármiféle megjegyzés nélkül gyököt vontak és a4a2-1=b4b2-1-gyel dolgoztak, és kihozták például, hogy a2b2=a2+b2 ‐ ami a feltétel. Ebből ugyan következik a kiinduló állítás, de nem ekvivalens azzal (mint ahogy többen írták). (Ahogy pl. a2=b2-ből sem következik a=b, de a=b-ből következik a2=b2.)