PROPOSITION 1.

Into a given circle to fit a straight line equal to a given straight line which is not greater than the diameter of the circle.

Let ABC be the given circle, and D the given straight line not greater than the diameter of the circle; thus it is required to fit into the circle ABC a straight line equal to the straight line D.

A B C E F D

Let a diameter BC of the circle ABC be drawn.

Then, if BC is equal to D, that which was enjoined will have been done; for BC has been fitted into the circle ABC equal to the straight line D.

But, if BC is greater than D, let CE be made equal to D, and with centre C and distance CE let the circle EAF be described; let CA be joined.

Then, since the point C is the centre of the circle EAF,

CA is equal to CE.

But CE is equal to D;

therefore D is also equal to CA.

Therefore into the given circle ABC there has been fitted CA equal to the given straight line 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"]; "I.def.17" [label="I.def.17", fillcolor="#224422", tooltip="I.def.17: A diameter of the circle is any straight line drawn through the centre and terminated in both directions by the circumference of the circle, and such a straight line also bisects…", URL="../../../../volume_I/book_i/definitions/index.html#i-def-17", target="_top"]; "IV.def.7" [label="IV.def.7", fillcolor="#224422", tooltip="IV.def.7: A straight line is said to be fitted into a circle when its extremities are on the circumference of the circle.", URL="../../definitions/index.html#iv-def-7", target="_top"]; "IV.1" [label="IV.1", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="IV.1: Into a given circle to fit a straight line equal to a given straight line which is not greater than the diameter of the circle.", 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"; "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"; "IV.def.7" -> "I.def.3"; "I.def.7" -> "I.def.4"; "I.def.15" -> "I.def.4"; "I.def.17" -> "I.def.4"; "IV.def.7" -> "I.def.4"; "IV.1" -> "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"; "I.def.17" -> "I.def.15"; "IV.def.7" -> "I.def.15"; "IV.1" -> "I.def.15"; "I.def.17" -> "I.def.16"; "IV.1" -> "I.def.17"; "IV.1" -> "IV.def.7"; }

Required for

IV.10, IV.11, IV.12, X.13, X.18, X.22, X.23, X.24, X.25, X.26, X.27, X.28, X.31, X.32, X.33, X.34, X.35, X.36, X.37, X.38, X.39, X.40, X.41, X.42, X.43, X.44, X.45, X.46, X.47, X.48, X.49, X.50, X.52, X.53, X.54, X.55, X.56, X.57, X.58, X.59, X.60, X.61, X.62, X.63, X.64, X.65, X.66, X.67, X.68, X.69, X.70, X.71, X.72, X.73, X.75, X.76, X.77, X.78, X.79, X.80, X.81, X.82, X.83, X.84, X.85, X.86, X.87, X.88, X.89, X.90, X.91, X.92, X.93, X.94, X.95, X.96, X.97, X.98, X.99, X.100, X.101, X.102, X.103, X.104, X.105, X.106, X.107, X.108, X.109, X.110, X.111, X.112, X.113, X.114, XI.23, XIII.6, XIII.11, XIII.16, XIII.17, XIII.18

See Commentary on Proposition IV.1.