Yusuf al-Mu'taman ibn Hud
Abu Amir Yusuf ibn Ahmad ibn Hud (; died ), more commonly known as al-Mu'taman, was a mathematician, and also one of the kings of the Taifa of Zaragoza. The name al-Mu'taman is itself a shortening of his full regnal name al-Mu'taman Billah (). Al-Mu'taman was the third king of the Banu Hud dynasty, reigning from 1081 to 1085, at the height of power of Muslim Zaragoza, following the thriving period of his father Ahmad al-Muqtadir. He continued his father's efforts and created around him a court of intellectuals, living in the  beautiful palace of Aljafería, nicknamed as "the palace of joy". As king, Al-Mu'taman was a patron of science, philosophy and arts, and was himself a scholar of considerable accomplishment. He knew astrology, philosophy, and especially mathematics, a discipline in which he wrote the most important treatise to come out of the al-Andalus region in the 11th century, the "Kitab al-Istikmal" ("Book of Perfection"). Biography and Kingship. Yusuf was born on an unknown date, certainly in Zaragoza, in the palace of Aljaferia. When he ascended to the throne on the death of his father in 1081, the taifa  of Zaragoza was at its peak. Al-Muqtadir divided his lands between his two sons: al-Mu'taman received the western part of the taifa with Zaragoza, Tudela, Huesca and Calatayud, while al-Mundhir received the coastal zone of the kingdom, including Lérida, Monzón, Tortosa and Dénia. The first external concern of the king was the threat posed by the King of Aragon, Sancho Ramírez who aimed to extend his territories to the south, at the expense of Zaragoza. Al-Mu'taman counted on the services of the mercenary troops of the Castilian lord El Cid, who had been exiled by King  Alfonso VI for conducting raids against his interests in the Taifa of Toledo, then a tributary of the king. In 1081, El Cid therefore offered his service to the king of Zaragoza, al-Muqtadir, and remained with al-Mu'taman during his reign. Al-Mu'taman also assigned to El Cid the task of reincorporating into Zaragoza the eastern territories of his relative al-Mundhir, an ally of Aragon. Clashes in the border area were constant, but neither managed to reunite the paternal territory. El Cid contained the attacks of the Aragonese until 1083, when Sancho managed to take the line of  fortifications that protected Zaragoza like Graus in the east, as well as Ayerbe, Bolea, Arascués and Arguedas. El Cid served Yusuf al-Mu'tamin until 1086, when he broke his ties with Zaragoza. The circumstances in which he refused to continue serving al-Mu'tamin and his heir Ahmad II al-Mustaʿin are not fully clear and still debated. Al-Mu'taman also tried to strengthen relations with his vassal king of Valencia, Abu Bakr, through marriage alliances. But Valencia was entangled in a complex game of alliances. Alfonso VI, skilfully using diplomacy, got al-Kadir, the king of Toledo, to hand over  the city in 1085 in exchange for his help to drive Abu Bakr from Valencia, which meant, in fact, the capture of Toledo for the king of Castile. Thus, the kingdom of Zaragoza was cut off from the rest of al-Andalus, which seriously weakened its economy and made it even more vulnerable to Christian attacks. The year of loss of Valencia was also the year of the death of Yusuf al-Mu'tamin. Intellectual life. Although it was common practice for royals to be well educated, both al-Mu'taman and his father were exceptional mathematicians. In medieval Islam, there was  a wave of translations of ancient Greek texts, ranging from philosophy, to medicine, to astronomy, and the more influential mathematical texts. Both father and son, as well as medieval Islamic translators such as the Banu Musa were known for their expansions on ancient Greek and Roman ideals. There was a stigma in the periods following medieval Islam that Islamic scholars only copied the ancient texts, offering no intellectual addition. Later it was proven that scholars such as Ibn Qurra and al-Mu'taman offered their own input and original contributions beyond their transmission of ancient ideas. Mathematics. The main work of  al-Mu'taman was his Book of Perfection ("Kitab al-Istikmal"). This book was a compendium of the Greek mathematics of Euclid and Archimedes among others, but also contained the teachings of Thabit ibn Qurra, the Banu Musa and Ibn al-Haytham, and also introduced some original theorems. The "Kitab al-Istikmal" is an uncompleted work but it was still seen as an important work from the eleventh-century king. The encyclopedist Ibn al-Akfani said that had the "Istikmal" been completed, it would have made the existing geometrical literature superfluous. Furthermore, Ibn Aknin, postulated that the "Istikmal" needs to be  read by mathematicians alongside the "Elements" of Euclid, "On the Sphere and Cylinder" of Archimedes, and the "Conics" of Apollonius, to name a few. Because this was not a completed piece of work it was not appreciated nor taught to the masses like works from Euclid or Archimedes. The work has been sent to Egypt by Maimonides, and from there it spread to Baghdad in the 14th century, so its influence has not really affected the West. The "Kitab al-Istikmal" deals with irrational numbers, conic sections, quadrature of the parabolic segment, volumes and areas of various geometric objects, and  the drawing of the tangent to a circle, among other mathematical problems. In the work appears an attempt to classify mathematics into Aristotelian categories. The classification includes a chapter for arithmetic, two chapters for geometry and two others for stereometry. Al-Mu'taman is the author of the first known formulation of Ceva's theorem, which was only known in Europe in 1678 in "De lineis rectis" by the Italian geometer Giovanni Ceva. It remains unknown whether Giovanni had discovered this geometry on his own or if he had found a translation of al-Mu'taman's treatise. The theorem can be  stated as follows: "Let ABC be a triangle and D, E, F points on the sides BC, CA, and AB. We draw the lines AD, BE and CF. These three lines intersect at one point if and only if formula_1.