其实有很多种证明勾股定理的方法。
And it turns out there's a variety of proofs of the Pythagorean Theorem.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
从复变函数理论出发，利用辐角原理、最大模原理、最小模原理给出代数学基本定理的几种新的证明方法。
This paper uses several methods of complex functions theorey to prove fundamental theorem of algebra by argument principle, maximum modulus principle and minimum modulus principle.
本文对一道著名几何定理进行了推广与证明，从而用纯几何方法解决了一般的费尔玛问题。
This paper generalized and proved a famous geometry theorem, and obtained general solution of Fermat Problem by pure geometric method thereby.
本文介绍了柯西中值定理的多种证明方法及其应用。
This paper introduces the proof and application of Cauchy mean-value theorem from many angles in every aspect.
裁判者是否能援用数学证明的方法，在疑难案件中发现或设定一条辅助定理，可旁证法律解释最终能否获得“真的”或普适意义上的客观性。
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.
用毕奥—萨伐尔定律和矢量分析的方法证明了安培环路定理。
The article demonstrates Ampere 's circulation theorem by Biot-Savart's law and vector analysis.
本文就线性规划基本定理的证明方法及过程提出一点修改意见。
In this paper, an improved suggestion is made of proof way and process of fundamental theorem of linear programming.
应用单调有界定理证明一类数列的收敛过程中，一般高等数学和数学分析教材中，处理的思路方法不易想到或过程较为繁琐。
In many current textbook, the monotone bounded theorem is used to the proof the convergence of a kind of but this method is uneasy to series, understand.
与原来的方程相比，它增加了一个非线性极强的阻尼项。我们同样用定理1．2介绍过的方法，证明了径向对称解的存在性。
We also use the method in Theorem 1.2 to prove that there exists a smooth 2-dimensional radical symmetric solution for this problem.
我们证明了该算法的收敛定理并把它与幂方法作了比较。
We prove the convergence theory for the algorithm and compare the method with Power method.
文章利用射影几何方法及配极原理给出二次曲线中点弦存在性定理的证明。
In this paper, the existence theorem of midpoint chord of quadratic curve, as well as its proof, is given via methods of projective geometry and polarity principle.
本文证明了两个定理，并由此提出了开关电容电路灵敏度分析的一种方法，此方法特别适合于用计算机程序来实现。
In this paper two theorems have been proved and a method of sensitivity analysis of switched capacitor circuits has been described.
用数学方法证明牵连运动为转动时点的加速度合成定理。
The mathematical method is used to prove composition theorem of acceleration of a particle when the carrier motion is rotation.
证明中应用了研究马尔可夫链强极限定理的一种新的分析方法。
In the proof a new analytic technique in the study of the strong limit theorems for Markov chains is applied.
在几何定理机器证明方法中，常用的有几何代数方法、演绎数据库方法和例证法等方法。
Methods, including geometric algebraic method, deductive database method and paradigmatic prove method have been widely applied in the geometric theorem prove field.
本文对多元有理分式恒等定理，给出一种证明方法。
The essay points out a demonstration method to the poly-rational fraction identical theorem.
我们用数学去证明从未被证明过的事物，我们探寻新的方法去证明那些定理，或其他诸如此类，总之，我们具有创造力。
We prove things in mathematics that have never been proven before or we find new ways to prove these theorems or what have you and we can be creative.
该方法首先根据协议规范构造全信息项及冗余协议，使用定理证明保证冗余协议的安全性。
It constructs full information items based on requirement to get a redundancy protocol firstly, and then USES theorem proven to prove the security of the designed protocol.
通过五个定理给出三角形“五心”的向量表示方法，并提供证明。
The author gave out the delta the vector representation of "five minds" by means of five theorems. and supplied the proof.
提出一种利用求传递闭包来构造直觉模糊等价矩阵的方法，证明了直觉模糊相似矩阵定理及传递闭包定理。
An approach to formation of IF equivalent matrixes by finding the transitive closure is presented with the proof of theorems of transitive closure and resembling matrix.
借助矩阵的合同变换法，给出了化实二次型为标准形的方法、求标准正交基的方法，并给出了正定二次型判定定理的新证明。
By means of congruent transformation in matrix, the method of transforming real quadratic form into standard form and the method of normal orthogonal basis are given in this paper.
探讨整值多项式及其恒因子，并给出费马小定理的一种证明方法。
This paper investigates the integral valued polynomial and its identity factors, also gives a new proof for Fermat's little theorem.
在1985年从布朗运动的角度证明了定理1.1，本文利用构造凸包络的方法，给出了该定理偏微分上的证明。
In 1985, prove Theorem 1.1 from the point of Brown Motion. This paper USES the method of establishing the convex envelope, giving a proof in Partial Differential Equation.
本文根据区间套的方法，证明柯西中值定理，而把罗尔定理和拉格朗日中值定理作为它的推论。
Cauchy's theorem of the mean is proved by means of nested intervals, with Rolle's and Lagrange's theorems of the mean as its corollaries.
这些结果说明，KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。
These results reveal that KLM valuation structure provides a sufficient and canonical approach to establish representation theorems for any injective inference relations in finite framework.
最后探讨了拉格朗日中值定理证明中辅助函数的构造方法，以此拓展对定理证明的思路。
Finally discusses the Lagrange mean value theorem proof method of constructing auxiliary function in order to expand on the idea of theorem proving.
一般地证明了安培环路定理。证明方法简明易懂、直观且不失普遍性，适合在普通物理和电磁学中使用。
A concise and district method to demonstrate the Ampere circuit rule is proposed, which is proper to be adopted in general physics course.
分析了证明拓扑空间有限可积性的一般方法及所依据的定理，并对一些具体的性质加以证明。
This paper analyses the general method of proving the productive property and the theorems on which it bases.
本文利用构造凸包络的方法，给出了该定理偏微分上的证明。
This paper uses the method of establishing the convex envelope, giving a proof in Partial Differential Equation.
应用推荐