证明

At the beginning the first part, we simplify the process of the generalization of the inequality (2)[2] The simplification mainly uses the logic analysis and convex function to substitute the original intricately computing.

在第一部分开始，我们简化了文[2]中关于不等式(2)的推广的证明，主要运用了逻辑分析与凸函数这一分析工具，取代了文[2]中繁琐的计算证明。

The paper is concerned with two aspects: a new concept of convex set and its some characteristic properties; on Buffon's problem for the complicated lattice.

1凸集的一个新概念与凸集的某些特征性质本文引进支持方向这一新概念并利用它来证明凸集的一个特征性质，最后再用它来证明凸集的另外一些特征性质。

Tan and Xu [1] had proved the theorem on convergence of Ishikawa iteration processes of asymptotically nonexpansive mapping on a compact convex subset of a uniform convex Banach space , Then Liu Qihou [3] presents the necessary and sufficient conditions for the Ishikawa iteration of asymptotically quasi-nonexpansive mapping with an error member on a Banach space convergent to a fixed point . Xu and Noor [5] had proved the theorem on convergence of three-step iterations of asymptotically nonexpansive mapping on nonempty closed, bounded and convex subset of uniformly convex Banach space.

Tan和Xu已经证明了建立在一致凸Banach空间紧凸子集上的渐进非扩张映射的Ishikawa迭代序列的收敛原理，随之，刘齐侯又阐述了Banach空间上渐进准非扩张映射T的具误差的Ishikawa迭代序列收敛于T的不动点的充分必要条件；之后，Xu和Noor也证明了定义在一致凸Banach空间某非空有界闭凸子集上的渐进非扩张映射的三步迭代序列的收敛原理。

We show the different properties between covariance risk allocation function and relative risk allocation function and prove that the commonly used risk budgeting model is a special form of risk allocation function.

我们证明并比较了在标准差风险度量下，协方差风险分配函数与相对风险分配函数性质上的差异，并证明风险预算也是一种特殊形式的风险分配函数。

According to Lorentz transformation,the relativistic covariant of electromagnetic field tensor and 4-dimension forces,and the relativistic invariance of electric charge,it can be directly proved that a moving magnetic monopole will be acted- by a magnetic Lorentz force ,and that the magnetic Lorentz force has the same accuracy as the Coulomb low.

概述了磁单极概念的历史发展，从洛伦兹变换出发，利用电磁场张量和四维力的协变性以及电荷相对论不变，直接证明了运动磁单极受磁洛伦兹力，建议了一个磁洛伦兹力的验证方案，并用磁洛伦兹力公式导出狄拉克电荷量子化条件。证明了磁洛伦兹力公式具有与库仑定律相同的精确度

In this paper,we will introduce semi-continuous function and prove a piece of valuable nature about semi-continuous function with the theorem of finite covering .

本文介绍了半连续函数的定义并利用有限覆盖定理证明了上半连续函数有上界的这一重要性质，从而推广了上半连续函数的某些性质并给出相应的证明

The legal certificates and a certificate of creditworthiness of the foreign investor

外国投资者的法律证明文件和资信证明文件

He also includes as Strange Loops the famous paradox about Cretan liars who say they never lie, and Gdel's proof of unprovable mathematical axioms.

他把著名的说自己从不骗人的克里特岛骗子的悖论，以及哥德尔无法证明的数学公理的证明也算在"怪圈"里。

If not, you can assume some facts without proof, for example you could omit the proof that F_p^* is a cyclic group.

如果讲不完，可以承认一些事实而不用证明，比如你可以删掉Fp*是一个循环群的证明。

The corresponding tableau algorithm is also provided. The soundness and decidability of the tableau algorithm are proved. It is shown that the complexity of tableau algorithm is PSPACE-complete.

设计了ALCKR+的语法、语义以及表算法，给出了表算法的正确性以及可判定性证明，证明表算法的时间复杂度为PSPACE-complete。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！