Feladat: F.1680 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Angyal J. ,  Balogh Z. ,  Bognár B. ,  Chikán B. ,  Dombi G. ,  Egyedi Gy. ,  Engedi A. ,  Fayekas G. ,  Füredi Z. ,  Földes T. ,  Gál P. ,  Garay B. ,  Glódy A. ,  Golda J. ,  Győry Gy. ,  Hadik Róbert ,  Hangos Katalin ,  Hermann T. ,  Hoffer J. ,  Horváth L. ,  Horváthy P. ,  Jakab F. ,  Kabay Gy. ,  Kaczkó G. ,  Karakas L. ,  Katona E. ,  Kérchy L. ,  Kertész Á. ,  Kuhár J. ,  Lakatos B. ,  Major T. ,  Martoni V. ,  Nyilánszky M. ,  Pásztor I. ,  Pattantyús P. ,  Pazár B. ,  Petz D. ,  Poór Zs. ,  Pósfai J. ,  Prácser E. ,  Prőhle T. ,  Reviczky J. ,  Sailer K. ,  Selényi P. ,  Simon Júlia ,  Skopál I. ,  Szabó András ,  Szász Gy. ,  Török I. ,  Vajnági A. 
Füzet: 1970/április, 152 - 154. oldal  PDF  |  MathML 
Témakör(ök): Alakzatba írt kör, Derékszögű háromszögek geometriája, Trapézok, Négyszögek középvonalai, Síkgeometriai számítások trigonometria nélkül négyszögekben, Síkgeometriai számítások trigonometria nélkül körökben, Feladat
Hivatkozás(ok):Feladatok: 1969/október: F.1680

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.

Három körünk második közös érintőjének létezéséhez elég azt belátnunk, hogy középpontjaik egy e egyenesen vannak. Ez az egyenes ugyanis közös szimmetriatengelyük, tehát az AB közös érintőnek e-re vett tükörképe szintén érinti mindhárom kört.
Legyen a ki kör (i=1,2,3) középpontja Oi, sugara ri, AB-n levő érintési pontja Ti, a k félkör középpontja O, átmérője c. Azt fogjuk bebizonyítani, hogy O1 az O2O3 szakasz felezőpontja, vagyis hogy O1T1=r1 egyenlő az O2T2T3O3 derékszögű trapéz (O2T2+T3O3)/2=(r2+r3)/2 középvonalával, és hogy T1 felezi a trapéz T2T3 magasságát.

 

 

Legyen k2 a CDA derékszögtartományban, ekkor k3 a CDB-ben van. Feltehetjük, hogy CBCA, így D az OB szakaszon, esetleg éppen O-ban van; legyen OD=d. Mivel k2 érinti a CD szakaszt, azért T2D=r2, a k-val való belső érintkezése alapján pedig OO2=OA-r2=c/2-r2. Az OO2T2 derékszögű háromszögben OT2=|d-r2|, és így
(d-r2)2+r22=(c2-r2)2,
r22-(2d-c)r2-(c24-d2)=0.
Mivel d<c/2, az r2-t nem tartalmazó tag, az egyenlet két gyökének szorzata negatív, azért a gyökök valósak, egyikük pozitív, másikuk negatív. A pozitív gyökre van csak szükségünk:
r2=d-c2+c(c2-d),
és itt a gyökjel alatt AB(OB-OD)=ABDB=BC2 áll, hiszen ABC derékszögű háromszög, ezért
r2=d-c2+BC=BC-BD.(1)

Hasonlóan az OO3T3 derékszögű háromszögben OO3=c/2-r3,  OT3=OD+DT3=d+r3, Pitagorasz tétele alapján
r32+(2d+c)r3-(c24-d2)=0,
ennek pozitív gyöke
r3=-d-c2+c(c2+d)=-AD+AC,
és így az O2T2T3O3 trapéz középvonalának hossza
r2+r32=BC+AC-AB2.(2)

Mármost a jobb oldali kifejezés ‐ mint ismeretes ‐ megadja a C-nél derékszögű ABC háromszögbe beírt kör sugarát, ami r1, eszerint (2) a fenti állítás első részét bizonyítja.
k1 értelmezéséből az is adódik, hogy ‐ BC-n való érintési pontját A1-gyel jelölve ‐ fennáll BT1=BA1=BC-CA1=BC-r1.
Így, felhasználva (1)-et, majd (2)-t
T2T1=T2B-T1B=(r2+DB)-(BC-r1)=r1=r2+r32=T2D+DT32=T2T32,


ez pedig állításunk második része.
Ezek szerint T1 felezi a trapéz T2T3 szárát, az itt AB-re merőlegesen, vagyis az alapokkal párhuzamosan felmért r1=T1O1 szakasz a trapéz középvonala, tehát O1 az O2O3 száron van. Ezt akartuk bizonyítani.
 

Hadik Róbert (Makó, József A. Gimn., IV. o. t.)