AI数学工具步步求解。