Feladat: 1982. évi Nemzetközi Matematika Diákolimpia 12. feladata Korcsoport: 18- Nehézségi fok: nehéz
Megoldó(k):  Csirmaz László ,  Megyesi Gábor 
Füzet: 1984/január, 8 - 9. oldal  PDF  |  MathML 
Témakör(ök): Szögfelező egyenes, Beírt kör, Hozzáírt körök, Feuerbach-kör, Inverzió, Nemzetközi Matematikai Diákolimpia
Hivatkozás(ok):Feladatok: 1982/szeptember: 1982. évi Nemzetközi Matematika Diákolimpia 12. feladata

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.

Az a feltétel, hogy a A1A2A3 háromszög nem egyenlő szárú, biztosítja, hogy a kérdéses egyenesek léteznek és különbözők. Tükrözzük a háromszög a1 oldalegyenesét az A1 csúcsból induló belső szögfelezőre. A kapott b1 egyenes érinti a k beírt kört, mégpedig T1 pont tükörképében, azaz S1-ben, továbbá érinti a háromszög a1-hez hozzáírt k1 körét is (1. ábra).

 
 
1. ábra
 

Tekintsük az M1 középpontú, M1T1=M1V1 sugarú körre vonatkozó inverziót. Ez az inverzió helyben hagyja a k és k1 köröket, hiszen mindkettő merőleges az inverzió alapkörére: a T1, illetve V1 metszéspontokból a középpontokba mutató sugarak merőlegesek egymásra. Állítjuk, hogy a b1 egyenes inverze éppen a háromszög Feuerbach-köre. Ebből a feladat állítása következik. Mivel b1 érinti k-t és k1-et is, azért b1 inverze érinti k-nak, valamint k1-nek inverzét, következésképp egy háromszög Feuerbach-köre érinti a háromszög beírt körét, továbbá a három hozzáírt kört is.
A beírt kör és a Feuerbach-kör érintési pontja inverz képe annak a pontnak, ahol b1 és k érinti egymást, vagyis az S1 pontnak, és így rajta van az M1S1 egyenesen. Ugyanez az érintési pont rajta van az M2S2,M3S3 egyeneseken is, s így M1S1,M2S2,M3S3 valóban egy ponton mennek át, ahogyan a feladat állította.
Annak igazolása maradt még hátra, hogy b1 inverz képe a háromszög Feuerbach-köre. Mivel b1 nem megy át az inverzió középpontján, M1-en (a2a3 miatt), b1 inverze egy M1-en átmenő kör. S mivel az A1A2A3 háromszög Feuerbach-köre az M1M2M3 középháromszög körülírt köre, elegendő megmutatnunk, hogy M2 és M3 is rajta van b1 inverz képén, azaz
M1XM1M2=M1YM1M3=M1T12,
ahol X, ill. Y az M1M2, ill. M1M3 félegyenesnek és a b1-nek metszéspontjai (2. ábra). Mivel A2T1=s-a2=(a1+a3-a2)/2 és M1A2=a1/2, azért
M1T12=(M1A2-A2T1)2=(a2-a3)24.
P az A1-ből induló belső szögfelezőnek és a1-nek a metszéspontja, tehát
PA2=a1a3a2+a3,PA3=a1a2a2+a3,PM1=|M1A2-PA2|=a1|a2-a3|2(a2+a3).

 
 
2. ábra
 

Végül a PXM1 és PQA2 hasonló háromszögekből
M1X:A2Q=PM1:PA2=a1|a2-a3|2(a2+a3)a2+a3a1a3=|a2-a3|2a3,
vagyis
M1XM1M2=|a2-a3|2a3A2QM1M2=(a2-a3)22a3a32=M1T12.
A PYM1 és PRA3 hasonló háromszögekből pedig
M1Y:A3R=PM1:PA3=|a2-a3|2a2,
vagyis
M1YM1M3=|a2-a3|2a2|a2-a3|a22=M1T12.

Ezzel a feladat állítását beláttuk, s azt is, hogy ez a közös pont éppen a beírt kör és a Feuerbach-kör érintési pontja.