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. Nevezzük a és egyenesek metszéspontját -nek. Kimutatható, hogy Minthogy az sugársor szögei: és rendre egyenlők a sugársor szögeivel: és szögekkel, e két sugársor úgy egymásra fektethető, hogy az -ra jut, és az és egyenesek (nem távolságok) a és egyenesekkel (nem távolságokkal) összeesnek. Vigyük rá az egyenesre az az egyenesre az , az egyenesre az és végre az egyenesre az távolságokat. Ekkor és egy egyenesbe esnek és De az előbbi feladat eredménye értelmében tehát Hasonlóképpen kimutatható az és sugársorok egybevágóságából, hogy Keressük már most a symbolum számértékét. A symbolum értelmezésénél fogva miből Vagy mely egyenlőségből továbbá és így A két symbolum számértéke azonban csak akkor lehetne egyenlő a positív egységgel, ha egybeesnék -rel. Minthogy ezen eset általánosságban nem áll fönn, az érték csak a negatív egység lehet. Vagyis | | De ez utóbbi egyenletből azaz
|
|