Ads
related to: geometry proofs help with solving equations and math worksheets pdf grade 4
Search results
Results From The WOW.Com Content Network
Steiner used the power of a point for proofs of several statements on circles, for example: Determination of a circle, that intersects four circles by the same angle. [2] Solving the Problem of Apollonius; Construction of the Malfatti circles: [3] For a given triangle determine three circles, which touch each other and two sides of the triangle ...
Fermat's little theorem and some proofs; Gödel's completeness theorem and its original proof; Mathematical induction and a proof; Proof that 0.999... equals 1; Proof that 22/7 exceeds π; Proof that e is irrational; Proof that π is irrational; Proof that the sum of the reciprocals of the primes diverges
Cartan–Kähler theorem (partial differential equations) Cartan–Kuranishi prolongation theorem (partial differential equations) Cartan's theorem ; Cartan's theorems A and B (several complex variables) Casey's theorem (Euclidean geometry) Castelnuovo theorem (algebraic geometry) Castelnuovo–de Franchis theorem (algebraic geometry)
Pages which contain only proofs (of claims made in other articles) should be placed in the subcategory Category:Article proofs. Pages which contain theorems and their proofs should be placed in the subcategory Category:Articles containing proofs. Articles related to automatic theorem proving should be placed in Category:Automated theorem proving.
A short elementary proof of Pascal's theorem in the case of a circle was found by van Yzeren (1993), based on the proof in (Guggenheimer 1967). This proof proves the theorem for circle and then generalizes it to conics. A short elementary computational proof in the case of the real projective plane was found by Stefanovic (2010).
The Metamath Proof Explorer (recorded in set.mm) is the main database. It is based on classical first-order logic and ZFC set theory (with the addition of Tarski-Grothendieck set theory when needed, for example in category theory). The database has been maintained for over thirty years (the first proofs in set.mm are dated September 1992). The ...