几何证明（Geometric proof）.docVIP

几何证明（Geometric proof） Geometric proof In mathematics, it is proved that, in a particular system of axioms, according to certain rules or standards, some propositions are deduced from axioms and theorems, which play a role in reducing the amount of computation. Compared with evidence, mathematical proof generally relies on deductive reasoning rather than natural induction and empirical motivation. The propositions thus derived are also called theorems in the system. Mathematical proofs are based on logic, but usually contain natural language, and may therefore produce ambiguous parts. In fact, if most of the content of the proof is written in mathematical form, it can be regarded as an application of informal logic. In the category of proof, only the proof written in a purely formal language is considered. This distinction has led to much of the examination of past and present mathematical practices, mathematical quasi empiricism, and folk Mathematics (or popular mathematics). Mathematical philosophy focuses on the role of language and logic in mathematical proof, and mathematics as a language. Definition Mathematical proof consists of two different concepts. The first is proof of Formalization: a rigorous natural language expression used to convince listeners or readers to accept a theorem or proposition. Since the proof relies on the language used by the prover, the rigour of the proof will depend on the language itself and the audience or readers understanding of the language. Informal proof occurs in most applications, such as science lectures, oral arguments, elementary education, or parts of higher education. Sometimes non formal proof is called the official, because of the rigorous verification, adequate justification, but mathematical logician uses official that refers to a completely different proof of formal. In mathematical logic, formal proof is not written in natural language, but written in formal language: a string consisting of characters in a fixed a