-
1 prove
∎ the facts prove her (to be) guilty les faits prouvent qu'elle est coupable;∎ the autopsy proved that it was suicide l'autopsie prouva que c'était un suicide;∎ the evidence goes to prove that… les témoignages concourent à prouver que…;∎ the accused is innocent until proved or proven guilty l'accusé est innocent jusqu'à preuve du contraire ou tant que sa culpabilité n'est pas prouvée;∎ to prove sb right/wrong donner raison/tort à qn;∎ they can't prove anything against us ils n'ont aucune preuve contre nous;∎ to do sth to prove a point faire qch pour prouver qu'on a raison;∎ after their relegation last season, the team will be out to prove a point après sa relégation de la saison dernière, l'équipe tâchera de montrer de quoi elle est capable;∎ I think I've proved my point je crois avoir apporté la preuve de ce que j'avançais;∎ it remains to be proved whether the decision was correct rien ne prouve que cette décision était la bonne;∎ she quickly proved herself indispensable elle s'est vite montrée indispensable;∎ he has already proved his loyalty il a déjà prouvé sa fidélité, sa fidélité n'est plus à prouver(b) (proposition, theorem → in maths, logic) démontrer(c) (put to the test) mettre à l'épreuve;∎ the method has not yet been proved la méthode n'a pas encore fait ses preuves;∎ to prove oneself faire ses preuves(a) (turn out) s'avérer, se révéler;∎ your suspicions proved (to be) well-founded vos soupçons se sont avérés fondés;∎ the arrangement proved (to be) unworkable cet arrangement s'est révélé impraticable;∎ the hotel proved to be open l'hôtel s'avéra être ouvert;∎ he may prove (to be) of help to you il pourrait bien vous être utile;∎ it has proved impossible to find him il a été impossible de le retrouver;∎ if that proves to be the case s'il s'avère que tel est le casmettre à l'épreuvefaire ses preuves -
2 prove
A vtr1 ( show) gen prouver (that que) ; ( by argument) prouver (that que) ; ( by demonstration) démontrer [theorem, opposite theory] ; it remains to be proved il reste à prouver ; it all goes to prove that tout cela prouve que ; to prove beyond doubt prouver sans le moindre doute ; events proved him right/wrong les événements lui ont donné raison/tort ; to prove a point montrer qu'on a raison ;2 Jur authentifier [will] ;3 Culin faire lever [dough].B vi1 ( turn out) s'avérer ; to prove to be difficult/broken s'avérer être difficile/cassé ; it proved otherwise il en est allé autrement ; if I prove to be mistaken s'il arrive que j'aie tort ;2 Culin [dough] lever.C v refl to prove oneself faire ses preuves ; to prove oneself (to be) se révéler ; he proved himself the best/the winner il s'est révélé le meilleur/le gagnant.
См. также в других словарях:
Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
theorem — theorematic /thee euhr euh mat ik, thear euh /, adj. theorematically, adv. /thee euhr euhm, thear euhm/, n. 1. Math. a theoretical proposition, statement, or formula embodying something to be proved from other propositions or formulas. 2. a rule… … Universalium
Chevalley-Warning theorem — The Chevalley Warning theorem is a mathematical theorem on solvability of polynomial equations in several variables over a finite field. The theorem was proved by Ewald Warning in 1936. A slightly weaker form of the theorem, known as Chevalley s… … Wikipedia
Bruck–Chowla–Ryser theorem — The Bruck–Chowla–Ryser theorem is a result on the combinatorics of block designs. It states that if a ( v , b , r , k , λ) design exists with v = b (a symmetric design), then: : k − λ is a squarewhen v is even, and the diophantine equation: x 2 − … Wikipedia
Crystallographic restriction theorem — The crystallographic restriction theorem in its basic form was based on the observation that the rotational symmetries of a crystal are usually limited to 2 fold, 3 fold, 4 fold, and 6 fold. However, quasicrystals can occur with other symmetries … Wikipedia
Theorem of the cube — In mathematics, the theorem of the cube is a foundational result in the algebraic geometry of a complete variety. It was a principle discovered, in the context of linear equivalence, by the Italian school of algebraic geometry. The specific… … Wikipedia
Splitting theorem — The splitting theorem is a classical theorem in Riemannian geometry. It states that if a complete Riemannian manifold M with Ricci curvature :{ m Ric} (M) ge 0 has a straight line, i.e., a geodesic gamma; such that :d(gamma(u),gamma(v))=|u v| for … Wikipedia
The Doctrine of Chances — For the rule of evidence in law, see doctrine of chances. Front page of the 1st edition of the “Doctrine of Chances”. The Doctrine of Chances was the first textbook on probability theory, written by 18th century French mathematician Abraham de… … Wikipedia
Tarski's undefinability theorem — Tarski s undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics. Informally, the theorem states that arithmetical truth… … Wikipedia
Borel determinacy theorem — In descriptive set theory, the Borel determinacy theorem shows that any Gale Stewart game whose winning set is a Borel set is determined, meaning that one of the two players will have a winning strategy for the game. It was proved by Donald A.… … Wikipedia