反证法

Finally the use of reduction to absurdity that they should pay attention to solving some problems.

最后指出了运用反证法解题时应注意的几点问题。

Indirect-method is an important method in artificial proof, and reduction to absurdity is one of the effective methods.

在手工证明几何问题的方法中，间接证明也是一种重要的方法，其中反证法是较为有效的方法之一。

In another part, apagoge is used in this paper to tell us that not all the stability conditions deduced by the heuristic method are the necessary computational stability conditions, which should be given attention in their applications.

在文章的另一部分，反证法的运用表明了从启示性方法推导来的稳定性条件并非全都是必要条件，在应用中应引起注意。

In another part, apagoge is used in this paper to tell us that not all the stability conditions deduced by the heuristic method are the necessary computational stability conditions, which should be pay attention to in their applications.

在文章的另一部分，反证法的运用表明了从启示性方法推导来的稳定性条件并非全都是必要条件，在应用中应引起注意。

The argument principle of the method of proof by contradiction is base on equivalent relation of dual propositions.

反证法是利用对偶命题等价的原理进行论证。

Based on this analysis, we then made a teaching assumption to get rid of such kind of thinking barrier, ie."Symbolizing the propositions in everyday life and finding dual proposition according to symbolic rule will enhance students' understanding of the argument principle of proof by contradiction."

进一步提出克服此种思维限制以发展逻辑思维的教学假设─「将生活情境中命题的真伪关系符号化，利用符号规则推理再转译回生活命题，可增进学生对反证法论证原理的了解」，并据以发展教案进行探究性教学。

It is proved that there is no contradiction between biaxial stress ellipse theory and practical loading condition.

摘要采用反证法探讨了前人在基础理论的推理过程中存在的问题，证明双向应力椭圆理论与实际载荷条件并不矛盾。

For the value of n given 4m-3,the author uses the propositional transformation,the counterevidence and one-to-one correspondence between variables and the value of the functionso to prove the validity of Erds conjecture.

对于n为4m-3形的奇数，文章采用命题转化法及反证法，并用自变量与函数值的一一对应关系证明了Erd■猜想成立。

Based on the given results of second order boundary value problem, the existence of solutions of nonlinear boundary value problem of Volterra type integro-differential nonlinear equation was established. The uniquess of solution was obtained by applying disproof method.

以二阶边值问题的已知结果为基础，建立了Volterra型积分微分非线性边值问题的解的存在性，再利用反证法获得了解的惟一性。

Under suit upper and lower solution, iteration sequences were constructed, and existence and unique of solutions of linear boundary value problems on second order nonlinear Hammerstein type integro-differential-difference equation were obtained by means of applying the Arzela-Ascoli theorem Lebesque control convergence theorem and disproof method.

在上下解存在的条件下，构造迭代序列，由Arzea-Ascoli定理和Lebesque控制收敛定理得到了二阶非线性Hammerstein型积分微分差分方程的线性边值问题的解的存在性。再利用反证法获得了解的唯一性。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。