Feladat: Pontversenyen kívüli P.47 Korcsoport: 14-15 Nehézségi fok: nehéz
Megoldó(k):  Donga György ,  Göndőcs Ferenc ,  Lempert László 
Füzet: 1970/április, 167 - 169. oldal  PDF  |  MathML 
Témakör(ök): Háromszögek hasonlósága, Síkgeometriai számítások trigonometria nélkül körökben, Pontversenyen kívüli probléma
Hivatkozás(ok):Feladatok: 1969/november: Pontversenyen kívüli P.47

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öljük a kiindulási köröket k1-gyel és k2-vel és húzzuk meg egyik közös érintőjüket, e-t. Egyértelműség kedvéért legyen A a körök e-hez közelebbi metszéspontja. A T és U, ill. az ennek megfelelő C és D jelölést úgy válasszuk meg, hogy CA<AD teljesüljön. (Ha CA=AD, akkor a kívánt E pont nem létezik, s így a feladat értelmét veszti.) Az általánosság megszorítása nélkül feltehetjük, hogy C a k1 körön van. Ha CA<AD akkor az E pont egyértelműen meghatározott, AC-nek a C-n túli meghosszabbításán van. Vezessük be még a következő jelöléseket: jelölje k3, ill. k4 az A, T, U pontokon, ill. az A, B, E pontokon átmenő kört, s legyen Oi a ki kör középpontja (i=1, 2, 3, 4), J, G, H, M, N pedig rendre az AD, AC, AE, AT, AU szakasz felezőpontja. Vegyük észre, hogy O2 távolabb van e-től, mint O1, továbbá azt, hogy az O1T egyenesnek két különböző oldalán van O3 és O4.

 

 

Az AF egyenes a k3 és k4 körök közös húrja, ezért merőleges a középpontjaikat összekötő egyenesre. Ezért azt bizonyítjuk, hogy az O3O4 egyenes párhuzamos e-vel. E célból húzzunk párhuzamost e-vel O2-n át, s jelöljük P, R, S betűvel az O4, O1, O3 pont merőleges vetületét ezen az egyenesen. Mivel O4P és O3S párhuzamosak, így állításunk helyességéhez elegendő egyenlőségüket bizonyítani. A következőkben ezt fogjuk megtenni.
Mindenekelőtt állapítsuk meg a következőket:
PO2=HJ=12ED(1)
és
RO2=GJ=12CD=2SO2.(2)
Az O3SO2 háromszög és AJU háromszög hasonlóak, hiszen az S-nél, ill. J-nél levő szögeik derékszögek, míg az O3-nál és A-nál levő szögek merőleges szárú szögek. Így
O3S=O2SAJUJ.(3)

Az AJU háromszög és O2NU háromszög ugyancsak hasonlóak, így
O2U=NUAUUJ=AU22UJ.(4)
Ugyanígy az O4PO2 háromszög és O1RO2 háromszög hasonlósága miatt
O4P=O1RPO2RO2,(5)
míg az O1MT háromszög és AGT háromszög hasonlósága miatt
O1T=AT22GT=AT22UJ.(6)

C (és így O2) elnevezése miatt
RO1=RT-O1T=O2U-O1T,
(4) és (6) segítségével ebből
O1R=AU2-AT22UJ=(AU2-UJ2)-(AT2-UJ2)2UJ=AJ2-AG22UJ=AJ-AGUJAJ+AG2,


azaz
O1R=(AJ-AG)O2SUJ.(7)
Végül E definíciója miatt:
ED-CDED=ACAD,
ahonnan
ED=CDADAD-AC.(8)

Mármost (1), (2), (7) és (8) segítségével (5) így alakítható át:
O4P=(AJ-AG)O2SUJ12CDADAD-AC12SO2.
Mivel pedig
AJ-AGAD-AC=12,
azért (3) alapján
O4P=CDAD8UJ=CD4AD2UJ=O2SAJUJ=O3S,
ami bizonyítandó volt. Hasonlóan bizonyítható az állítás akkor is, ha A szerepét az e-től távolabbi metszéspont játssza. (Ha előjeles távolságokkal dolgozunk, nincs szükség erre a megkülönböztetésre.)
 

Donga György (Budapest, Berzsenyi D. Gimn., III. o. t.)
 

Megjegyzés. A bizonyítás elvégezhető valamely az A körüli körre vonatkozó inverz alakzatokra való áttéréssel is.