F1=F2,夹角为a,则F合=2F1cosa/2(a/2为分力夹角的一半),这个公式怎么推的?