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. Az általánosság megszorítása nélkül feltehető, hogy . Mérjük fel a számegyenesre az kezdőponttól jobbra az , és pontokat úgy, hogy ezeknek az -tól mért távolsága rendre , és legyen. (Negatív esetén az az -tól balra volna; ábránkon az eset szerepel.) Vegyük fel az és pontokat az egyenes különböző oldalain úgy, hogy is és is merőleges legyen -re, továbbá az távolság , a távolság legyen. Ekkor az ábra jelöléseit használva és ; azaz . a ponton át az -vel húzott párhuzamos és az metszéspontja. Az egyenes az -t messe az pontban. Ekkor a háromszög-egyenlőtlenség alapján: | | -nak a minimuma tehát . Ezt az értéket valóban fel is veszi az pontban. Ez az érték az pontnak a kezdőponttól mért távolsága. Az és háromszögek hasonlósága alapján: | |
|