the theorem is often attributed to giovanni ceva, who published it in his 1678 work "de lineis rectis". but it was proven much earlier by yusuf al-mu'taman ibn hűd, an eleventh-century king of zaragoza.