Revision #134 → #1196 · back to history
addedSum of two angles of a triangle (Elements I.17)c68d233d5a01
addedPythagorean theorem (Elements I.47)e4dee47a1e20
addedInfinitude of primes709e3f7d8dfd
addedCone–cylinder volume ratio 1:35fbfa4d61768
addedPostulate 1 (line through two points)433c9512526d
addedPostulate 2 (extend a line)b342dbcb37b4
addedPostulate 3 (circle with any center and radius)265aa60bfa86
addedPostulate 4 (all right angles equal)4aa13b444c65
addedPostulate 5 (parallel postulate)9129f840d1b4
addedCommon notions4ba040c88987
addedPlayfair's axiom696b83dfd42a
addedComplementary angles2ce75c78e471
addedSupplementary anglesc59c9753aa56
addedPons asinorum (overview)79deb386847b
addedTriangle angle sum (overview)3b7a5eb401da
addedPythagorean theorem (overview)6f2192ebe906
addedThales' theorem (overview)576140c8d56b
addedPons asinorum14a9b17ce2cf
addedTriangle congruence criteria (SSS, SAS, ASA)4bd326d310ab
addedAAA gives similarity not congruence71836fdc056b
addedTriangle angle sum theorem71e058de99bf
addedPythagorean theoremd04557877d89
addedThales' theoremdf2fd0a930c5
addedArea scales as square of linear dimensione7fda19bbb08
addedSphere is 2/3 volume of circumscribing cylindera6e44e4251c3
addedCongruence of figures951f2d6ef58e
addedSimilarity of figures51dbfc4f8b04
addedEuclidean metricaa33ecf7a231
addedAffine geometry493a12cf9db3
addedImpossibility of angle trisection3aac1671b17b
addedNumber of regular convex polytopes by dimension0d4c3e1554ec
addedIndependence of the parallel postulatea1fa5e9abca5
addedA line segment is part of a triangledf7fd3788826
addedLaw of contradiction29d3828c95ea
addedLaw of the excluded middled33c187ab922
addedCompleteness/decidability of elementary Euclidean geometry (Tarski)3be4edc60390