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. Tudjuk, hogy egy konvex négyszög pontosan akkor érintőnégyszög, ha szemközti oldalainak hosszúságösszege megegyezik. Tehát pontosan akkor érintőnégyszög, ha .
Legyen a szakasz kiszemelt pontja. Az pontokat úgy vegyük fel az , ill. félegyenesen, hogy és teljesüljön. Ekkor ( tetszőleges helyzetében) az és az négyszögek paralelogrammák, tehát . Ha érintőnégyszög, akkor , vagyis a pontnak és pontoktól való távolságainak az összege állandó, azaz a pont rajta van az és fókuszú, nagytengelyű ellipszisen. Ennek az ellipszisnek minden olyan pontja, amelyik nincs rajta az egyenesen, rendelkezik a kívánt tulajdonsággal. Ha ugyanis az ellipszisnek nem az egyenesen levő pontja, akkor a -n átmenő, -vel párhuzamos egyenesen léteznek olyan és pontok, amelyekre és . Minden ilyen négyszög érintőtrapéz, hiszen . Tehát a szakasz egy rögzített pontja ellipszisen mozog, és két pont kivételével annak minden pontjába eljut. |
|