对函数lnsinx在区间[ 6,5 6]上验证罗尔定理