Feladat: F.1686 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Balogh Z. ,  Bartholy Judit ,  Bognár B. ,  Boros E. ,  Bruckner Lívia ,  Fazekas Á. ,  Fazekas G. ,  Feind F. ,  Fejes G. (IV. o. Bpest) ,  Ferró J. ,  Frankl P. ,  Füredi Z. ,  Gál P. ,  Garay B. ,  Gáspár Gy. ,  Golda J. ,  Göndőcs F. ,  Hadik R. ,  Hangos Katalin ,  Hermann T. ,  Horváthy Péter ,  Juhász Júlia ,  Kacsuk P. ,  Kérchy L. ,  Kiss Ipoly ,  Komornik V. ,  Kökényesi Gy. ,  Lakatos B. ,  Maróti Gy. ,  Pál J. ,  Pap Gy. ,  Poór Zs. ,  Prőhle T. ,  Reviczky J. ,  Sailer K. ,  Selényi P. ,  Skopál I. ,  Szepesi L. ,  Vajnági A. ,  Zárboch Zs. 
Füzet: 1970/november, 113 - 114. oldal  PDF  |  MathML 
Témakör(ök): Pont körüli forgatás, Szögfelező egyenes, Koszinusztétel alkalmazása, Feladat
Hivatkozás(ok):Feladatok: 1969/november: F.1686

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.

Válasszuk úgy az ABC háromszög betűzését, hogy a szokásos jelölésekkel a<b<c teljesüljön. Az állítást a C és B csúcsokból kiindulva kapott körökre bizonyítjuk, ennek mintájára végezhető a bizonyítás a további két körpár esetére is.

 

 
Legyen a C-ből induló belső és külső szögfelezőnek az AB egyenessel való metszéspontja C1, ill. C2, a C1C2 szakasz fölötti kc Thalész-kör középpontja C0, a B-ből kiindulva ugyanígy kapott pontok és kör rendre B1, B2, B0, kb, végül kb és kc egyik metszéspontja M. A körök M-beli tc, tb érintőjét M körül 90-kal elfordítva a megfelelő sugarak MC0, MB0 egyenesét kapjuk, így elegendő azt belátni, hogy a B0MC0 értéke 60 vagy 120, azaz hogy
|cosB0MC0|=|MB02+MC02+B0C02|2MB0MC0=12(1)

a<b miatt C1, C2 az A-nak ugyanazon oldalán vannak, mint B és így C0 is ezen az oldalon van, ennélfogva a szögfelezők osztásarányának tétele alapján
AC0=AC12+AC22=bc2(b+a)+bc2(b-a)=b2cb2-a2,
és ugyanezekkel a szakaszokkal
MC0=C1C0=AC2-AC12=abcb2-a2;
továbbá hasonlóan
AB0=c2bc2-a2,MB0=B1B0=abcc2-a2.
Ezekkel az (1)-beli számláló, a cosinustételt az AB0C0 háromszögre és az ABC háromszögre alkalmazva:
|(MB02-AB02)+(MC02-AC02)+2AB0AC0cosα|==|-b2c2c2-a2-b2c2b2-a2+b2c2(b2+c2-a2)(b2-a2)(c2-a2)|=a2b2c2(b2-a2)(c2-a2)=MB0MC0,


tehát (1) valóban fennáll. Ezt akartuk bizonyítani.
 

Horváthy Péter (Budapest, Fazekas M. Gyak. Gimn., IV. o.t.)