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. Azt a pontot, ahol másodszor metszi a kört, jelöljük -szel. Továbbá legyen , , . Mivel szintén az ívhez tartozik, . Az egyenes a háromszög körülírt körének -beli érintője, e kis körben az szög az húrhoz tartozó érintő szárú kerületi szög, így . Ennek csúcsszögére: . Ezentúl csak az körülírt körére fogunk hivatkozni ,,kör'' néven. E kör sugarát -nek választva, és tetszőleges , , köri ponthármasra az általános szinusztételt felírva: | | () | Az háromszögben a szinusztételt felírva: Itt két észrevételt teszünk: mivel , ezért . Másrészt feletti szögek kerületi szögek lévén és az háromszög külső szöge, így , tehát szerint . A () és () állításokból: Vegyük észre, hogy az háromszögben az csúcsnál levő szög , a -nél levő , ezért az csúcsnál levő szög , . Az háromszögben a szinusztétellel: , így () szerint: (1)-et (2)-vel elosztva: | | (3) |
Lemma: Egy konvex húrnégy szög és átlóinak metszéspontja . Ekkor:
Bizonyítás: Az háromszögben a szinusztételből: azaz () szerint Az háromszögben hasonlóan
Az (L2) egyenletet az (L1) egyenlettel elosztva és rendezve a bizonyítandó állítást kapjuk. Lemmánkat az ACBD és AXBD négyszögekre alkalmazva:
CB⋅AE⋅BD=AC⋅EB⋅AD,XB⋅AM⋅BD=AX⋅MB⋅AD.
A második egyenletet az elsővel elosztva: amelyet (3)-mal összevetve: Megjegyzés. A feladat elolvasása és az ábra felrajzolása után mindjárt az a benyomásom támadt, hogy itt olyan sok szép egyenlő szög van, hogy elképzelhetetlen, hogy a megoldást ne lehetne valahogyan ,,kiszenvedni''. Sajnos, elegáns megoldást nem találván, tényleg ezt kellett tennem. Így versenydolgozatomban a szinusztételt 8 háromszögre alkalmaztam, majd ezek ,,cseles'' összeszorzásával rengeteg tag kiesett és a bizonyítandó állítást kaptam. Az itt közölt megoldásbeli lemmát Pataki János javaslatára használom fel, ez a megoldást jóval áttekinthetőbbé teszi (azért a háttérben ugyanazok a szinusztételek vannak). |