查询词典 Rolle

the conditions of acquisition of minimum deviation is proved by means of rolle's theorem and the reversibility principle of beam path for triple prism, it is that the angle of incidence is equal to the angle of emergence for monochromatic incident beam.

利用数学中的罗尔中值定理及光路的可逆性原理证明了三棱镜获得最小偏向角的条件，即单色光线的入射角等于出射角。

For example, basic tools from calculus such as Fermat theorem, Rolle theorem and the intermediate value theorem may not necessarily hold and fundamental concepts such as chain and product rules and certain smoothness properties all need to be modified.

例如，微积分中的基本工具诸如Fermat定理、Rolle定理以及介值定理不再成立，一些基本的概念诸如链式法则、乘积公式以及某些光滑性都需要做适当的修正。

Differential intermediate value theorem and the Taylor formula In this paper, leads to Fermat's theorem Rolle Mean Value Theorem, and then constructing auxiliary function of the Lagrange mean value theorem and Cauchy's Mean Value Theorem to prove that.

微分中值定理和泰勒公式本文通过费马定理引出罗尔中值定理，再构造辅助函数对拉格朗日中值定理和柯西中值定理进行证明。

For example,basic tools from calculus such as Fermat theorem,Rolle theorem and the intermediate value theorem may not necessarily hold and it is difficult to find a universal program for simulation in a model with various timescales,which attract attention of great deal researchers.In this PhD thesis,we first consider classification schemes for positive solutions of the first and second order dynamic systems.

在探讨测度链上的动力方程的动力学行为时人们所熟悉的基本工具诸如Fermat定理，Rolle定理以及介值定理等不再成立，同时很难找到适应不同测度链的模拟程序，这些在给测度链理论研究带来诸多困难的同时，也更引起了广大学者的兴趣。

The use of Differential Mean Value Theorem (Rolle theorem, Lagrange's theorem, Cauchy's theorem) to solve a number of derivative and limit the problem.

利用微分中值定理（罗尔定理，拉格朗日定理，柯西定理）解决一些导数和极限的问题。

On the basis of these theories,Rolle mean value theorem,Lagrange mean value theorem and Cauchy mean value theorem are proved by constructing nested interval.

在此基础上通过构造区间套依次证明了罗尔中值定理、拉格朗日中值定理和柯西中值定理

Rolle's theorem is a special case of the mean value theorem.

罗尔定理是中值定理的一种特殊形式。

This paper, by means of Rolle theorem, introduces constant method to demonstrate mean value theorem for differential calculus and attains the corresponding supplementary function of the demonstrating method.

借助于Rolle定理，用待定常数法证明了微分中值定理，得到了该证明方法的辅助函数簇，这种证明方法对解决同类问题有很好的推广应用价值。

This paper firstly reviews the history of Automated Theorem Proving and Mizar,then gives a description of methods of mechanical theorem proving and verification to mathematical proposition under Mizar system.Based on that basis,the paper has done some Mizar researches on mixed operation of quaternion,differentiati- on of special composite function and the application of Rolle\'s theorem.

本文首先介绍了定理机器证明和Mizar语言系统的发展历史，其次简单描述了Mizar系统下定理机器证明和校验数学命题的方法，在此基础上对四元数的混合运算，特殊复合函数的微分以及洛尔定理的应用等方面进行了Mizar实现。

Thirdly,the paper combines mathematical knowledge with the Rolle\'s theorem implemented in Mizar system already, implements the exert and promotion of Rolle\'s theorem and Cauchy mean value theorem in Mizar system.

将Mizar系统中已实现的洛尔定理与相关数学知识相结合，在Mizar系统中实现了洛尔定理和柯西中值定理的一些应用和推广。

By the time of its fall, most of the prisoners were writers who had written against the corruptions of the government.

到它被攻陷的时候，里面多数的犯人是写了反对政府贪污文章的作家。

The most obvious variation to ovum morphological character was that the color was changed from light green to sepiaceous in embryonic development, and all the ovums were almost hatched after 96h.

在胚胎发育过程中卵的形态特征最明显的变化是颜色从淡绿到深褐色，卵在发育96h后卵基本全部孵化。