Addíciós tételek gyakorlati illetve matematikán belüli használata?

Pont ebben a témában kutakodom. A Bolyai és a gömbi geomeria koszinusztételei roppantul hasonlítanak a cos(x+y) és cosh(x+y) addiciós tételeire. Ugyanígy léteznekk a Gauss által is kutatott lemniszkáta függvények addiciós tételei. 1890 környékén Dixon angol matematikus felfedezett két függvényt, amelyekhez szintén léteznek az addiciós képletek. (cm(x)^3+sm(x)^3=1) Sejtésem az, hogy

(Pokoli ez a szerkesztő.) Tehát az a sejtésem, hogy ezekhez a párosokhoz is léteznek a koszinusz-tételek és ezekre újabb trigonometriát lehetne felépíteni. Tehát újabb nemeuklidesz-geometriákat építeni. Sz. Gy.