1) probability proof
概率证明
2) probabilistically checkable proof
概率可验证明
3) guarantee probability
保证概率
1.
It is avoided that the guarantee probability in the design reference period degr.
采用“基准点法”可以方便求得与设计基准期直接对应的荷载特征值,避免了按“重现期法”计算得到的荷载特征值在设计基准期内的保证概率随设计基准期的缩短而降低的问题,使荷载具有与设计基准期无关且更为安全的统一保证概率。
4) probabilistic proof
概率证法
1.
In this paper,a probabilistic proof of a class of inequalities through the construction of a random variable is presented, and their application to geometricgramming is show
本文通过构造随机变量，给出一类不等式的概率证法，最后给出在几何规划中的一个应用。
5) efficiency of proof
证明效率
1.
purpose of proof,value of proof,pattern of proof and efficiency of proof.
诉讼证明理念可以从证明目的、证明价值、证明模式和证明效率这四个维度来加以把握。
6) reduction to absurdity of probability
概率反证法
补充资料：不等式证明
不等式的证明，基本方法有
比较法：比较两个式子的大小，求差或求商。是最基本最常用的方法
综合法：用到了均值不等式的知识，一定要注意的是何时等号才成立。
分析法：当无法从条件入手时，就用分析法去思考，但还是要用综合法去证明。两个方法是密不可分的。
换元法：把不等式想象成三角函数，方便思考
反证法：假设不成立，但是不成立时又无法解出本题，于是成立
放缩法：
用柯西不等式证。等等……
高考不是重点，但是难点。
大学数学也会讲到柯西不等式。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条