裁判者是否能援用数学证明的方法，在疑难案件中发现或设定一条辅助定理，可旁证法律解释最终能否获得“真的”或普适意义上的客观性。
By citing a mathematical testifying method, the judges can find or establish an auxiliary theorem so as to testify whether legal interpretation can have ultimately the "real" or general objectivity.
本文首先采用不同的几何手段，引进相应的辅助函数，对拉格朗日定理的证明进行了探索。
In this paper, using different geometric means, the introduction of the corresponding auxiliary function of the Lagrange theorem proof explored.
最后探讨了拉格朗日中值定理证明中辅助函数的构造方法，以此拓展对定理证明的思路。
Finally discusses the Lagrange mean value theorem proof method of constructing auxiliary function in order to expand on the idea of theorem proving.
其证明方法关键在于构造一个辅助函数，再应用罗尔中值定理推出拉格朗日中值定理的结论。
Its key proof is to construct an auxiliary function, which is used by Roll's theorem to reach a conclusion of Lagrange's theorem.
通过巧妙地构造辅助数列，应用致密性定理、柯西收敛准则来证明闭区间上连续函数的介值性定理。
We proved the intermediate value theorem for continuous function at closed interval by constructing auxiliary sequence ingeniously and applying compact theorem as well as Cauchy convergence criterion.
构造辅助函数是利用微分中值定理解决问题的关键，构造辅助函数的方法较多。
Constructing auxiliary functions is the key in using differential mean value theorem to solve problems; there are many methods for constructing auxiliary functions.
在微分几何定理证明中，一个定理成立的辅助条件(非退化条件)不是惟一的，但越简单越好。
The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving.
首先以分阶段的诺西肽发酵过程非结构模型为基础，根据隐函数存在定理进行辅助变量的合理选择；
Firstly, based on the staged unstructured model of Nosiheptide fermentation process, secondary variables were selected according to the implicit function existence theorem.
研究了一类非线性变分不等式系统(SNVI)及其相关辅助问题，建立了辅助问题解的存在性定理。
We consider a kind of system of nonlinear variational inequalities (SNVI) and its related auxiliary problems.
通过使用辅助系统方法，我们给出了基于李雅普·诺夫稳定性理论的广义同步定理。最后，用数值例子来验证定理的有效性。
By using the auxiliary system method, a sufficient condition for GS is derived based on the Lyapunov stability theory. At last, numerical examples are presented which fit the theoretical analysis.
通过使用辅助系统方法，我们给出了基于李雅普·诺夫稳定性理论的广义同步定理。最后，用数值例子来验证定理的有效性。
By using the auxiliary system method, a sufficient condition for GS is derived based on the Lyapunov stability theory. At last, numerical examples are presented which fit the theoretical analysis.
应用推荐