משפט מנלאוס – הבדלי גרסאות

נטיל את שלוש הנקודות לישר המאונך לישר DE; נסמן כל נקודה בהיטל באות של הנקודה המקורית עם תג ('). על-פי [[משפט תאלס]], משפט מנלאוס שאנו רוצים להוכיח שקול לקביעה ש-D',ו-F' מתלכדות אם ורק אם <math>\frac{A'F'}{F'B'} \cdot \frac{B'D'}{D'C'} \cdot \frac{C'D'}{D'A'} = -1</math>, ונוסחה זו שקולה ל <math>\frac{A'F'}{F'B'} \cdot \frac{B'D'}{D'A'} = 1</math>, השקולה ל- <math>\frac{A'F'}{F'B'} = \frac{A'D'}{D'B'}</math>. ברור שזה מתקיים אם ורק אם D',ו-F' מתלכדות.