Tenth Grade Mathematics: Basic Proportionality Theorem (Thales' Theorem) and Converse
In Euclidean geometry, the parallel postulate creates deep relationships between intersecting transversals and parallel lines. Named after the ancient Greek philosopher and mathematician Thales of Miletus, the Basic Proportionality Theorem (frequently abbreviated as BPT, or Thales' Theorem) establishes that a line drawn parallel to one side of a triangle divides the other two sides in the exact same proportion. This theorem serves as the foundational geometric pillar from which all triangle similarity criteria are derived.
Statement and Formal Proof of the Basic Proportionality Theorem
Theorem (Basic Proportionality Theorem):
If a line is drawn parallel to one side of a triangle to intersect the other
two sides in distinct points, the other two sides are divided in the same ratio.
Geometric Construction for the Proof:
A
/ / D +-----+ E (DE is drawn parallel to BC)
/ \ / / \ / / X B +-------------+ C
Given: In triangle ABC, a line parallel to side BC intersects side AB at point D and side AC at point E (DE || BC). To Prove: AD / DB = AE / EC.
Construction: Join BE and CD. Drop perpendiculars from the vertices onto the opposite sides: draw EN perpendicular to AB (EN | AB) and DM perpendicular to AC (DM | AC).
Mathematical Proof
Consider the area of triangle ADE. Using the standard formula Area = (1/2) * Base * Altitude: Taking AD as the base, the altitude from E is EN:
Area(triangle ADE) = (1/2) * AD * EN --- (Equation 1)
Now consider triangle BDE. Taking DB as the base, notice that triangle BDE is an obtuse-angled triangle; its altitude from vertex E falls outside the triangle on the extended line AB, which is the exact same perpendicular segment EN:
Area(triangle BDE) = (1/2) * DB * EN --- (Equation 2)
Divide Equation 1 by Equation 2:
Area(ADE) / Area(BDE) = [(1/2) * AD * EN] / [(1/2) * DB * EN] = AD / DB --- (Ratio 1)
Now evaluate the area of triangle ADE using AE as the base with altitude DM:
Area(triangle ADE) = (1/2) * AE * DM --- (Equation 3)
Now consider triangle CDE with base EC. Its altitude from D on the extended line AC is DM:
Area(triangle CDE) = (1/2) * EC * DM --- (Equation 4)
Divide Equation 3 by Equation 4:
Area(ADE) / Area(CDE) = [(1/2) * AE * DM] / [(1/2) * EC * DM] = AE / EC --- (Ratio 2)
Now examine the two denominator triangles: triangle BDE and triangle CDE. Both triangles share the common base DE and lie between the same pair of parallel lines DE and BC.
By the Parallel Base Area Theorem: Two triangles on the same base and between the same parallels are equal in area:
Area(triangle BDE) = Area(triangle CDE)
Because the numerators are identical (both are Area(ADE)) and the denominators are equal (Area(BDE) = Area(CDE)), the two area ratios are strictly equal:
Area(ADE) / Area(BDE) = Area(ADE) / Area(CDE)
Equating Ratio 1 and Ratio 2 yields:
AD / DB = AE / EC
This completes the formal proof of the Basic Proportionality Theorem.
Useful Corollaries of the BPT
By adding 1 to both sides of the ratio AD / DB = AE / EC:
AD/DB + 1 = AE/EC + 1 ===> (AD + DB)/DB = (AE + EC)/EC ===> AB / DB = AC / EC
Similarly, inverting and adding 1 yields the full-to-part proportionalities:
1. AB / AD = AC / AE
2. AD / AB = AE / AC
The Converse of the Basic Proportionality Theorem
Theorem (Converse of BPT):
If a line divides any two sides of a triangle in the same ratio, then the line
must be parallel to the third side.
Proof by Contradiction: Let a line DE divide AB and AC such that AD / DB = AE / EC. Assume to the contrary that DE is not parallel to BC. Then there must exist some other line passing through D that is parallel to BC; let this line intersect AC at point E'. Since DE' || BC, by BPT: AD / DB = AE' / E'C. Equating this with the given ratio AD / DB = AE / EC gives: AE' / E'C = AE / EC. Adding 1 to both sides: (AE' + E'C)/E'C = (AE + EC)/EC ===> AC / E'C = AC / EC ===> E'C = EC. This requires point E' and point E to coincide, proving that DE must be parallel to BC.
Chapter Exercises
Exercise 1: In triangle ABC, DE || BC. If AD = 1.5 cm, DB = 3 cm, and AE = 1 cm, find the length of EC.
Exercise 2: In triangle ABC, D and E are points on the sides AB and AC respectively such that AD = 8x - 7, DB = 5x - 3, AE = 4x - 3, and EC = 3x - 1. Find the value of x if DE || BC.
Exercise 3: Prove that any line drawn parallel to the parallel sides of a trapezium divides the non-parallel sides proportionally.
Solutions and Explanations
Solution 1: We are given that in triangle ABC, DE || BC. By the Basic Proportionality Theorem: AD / DB = AE / EC. Substituting the given values: 1.5 / 3 = 1 / EC. Simplifying the left-hand fraction: 1.5 / 3 = 1 / 2. Therefore: 1 / 2 = 1 / EC ==> EC = 2 cm.
Solution 2: Since DE || BC, by the Basic Proportionality Theorem: AD / DB = AE / EC. Substituting the algebraic expressions: (8x - 7) / (5x - 3) = (4x - 3) / (3x - 1). Cross-multiply: (8x - 7)(3x - 1) = (4x - 3)(5x - 3) ==> 24x^2 - 8x - 21x + 7 = 20x^2 - 12x - 15x + 9 ==> 24x^2 - 29x + 7 = 20x^2 - 27x + 9. Transpose all terms to the left: (24x^2 - 20x^2) + (-29x + 27x) + (7 - 9) = 0 ==> 4x^2 - 2x - 2 = 0. Divide by 2: 2x^2 - x - 1 = 0. Factor this quadratic: 2x^2 - 2x + x - 1 = 0 ==> 2x(x - 1) + 1(x - 1) = 0 ==> (x - 1)(2x + 1) = 0. This gives x = 1 or x = -1/2. If x = -1/2, then DB = 5*(-1/2) - 3 = -5.5 cm, which is impossible since length must be positive. Therefore, x = 1.
Solution 3: Let ABCD be a trapezium with AB || DC. Let EF be a line parallel to AB and DC, intersecting non-parallel side AD at E and BC at F. We wish to prove that AE / ED = BF / FC. Draw diagonal AC, intersecting EF at point G. In triangle ADC, EG || DC (since EF || DC). By the Basic Proportionality Theorem: AE / ED = AG / GC (Equation 1). In triangle CAB, GF || AB (since EF || AB). By the Basic Proportionality Theorem applied to triangle CAB: CG / GA = CF / FB. Inverting both sides gives: AG / GC = BF / FC (Equation 2). Comparing Equation 1 and Equation 2: both AE / ED and BF / FC are equal to AG / GC. Therefore: AE / ED = BF / FC. This proves that the line divides the non-parallel sides proportionally.