Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 46

Construction

To construct a square on a given line segment.

Construction Steps

  • Let AB be the given line segment.
  • Construct AD ⊥ AB with AD = AB.
  • Construct infinite line PD to be parallel to AB.
  • Through B, draw a line parallel to AD, and intersecting infinite line PD at C. Polygon ADBC is a square and has been constructed on the given line AB.

  • Original statement

    ἀπὸ τῆς δοθϵίσης ϵὐθϵίας τϵτράγωνον ἀναγράψαι.

    English translation

    On a given straight line to describe a square.


    Computable version


    Additional instances


    Dependency graphs