Feladat: F.3189 Korcsoport: 16-17 Nehézségi fok: átlagos
Megoldó(k):  Mizda Roland 
Füzet: 1998/március, 162 - 163. oldal  PDF  |  MathML 
Témakör(ök): Háromszögek nevezetes tételei, Szinusztétel alkalmazása, Beírt kör, Feladat
Hivatkozás(ok):Feladatok: 1997/szeptember: F.3189

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.

A szinusztételt alkalmazva a bizonyítandó állítás:

|ab+bc+ca-ba-cb-ac|<1,
azaz
-1<c-ba+a-cb+b-ac<1.(1)
Adjunk mindkét oldalhoz 3-at mindegyik egyenlőtlenségben:
2<a+c-ba+a+b-cb+b+c-ac<4.
Vezessük be az a+b+c=2s jelölést. 2-vel osztva:
1<s-ba+s-cb+s-ac<2.
Jelöljük a háromszög beírt köréhez húzható érintő szakaszokat az ábra szerint. Ekkor x+y+z=s, a=x+y, b=y+z és c=z+x. A bizonyítandó egyenlőtlenség így alakul:
1<xx+y+yy+z+zz+x<2.(2)
A törtek eltávolítása és némi számolás után (2) mindkét egyenlőtlensége nyilvánvalóan teljesül. Mivel átalakításaink megfordíthatók, a feladat állítását igazoltuk.
 Mizda Roland (Szombathely, Kanizsai Dorottya Gimn. 12. o. t.)

 
Megjegyzés. Már az (1) egyenlőtlenségek helyessége is közvetlenül megmutatható. Tegyük fel, hogy
abc.(3)
A háromszög-egyenlőtlenség szerint |c-b|<a, |a-c|<b és |b-a|<c, tehát az (1)-ben szereplő törtek 1-nél kisebb abszolútértékűek. (3) miatt a-cb negatív, de legalább akkora abszolútértékű, mint a pozitív b-ac, ezért összegüknek c-ba-val vett összege teljesíti (1)-et.
A teljesség érdekében végig kell vizsgálni az a, b, c nagyság szerinti felírásának (3)-hoz hasonló minden változatát.