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. Messe az csúcsú, nagyságú hegyesszög szárait az körüli egységnyi sugarú kor az , pontokban, a kör -beli érintője az félegyenest -ben, és legyen vetülete az szakaszon .
Így az állítás | | mi pedig azt az egyenlőtlenséget bizonyítjuk, amely ebből -vel való szorzás útján áll elő, tehát egyenértékű vele. A szorzatokat mindjárt a körcikk, illetve egy-egy háromszög területeként értelmezve, és a területeket az idom lényeges pontjaival jelölve ( az ív tetszőleges belső pontja), ezt mutatjuk meg:
ahol az érintőszakasz felezőpontja. Elég azt belátnunk, hogy az négyszög mindig tartalmazza az körcikket, vagyis hogy a szakasz az -nek egyetlen és közti értéke mellett sem metszi át a ívet. Messe a kör -beli érintője -t -ben. Így a derékszögű háromszögből mindkét oldalt -vel növelve, majd -vel osztva, vagyis kívül van az szakaszon. Ez bizonyítja állításunkat. |