Feladat: Gy.1836 Korcsoport: 14-15 Nehézségi fok: átlagos
Füzet: 1980/május, 208 - 209. oldal  PDF  |  MathML 
Témakör(ök): Húrnégyszögek, Érintőnégyszögek, Síkgeometriai számítások trigonometria nélkül négyszögekben, Gyakorlat
Hivatkozás(ok):Feladatok: 1979/április: Gy.1836

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 beírt kör középpontját O-val, az oldalakkal való érintési pontjait E1,E2,E3,E4-gyel, ahol E1 az AB1,E2 a BC stb. oldalon van, a négyszög szögeit α,β,γ és δ-val.

 
 

A most bevezetett jelöléseket felhasználva az állítás a következő alakban írható:
AE1E1B=DE3E3C.(1)
Ezt kell bizonyítanunk.
Nyilván az AE1O,BE2O,CE3O,DE4O szögek derékszögek, s ezért a négy kis négyszög mindegyikében a szemközti szögek összege 180, pl. az E4AE1O négyszögben E4AE1+E1OE4=180. Mivel ABCD húrnégyszög, az E4AE1=α szöget a C csúcsnál levő γ szög is 180-ra egészíti ki, amiből következik, hogy E1OE4=γ.
Az AE1OE4 és OE2CE3 négyszög szögei megegyeznek, ebből azonban még nem következik, hogy hasonlók. Ellenben ha az átlókat meghúzzuk ‐ mivel a négyszögek deltoidok ‐ az így kapott szögek is egyenlők lesznek.
Ebből már következik, hogy a két négyszög hasonló, és így megfelelő oldalaik arányosak, azaz
AE1OE2=E4OE3C,
ahonnan AE1E3C=E4OOE2. Hasonlóan az E1BE2O és E4OE3D négyszögekben
E1BE4O=OE2DE3,
ahonnan E1BDE3=OE2E4O. A két egyenlőségből AE1E3C=E1BDE3, amit átrendezve kapjuk az állítást.
 

Megjegyzés. A feladat szövege külön nem mondta ki, hogy a négyszög konvex. Ez azonban következik abból, hogy húrnégyszög, s így a négyszögnek nem lehet pontja egyetlen oldal meghosszabbításán sem. Az érintőnégyszög definíciójából viszont az következik, hogy az érintőkör az oldalakat és nem azok meghosszabbítását érinti. Ha az utóbbi esetet megengednénk, akkor úgynevezett hurkolt négyszöget kapnánk, amilyet az ábra mutat. Könnyen látható, hogy az ilyen esetekben a feladat állítása nyilvánvaló.
 
 

Mivel ABCD feltétel szerint húrnégyszög, azaz írható köréje kör, BAD=BCD=α,ABC=ADC=γ. Az AE1O és CE3O háromszögek egybevágók, OE1=OE3, és a szögek egyenlősége miatt ezért AE1=AE4=CE3=CE2. Jelöljük AD és BC metszéspontját M-mel. ME4=ME2, s az előzőkből MC=MA adódik. Az ABCD négyszög tehát szimmetrikus trapéz, s így BA=DC. (1) tehát most is teljesül.