有谁知道下面公式的证明tan a/2=sin a/[1+cos a]和tan a/2=[1-cos a]/sin a以上