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. I. Legyen az háromszög , súlyvonala mint átmérő fölé írt kör , ill. , középpontjuk , ill. (különbözők, hiszen felezik a súlyvonalat, azok közös pontja viszont harmadolja őket). A csúcsból akkor húzható a körökhöz érintő, ha -ben hegyesszög van. Ha ugyanis , akkor mindkét körön rajta van, és ha , akkor -t mindkét kör a belsejében tartalmazza. Ismeretes, hogy egy körhöz valamely külső pontból húzott érintőszakasz négyzete egyenlő a pontból induló bármely szelő két szeletének a szorzatával, így állításunkat megfelelő szelők felhasználásával bizonyítjuk be.
Legyen az hegyesszög és legyen , ill. vetülete a , ill. egyenesen , ill. , Ha és nem azonos, akkor -ból az szakasz derékszög alatt látszik, tehát rajta van -n, így a egyenes -t az , pontokban metszi. Ha pedig és azonos, akkor , és érinti -t. Mindkét esetben igaz tehát, hogy a -ből -hoz húzott érintőszakasz négyzete egyenlő a szorzattal. ‐ Hasonlóan kapjuk, hogy a -ből -hez húzott érintőszakasz négyzete egyenlő a szorzattal. Az , háromszögek derékszögűek és hasonlók, hiszen -beli szögük közös. Emiatt tehát , amiből -vel való osztással kapjuk a bizonyítandó egyenlőséget.
II. Mivel egy körhöz valamely külső pontból húzott érintőszakasz merőleges az érintési ponthoz tartozó sugárra, az általuk meghatározott derékszögű háromszög alapján az érintőszakasz négyzete -tel egyenlő ‐ ahol a kör sugara, és a külső pontnak a kör középpontjától mért távolsága. Legyen a , körök sugara , , és egy tetszés szerinti ‐ mindkét körre nézve külső ‐ pontnak az egyenesen levő vetülete . Akkor a -ből húzott érintőszakaszok négyzete | | Ha -t a egyenesen elmozdítjuk -ba, akkor a fenti kifejezésekben csak a bennük közösen fellépő szakasz hossza változik meg: -re, így ha fennállt , akkor is teljesül, ahol , a -ból húzott érintők hossza. Esetünkben tehát a -n átmenő -re merőleges egyenesnek minden ‐ a körökre nézve külső ‐ pontjából a két körhöz húzott érintőszakaszok egyenlők. Mivel pedig is, is egyenlő távol van az egymással párhuzamos , egyenesektől, s így , azért a -ből -re bocsátott merőleges azonos az háromszögnek -ből húzott magasságegyenesével. Megmutatjuk, hogy ‐ megfordítva ‐ ha a tetszés szerinti pontból a , körökhöz húzott érintőszakaszok egyenlők, akkor rajta van a -hez tartozó magasságegyenesen. Legyen vetülete az egyenesen , vetülete az és egyenesen , ill. , így azt kell belátnunk, hogy azonos lal. A föltevés alapján, a fentiek felhasználásával | | másrészt -re a fentiek szerint | | Ezekből kivonással, átrendezéssel és a egyenlőségre tekintettel | | (1) |
Tegyük föl, hogy , amit ‐ ha kell ‐ az , betűk kezdeti fölcserélésével elérhetünk. Ekkor ‐ mint könnyen belátható ‐ az szakasz felezőpontjának azon az oldalán van, mint , vagy éppen -ban, , (1) jobb oldala nem negatív, így bal oldala sem, s emiatt , ugyancsak a félegyenesen, vagy éppen -ban van. Így
ezeket (1)-be helyettesítve , ami állításunkat igazolja.
Összefoglalva a fentieket, kimondhatjuk, hogy egy külső pontból a , körökhöz húzott érintőszakaszok akkor és csak akkor egyenlők, ha az háromszög csúcsához tartozó magasságvonalán van.
Több dolgozatból, kiegészítésekkel
Megjegyzés. Egy adott körhöz és egy tetszőleges ponthoz tartozó kifejezés értékét az illető pontnak az adott körre vonatkozó hatványának nevezzük. A megoldás második felében végzett meggondolások akkor is érvényesek, ha a kifejezés értéke vagy negatív. Természetesen ebben az esetben a pont nem külső pontja a körnek, így nem beszélhetünk érintőről; az viszont, hogy a kifejezés értéke egyenlő a ponton átmenő szelő szeleteinek a szorzatával, ebben az esetben is igaz, ha a belső ponton átmenő szelő szeleteit ellentétes előjelűnek tekintjük. Megállapításunkat tehát így is kimondhatjuk: azoknak a pontoknak a mértani helye, melyeknek két adott körre vonatkozó hatványa egyenlő, egy a körök centrálisára merőleges egyenes, szokásos nevén a két kör hatványvonala. Ez az egyenes nyilván átmegy a körök közös pontján ‐ ha van közös pontjuk ‐, mert a közös pont hatványa mindkét körre nézve , vagyis azonos a körök közös húregyenesével, érintkezés esetén közös érintőjükkel. Ha nincs közös pont, akkor a hatványvonal egyik kört sem metszi.
|