Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 21

Theorem

If two lines (BD , CD ) are drawn to a point (D) within a triangle (ABC) from the endpoints of its base (BC ), then their sum is less than the sum of the remaining sides (BD  + CD  < BA  + CA ), but they contain a bigger angle (BDC > ∠BAC).

Commentary

  • Let ABC be a given triangle, and let D be any point inside ABC.
  • Connect D to both ends of the base BC  so that line BD  and line CD  are constructed.
  • Then the sum of two sides BD  and CD  of DBC is less than the sum of two sides BA  and CA  of ABC. Furthermore, BDC (contained by BD  and CD ) is greater than BAC (contained by BA  and CA ).

  • Original statement

    ἐὰν τριγώνου ἐπὶ μιᾶς τῶν πλϵυρῶν ἀπὸ τῶν πϵράτων δύο ϵὐθϵῖαι ἐντὸς συσταθῶσιν, αἱ συσταθϵῖσαι τῶν λοιπῶν τοῦ τριγώνου δύο πλϵυρῶν ἐλάττονϵς μὲν ἔσονται, μϵίζονα δὲ γωνίαν πϵριέξουσιν.

    English translation

    If on one of the sides of a triangle, from its extremities, there are constructed two straight lines meeting within the triangle, the straight lines so constructed will be less than the remaining two sides of the triangle, but will contain a greater angle.


    Computable version


    Additional instances


    Dependency graphs