Geometry Triangles and circles Theorem
Menelaus's theorem
Builds on TriangleLineCollinear points
Statement
Let be a triangle in the Euclidean plane . For collinear points , , with , let the signed ratio be the real number with . Let be a line that does not pass through , or . Suppose that meets the lines , and at the points , and . Then Conversely, let , and be points of the lines , and , different from the vertices, with this product equal to . Then , and are collinear.
Remarks
With unsigned lengths, the product is . 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 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
- no evidence level
- Collinear points concept
- Line concept
- Triangle concept
- Menelaus's theorem statement
Further reading
About this page
| Tag | 07NSKDGS7S |
|---|---|
| URI | m2://07NSKDGS7S |
| Kind | statement, theorem |
| Writing | W1 stated |
| MSC | 51M04 |
| Status | This copy of the site has no build data. Run m2 status 07NSKDGS7S. |
| Uses | Triangle, 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.