Let point $A(\vec{a}), B(\vec{b}), C(\vec{c}), D(\vec{b}\times \vec{c})$, then by using Vector Triple Product Expansion, I got the following equality:
$$ \vert \sin\angle AOD \sin\angle BOC \vert=\vert \cos \angle AOC - \cos \angle AOB \vert $$
How to get this from Vector Triple Product
My questions are the following:
- Does this "Pyramid Theorem" have a specific name?
- And how can I prove?