Feladat: F.2646 Korcsoport: 18- Nehézségi fok: átlagos
Füzet: 1988/február, 64 - 65. oldal  PDF  |  MathML 
Témakör(ök): Azonosságok, Logaritmusos egyenletek, Egyenletek, Feladat
Hivatkozás(ok):Feladatok: 1987/szeptember: F.2646

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.

Mindkét egyenlőség mindkét oldala akkor van értelmezve, ha az

a>0,b>0,c>0,t>0,a1,b1,c1,t1és  bc
feltételek mindegyike teljesül. Azt állítjuk, hogy ezek mellett a feltételek mellett a két egyenlőség ekvivalens. Ezt úgy mutatjuk meg, hogy az elsőből ekvivalens átalakításokkal eljutunk a másodikhoz.
Térjünk át az első egyenlőségben t alapú logaritmusokra, felhasználva, hogy ha t>0, t1, x>0 és x1, akkor logxt=1logtx. A bal oldal ekkor logtclogta, a jobb oldal pedig
1logta-1logtb1logtb-1logtc=logtclogtalogtb-logtalogtc-logtb.

Feltételeink szerint logtclogta0, így a vele történő egyszerűsítés után kapott
1=logtb-logtalogtc-logtb(1)
egyenlőség ekvivalens az eredetivel. Mivel cb, ezért (1) jobb oldalán a nevező nem nulla, tehát (1) pontosan akkor teljesül, ha
logtc-logtb=logtb-logta.(2)

Tudjuk, hogy a, b, és c mindegyike pozitív, így (2) akkor és csak akkor igaz, ha
logtcb=logtba.(3)

A logaritmusfüggvény kölcsönösen egyértelmű, ezért t>0, t1 esetén (3) a
cb=ba(4)
egyenlőséggel ekvivalens. Végül (4) nyilván pontosan akkor igaz, ha
ac=b2,
azaz
ac=b,  hisz  a,b  és  c  pozitív számok.

Beláttuk tehát, hogy amennyiben az első egyenlőség értelmes, akkor ekvivalens átalakításokkal valóban megkapható belőle a második, és ezzel a megoldást befejeztük.