Formula and Method for the Triangle Proportionality Theorem
The Triangle Proportionality Theorem (also known as the Side-Splitter Theorem) states: if a line segment DE is drawn inside triangle ABC parallel to side BC, intersecting AB at point D and AC at point E, then it divides the two sides it crosses into proportional segments: AD/DB = AE/EC. Given any three of the four segment lengths, the fourth can always be found by solving this proportion — that is exactly what this calculator does.
How the calculation works
Cross-multiplying the proportion AD/DB = AE/EC gives AD × EC = DB × AE. Whichever segment you mark as unknown, the calculator isolates it algebraically: EC = (DB × AE) / AD, AD = (DB × AE) / EC, DB = (AD × EC) / AE, or AE = (AD × EC) / DB. Enter the other three segment lengths in the same unit, choose the unit, and press Calculate. The tool also reports the AD:DB and AE:EC ratios (which will always match once the missing segment is solved) and the full side lengths AB = AD + DB and AC = AE + EC.
Common mistakes
- Mixing up direction: AD is measured from vertex A to point D, while DB is measured from D to vertex B — swapping them inverts the ratio and gives a wrong answer.
- Assuming any crossing line qualifies: the proportion AD/DB = AE/EC only holds when DE is parallel to BC. If the line is not parallel, the segments will not be proportional.
- Mixing segment ratios with whole-side ratios: AD/DB = AE/EC uses the two split segments; AD/AB = AE/AC uses whole sides. Both are valid forms of the theorem, but don't combine a segment from one form with a side from the other in the same equation.
Real-world applications
- Geometry and trigonometry coursework, where proving or applying similar-triangle relationships is a core skill
- Scale drawings, architectural plans, and map-making, where a parallel reference line lets you infer an unmeasured distance
- Construction and carpentry, for checking that a cross-brace, shelf, or cut line is truly parallel to a triangular frame's edge
- Surveying and indirect measurement, where inaccessible distances are inferred from proportional, measurable ones