Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 19

Theorem

If in any triangle (ABC) one angle is bigger than another (ABC > ∠ACB), then the side (AC ) opposite to the bigger angle (ABC) is longer than the side (AB ) opposite to the smaller angle (ACB).

Commentary

  • Let ABC be a given triangle, with ABC bigger than ACB.
  • Then the side AC  opposite to the bigger angle ABC is longer than the side AB  opposite to the smaller angle ACB.
  • This statement can be summed up by saying that, in a triangle, the side opposite the bigger angle is longer.
  • This proposition is the converse of the previous proposition, Book 1 Proposition 18.

  • Original statement

    παντὸς τριγώνου ὑπὸ τὴν μϵίζονα γωνίαν ἡ μϵίζων πλϵυρὰ ὑποτϵίνϵι.

    English translation

    In any triangle the greater angle is subtended by the greater side.


    Computable version


    Additional instances


    Dependency graphs