Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 17

Theorem

The sum of any two angles (ABC, ACB) of a triangle (ABC) is less than two right angles.

Commentary

  • Let ABC be a given triangle, and let ABC and ACB be two chosen angles.
  • Then ABC and ACB together are less than two right angles.
  • This proposition can be deduced from the previous proposition, Book 1 Proposition 16. A later proposition, Book 1 Proposition 32, is a stronger version of both that proposition and this one.

  • Original statement

    παντὸς τριγώνου αἱ δύο γωνίαι δύο ὀρθῶν ἐλάσσονές ϵἰσι πάντῃ μϵταλαμβανόμϵναι.

    English translation

    In any triangle two angles taken together in any manner are less than two right angles.


    Computable version


    Additional instances


    Dependency graphs