定理的

In the proof,sufficient conditions are proved mainly by properties of K function and continuity of Lyapunov function:in necessary proof,we separately structure Lyapunov functions which satisfy the conditions of the theorems, such that the results establish.

在定理的证明中充分性主要利用K类函数严格单调递增和Lyapunov函数的连续性；必要性的证明中，分别构造Lyapunov函数，满足定理的条件，使得定理的结论成立。

In chapter 5,we persue the ctiticality and complexity of thecritical sets.We describe carefully the Whitney's example in 1935.Meantime,we introduce some rsults about the critical sets and thecritical value sets,in particular,on W-sets and C-sets.And usingthe Lebesgue density theorem and the Vitali covering lemma weprove a rank zero theorem with Hausdorff measures.Finally wegive some examples to prove our results are sharp in the sense thatthe numbers k,m,n,s,〓,etc.,in the hypothesescan not be improved.

第五章研究临界点集的临界性和复杂性，并详细地描绘了Whit-ney在1935年的例子，同时也介绍了关于临界点集和临界值集的一些结果，尤其是W-集和C-集的一些结果，并利用Lebesgue密度定理和Vitali覆盖引理证明了一个与Hausdorff测度相关的秩零定理，最后举例证明我们的结果在定理的假设中的那些数字如k，m，n，s，a，r+/等不能被改进的情况下是最佳的。

The intermediate value theorem for discontinuous function is studied,the problem of discontinuous points when the left and right limit exists is considered by ZHU Le-min.

研究了非连续函数的介值定理，受朱乐敏等考虑的具有左、右极限存在的跳跃间断点的非连续函数的介值性定理的启发，利用上、下极限把介值定理推广到具有一般间断点的非连续函数的情况。

In the study of finiteness conjecture, there are two important conclusions, that is Revised Dulac"s Theorem and Il"yashenkos Theorem. But the discusses and demonstrations of these two theorems are very brief and simple in existing documents.

在有限性猜测的研究中有两个十分重要的结果，即修正的Dulac定理和Il'yashenko定理，现有的文献对这两个定理的讨论和证明非常简要。

This paper talks about these two theorems around the finiteness conjecture and mainly gives detailed proofs for them.

本文将围绕有限性猜测仔细来讨论这两个定理，主要是详细补出了这两个定理的证明。

The unique existence theorem for minimal determining set of completerational choice function is obtained,and the sufficient condition is used to show avery simple proof of Arrow Impossibility Theorem.

构造并证明了完全理性选择函数的最小决定集的存在惟一性定理，同时应用该定理的充分性条件给出了Arrow不可能性定理的一个简单证明。

This paper describes the content of the theorem, and theorems are given two proofs, cite the Lagrange mean value theorem in the mathematics major applications, including that inequality, identity, Limit, determine monotonicity, root The existence of such.

本文简要叙述了定理的内容，并且给出了定理的两种证明方法，例举了拉格朗日中值定理在数学中的主要应用，包括证明不等式，恒等式，求极限，判断单调性，根的存在性等。

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实现。

As we all know,there is one Simson line at any point on the circumference of triangles,but in this paper, LHP theorem shows that the above conclusion is not correct for any quadrilateral pyramid in three-dimensional space and also during proving LHP theorem,fixed value theorem is proved,at the same time,one guess about the point H and point P on circumscribed sphere of tetrahedron has been concluded.

众所周知，三角形的外接圆周上任一点存在一条 simson 线，而 LHP 定理则指出对于正四面体该结论是不能推广到三维空间上的，并且在论证 LHP 定理的过程中得出了定值定理，同时作为一般四面体的外接球球面上的 H 点、P 点的分布，给出了一个猜想。

The deficiency of direct connection theorem is analyzed, and a novel algorithm based on both simple connection theorem and root search theorem is presented. Since standard information in Management Information Base is only used, the algorithm is independent of any special product families.

分析了直接连接定理的不足，给出了一种新的基於简单连接定理和根搜索定理的算法，由於只利用标准的管理信息库，所以该算法不依赖於特定产品类别。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。