求tana/2半角公式推导过程