είναι η διχοτόμος της γωνίας
, ενώ η
είναι η διχοτόμος της
.Θεωρούμε σημεία
της
και
της
, τέτοια ώστε :
και γράφουμε τουςκύκλους
οι οποίοι εφάπτονται των πλευρών των γωνιών
και
αντίστοιχα .Μπορούμε να ορίσουμε την αρχική γωνία έτσι, ώστε οι δύο κύκλοι να εφάπτονται εξωτερικά ;

και


και απαλοιφή του
καταλήγω στην εξίσωση:
απ' όπου παίρνω 