Az $ ABC $ hegyesszögű háromszögben $ AC < BC $ és $ BCA\sphericalangle = 60^\circ $. Legyen $ D $ az $ AC $ oldalegyenes olyan $ A $-tól különböző pontja, amelyre $ DB = AB $, $ E $ pedig a $ BC $ oldalegyenes olyan $ B $-től különböző pontja, amelyre $ EA = AB $. Határozzuk meg az $ EDC\sphericalangle $ nagyságát.
 
Megoldás:
$ EDC\sphericalangle=30^\circ $