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. Először azt bizonyítjuk, hogy ha és harmadolják az szöget, akkor fönnáll az érintőszakaszoknak a feladatban mondott mértani közép tulajdonsága (az állítás "csak akkor'' része). A föltevés miatt egyenlő szögeket az ábrán -val jelöltük.
Az és az háromszögek egyenlő szárúak, és így . Az háromszögben tehát , hiszen az oldalon fekvő két szög egyenlő. Az háromszög csúcsánál lévő szöge , -nál fekvő külső szöge , ezért . Így ez a háromszög is egyenlő szárú, és . Ugyanígy látható be, hogy , és amint láttuk , tehát . Ebből viszont azonnal adódik, hogy a körök sugara egyenlő. Jelöljük és közös értékét -rel, az szakasz hosszát pedig -vel. Az és háromszögek hasonlók, hisz szögeik páronként egyenlők. Ezért Ha -gyel jelöljük az -ből a körhöz húzott érintőszakasz hosszát, akkor ismeretes, hogy , tehát előbbi eredményünk szerint , és ezt kellett bizonyítanunk. A körök egybevágósága miatt ekkor ugyanez természetesen az -ből a -hez húzott érintőre is igaz. Ezután az állítás "akkor'' részét bizonyítjuk, vagyis azt, hogy ha fennáll az érintőszakaszok mértani közép tulajdonsága, akkor és harmadolja az szöget. A feltételek szerint és . Az érintők négyzetét a centrális () és a sugarak segítségével kifejezve: | | (1) | E két egyenlet különbségéből: | | Mivel a két kör metszi egymást, , ezért . A közös értéket jelöljük most is -rel. (1) bármelyik egyenlete szerint , amiből és így . Ez azt jelenti, hogy az és az háromszögekben két‐két megfelelő oldal aránya megegyezik. Tekintve, hogy közbezárt szögük ‐ a ‐ is ugyanaz, a két háromszög hasonló. De akkor , hiszen miatt az háromszög egyenlő szárú. Ugyanígy megmutatható, hogy , és miatt is teljesül. Ha most -val jelöljük a szöget, rögtön láthatjuk, hogy is igaz, továbbá az egyenlő szárú háromszögben az alapon fekvő szögek nagysága . De ekkor , vagyis . Ezzel megmutattuk, hogy ha (1) fennáll, akkor és valóban harmadolják az szöget. Megjegyzések. 1. A megoldásból kiderül, hogy a feladat feltételei csak egyenlő sugarú körökben teljesülnek. 2. A bizonyítás során -val jelölt szöget nem kellett kiszámítanunk, de látjuk, hogy , tehát . Az háromszög olyan egyenlő szárú háromszög, amelynek az alappal szemközti szöge . Ezt a háromszöget az szögfelezője két egyenlő szárú háromszögre bontja, amelyek egyike hasonló az eredetihez. Könnyen megmutatható, hogy ez fordítva is igaz, vagyis érvényes a következő: Ha egy egyenlő szárú háromszöget az alapon fekvő egyik szög szögfelezője két egyenlő szárú háromszögre vág szét, akkor az alappal szemközti szög . A bizonyítást az olvasóra hagyjuk. 3. A fenti egyenlő szárú háromszög alapon fekvő szögeinek nagysága . Ekkora szöget zár be egy szabályos ötszög körülírt körének két szomszédos csúcsba mutató sugara. Az ilyen egyenlő szárú háromszög szerkesztése tehát egyenértékű a szabályos ötszög megszerkesztésével. |