These are examples of BAC-CAB rule in a physics book.$$(\vec A \times \vec B) \cdot (\vec C\times \vec D) = (\vec A \cdot \vec C)(\vec B \cdot \vec D) - (\vec A \cdot \vec D)(\vec B \cdot \vec C)\tag 1$$ $$ \vec A \times (\vec B \times (\vec C \times\vec D)) = \vec B (\vec A \cdot (\vec C \times \vec D)) - (\vec A \cdot \vec B)(\vec C \cdot \vec D)\tag 2$$
I tried to get the RHS from LHS but I am unable to do so.
For the (1), I don't even know where to apply BAC-CAB rule. There rule states $\vec A \times (\vec B \times \vec C) = \vec B (\vec A \cdot \vec C) - \vec C(\vec A\cdot \vec B)$ but in (1) there are no three consecutive vector products.
For (2),
$$\vec A \times (\vec B \times (\vec C \times\vec D)) = \vec A (\vec C(\vec B \cdot \vec D) - \vec D(\vec B \cdot \vec C))$$
Since vector product is distributive,
$$\vec A \times (\vec B \times (\vec C \times\vec D)) = \vec A \times \vec C(\vec B \cdot \vec D) - \vec A \times \vec D(\vec B \cdot \vec C)$$ But I don't know what to do now.
- What should I do ? please provide some help.