Az $ ABCD $ paralelogramma $ BC $ és $ CD $ oldalain rendre kijelölünk olyan $ E $ és $ F $ pontokat, amelyekre $ AB + BE = AD + DF $. Igazoljuk, hogy a $ DAB\sphericalangle $ szögfelezője merőleges az $ EF $ egyenesre.
 
Megoldás:
Igaz az állítás