G.574 circles center inscribe — Heath

XII.16

Given two circles about the same centre, to inscribe in the greater circle an equilateral polygon with an even number of sides which does not touch the lesser circle.

Let ( A B C D ), ( E F G H ) be the two given circles about the same centre K ; thus it is required to inscribe in the greater circle ( A B C D ) an equilateral polygon with an even number of sides which does not touch the circle ( E F G H ).

H A L B E K G M D N C F

For let the straight line / B K D / be drawn through the centre K, and from the point G let / G A / be drawn at right angles to the straight line / B D / and carried through to C ;

[G.118]therefore / A C / touches the circle ( E F G H ).

Then, bisecting the circumference ( B A D ), bisecting the half of it, and doing this continually, we shall leave a circumference less than ( A D ). [G.371] Let such be left, and let it be ( L D ) ; from L let / L M / be drawn perpendicular to / B D / and carried through to N, and let / L D /, / D N / be joined ;

[G.100, G.24]therefore / L D / is equal to / D N /.
Now, since / L N / is parallel to / A C /, and / A C / touches the circle ( E F G H ),
therefore / L N / does not touch the circle ( E F G H ) ; therefore / L D /, / D N / are far from touching the circle ( E F G H ).
If then we fit into the circle ( A B C D ) straight lines equal to the straight line / L D / and placed continuously, there will be inscribed in the circle ( A B C D ) an equilateral polygon with an even number of sides which does not touch the lesser circle ( E F G H ). Q. E. F.

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.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.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.15" [label="G.15", tooltip="G.15 (I.post.3): Construct a circle ( A B ) with center A and defining radius point B.", fillcolor="#444422", URL="../G.15/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.17" [label="G.17", tooltip="G.17 (I.1): Construct an equilateral triangle on a given segment.", fillcolor="#222244", URL="../G.17/index.html", target="_top"]; "G.18" [label="G.18", tooltip="G.18 (I.post.2): Extend a segment / A B / continuously along a line [ A B ] to / B C /.", fillcolor="#444422", URL="../G.18/index.html", target="_top"]; "G.19" [label="G.19", tooltip="G.19 (I.cn.3): If equals are subtracted from equals, the remainders are equal.", fillcolor="#442222", URL="../G.19/index.html", target="_top"]; "G.20" [label="G.20", tooltip="G.20 (I.2): Construct at a given point a segment equal to a given segment.", fillcolor="#222244", URL="../G.20/index.html", target="_top"]; "G.21" [label="G.21", tooltip="G.21 (I.3): Cut off from the greater of two unequal segments a segment equal to the less.", fillcolor="#222244", URL="../G.21/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.23" [label="G.23", tooltip="G.23 (I.cn.4): Things / A B /, / D E / that coincide with one another are equal to one another.", fillcolor="#442222", URL="../G.23/index.html", target="_top"]; "G.24" [label="G.24", tooltip="G.24 (I.4): Triangles with two sides and the included angle equal are congruent (SAS).", fillcolor="#222244", URL="../G.24/index.html", target="_top"]; "G.25" [label="G.25", tooltip="G.25 (I.5): In an isosceles triangle, the angles at the base are equal, and if the equal sides are extended, the angles under the base are equal.", fillcolor="#222244", URL="../G.25/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.28" [label="G.28", tooltip="G.28 (I.7): On the same segment and on the same side, there cannot be constructed two distinct triangles with both pairs of conterminous sides equal.", fillcolor="#222244", URL="../G.28/index.html", target="_top"]; "G.29" [label="G.29", tooltip="G.29 (I.8): Triangles with all three corresponding sides equal have their corresponding angles equal (SSS).", fillcolor="#222244", URL="../G.29/index.html", target="_top"]; "G.30" [label="G.30", tooltip="G.30 (I.def.9): A rectilineal angle is contained by two segments or lines.", fillcolor="#224422", URL="../G.30/index.html", target="_top"]; "G.31" [label="G.31", tooltip="G.31 (I.9): Bisect a given angle.", fillcolor="#222244", URL="../G.31/index.html", target="_top"]; "G.32" [label="G.32", tooltip="G.32 (I.10): Bisect a given segment.", fillcolor="#222244", URL="../G.32/index.html", target="_top"]; "G.33" [label="G.33", tooltip="G.33 (I.def.10): When a segment standing on a line makes the adjacent angles equal, each of the equal angles is a right angle, and the standing segment is perpendicular to the line.", fillcolor="#224422", URL="../G.33/index.html", target="_top"]; "G.34" [label="G.34", tooltip="G.34 (I.11): Construct a segment at right angles to a given line from a given point on it.", fillcolor="#222244", URL="../G.34/index.html", target="_top"]; "G.36" [label="G.36", tooltip="G.36 (I.cn.2): If equals are added to equals, the wholes are equal.", fillcolor="#442222", URL="../G.36/index.html", target="_top"]; "G.37" [label="G.37", tooltip="G.37 (I.13): A segment standing on a line makes either two right angles or adjacent angles summing to two right angles.", fillcolor="#222244", URL="../G.37/index.html", target="_top"]; "G.38" [label="G.38", tooltip="G.38 (I.post.4): All right angles are equal.", fillcolor="#444422", URL="../G.38/index.html", target="_top"]; "G.40" [label="G.40", tooltip="G.40 (I.15): Intersecting lines make their vertical angles equal.", fillcolor="#222244", URL="../G.40/index.html", target="_top"]; "G.41" [label="G.41", tooltip="G.41 (I.16): In any triangle, if one side is extended, the exterior angle is greater than either opposite interior angle.", fillcolor="#222244", URL="../G.41/index.html", target="_top"]; "G.42" [label="G.42", tooltip="G.42 (I.17): In any triangle, the sum of any two angles is less than two right angles.", fillcolor="#222244", URL="../G.42/index.html", target="_top"]; "G.43" [label="G.43", tooltip="G.43 (I.18): In any triangle, the greater side subtends the greater angle.", fillcolor="#222244", URL="../G.43/index.html", target="_top"]; "G.44" [label="G.44", tooltip="G.44 (I.19): In any triangle, the greater angle is subtended by the greater side.", fillcolor="#222244", URL="../G.44/index.html", target="_top"]; "G.51" [label="G.51", tooltip="G.51 (I.26): Triangles with two angles and one corresponding side equal are congruent (ASA / AAS).", fillcolor="#222244", URL="../G.51/index.html", target="_top"]; "G.52" [label="G.52", tooltip="G.52 (I.def.23): Parallel lines are lines in the same plane which, extended indefinitely in both directions, do not meet.", fillcolor="#224422", URL="../G.52/index.html", target="_top"]; "G.61" [label="G.61", tooltip="G.61 (I.def.17): A diameter of a circle is any segment drawn through the center and terminated in both directions by the arc of the circle; it bisects the circle.", fillcolor="#224422", URL="../G.61/index.html", target="_top"]; "G.77" [label="G.77", tooltip="G.77 (I.def.12): An acute angle is less than a right angle.", fillcolor="#224422", URL="../G.77/index.html", target="_top"]; "G.96" [label="G.96", tooltip="G.96 (I.def.18): A semicircle is the figure contained by a diameter and the arc cut off by it.", fillcolor="#224422", URL="../G.96/index.html", target="_top"]; "G.100" [label="G.100", tooltip="G.100 (III.3): A segment through the center of a circle bisects a chord not through the center if and only if it cuts the chord at right angles.", fillcolor="#222244", URL="../G.100/index.html", target="_top"]; "G.111" [label="G.111", tooltip="G.111 (III.def.2): Asegment is said totouch a circle which, meeting thecircle and being produced, does not cut the circle.", fillcolor="#224422", URL="../G.111/index.html", target="_top"]; "G.117" [label="G.117", tooltip="G.117 (III.def.7): Anangle of a segment is that contained by asegment and a arc of acircle.", fillcolor="#224422", URL="../G.117/index.html", target="_top"]; "G.118" [label="G.118", tooltip="G.118 (III.16): The line drawn at right angles to the diameter of a circle from its extremity falls outside the circle, no other line can be interposed between it and the arc, and the angle of the...", fillcolor="#222244", URL="../G.118/index.html", target="_top"]; "G.146" [label="G.146", tooltip="G.146 (IV.def.7): Asegment is said to befitted into a circle when itsextremities are on the arc of thecircle.", fillcolor="#224422", URL="../G.146/index.html", target="_top"]; "G.148" [label="G.148", tooltip="G.148 (IV.def.3): Apolygon is said to beinscribed in a circle when eachangle of the inscribedfigure lies on the arc of thecircle.", fillcolor="#224422", URL="../G.148/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.184" [label="G.184", tooltip="G.184 (V.def.4): Magnitudes are said tohave a ratio to one another which are capable, when multiplied, of exceeding one another.", fillcolor="#224422", URL="../G.184/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.256" [label="G.256", tooltip="G.256 (VII.def.5): The greaternumber is amultiple of the less when it ismeasured by the less.", fillcolor="#224422", URL="../G.256/index.html", target="_top"]; "G.269" [label="G.269", tooltip="G.269 (VII.def.15): Anumber is said tomultiply a number when that which is multiplied is added to itself as many times as there areunits in the other, and thus some number is produced.", fillcolor="#224422", URL="../G.269/index.html", target="_top"]; "G.302" [label="G.302", tooltip="G.302 (VII.def.6): Aneven number is that which is divisible into two equal parts.", fillcolor="#224422", URL="../G.302/index.html", target="_top"]; "G.371" [label="G.371", tooltip="G.371 (X.1): Two unequal magnitudes being set out, if from the greater there be subtracted a magnitude greater than its half, and from that which is left a magnitude greater than its half, and ...", fillcolor="#222244", URL="../G.371/index.html", target="_top"]; "G.574" [label="G.574", tooltip="G.574 (XII.16): Given two circles about the same center, to inscribe in the greater circle an equilateral polygon with an even number of sides which does not touch the lesser circle.", 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.15" -> "G.1"; "G.17" -> "G.1"; "G.20" -> "G.1"; "G.21" -> "G.1"; "G.24" -> "G.1"; "G.25" -> "G.1"; "G.28" -> "G.1"; "G.29" -> "G.1"; "G.31" -> "G.1"; "G.32" -> "G.1"; "G.34" -> "G.1"; "G.37" -> "G.1"; "G.40" -> "G.1"; "G.3" -> "G.2"; "G.4" -> "G.2"; "G.6" -> "G.2"; "G.7" -> "G.2"; "G.18" -> "G.2"; "G.22" -> "G.2"; "G.30" -> "G.2"; "G.33" -> "G.2"; "G.34" -> "G.2"; "G.37" -> "G.2"; "G.40" -> "G.2"; "G.52" -> "G.2"; "G.118" -> "G.2"; "G.4" -> "G.3"; "G.6" -> "G.3"; "G.8" -> "G.3"; "G.20" -> "G.3"; "G.28" -> "G.3"; "G.29" -> "G.3"; "G.118" -> "G.3"; "G.146" -> "G.3"; "G.7" -> "G.4"; "G.10" -> "G.4"; "G.11" -> "G.4"; "G.12" -> "G.4"; "G.14" -> "G.4"; "G.17" -> "G.4"; "G.18" -> "G.4"; "G.20" -> "G.4"; "G.21" -> "G.4"; "G.22" -> "G.4"; "G.24" -> "G.4"; "G.25" -> "G.4"; "G.28" -> "G.4"; "G.29" -> "G.4"; "G.30" -> "G.4"; "G.31" -> "G.4"; "G.32" -> "G.4"; "G.33" -> "G.4"; "G.34" -> "G.4"; "G.37" -> "G.4"; "G.40" -> "G.4"; "G.41" -> "G.4"; "G.52" -> "G.4"; "G.61" -> "G.4"; "G.100" -> "G.4"; "G.111" -> "G.4"; "G.117" -> "G.4"; "G.118" -> "G.4"; "G.146" -> "G.4"; "G.6" -> "G.5"; "G.7" -> "G.5"; "G.10" -> "G.6"; "G.146" -> "G.6"; "G.10" -> "G.7"; "G.22" -> "G.7"; "G.52" -> "G.7"; "G.9" -> "G.8"; "G.10" -> "G.9"; "G.12" -> "G.9"; "G.96" -> "G.9"; "G.148" -> "G.9"; "G.11" -> "G.10"; "G.15" -> "G.10"; "G.17" -> "G.10"; "G.20" -> "G.10"; "G.21" -> "G.10"; "G.61" -> "G.10"; "G.96" -> "G.10"; "G.100" -> "G.10"; "G.111" -> "G.10"; "G.117" -> "G.10"; "G.118" -> "G.10"; "G.146" -> "G.10"; "G.148" -> "G.10"; "G.574" -> "G.10"; "G.15" -> "G.11"; "G.17" -> "G.11"; "G.20" -> "G.11"; "G.21" -> "G.11"; "G.61" -> "G.11"; "G.96" -> "G.11"; "G.100" -> "G.11"; "G.574" -> "G.11"; "G.13" -> "G.12"; "G.17" -> "G.12"; "G.20" -> "G.12"; "G.24" -> "G.12"; "G.25" -> "G.12"; "G.28" -> "G.12"; "G.29" -> "G.12"; "G.31" -> "G.12"; "G.32" -> "G.12"; "G.34" -> "G.12"; "G.41" -> "G.12"; "G.42" -> "G.12"; "G.43" -> "G.12"; "G.44" -> "G.12"; "G.51" -> "G.12"; "G.148" -> "G.12"; "G.17" -> "G.13"; "G.25" -> "G.13"; "G.574" -> "G.13"; "G.17" -> "G.14"; "G.20" -> "G.14"; "G.25" -> "G.14"; "G.28" -> "G.14"; "G.31" -> "G.14"; "G.34" -> "G.14"; "G.41" -> "G.14"; "G.43" -> "G.14"; "G.51" -> "G.14"; "G.100" -> "G.14"; "G.118" -> "G.14"; "G.574" -> "G.14"; "G.17" -> "G.15"; "G.20" -> "G.15"; "G.21" -> "G.15"; "G.17" -> "G.16"; "G.20" -> "G.16"; "G.21" -> "G.16"; "G.37" -> "G.16"; "G.40" -> "G.16"; "G.20" -> "G.17"; "G.31" -> "G.17"; "G.32" -> "G.17"; "G.34" -> "G.17"; "G.20" -> "G.18"; "G.25" -> "G.18"; "G.41" -> "G.18"; "G.42" -> "G.18"; "G.20" -> "G.19"; "G.25" -> "G.19"; "G.40" -> "G.19"; "G.21" -> "G.20"; "G.25" -> "G.21"; "G.31" -> "G.21"; "G.34" -> "G.21"; "G.41" -> "G.21"; "G.43" -> "G.21"; "G.51" -> "G.21"; "G.24" -> "G.22"; "G.25" -> "G.22"; "G.28" -> "G.22"; "G.29" -> "G.22"; "G.30" -> "G.22"; "G.31" -> "G.22"; "G.32" -> "G.22"; "G.33" -> "G.22"; "G.34" -> "G.22"; "G.37" -> "G.22"; "G.40" -> "G.22"; "G.41" -> "G.22"; "G.42" -> "G.22"; "G.43" -> "G.22"; "G.44" -> "G.22"; "G.51" -> "G.22"; "G.77" -> "G.22"; "G.100" -> "G.22"; "G.118" -> "G.22"; "G.148" -> "G.22"; "G.24" -> "G.23"; "G.29" -> "G.23"; "G.25" -> "G.24"; "G.32" -> "G.24"; "G.41" -> "G.24"; "G.51" -> "G.24"; "G.574" -> "G.24"; "G.28" -> "G.25"; "G.43" -> "G.25"; "G.44" -> "G.25"; "G.100" -> "G.25"; "G.118" -> "G.25"; "G.28" -> "G.26"; "G.41" -> "G.26"; "G.43" -> "G.26"; "G.51" -> "G.26"; "G.29" -> "G.28"; "G.31" -> "G.29"; "G.34" -> "G.29"; "G.100" -> "G.29"; "G.31" -> "G.30"; "G.118" -> "G.30"; "G.32" -> "G.31"; "G.41" -> "G.32"; "G.34" -> "G.33"; "G.37" -> "G.33"; "G.38" -> "G.33"; "G.40" -> "G.33"; "G.42" -> "G.33"; "G.77" -> "G.33"; "G.100" -> "G.33"; "G.118" -> "G.33"; "G.574" -> "G.33"; "G.37" -> "G.34"; "G.37" -> "G.36"; "G.42" -> "G.36"; "G.40" -> "G.37"; "G.42" -> "G.37"; "G.40" -> "G.38"; "G.41" -> "G.40"; "G.42" -> "G.41"; "G.43" -> "G.41"; "G.51" -> "G.41"; "G.118" -> "G.42"; "G.44" -> "G.43"; "G.118" -> "G.44"; "G.100" -> "G.51"; "G.574" -> "G.52"; "G.96" -> "G.61"; "G.118" -> "G.61"; "G.118" -> "G.77"; "G.118" -> "G.96"; "G.574" -> "G.100"; "G.118" -> "G.111"; "G.118" -> "G.117"; "G.574" -> "G.118"; "G.574" -> "G.146"; "G.574" -> "G.148"; "G.253" -> "G.169"; "G.256" -> "G.169"; "G.371" -> "G.184"; "G.248" -> "G.247"; "G.269" -> "G.247"; "G.253" -> "G.248"; "G.256" -> "G.248"; "G.269" -> "G.248"; "G.256" -> "G.253"; "G.371" -> "G.256"; "G.371" -> "G.269"; "G.371" -> "G.302"; "G.574" -> "G.302"; "G.574" -> "G.371"; }