إذا كانت النقاط الثلاثة A، B، C تشكل مثلثاً هو ABC، وكانت النقاط D، E، F تقع على المستقيمات BC، AC، AB عندها تنص المبرهنة على أن النقاط الثلاثة D, E, F تقع على مستقيم واحد إذا وفقط إذا تحققت العلاقة:
حيث يسمح في هذه النظرية لأطوال الأضلاع بأخذ قيمة سالبة. مثلاً تأخذ النسبة AF / FB قيمة موجبة فقط إذا قطع المستقيم DEF الضلع AB، وبشكل مماثل للكسور الأخرى.