已知导函数√(1-X²)求原函数的步骤和需要用到的公式