Feladat: F.2858 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Csekő Zoltán ,  Csörnyei Marianna ,  Párniczky Benedek ,  Stőhr Lóránt ,  Varjú Katalin 
Füzet: 1992/április, 152 - 154. oldal  PDF  |  MathML 
Témakör(ök): Beírt kör, Hozzáírt körök, Hossz, kerület, Terület, felszín, Számtani-mértani egyenlőtlenségek, Feladat
Hivatkozás(ok):Feladatok: 1991/május: F.2858

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.

1. Felidézünk néhány összefüggést a háromszög beírt és hozzáírt köreinek érintőszakaszai és a kerület bizonyos részei között. Ismeretes, hogy az ABC háromszög beírt körének érintési pontjai közül kettő pl. az A csúcstól s-a távolságra van. Ezért az 1. ábra jelölései szerint

 
 

1. ábra
 

AE2=AE3=s-a;BE1=BE3=s-b;CE1=CE2=s-c.(1)
Hasonlóan a c oldalhoz hozzáírt kör érintési pontjaira:
AG2=AG3=s-b;BG1=BG3=s-a;CG1=CG2=s.(2)

Az 1. ábrán egy ívvel jelölt merőleges szárú szögpárok révén az OBE3 és BKG3 háromszögek hasonlóak, ezért Rcs-a=s-bϱ, amiből Rc=(s-a)(s-b)ϱ. A Heron-, illetve a t=ϱs képlet felhasználásával
Rc=ts-c.(3)

 
 

2. ábra
 

2. Az (1)‐(3) képleteinket értelemszerűen alkalmazzuk a vizsgált háromszögekre, a továbbiakban 2s ezeknek a kerületét jelentse; vagyis az eddiginek a felét.
Az ABC háromszög oldalainak F,F2,F3 felezőpontjai nyilván teljesítik a feladat feltételeit (2.ábra). Ha A1,B1,C1 is ilyen pontok, akkor mind a CF2F1, mind pedig a CB1A1 háromszög kerülete 2s. Segítségül vesszük az F1F2F3 háromszög beírt k körét és a CF2F1 háromszög F2F1 oldalához hozzáírt kc kört. Figyelembe véve (2) harmadik egyenlőségét, e két háromszög C-vel szemközti oldalát érintő hozzáírt kör ugyanazokban a pontokban érinti a C-n átmenő oldalak egyenesét ‐ éspedig azokban a P és Q pontokban, amelyekre CP=CQ=s ‐ ezért e két említett kör azonos. Az (1) egyenlőségek szerint E1F1=s-F2F3, ahol E1 az F1F2F3 háromszög beírt körének érintési pontja, (2) szerint pedig EF1=s-CF1, ahol E a CF2F1 háromszög hozzáírt körének érintési pontja. Mivel CF1=F2F3, azért E1=E. Ez azt jelenti, hogy a k és kc körök ugyanabban az E pontban érintik az F1F2 szakaszt, és a k a kc belsejében van. Ezért az A1B1 szakasznak nem lehet k-val közös pontja, hiszen A1B1 érinti a kc kört. (Kivéve, ha A1 és B1 egybeesik az F1 és F2 pontokkal.) Azt is látjuk, hogy a k kör az A1B1 egyenes másik partján van, mint a C pont. Hasonló elmondható a B1C1 és C1A1 szakaszokra is, tehát az A1B1C1 háromszög tartalmazza a k kört, anélkül, hogy oldalainak k-val közös pontja lenne. Pontosabban szólva, ha az A1,B1,C1 pontok között van olyan, amelyik nem esik egybe az F1,F2,F3 valamelyikével, akkor az A1B1C1 háromszögnek van olyan oldala, amelyiknek nincs közös pontja a k körrel. Ezért ennek a háromszögnek a beírt köre k-énál nagyobb sugarú, és a t=ϱs formulából következően területe nagyobb, mint az F1F2F3 háromszög területe.
 
3. Jelöljük az AB1C1,A1BC1,A1B1C, illetve F1F2F3 háromszög területét rendre tA,tB,tC, illetve tF-fel. Mivel a CA1B1 és a CF2F1 háromszög C-vel szemközti oldalához tartozó hozzáírt kör azonos, (3) alapján
tCs-A1B1=tFs-F1F2,ígytC=tFs-A1B1s-F1F2.

Hasonlóan felírva tA-t és tB-t, majd a három egyenlőséget összeszorozva:
tAtBtC=tF3(s-A1B1)(s-A1C1)(s-B1C1)(s-F1F2)(s-F1F3)(s-F2F3).

A jobb oldalon a törtet s-sel bővítve és a Heron képletet alkalmazva kapjuk:
tAtBtC=tF3t2tF2,ahol  t  az  A1B1C1  háromszög területét jelöli.(4)

Korábbi eredményünk szerint t>tF, és így (4)-ből
tAtBtC>tF3.(5)

Könnyű belátni, hogy tA+tB+tC+t=4tF, tehát
tA+tB+tC<3tF.(6)
A számtani és mértani közép közötti egyenlőtlenség alapján

tAtBtC(tA+tB+tC3)3,amit (6)-tal egybevetvetAtBtC<tF3.(7)



Az (5) és (7) egyenlőtlenségek egymásnak ellentmondóak. Ez azt jelenti, hogy az F1,F2,F3 pontokon kívül nincs olyan ponthármas, amely kielégítené a feladat feltételeit.
 

Párniczky Benedek (Fazekas M. Főv. Gyak. Gimn., II. o. t.) dolgozata alapján

 
Megjegyzés. A feladat állítása következménye az N. D. Kazarinoff: Geometriai egyenlőtlenségek c. könyv 198. oldalán található tételnek. (Ez a tétel azt mondja ki, hogy a négy háromszög közül nem az A1B1C1 kerülete a legkisebb.)