What Is The Prop 20 Of Euclid?

In Euclidean geometry, Book I, Proposition 20 of Euclid's Elements states the triangle inequality theorem: in any triangle, the sum of any two sides is greater than the remaining side. For a triangle with sides of length aa 𝑎 , bb

𝑏

, and cc

𝑐

, this can be expressed as three inequalities:

• a+b>ca plus b is greater than c

  𝑎+𝑏>𝑐

• a+c>ba plus c is greater than b

  𝑎+𝑐>𝑏

• b+c>ab plus c is greater than a

  𝑏+𝑐>𝑎

This proposition formalizes the intuitive understanding that a straight line is the shortest path between two points.

Detailed proof of the proposition

Euclid's proof uses a constructive method and relies on earlier propositions from The Elements, specifically Proposition 5 (angles opposite equal sides are equal in an isosceles triangle) and Proposition 19 (the side opposite the greater angle is the greater side).

Consider a triangle ABC.

1. Construction: Extend side BA to point D such that DA is equal to side AC. Connect D and C.

2. Analysis of triangle ADC: Since AD = AC, triangle ADC is isosceles, and by Proposition 5, ∠ADC=∠ACDangle cap A cap D cap C equals angle cap A cap C cap D

   ∠𝐴𝐷𝐶=∠𝐴𝐶𝐷

   .

3. Examination of triangle DBC:∠BCDangle cap B cap C cap D

   ∠𝐵𝐶𝐷

   is greater than ∠ACDangle cap A cap C cap D

   ∠𝐴𝐶𝐷

   , and since ∠ACD=∠ADCangle cap A cap C cap D equals angle cap A cap D cap C

   ∠𝐴𝐶𝐷=∠𝐴𝐷𝐶

   , it follows that ∠BCD>∠ADCangle cap B cap C cap D is greater than angle cap A cap D cap C

   ∠𝐵𝐶𝐷>∠𝐴𝐷𝐶

   (or ∠BDCangle cap B cap D cap C

   ∠𝐵𝐷𝐶

   ).

4. Applying Proposition 19: In triangle DBC, the side opposite the greater angle ∠BCDangle cap B cap C cap D

   ∠𝐵𝐶𝐷

   is DB, and the side opposite ∠BDCangle cap B cap D cap C

   ∠𝐵𝐷𝐶

   is BC. Therefore, DB > BC.

5. Final substitution: Since DB = DA + AB and DA = AC, substituting these gives AB+AC>BCcap A cap B plus cap A cap C is greater than cap B cap C

   𝐴𝐵+𝐴𝐶>𝐵𝐶

   .

6. Generalization: The same method can be used to prove that AB+BC>ACcap A cap B plus cap B cap C is greater than cap A cap C

   𝐴𝐵+𝐵𝐶>𝐴𝐶

   and BC+AC>ABcap B cap C plus cap A cap C is greater than cap A cap B

   𝐵𝐶+𝐴𝐶>𝐴𝐵

   , thus completing the proof for all pairs of sides.

Significance and analysis of the proposition

The triangle inequality is a fundamental principle with broad implications in mathematics.

Core concepts

• Shortest path: It establishes that a straight line is the shortest distance between two points.

• Defining property of distance: This is a key axiom for a metric space, where for any points x,y,zx comma y comma z

  𝑥,𝑦,𝑧

  , the distance dd

  𝑑

  satisfies d(x,z)≤d(x,y)+d(y,z)d open paren x comma z close paren is less than or equal to d open paren x comma y close paren plus d open paren y comma z close paren

  𝑑(𝑥,𝑧)≤𝑑(𝑥,𝑦)+𝑑(𝑦,𝑧)

  . In Euclidean geometry, this is a strict inequality unless the points are collinear.

• Constructive proof: Euclid's proof is a classic example of demonstrating a principle by constructing a figure based on established rules.

Historical context and philosophical perspective

Some contemporaries of Euclid believed the proposition was too obvious to need proof, using the analogy of an ass not taking a longer route around a triangle to reach food. However, Euclid's rigorous approach of proving every non-axiomatic statement from first principles was crucial in establishing mathematics as a formal science.

Extensions and applications

• Converse theorem: If three positive lengths satisfy the triangle inequality, a triangle can be formed with those sides. If equality holds, it forms a degenerate triangle where vertices are collinear.
• Generalizations: The principle extends to any polygon, where the sum of any n-1 sides is greater than the remaining side.
• Real-world relevance: The triangle inequality is used in various fields, including computer science algorithms for optimizing searches based on distance.