Spaces:
Running
Running
File size: 6,629 Bytes
06e4298 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 | graph TD
P1["Post. 1\nDraw a straight line from any po..."]
P2["Post. 2\nProduce a finite straight line c..."]
P3["Post. 3\nDescribe a circle with any cente..."]
P4["Post. 4\nAll right angles equal one another"]
P5["Post. 5\nParallel postulate: if interior ..."]
CN1["CN 1\nThings equal to the same thing a..."]
CN2["CN 2\nIf equals are added to equals, t..."]
CN3["CN 3\nIf equals are subtracted from eq..."]
CN4["CN 4\nThings coinciding with one anoth..."]
CN5["CN 5\nThe whole is greater than the part"]
Prop1["Prop. I.1\nEquilateral triangle on given line"]
Prop2["Prop. I.2\nPlace line equal to given at point"]
Prop3["Prop. I.3\nCut off from greater segment equal to less"]
Prop4["Prop. I.4\nSAS congruence"]
Prop5["Prop. I.5\nBase angles of isosceles equal"]
Prop6["Prop. I.6\nSides opposite equal angles equal"]
Prop7["Prop. I.7\nUniqueness of triangle from ends"]
Prop8["Prop. I.8\nSSS congruence"]
Prop9["Prop. I.9\nBisect angle"]
Prop10["Prop. I.10\nBisect line"]
Prop11["Prop. I.11\nPerpendicular from point on line"]
Prop12["Prop. I.12\nPerpendicular from point not on line"]
Prop13["Prop. I.13\nAngles on line sum to two right"]
Prop14["Prop. I.14\nIf angles sum to two right, straight line"]
Prop15["Prop. I.15\nVertical angles equal"]
Prop16["Prop. I.16\nExterior angle > interior opposite"]
Prop17["Prop. I.17\nSum of two angles < two right"]
Prop18["Prop. I.18\nAngle opposite greater side greater"]
Prop19["Prop. I.19\nSide opposite greater angle greater"]
Prop20["Prop. I.20\nTriangle inequality"]
Prop21["Prop. I.21\nLines from ends within triangle"]
Prop22["Prop. I.22\nConstruct triangle from three lines"]
Prop23["Prop. I.23\nConstruct angle equal to given"]
Prop24["Prop. I.24\nSAS for greater angle => greater base"]
Prop25["Prop. I.25\nSAS for greater base => greater angle"]
Prop26["Prop. I.26\nAAS congruence"]
Prop27["Prop. I.27\nAlternate angles equal => parallel"]
Prop28["Prop. I.28\nExterior = interior opposite => parallel"]
Prop29["Prop. I.29\nParallel => alternate angles equal"]
Prop30["Prop. I.30\nTransitivity of parallel"]
Prop31["Prop. I.31\nDraw parallel through point"]
Prop32["Prop. I.32\nExterior angle = sum interior opposite"]
Prop33["Prop. I.33\nJoining ends of equal parallel lines"]
Prop34["Prop. I.34\nParallelogram properties"]
Prop35["Prop. I.35\nParallelograms same base equal"]
Prop36["Prop. I.36\nParallelograms equal bases equal"]
Prop37["Prop. I.37\nTriangles same base equal"]
Prop38["Prop. I.38\nTriangles equal bases equal"]
Prop39["Prop. I.39\nEqual triangles same base same side"]
Prop40["Prop. I.40\nEqual triangles equal bases same side"]
Prop41["Prop. I.41\nParallelogram = 2× triangle"]
Prop42["Prop. I.42\nConstruct parallelogram = triangle"]
Prop43["Prop. I.43\nComplements of parallelogram"]
Prop44["Prop. I.44\nApply parallelogram to line"]
Prop45["Prop. I.45\nConstruct parallelogram = rectilinear figure"]
Prop46["Prop. I.46\nConstruct square on line"]
Prop47["Prop. I.47\nPythagorean theorem"]
Prop48["Prop. I.48\nConverse Pythagorean"]
P1 --> Prop1
P3 --> Prop1
Prop1 --> Prop2
P1 --> Prop2
P2 --> Prop2
P3 --> Prop2
Prop2 --> Prop3
P3 --> Prop3
CN4 --> Prop4
CN5 --> Prop4
Prop3 --> Prop5
Prop4 --> Prop5
Prop3 --> Prop6
Prop4 --> Prop6
Prop5 --> Prop7
Prop7 --> Prop8
Prop1 --> Prop9
Prop3 --> Prop9
Prop8 --> Prop9
Prop1 --> Prop10
Prop4 --> Prop10
Prop9 --> Prop10
Prop1 --> Prop11
Prop3 --> Prop11
Prop8 --> Prop11
Prop8 --> Prop12
Prop10 --> Prop12
Prop11 --> Prop13
Prop13 --> Prop14
Prop13 --> Prop15
Prop3 --> Prop16
Prop4 --> Prop16
Prop10 --> Prop16
Prop15 --> Prop16
Prop13 --> Prop17
Prop16 --> Prop17
Prop3 --> Prop18
Prop5 --> Prop18
Prop16 --> Prop18
Prop5 --> Prop19
Prop18 --> Prop19
Prop3 --> Prop20
Prop5 --> Prop20
Prop19 --> Prop20
Prop16 --> Prop21
Prop20 --> Prop21
Prop3 --> Prop22
Prop20 --> Prop22
Prop8 --> Prop23
Prop22 --> Prop23
Prop3 --> Prop24
Prop4 --> Prop24
Prop5 --> Prop24
Prop19 --> Prop24
Prop23 --> Prop24
Prop4 --> Prop25
Prop24 --> Prop25
Prop3 --> Prop26
Prop4 --> Prop26
Prop16 --> Prop26
Prop16 --> Prop27
Prop13 --> Prop28
Prop15 --> Prop28
Prop27 --> Prop28
Prop13 --> Prop29
Prop15 --> Prop29
Prop27 --> Prop29
P5 --> Prop29
Prop29 --> Prop30
Prop23 --> Prop31
Prop27 --> Prop31
Prop13 --> Prop32
Prop29 --> Prop32
Prop31 --> Prop32
Prop4 --> Prop33
Prop27 --> Prop33
Prop29 --> Prop33
Prop4 --> Prop34
Prop26 --> Prop34
Prop29 --> Prop34
Prop4 --> Prop35
Prop29 --> Prop35
Prop34 --> Prop35
Prop33 --> Prop36
Prop34 --> Prop36
Prop35 --> Prop36
Prop31 --> Prop37
Prop34 --> Prop37
Prop35 --> Prop37
Prop31 --> Prop38
Prop34 --> Prop38
Prop36 --> Prop38
Prop31 --> Prop39
Prop37 --> Prop39
Prop31 --> Prop40
Prop38 --> Prop40
Prop34 --> Prop41
Prop37 --> Prop41
Prop10 --> Prop42
Prop23 --> Prop42
Prop31 --> Prop42
Prop38 --> Prop42
Prop41 --> Prop42
Prop34 --> Prop43
Prop15 --> Prop44
Prop29 --> Prop44
Prop31 --> Prop44
Prop42 --> Prop44
Prop43 --> Prop44
Prop14 --> Prop45
Prop29 --> Prop45
Prop30 --> Prop45
Prop33 --> Prop45
Prop34 --> Prop45
Prop42 --> Prop45
Prop44 --> Prop45
Prop3 --> Prop46
Prop11 --> Prop46
Prop29 --> Prop46
Prop31 --> Prop46
Prop34 --> Prop46
Prop4 --> Prop47
Prop14 --> Prop47
Prop31 --> Prop47
Prop41 --> Prop47
Prop46 --> Prop47
Prop3 --> Prop48
Prop8 --> Prop48
Prop11 --> Prop48
Prop47 --> Prop48
classDef postulate fill:#e74c3c,color:#fff,stroke:#c0392b
classDef commonNotion fill:#9b59b6,color:#fff,stroke:#8e44ad
classDef proposition fill:#1abc9c,color:#fff,stroke:#16a085
class P1,P2,P3,P4,P5 postulate
class CN1,CN2,CN3,CN4,CN5 commonNotion
class Prop1,Prop2,Prop3,Prop4,Prop5,Prop6,Prop7,Prop8,Prop9,Prop10,Prop11,Prop12,Prop13,Prop14,Prop15,Prop16,Prop17,Prop18,Prop19,Prop20,Prop21,Prop22,Prop23,Prop24,Prop25,Prop26,Prop27,Prop28,Prop29,Prop30,Prop31,Prop32,Prop33,Prop34,Prop35,Prop36,Prop37,Prop38,Prop39,Prop40,Prop41,Prop42,Prop43,Prop44,Prop45,Prop46,Prop47,Prop48 proposition |