三角函数和差化积公式怎么推导的？

sin(a＋b)＝sinacosb＋sinbcosa …(1) sin(a－b)＝sinacosb－sinbcosa…(2)
(1)＋(2) sin(a＋b)＋sin(a－b)＝2sinacosb＝2sin[(a＋b)＋(a－b)]/2cos[(a＋b)－(a－b)]/2
(1)－(2) sin(a＋b)－sin(a－b)＝2cosasinb＝2cos[(a＋b)＋(a－b)]/2sin[(a＋b)－(a－b)]/2∴sinα＋sinβ＝2sin[(a＋β)/2]cos[(α－β)/2] sinα－sinβ＝2cos[(a＋β)/2]sin[(α－β)/2]
cos(a＋b)＝coscosb－sinasinb …(1) cos(a－b)＝cosacosb＋sinasinb…(2)
(1)＋(2) cos(a＋b)＋cos(a－b)＝2cosacosb＝2cos[(a＋b)＋(a－b)]/2cos[(a＋b)－(a－b)]/2
(1)－(2) cos(a＋b)－cos(a－b)＝﹣2sinasinb＝﹣2sin[(a＋b)＋(a－b)]/2sin[(a＋b)－(a－b)]/2
∴cosα＋cosβ＝2cos[(a＋β)/2]cos[(α－β)/2] cosα－cosβ＝﹣2sin[(a＋β)/2]sin[(α－β)/2]