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 először az háromszögön kívül. Ekkor a meghosszabbításán, a meghosszabbításán, és a meghosszabbításán adódik ( és különböző pontok). Így létrejön, tehát is, éspedig -tól irányában, mert . Továbbá a egyenes azon az oldalán metszi az egyenest egy pontban, amelyiken van, mert hiszen Thalész tétele szerint derékszögű háromszög, és az átfogója.
Meg fogjuk mutatni, hogy az háromszög területe fele akkora, mint az háromszögé. Ebből már következik, hogy az szakasz belsejében van. Az ellenkező esetben ugyanis az háromszög magában foglalná az háromszög felét kitevő háromszöget. Továbbá hogy nem lehet meghosszabbításán, mert akkor a meghosszabbítását metszené, s így benne lenne az szögtartományban, tehát az szakaszon, ekkor pedig az háromszög felét kitevő háromszög volna az háromszög része. Így az háromszög része az háromszögnek, a szerkesztő eljárás külső pont esetére helyes. A végzett szerkesztés szerint és hasonló háromszögek, ezért | | (1) | hiszen negyedeli az oldalt. A háromszögből
Messe még az -vel -n át húzott párhuzamos az egyenest -ben; ekkor az , hasonló háromszög-párból ezért (2), majd (1) felhasználásával
(Felhasználtuk, hogy a szakaszon van, hiszen .) Végül (4)-et -vel szorozva jobbról az háromszög területe áll, balról pedig az háromszög területének kétszerese. Ezt akartuk bizonyítani.
II. A pontot a szakaszon felvéve az eljárás nem használható, az -ban adódik, de nem jön létre. (Ekkor azonban játssza szerepét és (4)-et alakban írva a vizsgáltnál egyszerűbb szerkesztés adódik: -et -ből kimetszi a -vel -on át fektetett párhuzamos.)
III. -t az háromszögben választva ‐ beleértve az , szakaszokat is, de , ill. nélkül ‐ a fenti számítás egyes részei módosulnak. (Az ábra a egyenes ilyen pontjából kiindulva is bemutatja a szerkesztést, a megfelelő pontok jele mellett mindenütt 1-es index áll.) Ekkor az félegyenesen adódik, egyébként (1) érvényes. mindig meghosszabbításán adódik. Legyen ugyanis ‐ ahol ‐ és messe a egyenes -t -ben, -t -ben, vagyis az szakaszon van, megengedve a végpontokat is. Ekkor
vagyis az meghosszabbításán van. , létrejön, mert . Ugyanis -t az szakaszon mozgatva , , állandók, és legkisebb és legnagyobb lehetséges értékének különbsége nem negatív:
(2) így módosul:
(3) változatlanul érvényes. (6) és (1) alapján
vagyis a (4) szolgáltatta eredmény változatlanul érvényes. (Felhasználtuk, hogy egy irányú -val, vagyis -gyel, -gyel, és hogy .) Ezek szerint a szerkesztés a szögtartomány minden pontjára érvényes, kivéve a szakaszt. (5) szerint speciálisan a és esetben , innen , . Ámde ugyanakkor , vagyis a -ben adódik, a felező egyenes , ami közvetlenül is világos. ‐ Ugyanez várható az szakaszon levő pontokra is. Ekkor (6)-ból, (5)-öt felhasználva
Az első esetben valóban fennáll | | A második esetben viszont csak akkor esik a csúcsba, ha -től nem , hanem felé mérjük fel a szakaszt, hiszen esetén már is az szakasz pontja, mert , . Eszerint az ilyen ponton át az eljárásunkkal kapott területfelező egyenesen felül más ilyen egyenes is létezik. Ez persze nem hibája eljárásunknak. A vizsgált módon megkapunk egyet a területfelező egyenesek közül. Szerkesztésünk -ből kiindulva a súlyvonalat eredményezi, ugyanis esetén és , , de a , valamint az súlyvonal is felezi a háromszög területét. Hasonlóan kimutatható, hogy az szakaszon levő pontokra mindig adódik.
IV. A sík minden pontja beletartozik egyikébe annak a 6 szögtartománynak, melyek közös csúcsa , és amelyeket a 3 súlyvonal félegyenesei határolnak. A további ilyen pontok esetében úgy válik eljárásunk alkalmassá és a fentiek szerint érvényessé, hogy minden előforduló , , betű helyére egy más sorrendjüket írjuk; ha pl. a szögtartományban van , akkor , , helyére rendre , , írandó. ‐ bizonyos helyzeteiben az eredeti betűzés szerinti szerkesztés is megadja a területfelező egyenesnek az egyenesen levő pontját, ha a szakasz felmérési irányát alkalmasan módosítjuk, ennek vizsgálatát azonban itt nem tekintjük feladatunknak.
V. Csekély végrehajtási egyszerűsítés adódik abból az észrevételből, hogy a , , ponthármas eltolással átvihető , , -be. Ha helyett -et szerkesztjük, az átmérő fölé írjuk a Thalész-kört, ebből az körüli, sugarú körívvel metsszük ki -ot, végül ezt körül ráfordítjuk -re, a pontba, ez csak annyival kevesebb az előírt szerkesztésnél, hogy a 7. lépésben nem kell átemelni a körző csúcsát -ból -be. |