Κρατώ τα σημεία

σταθερά. To

είναι μεταβλητό σημείο επί της ευθείας που περνάει από το

και είναι κάθετη στο

. Έστω

η απόστασή του

από το

. Η γωνία

είναι συνεχής συνάρτηση του

με το

να ανήκει στον κύκλο κέντρου

και ακτίνας

. Άρα οι συντεταγμένες του

είναι συνεχείς συναρτήσεις του

. Το ίδιο ισχύει και για τις συντεταγμένες των

. Συνεπώς και η γωνία

είναι συνεχής συνάρτηση του

. Το

λαμβάνει τιμές στο

και είναι προφανές γεωμετρικά ότι

.
Έστω

όταν

. Από τα πιο πάνω όρια υπάρχουν

με

ώστε

για

καθώς και για

. Η γωνία

ως συνεχής συνάρτηση παίρνει μέγιστη τιμή στο κλειστό διάστημα
![[K,L] [K,L]](/forum/ext/geomar/texintegr/latexrender/pictures/ba3ce7f775a63004f8f57a5650cccbfd.png)
η οποία είναι μεγαλύτερη ή ίση της

. Στα διαστήματα

και

παίρνει τιμές μικρότερες της

. Άρα στο

λαμβάνει όντως μέγιστη τιμή.