← elements / Elements 2.0 (G Index) G.104 III.6 ← Prev Pseudocode · Code · Heath Next → G.104 touching circles have distinct centers — Heath¶ III.6 If two circles touch one another, they will not have the same centre. For let the two circles ( A B C ), ( C D E ) touch one another at the point C; I say that they will not have the same centre. C F E B D A For, if possible, let it be F; let / F C / be joined, and let / F E B / be drawn through at random. Then, since the point F is the centre of the circle ( A B C ), / F C / is equal to / F B /. Again, since the point F is the centre of the circle ( C D E ), / F C / is equal to / F E /. But / F C / was proved equal to / F B /; therefore / F E / is also equal to / F B /, the less to the greater: which is impossible. Therefore F is not the centre of the circles ( A B C ), ( C D E ). Therefore etc. Q. E. D. 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.6" [label="G.6", tooltip="G.6 (I.def.6): The extremities of a surface are lines or arcs.", fillcolor="#224422", URL="../G.6/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.10" [label="G.10", tooltip="G.10 (I.def.15): A circle ( A B ) is a plane figure contained by one arc defined by a center A and a point B establishing its defining radius / A B /, such that all segments / A B /, / A C /, / A D...", fillcolor="#224422", URL="../G.10/index.html", target="_top"]; "G.11" [label="G.11", tooltip="G.11 (I.def.16): The point A within the circle ( A B ) from which all segments / A B /, / A C / to the arc are equal is called the center of the circle.", fillcolor="#224422", URL="../G.11/index.html", target="_top"]; "G.14" [label="G.14", tooltip="G.14 (I.post.1): Construct a segment / A B / between any two points A, B.", fillcolor="#444422", URL="../G.14/index.html", target="_top"]; "G.16" [label="G.16", tooltip="G.16 (I.cn.1): Things equal to the same thing are equal to one another.", fillcolor="#442222", URL="../G.16/index.html", target="_top"]; "G.26" [label="G.26", tooltip="G.26 (I.cn.5): The whole is greater than the part.", fillcolor="#442222", URL="../G.26/index.html", target="_top"]; "G.103" [label="G.103", tooltip="G.103 (III.def.3): Circles are said totouch one another which, meeting one another, do not cut one another.", fillcolor="#224422", URL="../G.103/index.html", target="_top"]; "G.104" [label="G.104", tooltip="G.104 (III.6): Two circles that touch one another do not have the same center.", 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.10" -> "G.1"; "G.11" -> "G.1"; "G.14" -> "G.1"; "G.3" -> "G.2"; "G.4" -> "G.2"; "G.6" -> "G.2"; "G.7" -> "G.2"; "G.4" -> "G.3"; "G.6" -> "G.3"; "G.8" -> "G.3"; "G.7" -> "G.4"; "G.10" -> "G.4"; "G.11" -> "G.4"; "G.14" -> "G.4"; "G.6" -> "G.5"; "G.7" -> "G.5"; "G.10" -> "G.6"; "G.10" -> "G.7"; "G.9" -> "G.8"; "G.10" -> "G.9"; "G.11" -> "G.10"; "G.104" -> "G.10"; "G.104" -> "G.11"; "G.104" -> "G.14"; "G.104" -> "G.16"; "G.104" -> "G.26"; "G.104" -> "G.103"; }