sin∧2/3x的原函数是什么,怎么得来的!