和差化积 积化和差 二倍角公式和半角公式之类

我在本版看到说这些公式可以用向量推出来
是都能推吗 还是只是其中一些
  
--
FROM 142.179.74.*