Proposition: Transitivity of Parallel Linesedit[id:919](Proposition 30 from Book 1 of “Euklid’s Elements”)Straight lines parallel to the same straight line are also parallel to one another, i.e. if \(AB\parallel EF\) and \(EF\parallel CB\) then \(AB\parallel CB\) (see Fig.): References [628] Casey, John: “The First Six Books of the Elements of Euclid”, http://www.gutenberg.org/ebooks/21076, 2007 What follows from what?This is (experimental) work in progress - if you miss an axiom, a definition, a theorem or a proof, if you find any inconsistencies you want to correct, or just know about a cool example or explanation you want to share with others, then join our team and help to improve this catalogue. Learn more about the axiomatic approach on BoP...Subordinated Structure: Contribute to BoP: add a new Proof add add a new Axiom add add a new Definition add add a new Motivation add add a new Example add add a new Application add add a new Explanation add add a new Interpretation add add a new Corollary add add a new Algorithm add add a new Open Problem add add a new Bibliography (Branch) add add a new Comment (Branch) add |
The contents of book of proofs are licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License.