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. Legyen tetszőleges háromszög, és legyen az szakasz tetszőleges belső pontja. Emeljünk -ban -re merőlegest, és jelöljük ennek az egyenes -vel ellentétes oldalára eső darabját -val. Ha a félegyenes tetszőleges, -tól különböző pontja, és az egyenes -t tartalmazó oldalán vagy az -n levő, -tól különböző pont, akkor a szakasz vagy meghosszabbításán van, vagy -val legalább -os szöget zár be. Mindkét esetben igaz, hogy , vagyis -hez az egyenes által határolt, -t nem tartalmazó félsíkon (amelyhez most az egyenest is hozzávesszük) van a legközelebb. Igaz ez az belsejében és határán levő pontokra is, hiszen azok a mondott félsíkban vannak. Azt mondjuk ezért, hogy -nek az háromszögtől mért távolsága a szakasz hosszával egyenlő.
Mondjuk azt továbbá a félegyenes pontjaira, hogy felett vannak. Ha bejárja az szakaszt, a felette levő pontok egy sávot járnak be, amelyet az -re -ban, illetve -ben emelt merőlegesek határolnak. Jelöljük ezt a sávot -vel, az -ben levő pontokhoz tehát pontjai közül az szakaszon levő vetületük van legközelebb (a sávot határoló egyeneseket nem számítjuk a sávhoz). Jelöljük -vel, illetve -val a és szakaszokból hasonlóan származtatott sávokat. Ezek pontjaihoz tehát pontjai közül a , illetve szakaszok valamely belső pontja van legközelebb. Mivel ez a három tulajdonság páronként kizárja egymást, páronként diszjunktak. Következik ez abból is, hogy a sávokat határoló egyenesek közti -os szögek közül még kettő együtt sem tudja lefedni a háromszög -nál nagyobb kiegészítő szögeit. Jelöljük ezeknek a szögtartományoknak a le nem fedett részeit rendre -val, -vel és -vel, például a -ben -re, illetve -re emelt merőlegesek közti szögtartomány. (Ezekhez hozzászámítjuk a határegyeneseiket, azok közös pontja nélkül.) Ha a tartomány tetszőleges pontja, és az háromszög tetszőleges belső vagy határon levő pontja (de nem azonos -vel), akkor a , szakaszok közti szög legalább , hiszen vagy az vagy a szöget tartalmazza. Emiatt , tehát pontjaihoz pontjai közül van legközelebb. Hasonlóan látható, hogy pontjai közül , pontjaihoz , illetve van legközelebb. Mivel a kapott hat tartomány lefedi a sík háromszöghöz nem tartozó részét, az elmondottak alapján tetszőleges pontjukhoz meg tudjuk határozni az pontjai közül hozzá legközelebb levő pontot. Legyen tetszőleges háromszög, amelynek nincs -vel közös pontja, és határozzuk meg egyrészt az háromszög pontjai közül a , , pontokhoz legközelebb levő pontokat, másrészt a háromszög pontjai közül az , , pontokhoz legközelebb levő pontokat. Jelöljük ezeket rendre -lal, -lal, -lal, illetve -lal, -lal, -lal. Válasszuk ki az , , , , szakaszok közül a legkisebbet, vagy azok egyikét. Legyen ez, mondjuk, . Két esetet különböztetünk meg aszerint, hogy csúcsa-e az háromszögnek vagy sem.
Ha nem csúcs, hanem, mondjuk, az szakasz belső pontja, akkor a keresett egyenes. Ha ugyanis vagy az egyenes -t nem tartalmazó felén vagy magán az egyenesen volna, a , illetve szakasz az egyenest csak az szakaszon kívül metszhetné. Ha ez a metszéspont, mondjuk, az egyenesnek -n túli oldalán van, akkor -nak a mondott szakasztól mért távolsága kisebb -nál. Az háromszög ugyanis benne van a háromszögben, tehát kisebb a területe, és így kisebb a közös alaphoz tartozó magassága is. Vagyis ha -nak a egyenesen levő vetülete , akkor , és nyilván kisebb -nél. Ha csúcs, legyen, mondjuk, a . Ekkor -hez csak lehet legközelebb, mivel . Emeljünk -ben és -ben merőlegest -re, ezek biztosan elválasztják az és háromszögeket. Így ha a szakaszt és körül pozitív és negatív irányban addig forgatjuk, amíg bele nem ütközik az , illetve háromszögekbe, mindig legalább -ot kell forgatnunk. Vegyük a négy forgatás legkisebbikét (vagy azok egyikét). Tartozzon ez, mondjuk, a félegyeneshez. Ekkor, ha ugyanezt a forgatást körül megismételjük, közben még nem érjük el a háromszöget, tehát az egyenes elválasztja a két háromszög belső pontjait. |