Earlier quoted context omitted.
Is there a more general definition of logarithms than being the inverse of the exponential function? Mathworld says Prosthapharesis formulas "convert a product of functions into a sum or difference" [0], which resembles a property of logarithms (i.e. log(ab) == log(a) + log(b)). However I don't quite get how angle measurement itself is a type of logarithm. Maybe something to do with Euler's formula? [0] https://mathw…
Starting for Euler's formula you can write cos(x) = (exp(ix) + exp(-ix))/2 so the cosine is in some sense a "type of exponential". If the cosine is a type of exponential then its inverse (the function that takes you to the angle measurement) is inherently a "type of logarithm". This is a very handwavey statement. I would say a more precise statement is that the proper exponential and log maps are the "correct" thing…
If you want to compute the product of two rotations, you can take logarithms and rewrite it as a sum of angle measures:
[x + i√(1 − x²)][y + i√(1 − y²)] = exp(i acos(x) + i acos(y))
[x + i√(1 − x²)][y − i√(1 − y²)] = exp(i acos(x) − i acos(y))
Now if you just look at the real parts, you can write:
xy − √(1 − x²)√(1 − y²) = cos(acos(x) + acos(y))
xy + √(1 − x²)√(1 − y²) = cos(acos(x) − acos(y))
Taking the sum on each side:
2xy = cos(acos(x) + acos(y)) + cos(acos(x) − acos(y))
This method is rather more cumbersome (due to rescaling and then converting the factors to rotations as an intermediate step) but fundamentally based on the same concept as:
xy = exp(log(x) + log(y))