Dependency Graph of Propositions in Euclid’s Elements

• Published in 2007
• Added on 2021-04-14

This is a dependency graph of propositions from the first book of Euclid’s Elements. We say that a proposition \(A\) depends on \(B\) iff proposition \(B\) is necessary in the proof of proposition \(A\). In the dependency graph below,this will be denoted by an arrow starting at \(A\) and pointing at \(B\). Figure 1 is a dependency graph of all propositions in the first book. Figure 2 is a dependency graph of all propositions that state a relation between two objects, while Figure 3 is a dependency graph of all propositions that state the existence of an unmarked straightedge and compass construction of something.The dependencies were gratefully extracted from Richard Fitzpatrick’s edition of Euclid’s Elements. The graph itself was written in DOT and converted to pslatex with dot2tex. The motivation for this graph was from Mariusz Wodzicki’s Spring 2007 History of Mathematics course at the University of California, Berkeley. Corrections and comments are always appreciated at thomson@ocf.berkeley.edu.

Links

• https://www.ocf.berkeley.edu/~thomson/euclid/euclid.pdf

Other information

BibTeX entry

@article{DependencyGraphOfPropositionsInEuclidsElements,
	key = {DependencyGraphOfPropositionsInEuclidsElements},
	type = {article},
	title = {Dependency Graph of Propositions in Euclid’s Elements},
	author = {Thomson Nguyen},
	abstract = {This is a dependency graph of propositions from the first book of Euclid’s Elements. We say that a proposition \(A\) depends on \(B\) iff proposition \(B\) is necessary in the proof of proposition \(A\). In the dependency graph below,this will be denoted by an arrow starting at \(A\) and pointing at \(B\). 

Figure 1 is a dependency graph of all propositions in the first book. Figure 2 is a dependency graph of all propositions that state a relation between two objects, while Figure 3 is a dependency graph of all propositions that state the existence of an unmarked straightedge and compass construction of something.The dependencies were gratefully extracted from Richard Fitzpatrick’s edition of Euclid’s Elements. The graph itself was written in DOT and converted to pslatex with dot2tex. The motivation for this graph was from Mariusz Wodzicki’s Spring 2007 History of Mathematics course at the University of California, Berkeley. Corrections and comments are always appreciated at thomson@ocf.berkeley.edu.},
	comment = {},
	date_added = {2021-04-14},
	date_published = {2007-10-09},
	urls = {https://www.ocf.berkeley.edu/{\~{}}thomson/euclid/euclid.pdf},
	collections = {history},
	url = {https://www.ocf.berkeley.edu/{\~{}}thomson/euclid/euclid.pdf},
	year = 2007,
	urldate = {2021-04-14}
}