A criterion for collinearity of three points where a transversal meets the sides (or their extensions) of a triangle: for points D on BC, E on CA, F on AB lying on a line, the directed product (BD/DC)·(CE/EA)·(AF/FB) = −1. It determines when a line intersects the three (possibly extended) sides of a triangle in specified points.

Principle

A single linear incidence (a transversal) imposes a multiplicative sign‑sensitive balance among ratios on the triangle's sides; collinearity translates into a product constraint of directed segments.

Demonstration

Given triangle ABC and a line that meets BC at D, CA at E, and AB at F, calculate directed ratios BD/DC, CE/EA, AF/FB; verify their product equals −1. For instance, choose a line crossing one side and the extensions of the other two and check the signed product equals −1 to confirm collinearity.

Misapplication

Ignoring sign conventions when intersections fall on side extensions, or applying the theorem to three arbitrary points not known to be intersections with a single line, leads to false positives. Confusing Menelaus with Ceva (which tests concurrency, not collinearity) is a common misuse.

Consequence

Gives a practical algebraic test for collinearity of intersection points with a transversal and underlies projective duality arguments; it is used in coordinate proofs and in solving for unknown intersection points in triangle constructions.

Reversal

Dual to Ceva's Theorem: exchange the roles of points and lines to move from a concurrency condition (product = 1) to a collinearity condition (product = −1); reversing incidence transforms the sign and the geometric meaning.

Boundary

Applies in Euclidean and projective planes when directed segment ratios are defined; requires distinct intersection points and nonzero denominators. It does not apply to arbitrary triples of points unconnected by a single line or in geometries lacking a consistent sign convention for segments.

Semantic Tension

Menelaus' condition can be confused with Ceva's because both use multiplicative ratios; the tension is between collinearity (Menelaus, product = −1) and concurrency (Ceva, product = 1) and between signed versus unsigned interpretations of ratios.

Synthesis

Menelaus' Theorem expresses collinearity of three transversal intersection points with a triangle by a signed multiplicative equality of side ratios, offering a robust algebraic tool for incidence checks and triangle constructions.