sinx满足什么公式