Using identity 3 one can easily infer that: The following property needs to be verified: In the proof, we exploit the fact that for every positive-semidefinite matrix X, the following equation holds We observe that for the denominator Putting things together we finally obtain However, proposition 1 is not sufficient in all cases, since negative cosine similarity values can occur in practice.
we also prove a stronger claim stated in the following proposition.