正切的诱导公式.