Feladat: 1568. matematika gyakorlat Korcsoport: 16-17 Nehézségi fok: nehéz
Füzet: 1975/november, 139. oldal  PDF  |  MathML 
Témakör(ök): Egyenlőtlenségek, Síkgeometriai bizonyítások, Derékszögű háromszögek geometriája, Oldalak aránya és szögek közötti kapcsolat, Gyakorlat
Hivatkozás(ok):Feladatok: 1975/február: 1568. matematika gyakorlat

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.

Messe az O csúcsú, x nagyságú hegyesszög szárait az O körüli egységnyi sugarú kor az A, B pontokban, a kör A-beli érintője az OB félegyenest C-ben, és legyen B vetülete az OA szakaszon D.

 

 

Így az állítás
AB^OA<12(DBOB+ACOA)=DB+AC2OA,
mi pedig azt az egyenlőtlenséget bizonyítjuk, amely ebből OA2/2-vel való szorzás útján áll elő, tehát egyenértékű vele. A szorzatokat mindjárt a körcikk, illetve egy-egy háromszög területeként értelmezve, és a területeket az idom lényeges pontjaival jelölve (E az AB ív tetszőleges belső pontja), ezt mutatjuk meg:
OAEB<12(OAB+OAC)=12(2OAB+ABC)==OAB+ABC2=OAB+ABF=OAFB,


ahol F az AC érintőszakasz felezőpontja.
Elég azt belátnunk, hogy az OAFB négyszög mindig tartalmazza az OAB körcikket, vagyis hogy a BF szakasz az x-nek egyetlen 0 és π/2 közti értéke mellett sem metszi át a BA ívet. Messe a kör B-beli érintője AC-t G-ben. Így a GCB derékszögű háromszögből
GC>GB=GA,
mindkét oldalt AG-vel növelve, majd 2-vel osztva,
AC2=AF>AG,
vagyis F kívül van az AG szakaszon. Ez bizonyítja állításunkat.