Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 9

Construction

To bisect a given angle.

Construction Steps

  • Let BAC be the given angle.
  • Take a point D on AB , then find a point E on AC  such that AD  = AE . Join DE .
  • Construct an equilateral triangle EFD with base DE  and with vertex F falling on the opposite side of DE  from A. Join AF . BAC has been bisected by AF .

  • Original statement

    τὴν δοθϵῖσαν γωνίαν ϵὐθύγραμμον δίχα τϵμϵῖν.

    English translation

    To bisect a given rectilinear angle.


    Computable version


    Additional instances


    Dependency graphs