Math 2.0

Geometry Triangles and circles Theorem

Menelaus's theorem

Builds on TriangleLineCollinear points

Statement

Let ABCABC be a triangle in the Euclidean plane ℝ2\mathbb{R}^2. For collinear points XX, YY, ZZ with Z≠YZ \neq Y, let the signed ratio XZZY\frac{XZ}{ZY} be the real number λ\lambda with Z−X=λ (Y−Z)Z - X = \lambda\,(Y - Z). Let ℓ\ell be a line that does not pass through AA, BB or CC. Suppose that ℓ\ell meets the lines BCBC, CACA and ABAB at the points DD, EE and FF. Then AFFB⋅BDDC⋅CEEA=−1.\frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = -1. Conversely, let DD, EE and FF be points of the lines BCBC, CACA and ABAB, different from the vertices, with this product equal to −1-1. Then DD, EE and FF are collinear.

Remarks

With unsigned lengths, the product is 11. The converse of this weaker form is false in general. The formula differs from the formula of Ceva's theorem only in the sign. The line ℓ\ell meets the inside of exactly two sides, or of no side. Thus one or three of the ratios are negative, and the product is negative.

History

The oldest surviving statement is in the Spherics of Menelaus of Alexandria. There, he uses the plane version as a lemma for a version on the sphere. Ptolemy used the theorem in the Almagest for problems of spherical astronomy.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Collinear points concept
  2. Line concept
  3. Triangle concept
  4. Menelaus's theorem statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Menelaus%27s_theorem, lead section
  2. Web https://en.wikipedia.org/wiki/Menelaus%27s_theorem, History
About this page
Tag07NSKDGS7S
URIm2://07NSKDGS7S
Kindstatement, theorem
WritingW1 stated
MSC51M04
StatusThis copy of the site has no build data. Run m2 status 07NSKDGS7S.
UsesTriangle, Line, Collinear points
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge about out: the concepts that the statement is about (0 of 1)
  • edge proves in: at least one proof node (0 of 1)
  • edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
  • explanation L2 (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.