另外还发现个问题，用sublime打开.tex文件，用skim查看相应的pdf。然后在终端下用xelatex直接编译.tex文件时，编译出来的pdf文件在skim里是无法使用shfit+cmd+左键进行反向定位到sublime相应的位置。

谢谢大佬指点，还是用多次编译最保险，虽然麻烦点，但能正确运行。其余的方案都不行，运行提示编译失败，可能是还有隐蔽设置没注意到。

把证明对其一点，估计更好看代码如下：
documentclass[a4paper,12pt]{ctexart}
usepackage{geometry}
geometry{left=3.17cm,right=3.17cm,top=2.54cm,bottom=2.54cm}
usepackage{amsmath}
usepackage{calc}
usepackage{zhnumber}%自定义环境“problem”，中文数字表示需要。
%一下为自定义环境problem
%----- definition of problem environment -----%
newcounter{thesucounter}
newenvironment{problem}[1][]{

                    \stepcounter{thesucounter}
                    \par\noindent
                    \makebox[25mm][l]{\textbf{\zhnum{thesucounter}、【#1分】}}
                    }{
                    \par\vspace{8mm}%生成一段高度为12pt plus 4pt minus 4pt 德垂直空白。
                    }
                    

begin{document}
section{第一题}
setcounter{thesucounter}{0}
begin{problem}[5]
证明 Rolle 定理：如果函数 $f(x)$ 在闭区间 $[a, b]$ 上连续，在开区间 $(a, b)$ 上可导，并且 $f(a) = f(b)$，那么存在至少一个$c\in (a, b)$，使得 $f'(c) = 0$。
end{problem}

begin{problem}[10]
证明 Rolle 定理：如果函数 $f(x)$ 在闭区间 $[a, b]$ 上连续，在开区间 $(a, b)$ 上可导，并且 $f(a) = f(b)$，那么存在至少一个$c\in (a, b)$，使得 $f'(c) = 0$。
end{problem}

begin{problem}[5]
证明 Rolle 定理：如果函数 $f(x)$ 在闭区间 $[a, b]$ 上连续，在开区间 $(a, b)$ 上可导，并且 $f(a) = f(b)$，那么存在至少一个$c\in (a, b)$，使得 $f'(c) = 0$。
end{problem}

begin{problem}[20]
证明 Rolle 定理：如果函数 $f(x)$ 在闭区间 $[a, b]$ 上连续，在开区间 $(a, b)$ 上可导，并且 $f(a) = f(b)$，那么存在至少一个$c\in (a, b)$，使得 $f'(c) = 0$。
end{problem}
begin{problem}[5]
证明 Rolle 定理：如果函数 $f(x)$ 在闭区间 $[a, b]$ 上连续，在开区间 $(a, b)$ 上可导，并且 $f(a) = f(b)$，那么存在至少一个$c\in (a, b)$，使得 $f'(c) = 0$。
end{problem}

begin{problem}[10]
证明 Rolle 定理：如果函数 $f(x)$ 在闭区间 $[a, b]$ 上连续，在开区间 $(a, b)$ 上可导，并且 $f(a) = f(b)$，那么存在至少一个$c\in (a, b)$，使得 $f'(c) = 0$。
end{problem}

begin{problem}[5]
证明 Rolle 定理：如果函数 $f(x)$ 在闭区间 $[a, b]$ 上连续，在开区间 $(a, b)$ 上可导，并且 $f(a) = f(b)$，那么存在至少一个$c\in (a, b)$，使得 $f'(c) = 0$。
end{problem}

begin{problem}[20]
证明 Rolle 定理：如果函数 $f(x)$ 在闭区间 $[a, b]$ 上连续，在开区间 $(a, b)$ 上可导，并且 $f(a) = f(b)$，那么存在至少一个$c\in (a, b)$，使得 $f'(c) = 0$。
end{problem}
end{document}