已知x∈(0,π/2),利用导数证明sinx