MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given three vectors $v_1,v_2$ and $v_3$ in a Hilbert space Hthe follwing is true $$\angle(v_1,v_2)+\angle(v_2,v_3)\geq \angle(v_1,v_3).$$

It tried to substitute $\angle(v_1,v_2) = cos^{-1}\frac{v_1 \cdot v_2}{\Vert v_1 \Vert \Vert v_2 \Vert}$ but I could not show the resulting inequality. What is the name of the inequality and do you know reference that one can cite in an article?

share|cite|improve this question

closed as off topic by Anthony Quas, Jon Bannon, Andreas Blass, Bill Johnson, Suvrit Sep 5 '12 at 17:00

Questions on MathOverflow are expected to relate to research level mathematics within the scope defined by the community. Consider editing the question or leaving comments for improvement if you believe the question can be reworded to fit within the scope. Read more about reopening questions here.If this question can be reworded to fit the rules in the help center, please edit the question.

You can assume the Hilbert space is $\mathbb R^3$ (spanned by the vectors). – Anthony Quas Sep 5 '12 at 13:12
up vote 2 down vote accepted

WLOG we can assume that we are in three space as mentioned above and that the vectors have length $ 1$. With the origin $O$ they span a triangular prism $OABC$. Then the area of say $OAB$ is less than the sum of that of $OAC$ and that of $OCB$. If we express these areas in term of the sines of the angles, we get an inequality which soon gives the required result.

share|cite|improve this answer

The angle (in $[0,\pi]$) corresponds to geodesic distance on the unit sphere. This is just the triangle inequality. No reference needed.

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.