辅助角公式的a必须大于0么?