cotx=cosx/sinx 这条公式成不成立?