Feladat: B.5173 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Bán-Szabó Áron ,  Baski Bence ,  Bencsik Ádám ,  Bencsik Dávid ,  Bognár András Károly ,  Diaconescu Tashi (Románia) ,  Duchon Márton ,  Fekete Richárd ,  Hegedűs Dániel ,  Kalocsai Zoltán ,  Kercsó-Molnár Anita ,  Koleszár Domonkos ,  Kovács Tamás ,  Kökényesi Márk Péter ,  Mohay Lili Veronika ,  Molnár-Szabó Vilmos ,  Móricz Benjámin ,  Nádor Benedek ,  Páhán Anita Dalma ,  Romaniuc Albert-Julian ,  Seres-Szabó Márton ,  Simon László Bence ,  Somogyi Dalma ,  Terjék András József ,  Varga Boldizsár ,  Wiener Anna ,  Zömbik Barnabás 
Füzet: 2022/április, 218 - 220. oldal  PDF  |  MathML 
Témakör(ök): Matematika, Feladat, Síkgeometriai bizonyítások, Forgatva nyújtás, Középponti és kerületi szögek
Hivatkozás(ok):Feladatok: 2021/április: B.5173

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 az ABC-ben az AB, illetve AC oldalakhoz tartozó magasságvonalak talppontját T1-gyel és T2-vel, az ADE-ben az AD és AE oldalakhoz tartozó magasságvonalak talppontját pedig T3-mal és T4-gyel. Legyen T1HT4H'=M1 és T2HT3H'=M2, az AB, illetve AC szakaszok felezőpontja F1 és F2, az AD, illetve AE szakaszok felezőpontja F3 és F4, továbbá F1OF4O'=K1 és F2OF3O'=K2.

 
 
 

Vegyük észre, hogy az O és O' pontok nem eshetnek egybe, mert például D belső pontja az ABC háromszög köréírt körének, így OD<OA, míg O'D=O'A. Ezért az OO' szakasz nem fajulhat egy ponttá. Mivel EAD=CAB hegyesszög, az ABC és az ADE háromszög magasságpontja sem lehet az A pont, tehát HA és H'A.
Tekintsük most a H'M1HM2 és az O'K1OK2 négyszögeket, amelyeknek szemközti oldalaik mind merőlegesek AB-re, illetve AC-re, ezért mindkét négyszög paralelogramma. Az egyik paralelogramma megfelelő oldalai páronként párhuzamosak a másik paralelogramma megfelelő oldalaival, hiszen mind az oldalfelező merőlegesek, mind a magasságvonalak merőlegesek a megadott oldalra, továbbá a megfelelő csúcsoknál (H'O', HO) ugyanakkora belső szögek vannak, hiszen mindkettőt két A-hoz közelebbi egyenes (T3H', T4H', illetve F3O' és F4O') határolja, amelyek párhuzamosak. Ebből következően a H'M1H és az O'K1O háromszögek azonos körüljárási irányúak, valamint két-két oldaluk páronként párhuzamos (H'M1O'K1 és HM1OK1), így ha HH'OO', akkor a szóban forgó háromszögek hasonlók, tehát megfelelő oldalaik hosszának aránya megegyezik:
H'M1HM1=O'K1OK1.
Ez tehát szükséges feltétele annak, hogy HH'OO'. Ez a feltétel azonban elégséges is, mert ha teljesül, akkor a H'M1H és O'K1O háromszögek hasonlók, azaz a harmadik oldalpár is párhuzamos. Kimondhatjuk tehát, hogy HH'OO' akkor és csakis akkor teljesül, ha
H'M1HM1=O'K1OK1.(1)
Most vizsgáljuk meg a H'M1HM2 paralelogramma oldalainak arányát. Ismert, hogy egy paralelogramma területét kiszámíthatjuk egy oldal hosszának és az oldalhoz tartozó magasság hosszának szorzataként:
TH'M1HM2=HM1T1T3=H'M1T2T4,
amiből azt kapjuk, hogy
HM1H'M1=T2T4T1T3,
ahol a nevezők értéke nem 0, hiszen a feladat feltételei szerint E az AC szakasz belső pontja, ezért EH' nem eshet egybe CM1-gyel. Mivel ABT2 és ACT1, merőleges szárú hegyesszögek, ezért egyenlő nagyságúak, így egy megfelelő egybevágósági transzformációval fedésbe hozhatók egymással. Ekkor alkalmazhatjuk a párhuzamos szelőszakaszok tételét a következőképpen:
T2T4T1T3=BDCE,
ami a fentiek értelmében azt jelenti, hogy
HM1H'M1=T2T4T1T3=BDCE,tehátBDCE=HM1H'M1.
Az O'K1OK2 paralelogramma esetében az előzőekhez hasonlóan azt kapjuk, hogy
OK1O'K1=F2F4F1F3.

Számoljuk ki az F2F4 és F1F3 szakaszok hosszát. Mivel F2 az AC szakasz felezőpontja, ezért AF2=AC2, az F4 pedig az AE szakasz felezőpontja, így
AF4=AE2=AC-CE2=AF2-CE2,
amiből
F2F4=CE2
következik. Hasonlóképpen F1F3=BD2, így
OK1O'K1=F2F4F1F3=CE2BD2=CEBD.

Beláttuk tehát, hogy HM1H'M1=BDCE és OK1O'K1=CEBD, amit (1)-gyel összevetve azt kapjuk, hogy
BDCE=CEBD,
s mivel szakaszok hosszai pozitív számok, ebből
BD=CE
következik. Ez tehát szükséges feltétel, már csak azt kell megmutatnunk, hogy elégséges is. Mivel az előbbiekben csupa egyenlőséggel dolgoztunk, ezek megfordítva is igazak, így a bizonyítás végére értünk.
 

Koleszár Domonkos (Miskolc, Herman Ottó Gimn., 11. évf.),
Kökényesi Márk Péter (Budapest, Szent István Gimn., 11. évf.),
Varga Boldizsár (Verőce, Géza Fejedelem Református Ált. Isk., 8. évf.)