PROPOSITION 11.

If two circles touch one another internally, and their centres be taken, the straight line joining their centres,[1] if it be also produced, will fall on the point of contact[2] of the circles.

For let the two circles ABC, ADE touch one another internally at the point A, and let the centre F of the circle ABC, and the centre G of ADE, be taken;

I say that the straight line joined from G to F and produced will fall on A.

A B C D E F G H

For suppose it does not, but, if possible, let it fall as FGH, and let AF, AG be joined.

Then, since AG, GF are greater than FA, that is, than FH,

let FG be subtracted from each;
therefore the remainder AG is greater than the remainder GH.

But AG is equal to GD;

therefore GD is also greater than GH,
the less than the greater: which is impossible.
Therefore the straight line joined from F to G will not fall outside;
therefore it will fall at A on the point of contact.
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"; "I.def.1" [label="I.def.1", fillcolor="#224422", tooltip="I.def.1: A point is that which has no part.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-1", target="_top"]; "I.def.2" [label="I.def.2", fillcolor="#224422", tooltip="I.def.2: A line is breadthless length.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-2", target="_top"]; "I.def.3" [label="I.def.3", fillcolor="#224422", tooltip="I.def.3: The extremities of a line are points.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-3", target="_top"]; "I.def.4" [label="I.def.4", fillcolor="#224422", tooltip="I.def.4: A straight line is a line which lies evenly with the points on itself.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-4", target="_top"]; "I.def.5" [label="I.def.5", fillcolor="#224422", tooltip="I.def.5: A surface is that which has length and breadth only.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-5", target="_top"]; "I.def.6" [label="I.def.6", fillcolor="#224422", tooltip="I.def.6: The extremities of a surface are lines.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-6", target="_top"]; "I.def.7" [label="I.def.7", fillcolor="#224422", tooltip="I.def.7: A plane surface is a surface which lies evenly with the straight lines on itself.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-7", target="_top"]; "I.def.13" [label="I.def.13", fillcolor="#224422", tooltip="I.def.13: A boundary is that which is an extremity of anything.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-13", target="_top"]; "I.def.14" [label="I.def.14", fillcolor="#224422", tooltip="I.def.14: A figure is that which is contained by any boundary or boundaries.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-14", target="_top"]; "I.def.15" [label="I.def.15", fillcolor="#224422", tooltip="I.def.15: A circle is a plane figure contained by one line such that all the straight lines falling upon it from one point among those lying within the figure are equal to one another.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-15", target="_top"]; "I.def.16" [label="I.def.16", fillcolor="#224422", tooltip="I.def.16: And the point is called the centre of the circle.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-16", target="_top"]; "III.def.3" [label="III.def.3", fillcolor="#224422", tooltip="III.def.3: Circles are said to touch one another which, meeting one another, do not cut one another.", URL="../../definitions/index.html#iii-def-3", target="_top"]; "III.11" [label="III.11", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="III.11: If two circles touch one another internally, and their centres be taken, the straight line joining their centres, if it be also produced, will fall on the point of contact of the…", URL="index.html", target="_top"]; "I.def.3" -> "I.def.1"; "I.def.4" -> "I.def.1"; "I.def.15" -> "I.def.1"; "I.def.16" -> "I.def.1"; "III.11" -> "I.def.1"; "I.def.3" -> "I.def.2"; "I.def.4" -> "I.def.2"; "I.def.6" -> "I.def.2"; "I.def.4" -> "I.def.3"; "I.def.13" -> "I.def.3"; "I.def.7" -> "I.def.4"; "I.def.15" -> "I.def.4"; "III.11" -> "I.def.4"; "I.def.6" -> "I.def.5"; "I.def.7" -> "I.def.5"; "I.def.15" -> "I.def.6"; "I.def.15" -> "I.def.7"; "I.def.14" -> "I.def.13"; "I.def.15" -> "I.def.14"; "I.def.16" -> "I.def.15"; "III.11" -> "I.def.15"; "III.11" -> "I.def.16"; "III.11" -> "III.def.3"; }

Required for

III.13


See Commentary on Proposition III.11.