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. Az háromszögnek oldalán jelöljük ki az , , , ) harmonikus pontpárokat úgy, hogy , ahol és megadott pozitív számok.
Húzzuk meg ezután a és egyeneseket; ezen egyenesek hajlásszögével megegyező szögét meg tudjuk állapítani a háromszög adataiból és a , arányszámokból. Itt megjegyezzük, hogy az és közé, pedig -től jobbra esik, ha , ellenkező esetben pont -tól balra kerül. A háromszög csúcspontjait derékszögű koordinátáival oldjuk meg: , , ; ez alapon könnyen felírható a és pontok két koordinátája: | | A két egyenes hajlásszögének tangense kiszámítható és egyenesek iránytényezőiből. A egyenes iránytényezője | |
Hasonlóan a egyenes iránytényezője | |
Már most ismeretes, hogy Ily módon némi egyszerűsítés után | | összefüggést nyerjük. Ha a műveleteket elvégezzük és figyelembe vesszük, hogy , hasonlóképen , akkor a következő egyszerűbb alakot írhatjuk: | | illetőleg | |
Ámde ismeretes a háromszög területére vonatkozólag, hogy | |
így azután Vegyünk most szemügyre néhány speciális esetet: 1. legyen a háromszög szögfelezője; ekkor | | és így | | Ezen eredmény a szögfelezőnél jól ismert tulajdonság, hogy t. i. a belső és külső szögfelező merőleges egymásra. 2. Ha a háromszög oldalfelezője, akkor , és a hajlásszögre képletet nyerjük. Ha a háromszög még egyenlőszárú, vagyis , akkor az oldalfelező egyúttal szögfelező is, és eredmény értelmében , amit már a fenti 1) esetnél is láttunk.
3. legyen a háromszög magassága, vagyis ; ekkor ; innen ; ennek helyettesítése után | | Ha ezen esetet derékszögű háromszög átfogójára alkalmazzuk, vagyis , kikötés folytán és helyettesítéseket végzünk, akkor a hajlásszögre nézve A 2. és 3. eset egybevetéséből kitetszik, hogy a derékszögű háromszögben az átfogó oldalfelezőjéhez szerint akkora hajlásszög tartozik, mint a magassághoz, amelyre nézve Az ellenkező előjel azt jelenti, hogy e két egyenlő szög ellentétes oldalakon jelentkezik. (T. i. ha , akkor a magasság talppontjára nézve .
Tihanyi Miklós Esztergom, 1937. Ha ábránk szerinti az átfogó felezőpontja, akkor a egyenlőszárú háromszög alapján fekvő szögek egyenlők, . Minthogy , a , tehát . Valóban | |
Állítsunk már most -re merőlegest. Akkor ez az -t pontban metszi úgy, hogy, ha a -ből vont magasság talppontja, Ugyanis | |
Továbbá
Eszerint | |
Minthogy és , azért . Más szóval: felezi a szöget. |