Draw a line across a tri­an­gle par­al­lel to one of its sides, and it cuts the other two sides in exactly the same ratio. This fact is the Basic Pro­por­tion­al­ity The­o­rem, also called Thales' The­o­rem. It is the first the­o­rem of NCERT Class 10 Chap­ter 6 (Tri­an­gles), and the sim­i­lar­ity cri­te­ria, the heights-and-dis­tances prob­lems and many board-exam proofs all depend on it. This les­son states the the­o­rem and its con­verse, proves the the­o­rem step by step, and works through exam­ples from sim­ple lengths to trapez­ium proofs.

From sim­i­lar poly­gons to tri­an­gles

In the pre­vi­ous les­son we saw that two poly­gons are sim­i­lar when their cor­re­spond­ing angles are equal and their cor­re­spond­ing sides are in the same ratio. A tri­an­gle is a poly­gon with three sides, so the same rule applies:

Two tri­an­gles are sim­i­lar if (i) their cor­re­spond­ing angles are equal, and (ii) their cor­re­spond­ing sides are in the same ratio.

Tri­an­gles whose cor­re­spond­ing angles are all equal are called equian­gu­lar tri­an­gles. The Greek math­e­mati­cian Thales, who lived roughly from 640 to 546 B.C., is cred­ited with the dis­cov­ery that for two equian­gu­lar tri­an­gles the ratio of any two cor­re­spond­ing sides is always the same. In other words, for tri­an­gles, match­ing angles already guar­an­tee match­ing side ratios. He is believed to have reached this through the result of this les­son, a state­ment about a sin­gle line drawn inside a sin­gle tri­an­gle, which is why it car­ries his name.

The Basic Pro­por­tion­al­ity The­o­rem

An activ­ity that sug­gests the result

Draw an angle at a point AA. On one arm, mark off five equal steps and label the third and fifth marks DD and BB. Then ADAD is 33 steps and DBDB is 22 steps, so ADDB=32\displaystyle \frac{AD}{DB} = \frac{3}{2} just by count­ing. Through BB draw any line meet­ing the other arm at CC. Through DD draw a line par­al­lel to BCBC, meet­ing ACAC at EE. Mea­sure AEAE and ECEC: you will find AEEC=32\displaystyle \frac{AE}{EC} = \frac{3}{2} as well, the same ratio as ADDB\displaystyle \frac{AD}{DB}.

That is no coin­ci­dence, and it gives us the the­o­rem.

State­ment

The­o­rem 6.1 (Basic Pro­por­tion­al­ity The­o­rem). If a line is drawn par­al­lel to one side of a tri­an­gle to inter­sect the other two sides in dis­tinct points, the other two sides are divided in the same ratio.

In sym­bols: in △ABC\triangle ABC, if DD lies on ABAB, EE lies on ACAC and DE∥BCDE \parallel BC, then

ADDB=AEEC.\displaystyle \frac{AD}{DB} = \frac{AE}{EC}.

Triangle ABC with DE parallel to BC; AD 3 cm, DB 2 cm, AE 3.9 cm, EC 2.6 cm, both ratios 1.5; dashed segments BE and CD used in the proof
DE∥BCDE \parallel BC, and both sides are cut in the ratio 3:23 : 2. The dashed joins BEBE and CDCD are used in the proof. Drawn to scale.

Proof

Given: △ABC\triangle ABC with DD on ABAB, EE on ACAC and DE∥BCDE \parallel BC.

To prove: ADDB=AEEC\displaystyle \frac{AD}{DB} = \frac{AE}{EC}.

Con­struc­tion: Join BEBE and CDCD. Draw EN⊥ABEN \perp AB (with NN on line ABAB) and DM⊥ACDM \perp AC (with MM on line ACAC).

Proof. The area of a tri­an­gle is 12×base×height\displaystyle \frac{1}{2} \times \text{base} \times \text{height}.

Step 1. Tri­an­gles ADEADE and BDEBDE have bases ADAD and DBDB on the same line ABAB, and the same height ENEN. So

ar(ADE)ar(BDE)=12×AD×EN12×DB×EN=ADDB.(1)\displaystyle \frac{\text{ar}(ADE)}{\text{ar}(BDE)} = \frac{\frac{1}{2} \times AD \times EN}{\frac{1}{2} \times DB \times EN} = \frac{AD}{DB}. \qquad (1)

Step 2. Tri­an­gles ADEADE and DECDEC have bases AEAE and ECEC on the same line ACAC, and the same height DMDM. So

ar(ADE)ar(DEC)=12×AE×DM12×EC×DM=AEEC.(2)\displaystyle \frac{\text{ar}(ADE)}{\text{ar}(DEC)} = \frac{\frac{1}{2} \times AE \times DM}{\frac{1}{2} \times EC \times DM} = \frac{AE}{EC}. \qquad (2)

Step 3. Tri­an­gles BDEBDE and DECDEC stand on the same base DEDE and lie between the same par­al­lels DEDE and BCBC. Tri­an­gles on the same base and between the same par­al­lels have equal areas, so

ar(BDE)=ar(DEC).(3)\text{ar}(BDE) = \text{ar}(DEC). \qquad (3)

Step 4. By (3), the right-hand denom­i­na­tors in (1) and (2) are equal, and the numer­a­tors are the same area ar(ADE)\text{ar}(ADE). So the left-hand sides of (1) and (2) are equal:

ADDB=AEEC.■\displaystyle \frac{AD}{DB} = \frac{AE}{EC}. \qquad \blacksquare

A use­ful rearrange­ment

From ADDB=AEEC\displaystyle \frac{AD}{DB} = \frac{AE}{EC} we can also get the "whole side" forms

ADAB=AEACandDBAB=ECAC.\displaystyle \frac{AD}{AB} = \frac{AE}{AC} \qquad \text{and} \qquad \frac{DB}{AB} = \frac{EC}{AC}.

Exam­ple 1 below shows how. These forms are handy when a ques­tion gives the whole side instead of the two pieces.

The con­verse of the the­o­rem

State­ment

If a line cuts two sides of a tri­an­gle in the same ratio, must it be par­al­lel to the third side? An activ­ity sug­gests it must. Mark off five equal steps on each arm of an angle at AA and join match­ing marks: the first mark on one arm to the first mark on the other, the sec­ond to the sec­ond, and so on. Every one of these join­ing lines divides the two arms in the same ratio, and every one comes out par­al­lel to the line join­ing the fifth marks.

The­o­rem 6.2 (Con­verse of the Basic Pro­por­tion­al­ity The­o­rem). If a line divides any two sides of a tri­an­gle in the same ratio, then the line is par­al­lel to the third side.

In sym­bols: in △ABC\triangle ABC, if DD is on ABAB, EE is on ACAC and ADDB=AEEC\displaystyle \frac{AD}{DB} = \frac{AE}{EC}, then DE∥BCDE \parallel BC.

Why the con­verse holds

Sup­pose ADDB=AEEC\displaystyle \frac{AD}{DB} = \frac{AE}{EC} but DEDE is not par­al­lel to BCBC. Draw DE′∥BCDE' \parallel BC with E′E' on ACAC. By The­o­rem 6.1, ADDB=AE′E′C\displaystyle \frac{AD}{DB} = \frac{AE'}{E'C}, so AEEC=AE′E′C\displaystyle \frac{AE}{EC} = \frac{AE'}{E'C}. Adding 11 to both sides gives ACEC=ACE′C\displaystyle \frac{AC}{EC} = \frac{AC}{E'C}, so EC=E′CEC = E'C. Then EE and E′E' coin­cide, so DEDE is the line DE′DE', which is par­al­lel to BCBC. This con­tra­dicts our assump­tion, so DE∥BCDE \parallel BC.

Together the two the­o­rems say: a line cut­ting two sides of a tri­an­gle is par­al­lel to the third side if and only if it divides those two sides in the same ratio.

Method: using the the­o­rem

  1. Find the tri­an­gle, and the line inside it that is par­al­lel to one side (or that you want to prove par­al­lel).
  2. Name the com­mon ver­tex, the point where the two cut sides meet. Every ratio starts from that ver­tex: vertex to pointpoint to far end\displaystyle \frac{\text{vertex to point}}{\text{point to far end}}.
  3. To find a length: write ADDB=AEEC\displaystyle \frac{AD}{DB} = \frac{AE}{EC}, sub­sti­tute the three known val­ues, and solve.
  4. To test for par­al­lel lines: com­pute both ratios (or cross-mul­ti­ply). Equal means par­al­lel; unequal means not par­al­lel.
  5. For a proof involv­ing two tri­an­gles: find a ratio that both tri­an­gles share, and make it the link between them.

Worked exam­ples

Exam­ple 1: the whole-side form

A line inter­sects sides ABAB and ACAC of △ABC\triangle ABC at DD and EE respec­tively and is par­al­lel to BCBC. Prove that ADAB=AEAC\displaystyle \frac{AD}{AB} = \frac{AE}{AC}.

Solu­tion. Since DE∥BCDE \parallel BC, The­o­rem 6.1 gives ADDB=AEEC\displaystyle \frac{AD}{DB} = \frac{AE}{EC}. Tak­ing rec­i­p­ro­cals, DBAD=ECAE\displaystyle \frac{DB}{AD} = \frac{EC}{AE}. Add 11 to both sides:

DBAD+1=ECAE+1DB+ADAD=EC+AEAEABAD=ACAE\displaystyle \begin{aligned} \frac{DB}{AD} + 1 &= \frac{EC}{AE} + 1 \\ \frac{DB + AD}{AD} &= \frac{EC + AE}{AE} \\ \frac{AB}{AD} &= \frac{AC}{AE} \end{aligned}

since AD+DB=ABAD + DB = AB and AE+EC=ACAE + EC = AC. Tak­ing rec­i­p­ro­cals again, ADAB=AEAC\displaystyle \frac{AD}{AB} = \frac{AE}{AC}. ■\blacksquare

Check with the fig­ure: 35=0.6\displaystyle \frac{3}{5} = 0.6 and 3.96.5=0.6\displaystyle \frac{3.9}{6.5} = 0.6.

Exam­ple 2: find­ing a length

In △ABC\triangle ABC, DE∥BCDE \parallel BC with DD on ABAB and EE on ACAC. If AD=2.4AD = 2.4 cm, DB=3.6DB = 3.6 cm and AE=2AE = 2 cm, find ECEC.

Solu­tion. By The­o­rem 6.1,

ADDB=AEEC  ⟹  2.43.6=2EC  ⟹  EC=3.6×22.4=3.\displaystyle \frac{AD}{DB} = \frac{AE}{EC} \implies \frac{2.4}{3.6} = \frac{2}{EC} \implies EC = \frac{3.6 \times 2}{2.4} = 3.

Check: 2.43.6=23\displaystyle \frac{2.4}{3.6} = \frac{2}{3} and 23\displaystyle \frac{2}{3} match.

Answer: EC=3EC = 3 cm.

Exam­ple 3: an equa­tion from the the­o­rem

In △ABC\triangle ABC, DE∥BCDE \parallel BC with AD=xAD = x, DB=x−2DB = x - 2, AE=x+2AE = x + 2 and EC=x−1EC = x - 1 (all in cm). Find xx.

Solu­tion. By The­o­rem 6.1,

xx−2=x+2x−1x(x−1)=(x−2)(x+2)x2−x=x2−4x=4\displaystyle \begin{aligned} \frac{x}{x - 2} &= \frac{x + 2}{x - 1} \\ x(x - 1) &= (x - 2)(x + 2) \\ x^2 - x &= x^2 - 4 \\ x &= 4 \end{aligned}

Check: AD=4AD = 4, DB=2DB = 2, AE=6AE = 6, EC=3EC = 3, and 42=63=2\displaystyle \frac{4}{2} = \frac{6}{3} = 2. All lengths are pos­i­tive, so the value is accept­able.

Answer: x=4x = 4.

Exam­ple 4: is the line par­al­lel?

EE and FF are points on sides PQPQ and PRPR of △PQR\triangle PQR. In each case, decide whether EF∥QREF \parallel QR.

  1. PE=3.9PE = 3.9 cm, EQ=3EQ = 3 cm, PF=3.6PF = 3.6 cm, FR=2.4FR = 2.4 cm.
  2. PE=4PE = 4 cm, EQ=4.5EQ = 4.5 cm, PF=8PF = 8 cm, FR=9FR = 9 cm.
  3. PQ=1.28PQ = 1.28 cm, PR=2.56PR = 2.56 cm, PE=0.18PE = 0.18 cm, PF=0.36PF = 0.36 cm.

Solu­tion. We use The­o­rem 6.2.

(1) PEEQ=3.93=1.3\displaystyle \frac{PE}{EQ} = \frac{3.9}{3} = 1.3 and PFFR=3.62.4=1.5\displaystyle \frac{PF}{FR} = \frac{3.6}{2.4} = 1.5. The ratios dif­fer, so EFEF is not par­al­lel to QRQR.

(2) PEEQ=44.5=89\displaystyle \frac{PE}{EQ} = \frac{4}{4.5} = \frac{8}{9} and PFFR=89\displaystyle \frac{PF}{FR} = \frac{8}{9}. The ratios are equal, so EF∥QREF \parallel QR.

(3) First find the pieces: EQ=1.28−0.18=1.10EQ = 1.28 - 0.18 = 1.10 cm and FR=2.56−0.36=2.20FR = 2.56 - 0.36 = 2.20 cm. Then

PEEQ=0.181.10=955,PFFR=0.362.20=955.\displaystyle \frac{PE}{EQ} = \frac{0.18}{1.10} = \frac{9}{55}, \qquad \frac{PF}{FR} = \frac{0.36}{2.20} = \frac{9}{55}.

The ratios are equal (both about 0.1640.164), so EF∥QREF \parallel QR.

Answer: (1) not par­al­lel; (2) par­al­lel; (3) par­al­lel.

Exam­ple 5: a trapez­ium

ABCDABCD is a trapez­ium with AB∥DCAB \parallel DC. EE and FF are points on the non-par­al­lel sides ADAD and BCBC respec­tively, such that EF∥ABEF \parallel AB. Show that AEED=BFFC\displaystyle \frac{AE}{ED} = \frac{BF}{FC}.

Trapezium ABCD with AB parallel to DC, segment EF parallel to both with E on AD and F on BC, and dashed diagonal AC crossing EF at G
The diag­o­nal ACAC splits the trapez­ium into two tri­an­gles, each con­tain­ing part of EFEF.

Solu­tion. Join ACAC and let it meet EFEF at GG. Since AB∥DCAB \parallel DC and EF∥ABEF \parallel AB, we also have EF∥DCEF \parallel DC (lines par­al­lel to the same line are par­al­lel to each other).

In △ADC\triangle ADC: EE is on ADAD, GG is on ACAC and EG∥DCEG \parallel DC. By The­o­rem 6.1,

AEED=AGGC.(1)\displaystyle \frac{AE}{ED} = \frac{AG}{GC}. \qquad (1)

In △CAB\triangle CAB: GG is on CACA, FF is on CBCB and GF∥ABGF \parallel AB. By The­o­rem 6.1 (ratios mea­sured from ver­tex CC),

CGGA=CFFB,soAGGC=BFFC.(2)\displaystyle \frac{CG}{GA} = \frac{CF}{FB}, \quad \text{so} \quad \frac{AG}{GC} = \frac{BF}{FC}. \qquad (2)

From (1) and (2), AEED=BFFC\displaystyle \frac{AE}{ED} = \frac{BF}{FC}. ■\blacksquare

Exam­ple 6: prov­ing a tri­an­gle is isosce­les

In △PQR\triangle PQR, SS and TT are points on PQPQ and PRPR such that PSSQ=PTTR\displaystyle \frac{PS}{SQ} = \frac{PT}{TR} and ∠PST=∠PRQ\angle PST = \angle PRQ. Prove that △PQR\triangle PQR is isosce­les.

Solu­tion. Since PSSQ=PTTR\displaystyle \frac{PS}{SQ} = \frac{PT}{TR}, The­o­rem 6.2 gives ST∥QRST \parallel QR. With PQPQ as the trans­ver­sal, ∠PST\angle PST and ∠PQR\angle PQR are cor­re­spond­ing angles, so ∠PST=∠PQR\angle PST = \angle PQR. We are also given ∠PST=∠PRQ\angle PST = \angle PRQ. There­fore ∠PQR=∠PRQ\angle PQR = \angle PRQ. Sides oppo­site equal angles are equal, so PR=PQPR = PQ, and △PQR\triangle PQR is isosce­les. ■\blacksquare

Com­mon mis­takes

  • Mix­ing up the ratio: writ­ing ADDB=ECAE\displaystyle \frac{AD}{DB} = \frac{EC}{AE}. Both ratios must run the same way from the com­mon ver­tex.
  • Using ADDB=DEBC\displaystyle \frac{AD}{DB} = \frac{DE}{BC}. The the­o­rem says noth­ing about DEDE and BCBC in this form; the cor­rect state­ment for them is DEBC=ADAB\displaystyle \frac{DE}{BC} = \frac{AD}{AB}, which comes from sim­i­lar tri­an­gles.
  • Apply­ing the the­o­rem when the line is not given (or proved) to be par­al­lel.
  • For­get­ting to sub­tract when a whole side is given, as in Exam­ple 4 (3).
  • Using The­o­rem 6.1 when a ques­tion asks you to prove lines par­al­lel. That needs the con­verse, The­o­rem 6.2.
  • Accept­ing a value of xx that makes a length neg­a­tive.

Try these

  1. In △ABC\triangle ABC, DE∥BCDE \parallel BC, AD=3AD = 3 cm, DB=4.5DB = 4.5 cm and AE=2AE = 2 cm. Find ECEC. Answer: 33 cm.
  2. In △ABC\triangle ABC, DE∥BCDE \parallel BC, AD=6AD = 6 cm, AB=15AB = 15 cm and AE=4AE = 4 cm. Find ACAC. Answer: 1010 cm.
  3. PE=5PE = 5 cm, EQ=4EQ = 4 cm, PF=7.5PF = 7.5 cm, FR=6FR = 6 cm. Is EF∥QREF \parallel QR? Answer: Yes.
  4. PE=2PE = 2 cm, EQ=3EQ = 3 cm, PF=3PF = 3 cm, FR=5FR = 5 cm. Is EF∥QREF \parallel QR? Answer: No.
  5. In △ABC\triangle ABC, DE∥BCDE \parallel BC with AD=8x−7AD = 8x - 7, DB=5x−3DB = 5x - 3, AE=4x−3AE = 4x - 3 and EC=3x−1EC = 3x - 1. Find xx. Answer: x=1x = 1 (the other root, x=−12\displaystyle x = -\tfrac{1}{2}, gives neg­a­tive lengths).

Key terms

Basic Pro­por­tion­al­ity The­o­rem
A line par­al­lel to one side of a tri­an­gle, cut­ting the other two sides in dis­tinct points, divides those sides in the same ratio.
Thales' The­o­rem
Another name for the Basic Pro­por­tion­al­ity The­o­rem, after Thales of Mile­tus.
Con­verse
The state­ment formed by swap­ping the hypoth­e­sis and the con­clu­sion of a the­o­rem.
Equian­gu­lar tri­an­gles
Tri­an­gles whose cor­re­spond­ing angles are all equal.
Divide in the same ratio
Two points cut two seg­ments so that the part-to-part ratios are equal.
Tri­an­gles between the same par­al­lels
Tri­an­gles whose bases lie on one line and whose oppo­site ver­tices lie on a par­al­lel line; on equal bases they have equal areas.
Trapez­ium
A quadri­lat­eral with at least one pair of par­al­lel sides.

Com­mon ques­tions

Does the the­o­rem work if the line is par­al­lel to ABAB instead of BCBC?

Yes. It then cuts CACA and CBCB, and the ratios are mea­sured from ver­tex CC. The com­mon ver­tex is always the one oppo­site the par­al­lel side.

Why does the proof use areas?

Areas turn a state­ment about lengths into one about tri­an­gles with shared heights, and the par­al­lel lines give the key fact that ar(BDE)=ar(DEC)\text{ar}(BDE) = \text{ar}(DEC).

What is the dif­fer­ence between The­o­rem 6.1 and The­o­rem 6.2?

The­o­rem 6.1 starts from par­al­lel lines and gives equal ratios. The­o­rem 6.2 starts from equal ratios and gives par­al­lel lines.

Is the mid-point the­o­rem a spe­cial case?

Yes. If DD is the mid-point of ABAB and DE∥BCDE \parallel BC, then AEEC=ADDB=1\displaystyle \frac{AE}{EC} = \frac{AD}{DB} = 1, so EE is the mid-point of ACAC.

Can I cross-mul­ti­ply to test for par­al­lel lines?

Yes. PEEQ=PFFR\displaystyle \frac{PE}{EQ} = \frac{PF}{FR} exactly when PE×FR=PF×EQPE \times FR = PF \times EQ, and this often avoids awk­ward dec­i­mals.

Ref­er­ences

  1. National Coun­cil of Edu­ca­tional Research and Train­ing. Math­e­mat­ics: Text­book for Class X. NCERT, New Delhi.
  2. Heath, T. L. (trans.) The Thir­teen Books of Euclid's Ele­ments. Dover Pub­li­ca­tions.
  3. Kise­lev, A. P. Kise­lev's Geom­e­try, Book I: Planime­try (adapted by A. Given­tal). Sum­iz­dat.
  4. Sharma, R. D. Math­e­mat­ics for Class 10. Dhan­pat Rai Pub­li­ca­tions.