Visual Tools
Calculators
Tables
Mathematical Keyboard
Converters
Other Tools

Intercept Theorem

How to use
  1. ▶ Play runs the proof, Next → and ← Back step one scene at a time, Reset restores the opening scene and the original figure. Learn more about the controls
  2. Drag DD along ABAB, or AA, BB or CC; the readout under the canvas shows AD/DBAD/DB, AE/ECAE/EC and DE/BCDE/BC. Learn more about why it holds
  3. Labels toggles the point names, Measures writes each marked angle's size beside its arc. The Step explanations log keeps every step so far. Learn more about reading a scene
Proof?DE is parallel to BC. Triangles BDE and CDE share the base DE and their apexes B and C lie on a line parallel to it, so they have the same height and the same area. Then AD/DB = [ADE]/[BDE] and AE/EC = [ADE]/[CDE], two fractions with the same numerator and equal denominators. Drag D along AB, or a vertex.Intercept theorem
Display
Drag D along AB, or A, B or C
ABCDE
AD/DB = 0.82, AE/EC = 0.82, DE/BC = 0.45
Step 1 / 5

Step explanations

1A line parallel to one side
Given
In triangle ABC the line DE is parallel to the side BC, with D on AB and E on AC. To prove: AD/DB = AE/EC, the parallel cuts the two sides in the same ratio.
Drag D: the parallel moves, E follows. Learn more about the statement




Getting Started with the Visualizer

DemoA run through the proof player
Step 0 of 6
Step through the proof, then drag DD along the side ABAB to move the parallel, or drag a vertex, and watch the two ratios in the readout stay equal. The picture below is the player with its parts numbered; the other tabs list what can be dragged, what each control does and what the step log shows.
Opening scene: the controls
1234567
1Proof — the theorem loaded in the player; the ? gives its idea in one line
2Display — Labels shows the point names, Measures writes each marked angle's size beside its arc
3Draggable points — D slides along AB; A, B and C move freely; the hollow point E follows so that DE stays parallel to BC
4Readout — the line under the figure: AD/DB, AE/EC and DE/BC, live while you drag
5Back, Play, Next, Reset — step through the proof or run it; Reset returns to step 1 and restores the original figure
6Speed and step counter — how fast Play advances, and which of the 5 steps is on screen
7Step explanations — every step reached so far, with its justification tag and a link to the section that explains it; click an entry to jump back to it
Proof complete: step 5 of 5
12345
1The parallel — DE, marked with the same chevron as BC
2The shaded triangles — ADE at the top, BDE and CDE below it on the base DE
3The cross lines — BE and CD, the sides of the two equal triangles
4Justification tags — Given, Parallel lines, Same height (twice), Equal denominators
5Replay — at the last step Play becomes Replay and Next is off

The Statement

The intercept theorem, also called the basic proportionality theorem or Thales' theorem in some countries, says: if a line parallel to one side of a triangle meets the other two sides, it cuts them in the same ratio. In triangle ABCABC, with DD on ABAB, EE on ACAC and DE∥BCDE \parallel BC,

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


Equivalently AD/AB=AE/ACAD/AB = AE/AC: the small triangle ADEADE has its two sides from AA in the same ratio to the sides of ABCABC. The theorem is the gateway to similar triangles; the AA similarity page is built on it.

The proof here is by areas, in the same style as Ceva and Menelaus: nothing but the formula half base times height. In the player DD slides along ABAB and EE is placed on ACAC so that DEDE stays parallel to BCBC; the readout shows the two ratios and DE/BCDE/BC.
ABCDE
Opening scene, frozen

DE parallel to BC, with D on AB and E on AC.


Equal Areas Between Parallels

Join BB to EE and CC to DD. The triangles BDEBDE and CDECDE stand on the same base DEDE, and their third vertices BB and CC lie on the line BCBC, which is parallel to DEDE. Two parallel lines stay the same distance apart, so the heights of the two triangles from BB and from CC down to the line DEDE are equal:

[BDE]=[CDE][BDE] = [CDE]


This is the one place where the parallel is used. Everything after it is the same-height argument from the angle bisector theorem page.
ABCDE
Equal areas between parallels, frozen

BDE and CDE shaded: same base DE, equal heights, equal areas.


Cutting the Side AB

The triangles ADEADE and BDEBDE have their bases ADAD and DBDB on the line ABAB and the same apex EE, so they have the same height, and their areas are in the ratio of their bases:

[ADE][BDE]=ADDB\frac{[ADE]}{[BDE]} = \frac{AD}{DB}
ABCDE
Cutting the side AB, frozen

ADE and BDE with the apex E: [ADE]/[BDE] = AD/DB.


Cutting the Side AC

The same on the other side. The triangles ADEADE and CDECDE have their bases AEAE and ECEC on the line ACAC and the same apex DD:

[ADE][CDE]=AEEC\frac{[ADE]}{[CDE]} = \frac{AE}{EC}
ABCDE
Cutting the side AC, frozen

ADE and CDE with the apex D: [ADE]/[CDE] = AE/EC.


Why It Holds

The two fractions have the same numerator [ADE][ADE], and their denominators [BDE][BDE] and [CDE][CDE] are equal by the parallel. So

ADDB=[ADE][BDE]=[ADE][CDE]=AEEC\frac{AD}{DB} = \frac{[ADE]}{[BDE]} = \frac{[ADE]}{[CDE]} = \frac{AE}{EC}


Flip both sides and add 1 to get the other common form: (DB+AD)/AD=(EC+AE)/AE(DB + AD)/AD = (EC + AE)/AE, that is AB/AD=AC/AEAB/AD = AC/AE. The end-of-proof mark ∎ in the log closes the argument. The tags name the facts used: the given figure, equal areas between parallels, same-height triangles twice, and equal denominators.

The converse is also true: if AD/DB=AE/ECAD/DB = AE/EC then DE∥BCDE \parallel BC. It has the same proof read backwards, and the SAS similarity page carries it out.
ABCDE
The conclusion, frozen

Same numerator, equal denominators: AD/DB = AE/EC.


Dragging the Figure

Drag DD along ABAB: the parallel DEDE moves up and down the triangle, EE slides along ACAC to keep it parallel, and the two ratios in the readout stay equal while they change together. The third number, DE/BCDE/BC, equals AD/ABAD/AB; that is the next theorem, on the AA similarity page. Drag AA, BB or CC to reshape the triangle; DD keeps its fraction of ABAB.

The player keeps DD between AA and BB. The theorem also holds when the parallel meets the extensions of the sides beyond AA or beyond BB and CC, with the same proof, but the player keeps to the case where the parallel crosses the triangle. A drag that would carry a vertex out of the frame or flatten the triangle is refused.
ABCDE
After dragging D, frozen

D further down AB: both ratios grow together, and DE/BC with them.


Consequences

• Similar triangles. The theorem is the first step of the AA similarity criterion: cut off a copy of the smaller triangle at the vertex AA, and the intercept theorem gives the proportions.
• The midsegment theorem again. When DD is the midpoint of ABAB, the equal ratios force EE to be the midpoint of ACAC; that is the converse direction of the midsegment theorem.
• Dividing a segment. To cut a segment into nn equal parts with a ruler and compass, draw any ray from one end, mark nn equal steps on it, join the last mark to the other end and draw parallels through the other marks; the intercept theorem makes the pieces equal.
• The converse. If a line through DD and EE cuts ABAB and ACAC in the same ratio, it is parallel to BCBC; the SAS similarity page proves this by the same areas.
• Ceva and Menelaus. Ceva and Menelaus use the same same-height argument on the three sides of a triangle at once.