Feladat: Gy.2072 Korcsoport: 14-15 Nehézségi fok: átlagos
Füzet: 1983/április, 160. oldal  PDF  |  MathML 
Témakör(ök): Algebrai átalakítások, Gyakorlat
Hivatkozás(ok):Feladatok: 1982/október: Gy.2072

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.

Jelölje a három számot x1, x2 és x3. Ha megmutatjuk, hogy (x1-1)(x2-1)(x3-1) pozitív, akkor ebből következik az állítás, hisz ekkor a szorzatban a negatív tényezők száma páros, és mindhárom tényező nem lehet pozitív, mert ekkor mindhárom szám, és így a szorzatuk is nagyobb volna 1-nél.
A beszorzásokat elvégezve kapjuk, hogy

(x1-1)(x2-1)(x3-1)=x1x2x3-(x1x2+x2x3+x3x1)+(x1+x2+x3)-1.
A feltétel szerint x1x2x3=1, vagyis egyrészt x1x2x3-1=0, másrészt
x1x2+x2x3+x3x1=x1x2+x2x3+x3x1x1x2x3=1x3+1x1+1x2,
ahonnan
(x1-1)(x2-1)(x3-1)=x1+x2+x3-(1x1+1x2+1x3),
ami a feltétel szerint valóban pozitív. Ezzel az állítást igazoltuk.
 
Megjegyzés. A fenti bizonyításban a számokról nem használtuk ki, hogy pozitívak, arra nincs szükség.