G.392 rational and irrational areas — Heath

X.def.4

And let the square on the assigned straight line be called rational and those areas which are commensurable with it rational, but those which are incommensurable with it irrational, and the straight lines which produce them irrational, that is, in case the areas are squares, the sides themselves, but in case they are any other rectilineal figures, the straight lines on which are described squares equal to them.

Dependency Graph

digraph { bgcolor="transparent"; node [shape=box, style="rounded,filled", fontname="Helvetica", fontsize=11, color="#d6d3cd", fontcolor="#ffffff"]; edge [color="#8c857b", fontcolor="#8c857b", arrowsize=0.75]; rankdir="TB"; "G.1" [label="G.1", tooltip="G.1 (I.def.1): A point A is that which has no part.", fillcolor="#224422", URL="../G.1/index.html", target="_top"]; "G.2" [label="G.2", tooltip="G.2 (I.def.2): A line [ A B ] is a projection of a relationship of two points A, B.", fillcolor="#224422", URL="../G.2/index.html", target="_top"]; "G.3" [label="G.3", tooltip="G.3 (I.def.3): The extremities of a segment / A B / are points A, B.", fillcolor="#224422", URL="../G.3/index.html", target="_top"]; "G.4" [label="G.4", tooltip="G.4 (I.def.4): A segment / A B / is a portion of a line [ A B ] between two points A, B on the line.", fillcolor="#224422", URL="../G.4/index.html", target="_top"]; "G.5" [label="G.5", tooltip="G.5 (I.def.5): A surface is that which has length and breadth only.", fillcolor="#224422", URL="../G.5/index.html", target="_top"]; "G.7" [label="G.7", tooltip="G.7 (I.def.7): A plane surface lies evenly with the lines on itself.", fillcolor="#224422", URL="../G.7/index.html", target="_top"]; "G.8" [label="G.8", tooltip="G.8 (I.def.13): A boundary is the extremity of anything.", fillcolor="#224422", URL="../G.8/index.html", target="_top"]; "G.9" [label="G.9", tooltip="G.9 (I.def.14): A figure is that which is contained by any boundary or boundaries.", fillcolor="#224422", URL="../G.9/index.html", target="_top"]; "G.12" [label="G.12", tooltip="G.12 (I.def.19): Rectilineal figures are contained by segments: trilateral by three, quadrilateral by four, and multilateral by more than four.", fillcolor="#224422", URL="../G.12/index.html", target="_top"]; "G.13" [label="G.13", tooltip="G.13 (I.def.20): Of trilateral figures, an equilateral triangle < A B C > has three equal sides, an isosceles triangle < D E F > has two equal sides, and a scalene triangle < G H K > has three uneq...", fillcolor="#224422", URL="../G.13/index.html", target="_top"]; "G.22" [label="G.22", tooltip="G.22 (I.def.8): A plane angle is the inclination to one another of two lines or arcs in a plane that meet and do not lie on the same line.", fillcolor="#224422", URL="../G.22/index.html", target="_top"]; "G.63" [label="G.63", tooltip="G.63 (I.def.22): Of quadrilateral figures, a square is equilateral and right-angled; an oblong is right-angled but not equilateral; a rhombus is equilateral but not right-angled; a rhomboid has opp...", fillcolor="#224422", URL="../G.63/index.html", target="_top"]; "G.169" [label="G.169", tooltip="G.169 (V.def.1): A magnitude is apart of a magnitude, the less of the greater, when it measures the greater.", fillcolor="#224422", URL="../G.169/index.html", target="_top"]; "G.247" [label="G.247", tooltip="G.247 (VII.def.1): Anunit is that by virtue of which each of the things that exist is called one.", fillcolor="#224422", URL="../G.247/index.html", target="_top"]; "G.248" [label="G.248", tooltip="G.248 (VII.def.2): Anumber is a multitude composed ofunits.", fillcolor="#224422", URL="../G.248/index.html", target="_top"]; "G.253" [label="G.253", tooltip="G.253 (VII.def.3): Anumber is apart of a number, the less of the greater, when itmeasures the greater;", fillcolor="#224422", URL="../G.253/index.html", target="_top"]; "G.372" [label="G.372", tooltip="G.372 (X.def.1): Those magnitudes are said to becommensurable which aremeasured by the same measure, and thoseincommensurable which cannot have any common measure.", fillcolor="#224422", URL="../G.372/index.html", target="_top"]; "G.391" [label="G.391", tooltip="G.391 (X.def.3): With these hypotheses, it is proved that there existsegments infinite in multitude which arecommensurable and incommensurable respectively, some in length only, and others in squar...", fillcolor="#224422", URL="../G.391/index.html", target="_top"]; "G.392" [label="G.392", tooltip="G.392 (X.def.4): And let thesquare on the assignedsegment be calledrational and those areas which arecommensurable with itrational, but those which are incommensurable with itirrational, and the se...", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", URL="index.html", target="_top"]; "G.2" -> "G.1"; "G.3" -> "G.1"; "G.4" -> "G.1"; "G.3" -> "G.2"; "G.4" -> "G.2"; "G.7" -> "G.2"; "G.22" -> "G.2"; "G.4" -> "G.3"; "G.8" -> "G.3"; "G.7" -> "G.4"; "G.12" -> "G.4"; "G.22" -> "G.4"; "G.391" -> "G.4"; "G.392" -> "G.4"; "G.7" -> "G.5"; "G.22" -> "G.7"; "G.9" -> "G.8"; "G.12" -> "G.9"; "G.13" -> "G.12"; "G.63" -> "G.12"; "G.392" -> "G.12"; "G.63" -> "G.13"; "G.63" -> "G.22"; "G.392" -> "G.63"; "G.253" -> "G.169"; "G.372" -> "G.169"; "G.248" -> "G.247"; "G.253" -> "G.248"; "G.372" -> "G.253"; "G.391" -> "G.372"; "G.392" -> "G.372"; "G.392" -> "G.391"; }

Required for

G.393, G.394, G.395, G.396, G.397, G.398, G.399, G.400, G.401, G.402, G.403, G.405, G.406, G.407, G.408, G.409, G.410, G.411, G.412, G.413, G.414, G.415, G.416, G.417, G.418, G.419, G.420, G.421, G.423, G.425, G.427, G.431, G.433, G.434, G.435, G.436, G.437, G.438, G.439, G.440, G.441, G.442, G.443, G.444, G.445, G.446, G.447, G.448, G.449, G.450, G.451, G.452, G.453, G.455, G.457, G.458, G.459, G.460, G.461, G.462, G.463, G.464, G.465, G.466, G.467, G.468, G.470, G.472, G.474, G.476, G.477, G.478, G.479, G.480, G.481, G.482, G.483, G.484, G.485, G.486, G.487, G.488, G.489, G.490, G.491, G.492, G.493, G.494, G.495, G.496, G.497, G.498, G.499, G.500, G.501, G.584, G.589, G.597, G.600, G.601