I stumbled across this trigonometric formula for high-dimensional vector in the (d-1)-sphere while proof-reading the last two LSH papers (“beyond LSH”, and “optimal data-dependent LSH”). It is an interesting formula because it present the angle between the points fully characterized by the distance between the points.
So, let’s do it.
Suppose you have two high-dimensional vectors [unitary (d-1)-sphere]. They form an angle of . Take the center of the sphere and the difference between the vectors, so we obtain a triangle with two edges length 1 and one edge length (the angle is on the opposite side of the edge ). If we take the bisector of the angle we obtain two new similar right triangles with edge lenghts 1, c and (see the above photo) and angle .
Now we have this two relations:
Which gives us and
Since the only information to characterize the angle is the distance between the points, this could be heuristically generalized to metric spaces (keeping aware that the proof doesn’t hold, neither the notion of “angle” between vectors).