programming_framework / data /euclid-elements-book-vi.json
garywelz's picture
Sync programming_framework from local progframe
06e4298
{
"schemaVersion": "1.0",
"discourse": {
"id": "euclid-elements-book-vi",
"name": "Euclid's Elements, Book VI",
"subject": "geometry",
"variant": "classical",
"description": "Similar figures. 4 definitions, 33 propositions. Depends on Book I and Book V. VI.1 is basis for most. Source: David E. Joyce.",
"structure": {
"books": 6,
"definitions": 4,
"propositions": 33,
"foundationTypes": [
"definition",
"foundation"
]
}
},
"metadata": {
"created": "2026-03-15",
"lastUpdated": "2026-03-15",
"version": "1.0.0",
"license": "CC BY 4.0",
"authors": [
"Welz, G."
],
"methodology": "Programming Framework",
"citation": "Welz, G. (2026). Euclid's Elements Book VI Dependency Graph. Programming Framework.",
"keywords": [
"Euclid",
"Elements",
"Book VI",
"similar",
"proportion",
"triangles"
]
},
"sources": [
{
"id": "joyce",
"type": "digital",
"authors": "Joyce, David E.",
"title": "Euclid's Elements, Book VI",
"year": "1996",
"url": "https://mathcs.clarku.edu/~djoyce/java/elements/bookVI/bookVI.html",
"notes": "Clark University; VI.1 basis for most"
}
],
"nodes": [
{
"id": "BookI",
"type": "foundation",
"label": "Book I — Fundamentals of plane geometry",
"shortLabel": "Book I",
"short": "Foundation",
"book": 1,
"colorClass": "foundation"
},
{
"id": "BookV",
"type": "foundation",
"label": "Book V — Theory of proportions",
"shortLabel": "Book V",
"short": "Foundation",
"book": 5,
"colorClass": "foundation"
},
{
"id": "Def1",
"type": "definition",
"label": "Similar rectilinear figures have equal angles and proportional sides",
"shortLabel": "Def. VI.1",
"short": "Similar rectilinear",
"book": 6,
"number": 1,
"colorClass": "definition"
},
{
"id": "Def2",
"type": "definition",
"label": "Figures reciprocally proportional when sides are proportional inversely",
"shortLabel": "Def. VI.2",
"short": "Reciprocally proportional",
"book": 6,
"number": 2,
"colorClass": "definition"
},
{
"id": "Def3",
"type": "definition",
"label": "Straight line is mean proportional when first to it as it to third",
"shortLabel": "Def. VI.3",
"short": "Mean proportional",
"book": 6,
"number": 3,
"colorClass": "definition"
},
{
"id": "Def4",
"type": "definition",
"label": "Duplicate ratio is the ratio of the squares on corresponding sides",
"shortLabel": "Def. VI.4",
"short": "Duplicate ratio",
"book": 6,
"number": 4,
"colorClass": "definition"
},
{
"id": "Prop1",
"type": "proposition",
"label": "Triangles and parallelograms under same height are as their bases",
"shortLabel": "Prop. VI.1",
"short": "Triangles under same height",
"book": 6,
"number": 1,
"colorClass": "proposition"
},
{
"id": "Prop2",
"type": "proposition",
"label": "Line parallel to side cuts sides proportionally; converse",
"shortLabel": "Prop. VI.2",
"short": "Parallel cuts sides proportionally",
"book": 6,
"number": 2,
"colorClass": "proposition"
},
{
"id": "Prop3",
"type": "proposition",
"label": "Angle bisector: segments of base proportionally as remaining sides",
"shortLabel": "Prop. VI.3",
"short": "Angle bisector divides base",
"book": 6,
"number": 3,
"colorClass": "proposition"
},
{
"id": "Prop4",
"type": "proposition",
"label": "Equiangular triangles: sides about equal angles proportional",
"shortLabel": "Prop. VI.4",
"short": "Equiangular: sides proportional",
"book": 6,
"number": 4,
"colorClass": "proposition"
},
{
"id": "Prop5",
"type": "proposition",
"label": "If sides proportional, triangles equiangular",
"shortLabel": "Prop. VI.5",
"short": "Sides proportional: equiangular",
"book": 6,
"number": 5,
"colorClass": "proposition"
},
{
"id": "Prop6",
"type": "proposition",
"label": "One angle equal, sides about it proportional: equiangular",
"shortLabel": "Prop. VI.6",
"short": "One angle equal, sides proportional",
"book": 6,
"number": 6,
"colorClass": "proposition"
},
{
"id": "Prop7",
"type": "proposition",
"label": "One angle equal, sides about others proportional: equiangular",
"shortLabel": "Prop. VI.7",
"short": "One angle equal, other sides proportional",
"book": 6,
"number": 7,
"colorClass": "proposition"
},
{
"id": "Prop8",
"type": "proposition",
"label": "Perpendicular from right angle: triangles similar to whole",
"shortLabel": "Prop. VI.8",
"short": "Altitude in right triangle",
"book": 6,
"number": 8,
"colorClass": "proposition"
},
{
"id": "Prop9",
"type": "proposition",
"label": "To cut off a prescribed part from a given straight line",
"shortLabel": "Prop. VI.9",
"short": "Cut off prescribed part",
"book": 6,
"number": 9,
"colorClass": "proposition"
},
{
"id": "Prop10",
"type": "proposition",
"label": "To cut a given line similarly to a given cut line",
"shortLabel": "Prop. VI.10",
"short": "Cut line similarly",
"book": 6,
"number": 10,
"colorClass": "proposition"
},
{
"id": "Prop11",
"type": "proposition",
"label": "To find a third proportional to two given lines",
"shortLabel": "Prop. VI.11",
"short": "Third proportional",
"book": 6,
"number": 11,
"colorClass": "proposition"
},
{
"id": "Prop12",
"type": "proposition",
"label": "To find a fourth proportional to three given lines",
"shortLabel": "Prop. VI.12",
"short": "Fourth proportional",
"book": 6,
"number": 12,
"colorClass": "proposition"
},
{
"id": "Prop13",
"type": "proposition",
"label": "To find a mean proportional to two given lines",
"shortLabel": "Prop. VI.13",
"short": "Mean proportional",
"book": 6,
"number": 13,
"colorClass": "proposition"
},
{
"id": "Prop14",
"type": "proposition",
"label": "Equal equiangular parallelograms: sides reciprocally proportional",
"shortLabel": "Prop. VI.14",
"short": "Parallelograms reciprocally proportional",
"book": 6,
"number": 14,
"colorClass": "proposition"
},
{
"id": "Prop15",
"type": "proposition",
"label": "Equal triangles, one angle equal: sides reciprocally proportional",
"shortLabel": "Prop. VI.15",
"short": "Triangles reciprocally proportional",
"book": 6,
"number": 15,
"colorClass": "proposition"
},
{
"id": "Prop16",
"type": "proposition",
"label": "Four lines proportional iff rectangle extremes = rectangle means",
"shortLabel": "Prop. VI.16",
"short": "Four lines proportional: rectangle",
"book": 6,
"number": 16,
"colorClass": "proposition"
},
{
"id": "Prop17",
"type": "proposition",
"label": "Three lines proportional iff rectangle extremes = square on mean",
"shortLabel": "Prop. VI.17",
"short": "Three lines proportional: rectangle",
"book": 6,
"number": 17,
"colorClass": "proposition"
},
{
"id": "Prop18",
"type": "proposition",
"label": "To describe figure similar to given on given line",
"shortLabel": "Prop. VI.18",
"short": "Similar figure on given line",
"book": 6,
"number": 18,
"colorClass": "proposition"
},
{
"id": "Prop19",
"type": "proposition",
"label": "Similar triangles in duplicate ratio of corresponding sides",
"shortLabel": "Prop. VI.19",
"short": "Similar triangles: duplicate ratio",
"book": 6,
"number": 19,
"colorClass": "proposition"
},
{
"id": "Prop20",
"type": "proposition",
"label": "Similar polygons in duplicate ratio of corresponding sides",
"shortLabel": "Prop. VI.20",
"short": "Similar polygons: duplicate ratio",
"book": 6,
"number": 20,
"colorClass": "proposition"
},
{
"id": "Prop21",
"type": "proposition",
"label": "Figures similar to same rectilinear figure are similar",
"shortLabel": "Prop. VI.21",
"short": "Similar to same: similar",
"book": 6,
"number": 21,
"colorClass": "proposition"
},
{
"id": "Prop22",
"type": "proposition",
"label": "Four lines proportional iff similar figures on them proportional",
"shortLabel": "Prop. VI.22",
"short": "Four lines proportional: figures",
"book": 6,
"number": 22,
"colorClass": "proposition"
},
{
"id": "Prop23",
"type": "proposition",
"label": "Equiangular parallelograms: ratio compounded of sides",
"shortLabel": "Prop. VI.23",
"short": "Equiangular parallelograms: compound ratio",
"book": 6,
"number": 23,
"colorClass": "proposition"
},
{
"id": "Prop24",
"type": "proposition",
"label": "Parallelograms about diameter similar to whole",
"shortLabel": "Prop. VI.24",
"short": "Parallelograms about diameter",
"book": 6,
"number": 24,
"colorClass": "proposition"
},
{
"id": "Prop25",
"type": "proposition",
"label": "To construct figure similar to one and equal to another",
"shortLabel": "Prop. VI.25",
"short": "Similar and equal to another",
"book": 6,
"number": 25,
"colorClass": "proposition"
},
{
"id": "Prop26",
"type": "proposition",
"label": "Parallelogram similar to whole, common angle: about same diameter",
"shortLabel": "Prop. VI.26",
"short": "Parallelogram similar to difference",
"book": 6,
"number": 26,
"colorClass": "proposition"
},
{
"id": "Prop27",
"type": "proposition",
"label": "Of parallelograms applied to line, greatest is on half",
"shortLabel": "Prop. VI.27",
"short": "Greatest parallelogram applied",
"book": 6,
"number": 27,
"colorClass": "proposition"
},
{
"id": "Prop28",
"type": "proposition",
"label": "To apply parallelogram equal to figure, deficient by similar",
"shortLabel": "Prop. VI.28",
"short": "Apply parallelogram: deficient",
"book": 6,
"number": 28,
"colorClass": "proposition"
},
{
"id": "Prop29",
"type": "proposition",
"label": "To apply parallelogram equal to figure, exceeding by similar",
"shortLabel": "Prop. VI.29",
"short": "Apply parallelogram: exceeding",
"book": 6,
"number": 29,
"colorClass": "proposition"
},
{
"id": "Prop30",
"type": "proposition",
"label": "To cut a given line in extreme and mean ratio",
"shortLabel": "Prop. VI.30",
"short": "Extreme and mean ratio",
"book": 6,
"number": 30,
"colorClass": "proposition"
},
{
"id": "Prop31",
"type": "proposition",
"label": "In right triangle, figure on hypotenuse = sum of similar on sides",
"shortLabel": "Prop. VI.31",
"short": "Right triangle: similar figures",
"book": 6,
"number": 31,
"colorClass": "proposition"
},
{
"id": "Prop32",
"type": "proposition",
"label": "Two triangles, two sides proportional, placed with parallel sides",
"shortLabel": "Prop. VI.32",
"short": "Two triangles: sides parallel",
"book": 6,
"number": 32,
"colorClass": "proposition"
},
{
"id": "Prop33",
"type": "proposition",
"label": "Angles in equal circles have ratio of circumferences",
"shortLabel": "Prop. VI.33",
"short": "Angles in circles: ratio of arcs",
"book": 6,
"number": 33,
"colorClass": "proposition"
}
],
"edges": [
{
"from": "BookI",
"to": "Def1"
},
{
"from": "BookV",
"to": "Def1"
},
{
"from": "BookI",
"to": "Def2"
},
{
"from": "BookV",
"to": "Def2"
},
{
"from": "BookI",
"to": "Def3"
},
{
"from": "BookV",
"to": "Def3"
},
{
"from": "BookI",
"to": "Def4"
},
{
"from": "BookV",
"to": "Def4"
},
{
"from": "BookI",
"to": "Prop1"
},
{
"from": "BookV",
"to": "Prop1"
},
{
"from": "BookI",
"to": "Prop2"
},
{
"from": "BookV",
"to": "Prop2"
},
{
"from": "Prop1",
"to": "Prop2"
},
{
"from": "BookI",
"to": "Prop3"
},
{
"from": "BookV",
"to": "Prop3"
},
{
"from": "Prop1",
"to": "Prop3"
},
{
"from": "BookI",
"to": "Prop4"
},
{
"from": "BookV",
"to": "Prop4"
},
{
"from": "Prop1",
"to": "Prop4"
},
{
"from": "BookI",
"to": "Prop5"
},
{
"from": "BookV",
"to": "Prop5"
},
{
"from": "Prop1",
"to": "Prop5"
},
{
"from": "BookI",
"to": "Prop6"
},
{
"from": "BookV",
"to": "Prop6"
},
{
"from": "Prop1",
"to": "Prop6"
},
{
"from": "BookI",
"to": "Prop7"
},
{
"from": "BookV",
"to": "Prop7"
},
{
"from": "Prop1",
"to": "Prop7"
},
{
"from": "BookI",
"to": "Prop8"
},
{
"from": "BookV",
"to": "Prop8"
},
{
"from": "Prop1",
"to": "Prop8"
},
{
"from": "BookI",
"to": "Prop9"
},
{
"from": "BookV",
"to": "Prop9"
},
{
"from": "Prop1",
"to": "Prop9"
},
{
"from": "BookI",
"to": "Prop10"
},
{
"from": "BookV",
"to": "Prop10"
},
{
"from": "Prop1",
"to": "Prop10"
},
{
"from": "BookI",
"to": "Prop11"
},
{
"from": "BookV",
"to": "Prop11"
},
{
"from": "Prop1",
"to": "Prop11"
},
{
"from": "BookI",
"to": "Prop12"
},
{
"from": "BookV",
"to": "Prop12"
},
{
"from": "Prop1",
"to": "Prop12"
},
{
"from": "BookI",
"to": "Prop13"
},
{
"from": "BookV",
"to": "Prop13"
},
{
"from": "Prop1",
"to": "Prop13"
},
{
"from": "BookI",
"to": "Prop14"
},
{
"from": "BookV",
"to": "Prop14"
},
{
"from": "Prop1",
"to": "Prop14"
},
{
"from": "BookI",
"to": "Prop15"
},
{
"from": "BookV",
"to": "Prop15"
},
{
"from": "Prop1",
"to": "Prop15"
},
{
"from": "BookI",
"to": "Prop16"
},
{
"from": "BookV",
"to": "Prop16"
},
{
"from": "Prop1",
"to": "Prop16"
},
{
"from": "BookI",
"to": "Prop17"
},
{
"from": "BookV",
"to": "Prop17"
},
{
"from": "Prop1",
"to": "Prop17"
},
{
"from": "BookI",
"to": "Prop18"
},
{
"from": "BookV",
"to": "Prop18"
},
{
"from": "Prop1",
"to": "Prop18"
},
{
"from": "BookI",
"to": "Prop19"
},
{
"from": "BookV",
"to": "Prop19"
},
{
"from": "Prop1",
"to": "Prop19"
},
{
"from": "BookI",
"to": "Prop20"
},
{
"from": "BookV",
"to": "Prop20"
},
{
"from": "Prop1",
"to": "Prop20"
},
{
"from": "BookI",
"to": "Prop21"
},
{
"from": "BookV",
"to": "Prop21"
},
{
"from": "Prop1",
"to": "Prop21"
},
{
"from": "BookI",
"to": "Prop22"
},
{
"from": "BookV",
"to": "Prop22"
},
{
"from": "Prop1",
"to": "Prop22"
},
{
"from": "BookI",
"to": "Prop23"
},
{
"from": "BookV",
"to": "Prop23"
},
{
"from": "Prop1",
"to": "Prop23"
},
{
"from": "BookI",
"to": "Prop24"
},
{
"from": "BookV",
"to": "Prop24"
},
{
"from": "Prop1",
"to": "Prop24"
},
{
"from": "BookI",
"to": "Prop25"
},
{
"from": "BookV",
"to": "Prop25"
},
{
"from": "Prop1",
"to": "Prop25"
},
{
"from": "BookI",
"to": "Prop26"
},
{
"from": "BookV",
"to": "Prop26"
},
{
"from": "Prop1",
"to": "Prop26"
},
{
"from": "BookI",
"to": "Prop27"
},
{
"from": "BookV",
"to": "Prop27"
},
{
"from": "Prop1",
"to": "Prop27"
},
{
"from": "BookI",
"to": "Prop28"
},
{
"from": "BookV",
"to": "Prop28"
},
{
"from": "Prop1",
"to": "Prop28"
},
{
"from": "BookI",
"to": "Prop29"
},
{
"from": "BookV",
"to": "Prop29"
},
{
"from": "Prop1",
"to": "Prop29"
},
{
"from": "BookI",
"to": "Prop30"
},
{
"from": "BookV",
"to": "Prop30"
},
{
"from": "Prop1",
"to": "Prop30"
},
{
"from": "BookI",
"to": "Prop31"
},
{
"from": "BookV",
"to": "Prop31"
},
{
"from": "Prop1",
"to": "Prop31"
},
{
"from": "BookI",
"to": "Prop32"
},
{
"from": "BookV",
"to": "Prop32"
},
{
"from": "Prop1",
"to": "Prop32"
},
{
"from": "BookI",
"to": "Prop33"
},
{
"from": "BookV",
"to": "Prop33"
}
],
"colorScheme": {
"foundation": {
"fill": "#95a5a6",
"stroke": "#7f8c8d"
},
"definition": {
"fill": "#3498db",
"stroke": "#2980b9"
},
"proposition": {
"fill": "#1abc9c",
"stroke": "#16a085"
}
}
}