α∈(0,π) sinα<α<tanα 可以直接当做定理公式使用么?