| 例句 |
Computers have been used to prove mathematical theorems.计算机被用于证明数学定理。Some of the theorems we are beginning to understand. Others mystify us.在这几条定理中，有的我们已渐渐理解，有的可把我们难住了。Geometrical theorems grew out of empirical methods.几何定理是从经验得出的。The process in which we make any trial variation function satisfy the varial theorem is called scaling.我们使任一尝试变分函数满足维里定理的方法叫做定标。The proof shows that the theorem is true.验算表明这个定理是正确的。 |