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. A bizonyításban az ábra jelöléseit vesszük alapul; csak az ott egy, ill. két ívvel jelölt szögekről lesz szó, ezért elég lesz a szögeket a csúcsuknál levő betűvel jelölni.
Be kell bizonyítanunk, hogy az , , és ponton átmenő kör átmegy a ponton is. Mint tudjuk (a kerületi szögekre vonatkozó tétel és megfordítása alapján) ez akkor és csak akkor igaz, ha . De , tehát elég azt bizonyítanunk, hogy . viszont a háromszög egyik külső szöge, tehát elég azt belátnunk, hogy . Ez azonban nyilvánvaló, hiszen az ötszög szabályos, és így az és ívek, amelyeken ezek a szögek nyugszanak, egyenlők. Ezzel a bizonyítást befejeztük. Megjegyzések. 1. Felhívjuk a figyelmet arra, hogy bár a bizonyítandó állításból indultunk ki, a továbbiakban nem azt vizsgáltuk, hogy ebből az állításból mi következik, hanem azt, hogy mi az, amiből ez következik. 2. Az ötszög szabályos voltából csak annyit használtunk ki a bizonyításban, hogy és a körnek két egyenlő, közös pont nélküli, egyező irányítású íve. Sőt, a bizonyítás kis módosítással kiterjeszthető arra az esetre is, amikor a két ívnek van közös pontja, akár közös ívdarabja is; csak azt kell kikötnünk, hogy az , , és pontok közül legalább három különböző legyen, mert különben és egy egyenesbe esik, és így metszéspontjukról nem beszélhetünk. Igaz tehát a következő állítás: Ha és az középpontú körnek két egyenlő és egyező irányítású íve (vagyis ha -ból ugyanakkora abszolút értékű és ugyanolyan irányú forgás visz -be, mint -ből -be), akkor az és a egyenes metszéspontja ‐ ha létezik ‐ rajta van az , és pontokon átmenő kör kerületén. |