قضیه سوا

قضیهٔ سوا، قضیه ای در هندسهٔ دوبعدی است؛ به این ترتیب که اگر مثلث دلخواه ABC را در نظر بگیریم و نقاط F و E،D را به ترتیب روی اضلاع AB و CA،BC انتخاب کنیم، خط های CF و BE و AD یکدیگر را در یک نقطه قطع می کنند اگر و فقط اگر:
میانهٔ مثلث
قضیهٔ منلائوس
در حالی که AF فاصلهٔ مستقیم بین دو نقطهٔ A و F است. (فاصله در یک جهت روی یک خط مثبت و در جهت مخالف منفی در نظر گرفته می شود)
شکل دیگر قضیهٔ سوا به این شکل است: که می گوییم سه خط CF و BE و AD یکدیگر را در یک نقطه قطع می کنند، اگر و فقط اگر:
این قضیه توسط جووانی سوا (Giovanni Ceva) در اثرش به نام De lineis rectis، که در سال ۱۶۷۸ نوشت، اثبات شده بود اما پیش از او یوسف بن احمد مؤتمن بن هود، پادشاه ساراگوسا در قرن یازدهم، آن را اثبات کرده بود.