Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 31

Construction

To draw a line through a given point parallel to a given line.

Construction Steps

  • Let AB be the given line and let C be the given point.
  • Take a point D on AB and join CD.
  • Construct a line CE such that DCE = ∠ADC. The line CE has been drawn through the given point C parallel to the given line AB.

  • Original statement

    διὰ τοῦ δοθέντος σημϵίου τῇ δοθϵίσῃ ϵὐθϵίᾳ παράλληλον ϵὐθϵῖαν γραμμὴν ἀγαγϵῖν.

    English translation

    Through a given point to draw a straight line parallel to a given straight line.


    Computable version


    Additional instances


    Dependency graphs