Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 6

Theorem

If in a triangle (ABC), two angles (ABC, ACB) are equal, then the sides (AC , AB ) opposite to them are also equal.

Commentary

  • Let ABC be a given triangle, with ABC and ACB at the base BC  being equal. Then the two sides AC  and AB  opposite to these angles are equal.
  • Therefore ABC is an isosceles triangle.
  • This proposition is the converse of the first part of the previous proposition, Book 1 Proposition 5.

  • Original statement

    ἐὰν τριγώνου αἱ δύο γωνίαι ἴσαι ἀλλήλαις ὦσιν, καὶ αἱ ὑπὸ τὰς ἴσας γωνίαις ὑποτϵίνουσαι πλϵυραὶ ἴσαι ἀλλήλαις ἔσονται.

    English translation

    If in a triangle two angles are equal to one another, the sides which subtend the equal angles will also be equal to one another.


    Computable version


    Additional instances


    Dependency graphs