In the history of mathematics, mathematics in medieval Islam, often termed Islamic mathematics, is the mathematics developed in the Islamic world between 622 and 1600, during what is known as the Islamic Golden Age, in that part of the world where Islam was the dominant religion. Islamic science and mathematics flourished under the Islamic caliphate (also known as the Islamic Empire) established across the Middle East, Central Asia, North Africa, Southern Italy, the Iberian Peninsula, and, at its peak, parts of France and India as well. Islamic activity in mathematics was largely centered around modern-day Iraq and Persia, but at its greatest extent stretched from North Africa and Spain in the west to India in the east.
While most scientists in this period were Muslims and wrote in Arabic, many of the best known contributors were Persians as well as Arabs, in addition to Berber, Moorish, Turkic, Afghan and Indian contributors, as well as some from other religions (Christians, Jews, Sabians, Zoroastrians, and the irreligious). Arabic was the dominant language—much like Latin in Medieval Europe, Arabic was the written lingua franca of most scholars throughout the Islamic world.
Use of the term "Islam" Edit
"There have been many civilizations in human history, almost all of which were local, in the sense that they were defined by a region and an ethnic group. This applied to all the ancient civilizations of the Middle East—Egypt, Babylon, Persia; to the great civilizations of Asia—India, China; and to the civilizations of Pre-Columbian America. There are two exceptions: Christendom and Islam. These are two civilizations defined by religion, in which religion is the primary defining force, not, as in India or China, a secondary aspect among others of an essentially regional and ethnically defined civilization. Here, again, another word of explanation is necessary."
"In English we use the word “Islam” with two distinct meanings, and the distinction is often blurred and lost and gives rise to considerable confusion. In the one sense, Islam is the counterpart of Christianity; that is to say, a religion in the strict sense of the word: a system of belief and worship. In the other sense, Islam is the counterpart of Christendom; that is to say, a civilization shaped and defined by a religion, but containing many elements apart from and even hostile to that religion, yet arising within that civilization."
In this article, "Islam" and the adjective "Islamic" is used in the meaning described above; that is, of a civilization.
Origins and influencesEdit
The first century of the Islamic Arab Empire saw very little scientific or mathematical achievements, since the Arabs, with their newly conquered empire, had not yet gained the intellectual drive and research in other parts of the world had faded. In the eighth century, Islam had a cultural awakening, and research in mathematics and the sciences increased. The Islamic Abbasid caliph al-Mamun (809-833) is said to have had a dream where Aristotle appeared to him, and as a consequence al-Mamun ordered that Arabic translations be made of as many ancient works as possible, including Ptolemy's Almagest and Euclid's Elements from Egypt and the works of Aryabhata and Brahmagupta from India. Hellenistic works would be given to the Muslims by the Byzantine Empire in exchange for treaties, as the two empires held an uneasy peace. Many of these Hellenistic works were translated by Thabit ibn Qurra (826-901), who translated books written by Euclid, Archimedes, Apollonius, Ptolemy, and Eutocius. Historians are in debt to many Islamic translators, for it is through their work that many ancient Greek texts have survived only through Arabic translations.
Hellenistic, Egyptian, Indian and Babylonian mathematics all played an important role in the development of early Islamic mathematics. Works of mathematicians such as Euclid, Apollonius, Archimedes, Diophantus, Aryabhata and Brahmagupta were acquired by the Islamic world and eventually incorporated into their mathematics. Perhaps the most influential mathematical contribution from India was the decimal place-value Indo-Arabic numeral system, also known as the Hindu numerals. The Persian historian al-Biruni (c. 1050) in his book Tariq al-Hind states that al-Ma'mun had an embassy in India from which was brought a book to Baghdad that was translated into Arabic as Sindhind. It is generally assumed that Sindhind is none other than Brahmagupta's Brahmasphuta-siddhanta. The earliest translations from Sanskrit inspired several astronomical and astrological Arabic works, now mostly lost, some of which were even composed in verse. Biruni described Indian mathematics as a "mix of common pebbles and costly crystals".
Indian influences were later followed by Hellenistic mathematical and astronomical texts. Indian mathematics soon became mostly merged with the Islamic science influenced by Hellenistic treatises. Indian influence declined in later periods due to Sindh achieving independence from the Caliphate, thus limiting access to Indian works. Nevertheless, Indian methods continued to play an important role in algebra, arithmetic, and trigonometry.
Besides the Hellenistic and Indian traditions, a third tradition which had a significant influence on mathematics in medieval Islam was the "mathematics of practitioners", which included the applied mathematics of "surveyors, builders, artisans, in geometric design, tax and treasury officials, and some merchants." This applied form of mathematics transcended ethnic divisions and was a common heritage of the lands incorporated into the Islamic world. This tradition also includes the religious observances specific to Islam, which served as a major impetus for the development of mathematics as well as astronomy.
Islam and mathematicsEdit
A major impetus for the flowering of mathematics as well as astronomy in medieval Islam came from religious observances, which presented an assortment of problems in astronomy and mathematics, specifically in trigonometry, spherical geometry, algebra and arithmetic.
Islamic law of inheritanceEdit
The Islamic law of inheritance served as an impetus behind the development of algebra (derived from the Arabic al-jabr) by Muhammad ibn Mūsā al-Khwārizmī and other medieval Islamic mathematicians. Al-Khwārizmī's Hisab al-jabr w’al-muqabala devoted a chapter on the solution to the Islamic law of inheritance using algebra. He formulated the rules of inheritance as linear equations, hence his knowledge of quadratic equations was not required. Later mathematicians who specialized in the Islamic law of inheritance included Al-Hassār, who developed the modern symbolic mathematical notation for fractions in the 12th century, and Abū al-Hasan ibn Alī al-Qalasādī, who developed an algebraic notation which took "the first steps toward the introduction of algebraic symbolism" in the 15th century.
In order to observe holy days on the Islamic calendar in which timings were determined by phases of the moon, astronomers initially used Ptolemy's method to calculate the place of the moon and stars. The method Ptolemy used to solve spherical triangles, however, was a clumsy one devised late in the first century by Menelaus of Alexandria. It involved setting up two intersecting right triangles; by applying Menelaus' theorem it was possible to solve one of the six sides, but only if the other five sides were known. To tell the time from the sun's altitude, for instance, repeated applications of Menelaus' theorem were required. For medieval Islamic astronomers, there was an obvious challenge to find a simpler trigonometric method.
Regarding the issue of moon sighting, Islamic months do not begin at the astronomical new moon, defined as the time when the moon has the same celestial longitude as the sun and is therefore invisible; instead they begin when the thin crescent moon is first sighted in the western evening sky. The Qur'an says: "They ask you about the waxing and waning phases of the crescent moons, say they are to mark fixed times for mankind and Hajj." This led Muslims to find the phases of the moon in the sky, and their efforts led to new mathematical calculations.
Qibla and SalahEdit
Predicting just when the crescent moon would become visible is a special challenge to Islamic mathematical astronomers. Although Ptolemy's theory of the complex lunar motion was tolerably accurate near the time of the new moon, it specified the moon's path only with respect to the ecliptic. To predict the first visibility of the moon, it was necessary to describe its motion with respect to the horizon, and this problem demands fairly sophisticated spherical geometry. Finding the direction of Mecca (Qibla) and the time of Salah are the reasons which led to Muslims developing spherical geometry. Solving any of these problems involves finding the unknown sides or angles of a triangle on the celestial sphere from the known sides and angles. A way of finding the time of day, for example, is to construct a triangle whose vertices are the zenith, the north celestial pole, and the sun's position. The observer must know the altitude of the sun and that of the pole; the former can be observed, and the latter is equal to the observer's latitude. The time is then given by the angle at the intersection of the meridian (the arc through the zenith and the pole) and the sun's hour circle (the arc through the sun and the pole).
Muslims are also expected to pray towards the Kaaba in Mecca and orient their mosques in that direction. Thus they need to determine the direction of Mecca (Qibla) from a given location. Another problem is the time of Salah. Muslims need to determine from celestial bodies the proper times for the prayers at sunrise, at midday, in the afternoon, at sunset, and in the evening.
J. J. O'Conner and E. F. Robertson wrote in the MacTutor History of Mathematics archive:
"Recent research paints a new picture of the debt that we owe to Islamic mathematics. Certainly many of the ideas which were previously thought to have been brilliant new conceptions due to European mathematicians of the 16th, 17th, and 18th centuries are now known to have been developed by Arabic/Islamic mathematicians around four centuries earlier. In many respects, the mathematics studied today is far closer in style to that of Islamic mathematics than to that of Greek mathematics."
R. Rashed wrote in The development of Arabic mathematics: between arithmetic and algebra:
"Al-Khwarizmi's successors undertook a systematic application of arithmetic to algebra, algebra to arithmetic, both to trigonometry, algebra to the Euclidean theory of numbers, algebra to geometry, and geometry to algebra. This was how the creation of polynomial algebra, combinatorial analysis, numerical analysis, the numerical solution of equations, the new elementary theory of numbers, and the geometric construction of equations arose."
- Muḥammad ibn Mūsā al-Khwārizmī (c. 780 Khwarezm/Baghdad – c. 850 Baghdad, Iraq)
- Al-Khwārizmī was a Persian mathematician, astronomer, astrologer and geographer. He worked most of his life as a scholar in the House of Wisdom in Baghdad. His Algebra was the first book on the systematic solution of linear and quadratic equations. Latin translations of his Arithmetic, on the Indian numerals, introduced the decimal positional number system to the Western world in the 12th century. He revised and updated Ptolemy's Geography as well as writing several works on astronomy and astrology.
- Al-Ḥajjāj ibn Yūsuf ibn Maṭar (786 – 833 Baghdad)
- Al-Ḥajjāj translated Euclid's Elements into Arabic.
- Al-ʿAbbās ibn Saʿid al-Jawharī (c. 800 Baghdad? – c. 860 Baghdad?)
- Al-Jawharī was a mathematician who worked at the House of Wisdom in Baghdad. His most important work was his Commentary on Euclid's Elements which contained nearly 50 additional propositions and an attempted proof of the parallel postulate.
- ʿAbd al-Hamīd ibn Turk (fl. 830 Baghdad)
- Ibn Turk wrote a work on algebra of which only a chapter on the solution of quadratic equations has survived.
- Yaʿqūb ibn Isḥāq al-Kindī (c. 801 Kufa – 873 Baghdad)
- Al-Kindī (or Alkindus) was a philosopher and scientist who worked as the House of Wisdom in Baghdad where he wrote commentaries on many Greek works. His contributions to mathematics include many works on arithmetic and geometry.
- Hunayn ibn Ishaq (808 Al-Hirah – 873 Baghdad)
- Hunayn (or Johannitus) was a translator who worked at the House of Wisdom in Baghdad. Translated many Greek works including those by Plato, Aristotle, Galen, Hippocrates, and the Neoplatonists.
- Banū Mūsā (c. 800 Baghdad – 873+ Baghdad)
- The Banū Mūsā were three brothers who worked at the House of Wisdom in Baghdad. Their most famous mathematical treatise is The Book of the Measurement of Plane and Spherical Figures, which considered similar problems as Archimedes did in his On the Measurement of the Circle and On the sphere and the cylinder. They contributed individually as well. The eldest, Jaʿfar Muḥammad (c. 800) specialised in geometry and astronomy. He wrote a critical revision on Apollonius' Conics called Premises of the book of conics. Aḥmad (c. 805) specialised in mechanics and wrote a work on pneumatic devices called On mechanics. The youngest, al-Ḥasan (c. 810) specialised in geometry and wrote a work on the ellipse called The elongated circular figure.
- Al-Mahani (Mahan, Kermān, Iran, fl. 853-866)
- Yahyā al-Kharrāz (Maghreb, North Africa, fl. 9th century)
- Yahyā al-Kānūnī (Maghreb, 828-901)
- Ahmed ibn Yusuf (835 Baghdad - 912 Cairo, Egypt)
- Thabit ibn Qurra (Syria-Iraq, 835-901)
- Shuqrūn Ibn ‘Alī (Maghreb, fl. 9th century)
- Al-Hashimi (Iraq? ca. 850-900)
- Muḥammad ibn Jābir al-Ḥarrānī al-Battānī (c. 853 Harran – 929 Qasr al-Jiss near Samarra)
- Abu Kamil (Egypt, ca. 850-900)
- Sinan ibn Tabit (ca. 880-943)
- Ibrahim ibn Sinan (Iraq, 909-946)
- Al-Khazin (Iraq-Iran, ca. 920-980)
- Al-Karabisi (Iraq? 10th century?)
- Ikhwan al-Safa' (Iraq, first half of 10th century)
- The Ikhwan al-Safa' ("brethren of purity") were a (mystical?) group in the city of Basra in Irak. The group authored a series of more than 50 letters on science, philosophy and theology. The first letter is on arithmetic and number theory, the second letter on geometry.
- Al-Uqlidisi (Iraq-Iran, 10th century)
- Al-Saghani (Iraq-Iran, ca. 940-1000)
- Abū Sahl al-Qūhī (Iraq-Iran, ca. 940-1000)
- Abū al-Wafāʾ al-Būzjānī (Iraq-Iran, ca. 940-998)
- Ibn Sahl (Iraq-Iran, ca. 940-1000)
- Al-Sijzi (Iran, ca. 940-1000)
- Labana of Cordoba (Spain, ca. 10th century)
- One of the few Islamic female mathematicians known by name, and the secretary of the Umayyad Caliph al-Hakem II. She was well-versed in the exact sciences, and could solve the most complex geometrical and algebraic problems known in her time.
- Maslama al-Majrītī (Spain, d. 1007)
- Ibn Yunus (Egypt, ca. 950-1010)
- Abu Nasr ibn `Iraq (Iraq-Iran, ca. 950-1030)
- Kushyar ibn Labban (Iran, ca. 960-1010)
- Al-Karaji (Iran-Iraq, ca. 953-1029)
- Ibn al-Haytham (Iraq-Egypt, ca. 965-1040)
- Abū al-Rayḥān al-Bīrūnī (September 15, 973 in Kath, Khwarezm – December 13, 1048 in Gazna)
- He made significant contributions to mathematics, especially in the fields of theoretical and practical arithmetic, summation of series, combinatorial analysis, the rule of three, irrational numbers, ratio theory, algebraic definitions, method of solving algebraic equations, geometry, and the development of Archimedes' theorems. However, his main mathematical contributions were in applied mathematics rather than pure mathematics. For example, he was responsible for the earliest known practical application of the law of sines, which he applied to his measurement of the Earth radius.
- Ibn Sina (Avicenna) (ca. 980 Bukhara - 1037 Hamedan)
- Ibn Tahir al-Baghdadi (ca. 980 Baghdad - 1037 Iraq)
- Ibn as-Samh (Spain, early 11th century)
- Az-Zahrāwī (Spain, early 11th century)
- Alī ibn Ahmad al-Nasawī (ca. 1010 Nasa, Khurasan – ca. 1075 Baghdad)
- Al-Jayyani (Spain, ca. 1030-1090)
- Ibn al-Zarqalluh (Azarquiel, al-Zarqali) (Spain, ca. 1030-1090)
- Al-Mu'taman ibn Hud (Spain, ca. 1080)
- Al-Khayyam (Iran, ca. 1050-1130)
- Al-Hassār (ca. 1100s, Maghreb)
- Developed the modern mathematical notation for fractions and the digits he uses for the ghubar numerals also cloesly resembles modern Western Arabic numerals.
- Ibn al-Yāsamīn (ca. 1100s, Maghreb)
- The son of a Berber father and black African mother, he was the first to develop a mathematical notation for algebra since the time of Brahmagupta.
- Al-Khazini (fl. 1115-1130, Byzantium - Merv, Khorasan, Persia)
- Ibn Yaḥyā al-Maghribī al-Samawʾal (ca. 1130, Baghdad – c. 1180, Maragha)
- Sharaf al-Dīn al-Ṭūsī (Iran, ca. 1150-1215)
- Ibn Mun`im (Maghreb, ca. 1210)
- Ibn al-Banna al-Marrakushi (Morocco, 13th century)
- Naṣīr al-Dīn al-Ṭūsī (18 February 1201 in Tus, Khorasan – 26 June 1274 in Kadhimain near Baghdad)
- Muḥyi al-Dīn al-Maghribī (c. 1220 Spain – c. 1283 Maragha)
- Shams al-Dīn al-Samarqandī (c. 1250 Samarqand – c. 1310)
- Ibn Baso (Spain, ca. 1250-1320)
- Ibn al-Banna' (Maghreb, ca. 1300)
- Kamal al-Din Al-Farisi (Iran, ca. 1300)
- Al-Khalili (Syria, ca. 1350-1400)
- Ibn al-Shatir (1306–1375)
- Qāḍī Zāda al-Rūmī (1364 Bursa – 1436 Samarkand)
- Jamshīd al-Kāshī (Iran, Uzbekistan, ca. 1420)
- Qādīzāda (Ottoman Empire, d. 1432)
- Ulugh Beg (Iran, Uzbekistan, 1394–1449)
- Al-Umawi (1400 Spain – 1489 Damascus, Syria)
- Ali Qushji (1403 Samarkand - 1474 Istanbul)
- Abū al-Hasan ibn Alī al-Qalasādī (1412 Spain – 1482 Maghreb)
- Pioneer of symbolic algebra.
- Taqi al-Din Muhammad ibn Ma'ruf (1521 Damascus - 1585 Istanbul)
- See also: History of algebra
The term algebra is derived from the Arabic term al-jabr in the title of Al-Khwarizmi's Al-jabr wa'l muqabalah. He originally used the term al-jabr to describe the method of "reduction" and "balancing", referring to the transposition of subtracted terms to the other side of an equation, that is, the cancellation of like terms on opposite sides of the equation.
There are three theories about the origins of Islamic algebra. The first emphasizes Hindu influence, the second emphasizes Mesopotamian or Persian-Syriac influence, and the third emphasizes Hellenistic influence. Many scholars believe that it is the result of a combination of all three sources.
Throughout their time in power, before the fall of Islamic civilization, the Arabs used a fully rhetorical algebra, where sometimes even the numbers were spelled out in words. The Arabs would eventually replace spelled out numbers (eg. twenty-two) with Arabic numerals (eg. 22), but the Arabs never adopted or developed a syncopated or symbolic algebra, until the work of Ibn al-Banna al-Marrakushi in the 13th century and Abū al-Hasan ibn Alī al-Qalasādī in the 15th century.
There were four conceptual stages in the development of algebra, three of which either began in, or were significantly advanced in, the Islamic world. These four stages were as follows:
- Geometric stage, where the concepts of algebra are largely geometric. This dates back to the Babylonians and continued with the Hellenistic/Egyptian mathematicians, and was revived by Omar Khayyam.
- Static equation-solving stage, where the objective is to find numbers satisfying certain relationships. The move away from geometric algebra dates back to Diophantus and Brahmagupta, but algebra didn't decisively move to the static equation-solving stage until Al-Khwarizmi's Al-Jabr.
- Dynamic function stage, where motion is an underlying idea. The idea of a function began emerging with Sharaf al-Dīn al-Tūsī, but algebra didn't decisively move to the dynamic function stage until Gottfried Leibniz.
- Abstract stage, where mathematical structure plays a central role. Abstract algebra is largely a product of the 19th and 20th centuries.
Static equation-solving algebraEdit
Al-Khwarizmi and Al-jabr wa'l muqabalahEdit
- See also: Al-Jabr
The Muslim Persian mathematician Muhammad ibn Mūsā al-Khwārizmī (c. 780-850) was a faculty member of the "House of Wisdom" (Bait al-hikma) in Baghdad, which was established by Al-Mamun. Al-Khwarizmi, who died around 850 A.D., wrote more than half a dozen mathematical and astronomical works; some of which were based on the Indian Sindhind. One of al-Khwarizmi's most famous books is entitled Al-jabr wa'l muqabalah or The Compendious Book on Calculation by Completion and Balancing, and it gives an exhaustive account of solving polynomials up to the second degree. The book also introduced the fundamental method of "reduction" and "balancing", referring to the transposition of subtracted terms to the other side of an equation, that is, the cancellation of like terms on opposite sides of the equation. This is the operation which Al-Khwarizmi originally described as al-jabr.
Al-Jabr is divided into six chapters, each of which deals with a different type of formula. The first chapter of Al-Jabr deals with equations whose squares equal its roots (ax² = bx), the second chapter deals with squares equal to number (ax² = c), the third chapter deals with roots equal to a number (bx = c), the fourth chapter deals with squares and roots equal a number (ax² + bx = c), the fifth chapter deals with squares and number equal roots (ax² + c = bx), and the sixth and final chapter deals with roots and number equal to squares (bx + c = ax²).
J. J. O'Conner and E. F. Robertson wrote in the MacTutor History of Mathematics archive:
"Perhaps one of the most significant advances made by Arabic mathematics began at this time with the work of al-Khwarizmi, namely the beginnings of algebra. It is important to understand just how significant this new idea was. It was a revolutionary move away from the Greek concept of mathematics which was essentially geometry. Algebra was a unifying theory which allowed rational numbers, irrational numbers, geometrical magnitudes, etc., to all be treated as "algebraic objects". It gave mathematics a whole new development path so much broader in concept to that which had existed before, and provided a vehicle for future development of the subject. Another important aspect of the introduction of algebraic ideas was that it allowed mathematics to be applied to itself in a way which had not happened before."
In Al-Jabr, al-Khwarizmi uses geometric proofs. and with this new form of algebra they were able to find solutions to equations by using a process that they invented, known as "the application of areas". He also recognizes that the discriminant must be positive and described the method of completing the square. He makes use of lettered diagrams but all of the coefficients in all of his equations are specific numbers since he had no way of expressing with parameters what he could express geometrically; although generality of method is intended.
Al-Khwarizmi: Father of algebraEdit
Al-Khwarizmi is widely considered "the father of algebra", though debate exists as to whether the Hellenized Babylonian mathematician Diophantus also deserves this title. Many agree that Al-Khwarizmi deserves this title most.
Those who support Diophantus point to the fact that the algebra found in Al-Jabr is more elementary than the algebra found in Arithmetica and that Arithmetica is syncopated while Al-Jabr is fully rhetorical. However, it seems that many of the methods for solving linear and quadratic equations used by Diophantus go back to earlier Babylonian mathematics. For this, and other, reasons mathematical historian Kurt Vogel writes: “Diophantus was not, as he has often been called, the father of algebra. Nevertheless, his remarkable, if unsystematic, collection of indeterminate problems is a singular achievement that was not fully appreciated and further developed until much later.”
Those who support Al-Khwarizmi point to the fact that he gave an exhaustive explanation for the algebraic solution of quadratic equations with positive roots, introduced the fundamental methods of reduction and balancing, and was the first to teach algebra in an elementary form and for its own sake, whereas Diophantus was primarily concerned with the theory of numbers. The "novelty of Al-Khwarizmi lies in his extremely systematic treatment, aiming at a general classification of linear and quadratic equations, and at general methods of solving them which are established with proofs."  In addition, R. Rashed and Angela Armstrong write:
"Al-Khwarizmi's text can be seen to be distinct not only from the Babylonian tablets, but also from Diophantus' Arithmetica. It no longer concerns a series of problems to be resolved, but an exposition which starts with primitive terms in which the combinations must give all possible prototypes for equations, which henceforward explicitly constitute the true object of study. On the other hand, the idea of an equation for its own sake appears from the beginning and, one could say, in a generic manner, insofar as it does not simply emerge in the course of solving a problem, but is specifically called on to define an infinite class of problems."
Ibn Turk and Logical Necessities in Mixed EquationsEdit
'Abd al-Hamīd ibn Turk (fl. 830) authored a manuscript entitled Logical Necessities in Mixed Equations, which is very similar to al-Khwarzimi's Al-Jabr and was published at around the same time as, or even possibly earlier than, Al-Jabr. The manuscript gives the exact same geometric demonstration as is found in Al-Jabr, and in one case the same example as found in Al-Jabr, and even goes beyond Al-Jabr by giving a geometric proof that if the determinant is negative then the quadratic equation has no solution. The similarity between these two works has led some historians to conclude that Islamic algebra may have been well developed by the time of al-Khwarizmi and 'Abd al-Hamid.
Abū Kāmil: Irrational numbers and non-linear simultaneous equationsEdit
Arabic mathematicians were also the first to treat irrational numbers as algebraic objects. The Egyptian mathematician Abū Kāmil Shujā ibn Aslam (c. 850-930) was the first to accept irrational numbers (often in the form of a square root, cube root or fourth root) as solutions to quadratic equations or as coefficients in an equation. He was also the first to solve three non-linear simultaneous equations with three unknown variables.
Al-Karaji: Pure algebra and algebraic calculusEdit
Al-Karkhi (953-1029), also known as Al-Karaji, was the successor of Abū al-Wafā' al-Būzjānī (940-998) and he was the first to discover the solution to equations of the form ax2n + bxn = c. Al-Karkhi only considered positive roots. Al-Karkhi is also regarded as the first person to free algebra from geometrical operations and replace them with the type of arithmetic operations which are at the core of algebra today. His work on algebra and polynomials, gave the rules for arithmetic operations to manipulate polynomials. The historian of mathematics F. Woepcke, in Extrait du Fakhri, traité d'Algèbre par Abou Bekr Mohammed Ben Alhacan Alkarkhi (Paris, 1853), praised Al-Karaji for being "the first who introduced the theory of algebraic calculus". Stemming from this, Al-Karaji investigated binomial coefficients and Pascal's triangle.
In linear algebra and recreational mathematics, magic squares (an early form of matrix) were known to Arab mathematicians, possibly as early as the 7th century, when the Arabs got into contact with Indian or South Asian culture, and learned Indian mathematics and astronomy, including other aspects of combinatorial mathematics. It has also been suggested that the idea came via China. The first magic squares of order 5 and 6 appear in an encyclopedia from Baghdad circa 983 AD, the Brethren of Purity's Rasa'il Ikhwan al-Safa (Encyclopedia of the Brethren of Purity); simpler magic squares were known to several earlier Arab mathematicians.
The Arab mathematician Ahmad al-Buni, who worked on magic squares around 1200 AD, attributed mystical properties to them, although no details of these supposed properties are known. There are also references to the use of magic squares in astrological calculations, a practice that seems to have originated with the Arabs.
Islamic mathematicians also solved more complex examples of magic squares. They developed two basic methods to solve odd-order magic squares: the "diamond" technique, and a more sophisticated magic torus method understood in terms of a virtual torus.
Omar Khayyám (c. 1050-1123) wrote a book on Algebra that went beyond Al-Jabr to include equations of the third degree. Omar Khayyám provided both arithmetic and geometric solutions for quadratic equations, but he only gave geometric solutions for general cubic equations since he mistakenly believed that arithmetic solutions were impossible. His method of solving cubic equations by using intersecting conics had been used by Menaechmus, Archimedes, and Alhazen, but Omar Khayyám generalized the method to cover all cubic equations with positive roots. He only considered positive roots and he did not go past the third degree. He also saw a strong relationship between Geometry and Algebra.
Omar Khayyám's solution of cubic equation Edit
As shown in this graph, to solve the third-degree equation where Omar Khayyám constructed the parabola the circle with diameter having its center on the positive x-axis and intersecting the origin, and a vertical line through the point above the x-axis where the circle and parabola intersect. The solution is given by the length of the horizontal line segment from the origin to the intersection of the vertical line and the x-axis.
Dynamic functional algebraEdit
In the 12th century, Sharaf al-Dīn al-Tūsī found algebraic and numerical solutions to cubic equations and was the first to discover the derivative of cubic polynomials. His Treatise on Equations dealt with equation up to the third degree. The treatise does not follow Al-Karaji's school of algebra, but instead represents "an essential contribution to another algebra which aimed to study curves by means of equations, thus inaugurating the beginning of algebraic geometry." The treatise dealt with 25 types of equations, including twelve types of linear equation and quadratic equation, eight types of cubic equation with positive solutions, and five types of cubic equations which may not have positive solutions. He understood the importance of the discriminant of the cubic equation and used an early version of Cardano's formula to find algebraic solutions to certain types of cubic equations.
Sharaf al-Din also developed the concept of a function. In his analysis of the equation for example, he begins by changing the equation's form to . He then states that the question of whether the equation has a solution depends on whether or not the “function” on the left side reaches the value . To determine this, he finds a maximum value for the function. He proves that the maximum value occurs when , which gives the functional value . Sharaf al-Din then states that if this value is less than , there are no positive solutions; if it is equal to , then there is one solution at ; and if it is greater than , then there are two solutions, one between and and one between and . This was the earliest form of dynamic functional algebra.
- See Mathematical analysis below
Al-Hassār, a mathematician from the Maghreb (North Africa) specializing in Islamic inheritance jurisprudence during the 12th century, developed the modern symbolic mathematical notation for fractions, where the numerator and denominator are separated by a horizontal bar. This same fractional notation appeared soon after in the work of Fibonacci in the 13th century.
Abū al-Hasan ibn Alī al-Qalasādī (1412–1482) was the last major medieval Arab algebraist, who improved on the algebraic notation earlier used in the Maghreb by Ibn al-Banna in the 13th century and by Ibn al-Yāsamīn in the 12th century. In contrast to the syncopated notations of their predecessors, the Babylonian Diophantus and Indian Brahmagupta, which lacked symbols for mathematical operations, al-Qalasadi's algebraic notation was the first to have symbols for these functions and was thus "the first steps toward the introduction of algebraic symbolism." He represented mathematical symbols using characters from the Arabic alphabet.
The symbol now commonly denote an unknown variable. Even though any letter can be used, is the most common choice. This usage can be traced back to the Arabic word šay' شيء = “thing,” used in Arabic algebra texts such as the Al-Jabr, and was taken into Old Spanish with the pronunciation “šei,” which was written xei, and was soon habitually abbreviated to . (The Spanish pronunciation of “x” has changed since). Some sources say that this is an abbreviation of Latin causa, which was a translation of Arabic شيء. This started the habit of using letters to represent quantities in algebra. In mathematics, an “italicized x” () is often used to avoid potential confusion with the multiplication symbol.
- See also: Arabic numerals
The Indian numeral system came to be known to both the Persian mathematician Al-Khwarizmi, whose book On the Calculation with Hindu Numerals written circa 825, and the Arab mathematician Al-Kindi, who wrote four volumes, On the Use of the Indian Numerals (Ketab fi Isti'mal al-'Adad al-Hindi) circa 830, are principally responsible for the diffusion of the Indian system of numeration in the Middle-East and the West . In the 10th century, Middle-Eastern mathematicians extended the decimal numeral system to include fractions using decimal point notation, as recorded in a treatise by Syrian mathematician Abu'l-Hasan al-Uqlidisi in 952-953.
In the Arab world, the Arabic numeral system was most often used by mathematicians, while Muslim astronomers mostly used the Babylonian numeral system initially. A distinctive "Western Arabic" variant of the symbols begins to emerge in ca. the 10th century in the Maghreb and Al-Andalus, called the ghubar ("sand-table" or "dust-table") numerals, which is the direct ancestor to the modern Western Arabic numerals now used throughout the world.
The first mentions of the numerals in the West are found in the Codex Vigilanus of 976 . From the 980s, Gerbert of Aurillac (later, Pope Silvester II) began to spread knowledge of the numerals in Europe. Gerbert studied in Barcelona in his youth, and he is known to have requested mathematical treatises concerning the astrolabe from Lupitus of Barcelona after he had returned to France.
Al-Khwarizmi and On the Calculation with Hindu NumeralsEdit
Al-Khwārizmī, the Persian scientist, wrote in 825 a treatise On the Calculation with Hindu Numerals, which was translated into Latin in the 12th century, as Algoritmi de numero Indorum, where "Algoritmi", the translator's rendition of the author's name gave rise to the word algorithm (Latin algorithmus) with a meaning "calculation method".
Al-Hassar: Fractional notation and Western Arabic numeralsEdit
Al-Hassār, a mathematician from the Maghreb (North Africa) specializing in Islamic inheritance jurisprudence during the 12th century, developed the modern symbolic mathematical notation for fractions, where the numerator and denominator are separated by a horizontal bar. The "dust cipher he used are also nearly identical to the digits used in the current Western Arabic numerals. These same digits and fractional notation appear soon after in the work of Fibonacci in the 13th century.
"The introduction of decimal fractions as a common computational practice can be dated back to the Flemish pamphelet De Thiende, published at Leyden in 1585, together with a French translation, La Disme, by the Flemish mathematician Simon Stevin (1548-1620), then settled in the Northern Netherlands. It is true that decimal fractions were used by the Chinese many centuries before Stevin and that the Persian astronomer Al-Kāshī used both decimal and sexagesimal fractions with great ease in his Key to arithmetic (Samarkand, early fifteenth century)."
While the Persian mathematician Jamshīd al-Kāshī claimed to have discovered decimal fractions himself in the 15th century, J. Lennart Berggrenn notes that he was mistaken, as decimal fractions were first used five centuries before him by the Baghdadi mathematician Abu'l-Hasan al-Uqlidisi as early as the 10th century.
The Middle Ages saw the acceptance of zero, negative, integral and fractional numbers, first by Indian mathematicians and Chinese mathematicians, and then by Arabic mathematicians, who were also the first to treat irrational numbers as algebraic objects, which was made possible by the development of algebra. Arabic mathematicians merged the concepts of "number" and "magnitude" into a more general idea of real number, and they criticized Euclid's idea of ratio, developed the theory of composite ratios, and extended the concept of number to ratios of continuous magnitude. In his commentary on Book 10 of the Elements, the Persian mathematician Al-Mahani (d. 874/884) examined and classified quadratic irrationals and cubic irrationals. He provided definitions for rational and irrational magnitudes, which he treated as irrational numbers. He dealt with them freely but explains them in geometric terms as follows:
"It will be a rational (magnitude) when we, for instance, say 10, 12, 3%, 6%, etc., because its value is pronounced and expressed quantitatively. What is not rational is irrational and it is impossible to pronounce and represent its value quantitatively. For example: the roots of numbers such as 10, 15, 20 which are not squares, the sides of numbers which are not cubes etc."
In contrast to Euclid's concept of magnitudes as lines, Al-Mahani considered integers and fractions as rational magnitudes, and square roots and cube roots as irrational magnitudes. He also introduced an arithmetic approach to the concept of irrationality, as he attributes the following to irrational magnitudes:
"their sums or differences, or results of their addition to a rational magnitude, or results of subtracting a magnitude of this kind from an irrational one, or of a rational magnitude from it."
The Egypt mathematician Abū Kāmil Shujā ibn Aslam (c. 850–930) was the first to accept irrational numbers as solutions to quadratic equation or as coefficient in an equation, often in the form of square roots, cube roots and fourth roots. In the 10th century, the Iraqi mathematician Al-Hashimi provided general proofs for numbers (rather than geometric demonstrations) as he considered multiplication, division, etc. for ”lines.” Using this method, he provided the first proof for irrational numbers. Abū Ja'far al-Khāzin (900-971) provides a definition of rational and irrational magnitudes, stating that if a definite quantity is:
"contained in a certain given magnitude once or many times, then this (given) magnitude corresponds to a rational number. . . . Each time when this (latter) magnitude comprises a half, or a third, or a quarter of the given magnitude (of the unit), or, compared with (the unit), comprises three, five, or three fifths, it is a rational magnitude. And, in general, each magnitude that corresponds to this magnitude (i.e. to the unit), as one number to another, is rational. If, however, a magnitude cannot be represented as a multiple, a part (l/n), or parts (m/n) of a given magnitude, it is irrational, i.e. it cannot be expressed other than by means of roots."
Many of these concepts were eventually accepted by European mathematicians some time after the Latin translations of the 12th century. Al-Hassār, an Arabic mathematician from the Maghreb (North Africa) specializing in Islamic inheritance jurisprudence during the 12th century, developed the modern symbolic mathematical notation for fractions, where the numerator and denominator are separated by a horizontal bar. This same fractional notation appears soon after in the work of Fibonacci in the 13th century.
According to mathematics historian Odile Kouteynikoff:
According to the fact that Al-Khwarizmi founded Algebra during the 9th century, it is not surprising that, when being translated into Arabic in the late 9th century by Lebanese Ibn Luqa whose native language was Greek, Diophante’s Arithmetics seemed to be considered as a treatise about Algebra since algebraic vocabulary and way of thinking were most widely shared. Only few people understood that it was actually an arithmetic treatise: Al-Khazin (900–971) did, and therefore he is one of those who laid the foundations for the integer Diophantine analysis. We know that Jean de Palerme submitted Al-Khazin’s problem about congruent numbers to Fibonacci, who then wrote Liber Quadratorum.
Amicable numbers, factorization, combinatorics, prime numbersEdit
In number theory, a general formula by which amicable numbers could be derived was invented circa 850 by the Iraqi mathematician Thābit ibn Qurra (826–901). Other Arab mathematicians who studied amicable numbers include al-Majriti (died 1007), and al-Baghdadi (980–1037).
In the early 14th century, Kamāl al-Dīn al-Fārisī (1260–1320) made a number of important contributions to number theory. His most impressive work in number theory is on amicable numbers. In Tadhkira al-ahbab fi bayan al-tahabb (Memorandum for friends on the proof of amicability) introduced a major new approach to a whole area of number theory, introducing ideas concerning factorization and combinatorial methods. In fact, al-Farisi's approach is based on the unique factorization of an integer into powers of prime numbers.
Al-Fārisī also discovered the pair of amicable numbers, 17,296 and 18,416, in the early 14th century, centuries before Fermat. At around the same time tn early 14th century Marakesh, Morocco, Ibn al-Banna also discovered the same pair of amicable numbers, 17,296 and 18,416.
In the 16th century, the Persian/Iranian mathematician Muhammad Baqir Yazdi discovered the pair of amicable numbers, 9,363,584 and 9,437,056, long before the contributions of Descartes and Euler to amicable numbers.
Al-Karaji and Baha al-Din: Congruent numbersEdit
Congruent numbers can first be found in various works of classical Islamic mathematics, for example, in al-Karaji’s early 11th century text, the al-Fakhri. Congruent numbers then resurface in the treatise Liber Quadratorum of Fibonacci. We then ﬁnd congruent numbers in the inﬂuential 17th century work, Khulasat al-Hisab of Baha al-Din.
Ibn al-Haytham: Congruences, Wilson's theorem, perfect numbersEdit
Ibn al-Haytham solved problems involving congruences using what is now called Wilson's theorem. In his Opuscula, Ibn al-Haytham considers the solution of a system of congruences, and gives two general methods of solution. His first method, the canonical method, involved Wilson's theorem, while his second method involved a version of the Chinese remainder theorem. Another contribution to number theory is his work on perfect numbers. In his Analysis and synthesis, Ibn al-Haytham was the first to discover that every even perfect number is of the form 2n−1(2n − 1) where 2n − 1 is prime, but he was not able to prove this result successfully (Euler later proved it in the 18th century).
The successors of Muhammad ibn Mūsā al-Khwārizmī (born 780) undertook a systematic application of arithmetic to algebra, algebra to arithmetic, both to trigonometry, algebra to the Euclidean theory of numbers, algebra to geometry, and geometry to algebra. This was how the creation of polynomial algebra, combinatorial analysis, numerical analysis, the numerical solution of equations, the new elementary theory of numbers, and the geometric construction of equations arose.
Al-Mahani (born 820) conceived the idea of reducing geometrical problems such as duplicating the cube to problems in algebra. Al-Karaji (born 953) completely freed algebra from geometrical operations and replaced them with the arithmetical type of operations which are at the core of algebra today.
Early Islamic geometryEdit
- See also: Applied mathematics
Thabit ibn Qurra (known as Thebit in Latin) (born 836) contributed to a number of areas in mathematics, where he played an important role in preparing the way for such important mathematical discoveries as the extension of the concept of number to (positive) real numbers, integral calculus, theorems in spherical trigonometry, analytic geometry, and non-Euclidean geometry. An important geometrical aspect of Thabit's work was his book on the composition of ratios. In this book, Thabit deals with arithmetical operations applied to ratios of geometrical quantities. The Hellenistic mathematicians had dealt with geometric quantities but had not thought of them in the same way as numbers to which the usual rules of arithmetic could be applied. By introducing arithmetical operations on quantities previously regarded as geometric and non-numerical, Thabit started a trend which led eventually to the generalization of the number concept. Another important contribution Thabit made to geometry was his generalization of the Pythagorean theorem, which he extended from special right triangles to all right triangles in general, along with a general proof.
In some respects, Thabit is critical of the ideas of Plato and Aristotle, particularly regarding motion. It would seem that here his ideas are based on an acceptance of using arguments concerning motion in his geometrical arguments.
Ibrahim ibn Sinan ibn Thabit (born 908), who introduced a method of integration more general than that of Archimedes, and al-Quhi (born 940) were leading figures in a revival and continuation of Hellenistic higher geometry in the Islamic world. These mathematicians, and in particular Ibn al-Haytham (Alhazen), studied optics and investigated the optical properties of mirrors made from conic sections (see Mathematical physics).
Astronomy, time-keeping and geography provided other motivations for geometrical and trigonometrical research. For example Ibrahim ibn Sinan and his grandfather Thabit ibn Qurra both studied curves required in the construction of sundials. Abu'l-Wafa and Abu Nasr Mansur pioneered spherical geometry in order to solve difficult problems in Islamic astronomy. For example, to predict the first visibility of the moon, it was necessary to describe its motion with respect to the horizon, and this problem demands fairly sophisticated spherical geometry. Finding the direction of Mecca (Qibla) and the time for Salah prayers and Ramadan are what led to Muslims developing spherical geometry.
Algebraic geometry and analytic geometryEdit
In the early 11th century, Ibn al-Haytham (Alhazen) was able to solve by purely algebraic means certain cubic equations, and then to interpret the results geometrically. Subsequently, Omar Khayyám discovered the general method of solving cubic equations by intersecting a parabola with a circle.
Omar Khayyam and cubic equationsEdit
Omar Khayyám (1048–1122) was a Persian mathematician, as well as a poet. Along with his fame as a poet, he was also famous during his lifetime as a mathematician, well known for inventing the general method of solving cubic equations by intersecting a parabola with a circle. In addition he discovered the binomial expansion, and authored criticisms of Euclid's theories of parallels which made their way to England, where they contributed to the eventual development of non-Euclidean geometry. Omar Khayyam also combined the use of trigonometry and approximation theory to provide methods of solving algebraic equations by geometrical means. His work marked the beginnings of algebraic geometry and analytic geometry.
In a paper written by Khayyam before his famous algebra text Treatise on Demonstration of Problems of Algebra, he considers the problem: "Find a point on a quadrant of a circle in such manner that when a normal is dropped from the point to one of the bounding radii, the ratio of the normal's length to that of the radius equals the ratio of the segments determined by the foot of the normal. Khayyam shows that this problem is equivalent to solving a second problem: Find a right triangle having the property that the hypotenuse equals the sum of one leg plus the altitude on the hypotenuse." This problem in turn led Khayyam to solve the cubic equation x3 + 200x = 20x2 + 2000 and he found a positive root of this cubic by considering the intersection of a rectangular hyperbola and a circle. An approximate numerical solution was then found by interpolation in trigonometric tables. Perhaps even more remarkable is the fact that Khayyam states that the solution of this cubic requires the use of conic sections and that it cannot be solved by compass and straightedge, a result which would not be proved for another 750 years.
His Treatise on Demonstration of Problems of Algebra contained a complete classification of cubic equations with geometric solutions found by means of intersecting conic sections. In fact, Khayyam gives an interesting historical account in which he claims that the Hellenistic mathematicians had left nothing on the theory of cubic equations. Indeed, as Khayyam writes, the contributions by earlier writers such as al-Mahani and al-Khazin were to translate geometric problems into algebraic equations (something which was essentially impossible before the work of Muḥammad ibn Mūsā al-Ḵwārizmī). However, Khayyam himself seems to have been the first to conceive a general theory of cubic equations.
Omar Khayyám saw a strong relationship between geometry and algebra, and was moving in the right direction when he helped to close the gap between numerical and geometric algebra with his geometric solution of the general cubic equations, but the decisive step in analytic geometry came later with René Descartes.
Sharaf al-Dīn al-Ṭusī and Treatise on EquationsEdit
Persian mathematician Sharaf al-Dīn al-Ṭūsī (or Sharafeddin Tusi) (born 1135) did not follow the general development that came through Al-Karaji's school of algebra but rather followed Khayyam's application of algebra to geometry. He wrote a treatise on cubic equations, entitled Treatise on Equations, which represents an essential contribution to another algebra which aimed to study curves by means of equations, thus inaugurating the study of algebraic geometry.
In the early 11th century, Ibn al-Haytham (Alhazen) made the first attempt at proving the Euclidean parallel postulate, the fifth postulate in Euclid's Elements, using a proof by contradiction, where he introduced the concept of motion and transformation into geometry. He formulated the Lambert quadrilateral, which Boris Abramovich Rozenfeld names the "Ibn al-Haytham–Lambert quadrilateral", and his attempted proof also shows similarities to Playfair's axiom.
In the late 11th century, Omar Khayyám made the first attempt at formulating a non-Euclidean postulate as an alternative to the Euclidean parallel postulate, and he was the first to consider the cases of elliptical geometry and hyperbolic geometry, though he excluded the latter.
In Commentaries on the difficult postulates of Euclid's book Khayyam made a contribution to non-Euclidean geometry, although this was not his intention. In trying to prove the parallel postulate he accidentally proved properties of figures in non-Euclidean geometries. Khayyam also gave important results on ratios in this book, extending Euclid's work to include the multiplication of ratios. The importance of Khayyam's contribution is that he examined both Euclid's definition of equality of ratios (which was that initially proposed by Eudoxus) and the definition of equality of ratios as proposed by earlier Islamic mathematicians such as al-Mahani which was based on continued fractions. Khayyam proved that the two definitions are equivalent. He also posed the question of whether a ratio can be regarded as a number but leaves the question unanswered.
The Khayyam-Saccheri quadrilateral was first considered by Omar Khayyam in the late 11th century in Book I of Explanations of the Difficulties in the Postulates of Euclid. Unlike many commentators on Euclid before and after him (including of course Saccheri), Khayyam was not trying to prove the parallel postulate as such but to derive it from an equivalent postulate he formulated from "the principles of the Philosopher" (Aristotle):
- Two convergent straight lines intersect and it is impossible for two convergent straight lines to diverge in the direction in which they converge.
Khayyam then considered the three cases right, obtuse, and acute that the summit angles of a Saccheri quadrilateral can take and after proving a number of theorems about them, he (correctly) refuted the obtuse and acute cases based on his postulate and hence derived the classic postulate of Euclid. It wasn't until 600 years later that Giordano Vitale made an advance on the understanding of this quadrilateral in his book Euclide restituo (1680, 1686), when he used it to prove that if three points are equidistant on the base AB and the summit CD, then AB and CD are everywhere equidistant. Saccheri himself based the whole of his long, heroic and ultimately flawed proof of the parallel postulate around the quadrilateral and its three cases, proving many theorems about its properties along the way.
In 1250, Nasīr al-Dīn al-Tūsī, in his Al-risala al-shafiya'an al-shakk fi'l-khutut al-mutawaziya (Discussion Which Removes Doubt about Parallel Lines), wrote detailed critiques of the Euclidean parallel postulate and on Omar Khayyám's attempted proof a century earlier. Nasir al-Din attempted to derive a proof by contradiction of the parallel postulate. He was one of the first to consider the cases of elliptical geometry and hyperbolic geometry, though he ruled out both of them.
His son, Sadr al-Din (sometimes known as "Pseudo-Tusi"), wrote a book on the subject in 1298, based on al-Tusi's later thoughts, which presented one of the earliest arguments for a non-Euclidean hypothesis equivalent to the parallel postulate. Sadr al-Din's work was published in Rome in 1594 and was studied by European geometers. This work marked the starting point for Giovanni Girolamo Saccheri's work on the subject, and eventually the development of modern non-Euclidean geometry. A proof from Sadr al-Din's work was quoted by John Wallis and Saccheri in the 17th and 18th centuries. They both derived their proofs of the parallel postulate from Sadr al-Din's work, while Saccheri also derived his Saccheri quadrilateral from Sadr al-Din, who himself based it on his father's work.
The theorems of Ibn al-Haytham (Alhazen), Omar Khayyam and Nasir al-Din al-Tusi on quadrilaterals, including the Lambert quadrilateral and Saccheri quadrilateral, were the first theorems on elliptical geometry and hyperbolic geometry, and along with their alternative postulates, such as Playfair's axiom, these works marked the beginning of non-Euclidean geometry and had a considerable influence on its development among later European geometers, including Witelo, Levi ben Gerson, Alfonso, John Wallis, and Giovanni Girolamo Saccheri.
The early Indian works on trigonometry were translated and expanded in the Muslim world by Arab and Persian mathematicians, who enunciated a large number of theorems which freed the subject of trigonometry from dependence upon the complete quadrilateral, as was the case in Hellenistic mathematics due to the application of Menelaus' theorem. According to E. S. Kennedy, it was after this development in Islamic mathematics that "the first real trigonometry emerged, in the sense that only then did the object of study become the spherical or plane triangle, its sides and angles." Another important development was the subject's separation from astronomy. All works on trigonometry up until the 12th century treated it mainly as an adjunct to astronomy; the first treatment of trigonometry as a subject in its own right was by Nasīr al-Dīn al-Tūsī in the 13th century.
In the early 9th century, Muhammad ibn Mūsā al-Khwārizmī (c. 780-850) produced tables for the trigonometric functions of sines and cosine, and the first tables for tangents. He was also a pioneer in spherical trigonometry. In 830, Habash al-Hasib al-Marwazi produced the first tables of cotangents as well as tangents. Muhammad ibn Jābir al-Harrānī al-Battānī (853-929) discovered the reciprocal functions of secant and cosecant, and produced the first table of cosecants, which he referred to as a "table of shadows" (in reference to the shadow of a gnomon), for each degree from 1° to 90°. By the 10th century, in the work of Abū al-Wafā' al-Būzjānī (959-998), Muslim mathematicians were using all six trigonometric functions, and had sine tables in 0.25° increments, to 8 decimal places of accuracy, as well as accurate tables of tangent values.
Accurate trigonometric tablesEdit
Jamshīd al-Kāshī (1393-1449) gives trigonometric tables of values of the sine function to four sexagesimal digits (equivalent to 8 decimal places) for each 1° of argument with differences to be added for each 1/60 of 1°. Al-Kashi, alongside his colleague Ulugh Beg (1394-1449), gave accurate tables of sines and tangents correct to 8 decimal places.
Taqi al-Din (1526-1585) contributed to trigonometry in his Sidrat al-Muntaha, in which he was the first mathematician to compute a highly accurate numeric value for sin 1°. He discusses the values given by his predecessors, explaining how Ptolemy (ca. 150) used an approximate method to obtain his value of sin 1° and how Abū al-Wafā, Ibn Yunus (ca. 1000), al-Kashi, Qāḍī Zāda al-Rūmī (1337-1412), Ulugh Beg and Mirim Chelebi improved on the value. Taqi al-Din then solves the problem to obtain the value of sin 1° to a precision of 8 sexagesimals (the equivalent of 14 decimals):
Laws and identitiesEdit
Muhammad ibn Jābir al-Harrānī al-Battānī (853-929) formulated and established a number of important trigonometrical relationships, such as:
In the late 10th and early 11th centuries, the Egyptian astronomer Ibn Yunus performed many careful trigonometric calculations and demonstrated the following formula:
Abu al-Wafa and Al-Biruni: Law of sines and trigonometric identitiesEdit
Abū al-Wafā' also developed the following trigonometric identity:
Abū al-Wafā also established the angle addition identities, e.g. sin (a + b).
In the early 11th century, Abu Rayhan al-Biruni was responsible for the earliest known practical application of the law of sines, which he applied to his measurement of the Earth radius. He also made use of algebra in his calculation.
Al-Jayyani and Nasir al-Din al-Tusi: Law of sines and law of tangentsEdit
In the 13th century, Nasīr al-Dīn al-Tūsī, in his On the Sector Figure, stated the law of sines for plane and spherical triangles, discovered the law of tangents for spherical triangles, and provided proofs for these laws.
Al-Kashi: Law of cosines and triple-angle formulaEdit
Jamshīd al-Kāshī (1393-1449) provided the first explicit statement of the law of cosines in a form suitable for triangulation. As such, the law of cosines is known the théorème d'Al-Kashi in France.
Hellenistic geometric methods dealing with spherical triangles were known, particularly the method of Egyptian mathematician Menelaus of Alexandria, who developed Menelaus' theorem to deal with spherical problems. However, E. S. Kennedy points out that while it was possible in pre-lslamic mathematics to compute the magnitudes of a spherical figure, in principle, by use of the table of chords and Menelaus' theorem, the application of the theorem to spherical problems was very difficult in practice. In order to observe holy days on the Islamic calendar in which timings were determined by phases of the moon, astronomers initially used Menelaus' method to calculate the place of the moon and stars, though this method proved to be clumsy and difficult. It involved setting up two intersecting right triangles; by applying Menelaus' theorem it was possible to solve one of the six sides, but only if the other five sides were known. To tell the time from the sun's altitude, for instance, repeated applications of Menelaus' theorem were required. For medieval Islamic astronomers, there was an obvious challenge to find a simpler trigonometric method.
In the early 9th century, Muhammad ibn Mūsā al-Khwārizmī was an early pioneer in spherical trigonometry and wrote a treatise on the subject. In the 10th century, Abū al-Wafā' al-Būzjānī discovered the law of sines for spherical trigonometry. In the 11th century, Al-Jayyani (989–1079) of Al-Andalus wrote The book of unknown arcs of a sphere, which is considered "the first treatise on spherical trigonometry" in its modern form. It "contains formulae for right-handed triangles, the general law of sines, and the solution of a spherical triangle by means of the polar triangle." This treatise later had a "strong influence on European mathematics", and his "definition of ratios as numbers" and "method of solving a spherical triangle when all sides are unknown" are likely to have influenced Regiomontanus. In the 13th century, Nasīr al-Dīn al-Tūsī developed spherical trigonometry into its present form, and listed the six distinct cases of a right-angled triangle in spherical trigonometry. In his On the Sector Figure, he also stated the law of sines for plane and spherical triangles, and discovered the law of tangents for spherical triangles.
Criticism of PtolemyEdit
[Ptolemy] states in the ninth chapter of the first book concerning the extraction of a chord of one degree that the chord of one [degree] is smaller than 1;2,5 0 and greater than 1;2,50, so that it is 1;2,50. Thus he makes the same line which is the chord of one degree, which is smaller than the same amount and greater than that same amount to be equal to that same amount. This is a contradictory statement. Besides, it is ugly, and jars the ears and no one is able to hear it...When [the sexagesimal places that follow 1;2,50] are explained, then the chord of one degree is not 1;2,50 but greater than that value... So long as he does not mention these small fractions, his statement on the chord of one degree being smaller than one amount precisely and greater than that same amount precisely is ugly and contradictory and nothing like it is permitted in the mathematics books.
In the 12th century, Al-Samawal al-Maghribi wrote Exposure of the Errors of the Astronomers, which criticizes earlier astronomers in terms of both astronomy and mathematical trigonometry. According to the mathematics historians Taro Mimura, Glen Van Brummelen and Yousuf Kerai:
By adopting a circle broken into 480 parts rather than the usual 360 degrees, al-Samaw’al found an ingenious solution to his complaint with his predecessors: he was able to compute an entire sine table using only purely geometric methods, without having to rely on the approximations that Ibn al-Haytham earlier had rejected.
The method of triangulation, which was unknown in the Greco-Roman world, was also first developed by Muslim mathematicians, who applied it to practical uses such as surveying and Islamic geography, as described by Abu Rayhan Biruni in the early 11th century. Biruni employed triangulation techniques to measure the size of the Earth and the distances between places (see Mathematical geography and geodesy section).
In the late 11th century, Omar Khayyám (1048-1131) solved cubic equations using approximate numerical solutions found by interpolation in trigonometric tables (trigonometric interpolation) (see Geometric algebra and Algebraic and analytic geometry sections). Jamshīd al-Kāshī (1393-1449) provided the first explicit statement of the law of cosines in a form suitable for triangulation.
Viete's method and Newton's methodEdit
In numerical analysis, the essence of Viète's method was known to Sharaf al-Dīn al-Tūsī in the 12th century, and it is highly likely that the algebraic tradition of Sharaf al-Dīn al-Tusi, as well as his predecessor Omar Khayyám and successor Jamshīd al-Kāshī, was known to 16th century European algebraists, of whom François Viète was the most important.
A method algebraically equivalent to Newton's method was also known to Sharaf al-Dīn al-Tūsī. In the 15th century, his successor Jamshīd al-Kāshī later used a form of Newton's method to numerically solve to find roots of . In western Europe, a similar method was later described by Henry Biggs in his Trigonometria Britannica, published in 1633.
In one of his numerical approximations of π, al-Kashi correctly computed 2π to 9 sexagesimal digits. This is eqvuialent to computing π to 16 decimal places, the most accurate value of π up until that time. He produced this result in 1424, using a polygon with 3×228 sides, which stood as the world record for about 180 years.
Around 1000 AD, Al-Karaji, using mathematical induction, found a proof for the sum of integral cubes. The historian of mathematics, F. Woepcke, praised Al-Karaji for being "the first who introduced the theory of algebraic calculus." Shortly afterwards, Ibn al-Haytham (known as Alhazen in the West), an Iraqi mathematician working in Egypt, was the first mathematician to derive the formula for the sum of the fourth powers, and using an early proof by mathematical induction, he developed a method for determining the general formula for the sum of any integral powers. He used his result on sums of integral powers to perform an integration, in order to find the volume of a paraboloid. He was thus able to find the integrals for polynomials up to the fourth degree, and came close to finding a general formula for the integrals of any polynomials. This was fundamental to the development of infinitesimal and integral calculus. His results were repeated by the Moroccan mathematicians Abu-l-Hasan ibn Haydur (d. 1413) and Abu Abdallah ibn Ghazi (1437-1514), by Jamshīd al-Kāshī (c. 1380-1429) in The Calculator's Key, and by the Indian mathematicians of the Kerala school of astronomy and mathematics in the 15th-16th centuries.
- for 
In the 12th century, the Persian mathematician Sharaf al-Dīn al-Tūsī was the first to discover the derivative of cubic polynomials, an important result in differential calculus. His Treatise on Equations developed concepts related to differential calculus, such as the derivative function and the maxima and minima of curves, in order to solve cubic equations which may not have positive solutions. For example, in order to solve the equation , al-Tusi finds the maximum point of the curve . He uses the derivative of the function to find that the maximum point occurs at , and then finds the maximum value for y at by substituting back into . He finds that the equation has a solution if , and al-Tusi thus deduces that the equation has a positive root if , where is the discriminant of the equation.
In addition to his analytical work in solving Alhazen's problem (see Alhazen's problem and Book of Optics articles), Ibn al-Haytham also demonstrated "a remarkable mathematical competence in mathematical subjects like the quadrature of the circle and of lunes, the calculation of the volumes of paraboloids, the problem of isoperimetric plane figures and solid figures with equal surface areas, along with the extraction of square and cubic roots." 
Geometric art and architectureEdit
Geometric artwork and ArabesqueEdit
- See also: Arabesque
Geometric artwork in the form of the Arabesque was not widely used in the Middle East or Mediterranean Basin until the golden age of Islam came into full bloom, when Arabesque became a common feature of Islamic art. Euclidean geometry as expounded on by Al-Abbās ibn Said al-Jawharī (ca. 800-860) in his Commentary on Euclid's Elements, the trigonometry of Aryabhata and Brahmagupta as elaborated on by Muhammad ibn Mūsā al-Khwārizmī (ca. 780-850), and the development of spherical geometry by Abū al-Wafā' al-Būzjānī (940–998) and spherical trigonometry by Al-Jayyani (989-1079) for determining the Qibla and times of Salah and Ramadan, all served as an impetus for the art form that was to become the Arabesque.
Girih tiles: quasicrystal patterns and fractal quasicrystalline tilingsEdit
- See also: Girih tiles
Recent discoveries have shown that geometrical quasicrystal patterns were first employed in the girih tiles found in medieval Islamic architecture dating back over five centuries ago. In 2007, Professor Peter Lu of Harvard University and Professor Paul Steinhardt of Princeton University published a paper in the journal Science suggesting that girih tilings possessed properties consistent with self-similar fractal quasicrystalline tilings such as the Penrose tilings, predating them by five centuries.
Templates found on scrolls such as the 97 foot (29.5 metres) long Topkapi Scroll may have been consulted. Found in the Topkapi Palace in Istanbul, the administrative center of the Ottoman Empire and believed to date from the late 15th century, the scroll shows a succession of two- and three- dimensional geometric patterns. There is no text, but there is a grid pattern and color-coding used to highlight symmetries and distinguish three-dimensional projections. Drawings such as shown on this scroll would have served as pattern-books for the artisans who fabricated the tiles, and the shapes of the girih tiles dictated how they could be combined into large patterns. In this way, craftsmen could make highly complex designs without resorting to mathematics and without necessarily understanding their underlying principles.
An impetus behind mathematical astronomy came from Islamic religious observances, which presented a host of problems in mathematical astronomy, particularly in spherical geometry. In solving these religious problems the Islamic scholars went far beyond the Hellenistic mathematical methods. For example, predicting just when the crescent moon would become visible is a special challenge to Islamic mathematical astronomers. Although Ptolemy's theory of the complex lunar motion was tolerably accurate near the time of the new moon, it specified the moon's path only with respect to the ecliptic. To predict the first visibility of the moon, it was necessary to describe its motion with respect to the horizon, and this problem demands fairly sophisticated spherical geometry. Finding the direction of Mecca and the time of Salah are the reasons which led to Muslims developing spherical geometry. Solving any of these problems involves finding the unknown sides or angles of a triangle on the celestial sphere from the known sides and angles. A way of finding the time of day, for example, is to construct a triangle whose vertices are the zenith, the north celestial pole, and the sun's position. The observer must know the altitude of the sun and that of the pole; the former can be observed, and the latter is equal to the observer's latitude. The time is then given by the angle at the intersection of the meridian (the arc through the zenith and the pole) and the sun's hour circle (the arc through the sun and the pole).
The astrolabe is a mathematical tool that could be used to solve all the standard problems of spherical astronomy in five different ways.
Zij astronomical tablesEdit
The Zij treatises were astronomical books that tabulated the parameters used for astronomical calculations of the positions of the Sun, Moon, stars, and planets. Their principal contributions to mathematical astronomy reflected improved trigonometrical, computational and observational techniques.
The Zij books were extensive, and typically included materials on chronology, geographical latitudes and longitudes, star tables, trigonometrical functions, functions in spherical astronomy, the equation of time, planetary motions, computation of eclipses, tables for first visibility of the lunar crescent, astronomical and/or astrological computations, and instructions for astronomical calculations using epicyclic geocentric models. Some zījes go beyond this traditional content to explain or prove the theory or report the observations from which the tables were computed.
In observational astronomy, Muhammad ibn Mūsā al-Khwārizmī's Zij al-Sindh (830) contains trigonometric tables for the movements of the sun, the moon and the five planets known at the time. Al-Farghani's A compendium of the science of stars (850) corrected Ptolemy's Almagest and gave revised values for the obliquity of the ecliptic, the precessional movement of the apogees of the sun and the moon, and the circumference of the earth. Muhammad ibn Jābir al-Harrānī al-Battānī (853-929) discovered that the direction of the Sun's eccentric was changing, and studied the times of the new moon, lengths for the solar year and sidereal year, prediction of eclipses, and the phenomenon of parallax. Around the same time, Yahya Ibn Abi Mansour wrote the Al-Zij al-Mumtahan, in which he completely revised the Almagest values. In the 10th century, Abd al-Rahman al-Sufi (Azophi) carried out observations on the stars and described their positions, magnitudes, brightness, and colour and drawings for each constellation in his Book of Fixed Stars (964). Ibn Yunus observed more than 10,000 entries for the sun's position for many years using a large astrolabe with a diameter of nearly 1.4 meters. His observations on eclipses were still used centuries later in Simon Newcomb's investigations on the motion of the moon, while his other observations inspired Laplace's Obliquity of the Ecliptic and Inequalities of Jupiter and Saturn's.
In the late 10th century, Abu-Mahmud al-Khujandi accurately computed the axial tilt to be 23°32'19" (23.53°), which was a significant improvement over the Hellenistic and Indian estimates of 23°51'20" (23.86°) and 24°, and still very close to the modern measurement of 23°26' (23.44°). In 1006, the Egyptian astronomer Ali ibn Ridwan observed SN 1006, the brightest supernova in recorded history, and left a detailed description of the temporary star. He says that the object was two to three times as large as the disc of Venus and about one-quarter the brightness of the Moon, and that the star was low on the southern horizon. In 1031, al-Biruni's Canon Mas’udicus introduced the mathematical technique of analysing the acceleration of the planets, and first states that the motions of the solar apogee and the precession are not identical. Al-Biruni also discovered that the distance between the Earth and the Sun is larger than Ptolemy's estimate, on the basis that Ptolemy disregarded annular eclipses.
During the "Maragha Revolution" of the 13th and 14th centuries, Muslim astronomers realized that astronomy should aim to describe the behavior of physical bodies in mathematical language, and should not remain a mathematical hypothesis, which would only save the phenomena. The Maragha astronomers also realized that the Aristotelian view of motion in the universe being only circular or linear was not true, as the Tusi-couple showed that linear motion could also be produced by applying circular motions only.
Unlike the ancient Hellenistic and Egyptian astronomers who were not concerned with the coherence between the mathematical and physical principles of a planetary theory, Islamic astronomers insisted on the need to match the mathematics with the real world surrounding them, which gradually evolved from a reality based on Aristotelian physics to one based on an empirical and mathematical physics after the work of Ibn al-Shatir. The Maragha Revolution was thus characterized by a shift away from the philosophical foundations of Aristotelian cosmology and Ptolemaic astronomy and towards a greater emphasis on the empirical observation and mathematization of astronomy and of nature in general, as exemplified in the works of Ibn al-Shatir, Ali Qushji, al-Birjandi and al-Khafri. In particular, Ibn al-Shatir's geocentric model was mathematically identical to the later heliocentric Copernical model.
Mathematical geography and geodesyEdit
The Muslim scholars, who unanimously held to the spherical Earth theory, used it in an impeccably Islamic manner, to calculate the distance and direction from any given point on the Earth to Mecca. This determined the Qibla, or Muslim direction of prayer. Muslim mathematicians developed spherical trigonometry which was used in these calculations.
Caliph al-Ma'mun and Al-Farghani: Earth's circumferenceEdit
Around 830, Caliph al-Ma'mun commissioned a group of astronomers to measure the distance from Tadmur (Palmyra) to al-Raqqah, in modern Syria. They found the cities to be separated by one degree of latitude and the distance between them to be 66 2/3 miles and thus calculated the Earth's circumference to be 24,000 miles.
Another estimate given by Al-Farghānī was 56 2/3 Arabic miles per degree, which corresponds to 111.8 km per degree and a circumference of 40,248 km, very close to the currently modern values of 111.3 km per degree and 40,068 km circumference, respectively.
Al-Biruni: Mathematical geography and geodesyEdit
In mathematical geography, Abū Rayhān al-Bīrūnī, around 1025, was the first to describe a polar equi-azimuthal equidistant projection of the celestial sphere. He was also regarded as the most skilled when it came to mapping cities and measuring the distances between them, which he did for many cities in the Middle East and western Indian subcontinent. He often combined astronomical readings and mathematical equations, in order to develop methods of pin-pointing locations by recording degrees of latitude and longitude. He also developed similar techniques when it came to measuring the heights of mountains, depths of valleys, and expanse of the horizon, in The Chronology of the Ancient Nations. He also discussed human geography and the planetary habitability of the Earth. He hypothesized that roughly a quarter of the Earth's surface is habitable by humans, and also argued that the shores of Asia and Europe were "separated by a vast sea, too dark and dense to navigate and too risky to try" in reference to the Atlantic Ocean and Pacific Ocean.
Abū Rayhān al-Bīrūnī is considered the father of geodesy for his important contributions to the field, along with his significant contributions to geography and geology. At the age of 17, al-Biruni calculated the latitude of Kath, Khwarazm, using the maximum altitude of the Sun. Al-Biruni also solved a complex geodesic equation in order to accurately compute the Earth's circumference, which were close to modern values of the Earth's circumference. His estimate of 6,339.9 km for the Earth radius was only 16.8 km less than the modern value of 6,356.7 km. In contrast to his predecessors who measured the Earth's circumference by sighting the Sun simultaneously from two different locations, al-Biruni developed a new method of using trigonometric calculations based on the angle between a plain and mountain top which yielded more accurate measurements of the Earth's circumference and made it possible for it to be measured by a single person from a single location.
Ibn al-Haytham: Mathematical physics and Alhazen's problemEdit
Ibn al-Haytham's work on geometric optics, particularly catoptrics, in "Book V" of the Book of Optics (1021) contains the important mathematical problem known as "Alhazen's problem" (Alhazen is the Latinized name of Ibn al-Haytham). It comprises drawing lines from two points in the plane of a circle meeting at a point on the circumference and making equal angles with the normal at that point. This leads to an equation of the fourth degree. This eventually led Ibn al-Haytham to derive the earliest formula for the sum of the fourth powers, and using an early proof by mathematical induction, he developed a method for determining the general formula for the sum of any integral powers, which was fundamental to the development of infinitesimal and integral calculus. Ibn al-Haytham eventually solved "Alhazen's problem" using conic sections and a geometric proof, but Alhazen's problem remained influential in Europe, when later mathematicians such as Christiaan Huygens, James Gregory, Guillaume de l'Hôpital, Isaac Barrow, and many others, attempted to find an algebraic solution to the problem, using various methods, including analytic methods of geometry and derivation by complex numbers. Mathematicians were not able to find an algebraic solution to the problem until the end of the 20th century.
Ibn al-Haytham also produced tables of corresponding angles of incidence and refraction of light passing from one medium to another show how closely he had approached discovering the law of constancy of ratio of sines, later attributed to Snell. He also correctly accounted for twilight being due to atmospheric refraction, estimating the Sun's depression to be 19 degrees below the horizon during the commencement of the phenomenon in the mornings or at its termination in the evenings.
Ibn al-Haytham systematically endeavoured to mathematize physics in the context of his experimental research and controlled testing, which was oriented by geometric models of the structural mathematical principles that governed physical phenomena, particularly in relation to the explication of the behaviour and nature of vision and light. Ibn al-Haytham also advanced in his Discourse on Place (Qawl fi al-makan) a geometrical understanding of place as mathematical space that is akin to the 17th century conceptions of extensio by Descartes and analysis situs by Leibniz. Ibn al-Haytham established his geometrical thesis about place as space in the context of his mathematical refutation of the Aristotelian physical definition of topos as a boundary surface of a containing body (as argued in Book delta [IV] of Aristotle's Physics).
Al-Biruni and Al-Khazini: Mathematical mechanicsEdit
Abū Rayhān al-Bīrūnī (973-1048), and later Al-Khazini (fl. 1115-1130), were the first to apply experimental scientific methods to the statics and dynamics fields of mechanics, particularly for determining specific weights, such as those based on the theory of balances and weighing. Muslim physicists applied the mathematical theories of ratios and infinitesimal techniques, and introduced algebraic and fine calculation techniques into the field of statics.
Al-Biruni's methods resembled the modern scientific method, particularly in his emphasis on repeated experimentation. Biruni was concerned with how to conceptualize and prevent both systematic errors and observational biases, such as "errors caused by the use of small instruments and errors made by human observers." He argued that if instruments produce errors because of their imperfections or idiosyncratic qualities, then multiple observations must be taken, analyzed qualitatively, and on this basis, arrive at a "common-sense single value for the constant sought", whether an arithmetic mean or a "reliable estimate."
Ibn Ma'udh and Taqi al-Din: Mathematical opticsEdit
- See also: Taqi al-Din Muhammad ibn Ma'ruf
Abu 'Abd Allah Muhammad ibn Ma'udh, who lived in Al-Andalus during the second half of the 11th century, wrote a work on optics later translated into Latin as Liber de crepisculis, which was mistakenly attributed to Alhazen. This was a "short work containing an estimation of the angle of depression of the sun at the beginning of the morning twilight and at the end of the evening twilight, and an attempt to calculate on the basis of this and other data the height of the atmospheric moisture responsible for the refraction of the sun's rays." Through his experiments, he obtained the accurate value of 18°, which comes close to the modern value.
In 1574, Taqi al-Din estimated that the stars are millions of kilometres away from the Earth and that the speed of light is constant, that if light had come from the eye, it would take too long for light "to travel to the star and come back to the eye. But this is not the case, since we see the star as soon as we open our eyes. Therefore the light must emerge from the object not from the eyes."
Cryptography and probability & statisticsEdit
Cryptanalysis, frequency analysis, ciphers, probability & statisticsEdit
In the 9th century, al-Kindi was a pioneer in cryptanalysis and cryptology. He gave the first known recorded explanation of cryptanalysis in A Manuscript on Deciphering Cryptographic Messages. In particular, he is credited with developing the frequency analysis method whereby variations in the frequency of the occurrence of letters could be analyzed and exploited to break ciphers (i.e. crypanalysis by frequency analysis). This was detailed in a text recently rediscovered in the Ottoman archives in Istanbul, A Manuscript on Deciphering Cryptographic Messages, which also covers methods of cryptanalysis, encipherments, cryptanalysis of certain encipherments, and statistical analysis of letters and letter combinations in Arabic.
Al-Kindi also had knowledge of polyalphabetic ciphers centuries before Leon Battista Alberti. Al-Kindi's book also introduced the classification of ciphers, developed Arabic phonetics and syntax, and described the use of several statistical techniques for cryptoanalysis. This book apparently antedates other cryptology references by several centuries, and it also predates writings on probability and statistics by Pascal and Fermat by nearly eight centuries.
Al-Kindi was the first to use statistics to decipher encrypted messages and developed the first code-breaking algorithm in the House of Wisdom in Baghdad, based on frequency analysis. His book Manuscript on Deciphering Cryptographic Messages contains detailed discussions on statistics.
Arithmetic mean and estimatesEdit
In the early 11th century, Al-Biruni's methods resembled the modern scientific method, particularly in his emphasis on repeated experimentation. Biruni was concerned with how to conceptualize and prevent both systematic errors and observational biases, such as "errors caused by the use of small instruments and errors made by human observers." He argued that if instruments produce errors because of their imperfections or idiosyncratic qualities, then multiple observations must be taken, analyzed qualitatively, and on this basis, arrive at a "common-sense single value for the constant sought", whether an arithmetic mean or a "reliable estimate."
Substitution, transposition, plaintext, letter frequenciesEdit
Ahmad al-Qalqashandi (1355-1418) wrote the Subh al-a 'sha, a 14-volume encyclopedia which included a section on cryptology. This information was attributed to Taj ad-Din Ali ibn ad-Duraihim ben Muhammad ath-Tha 'alibi al-Mausili, who lived from 1312 to 1361, but whose writings on cryptology have been lost. The list of ciphers in this work included both substitution and transposition, and for the first time, a cipher with multiple substitutions for each plaintext letter. Also traced to Ibn al-Duraihim is an exposition on and worked example of cryptanalysis, including the use of tables of letter frequencies and sets of letters which cannot occur together in one word.
Proof by inductionEdit
Arithmetic sequences, binomial theorem, Pascal's triangle, sum formulaEdit
Another important idea introduced by al-Karaji and continued by al-Samaw'al and others was that of an inductive argument for dealing with certain arithmetic sequences. Thus al-Karaji used such an argument to prove the result on the sums of integral cubes already known to Aryabhata [...] Al-Karaji did not, however, state a general result for arbitrary n. He stated his theorem for the particular integer 10 [...] His proof, nevertheless, was clearly designed to be extendable to any other integer. [...] Al-Karaji's argument includes in essence the two basic components of a modern argument by induction, namely the truth of the statement for n = 1 (1 = 13) and the deriving of the truth for n = k from that of n = k - 1. Of course, this second component is not explicit since, in some sense, al-Karaji's argument is in reverse; this is, he starts from n = 10 and goes down to 1 rather than proceeding upward. Nevertheless, his argument in al-Fakhri is the earliest extant proof of the sum formula for integral cubes.
The first known proof by mathematical induction was introduced in the al-Fakhri written by Al-Karaji around 1000 AD, who used it to prove arithmetic sequences such as the binomial theorem, Pascal's triangle, and the sum formula for integral cubes. His proof was the first to make use of the two basic components of an inductive proof, "namely the truth of the statement for n = 1 (1 = 13) and the deriving of the truth for n = k from that of n = k - 1."
Integral calculus and general binomial theoremEdit
Shortly afterwards, Ibn al-Haytham (Alhazen, 965-1039) used the inductive method to prove the sum of fourth powers, and by extension, the sum of any integral powers, which was an important result in integral calculus. He only stated it for particular integers, but his proof for those integers was by induction and generalizable.
Ibn Yahyā al-Maghribī al-Samaw'al (c. 1130-1180) came closest to a modern proof by mathematical induction in pre-modern times, which he used to extend the proof of the binomial theorem and Pascal's triangle previously given by Al-Karaji. Al-Samaw'al's inductive argument was only a short step from the full inductive proof of the general binomial theorem.
- List of Muslim mathematicians
- Latin translations of the 12th century
- Logic in Islamic philosophy
- Inventions in the Muslim world
- Islamic Golden Age
- Islamic science
- ↑ O'Connor 1999
- ↑ 2.0 2.1 Hogendijk 1999
- ↑ Joseph A. Schumpeter, Historian of Economics: Selected Papers from the History of Economics Society Conference, 1994, y Laurence S. Moss, Joseph Alois Schumpeter, History of Economics Society. Conference, Published by Routledge, 1996, ISBN 041513353X, p.64. Excerpt: A great portion (and most of the best) of medieval Muslim philosophers, physicians, ethicists, scientists, Islamic jurists, historians, and geographers were Persian-speaking Iranians
- ↑ 4.0 4.1 Ibn Khaldun, Franz Rosenthal, N. J. Dawood (1967), The Muqaddimah: An Introduction to History, p. x, Princeton University Press, ISBN 0691017549. page 430: "Only the Persians engaged in the task of preserving knowledge and writing systematic scholarly works. Thus, the truth of the following statement by the Prophet becomes apparent:"If scholarship hung suspended in the highest parts of heaven, the Persians would attain it. [...] This situation continued in the cities as long as the Persians and the Persian countries, the 'Iraq, Khurasan, and Transoxania, retained their sedentary culture. But when those cities fell into ruins, sedentary culture, which God has devised for the attainment of sciences and crafts, disappeared from them. Along with it, scholarship altogether disappeared from among the non-Arabs (Persians), who were (now) engulfed by the desert attitude. Scholarship was restricted to cities with an abundant sedentary culture. Today, no (city) has a more abundant sedentary culture than Cairo (Egypt). It is the mother of the world, the great center (Iwan) of Islam, and the mainspring of the sciences and the crafts. Some sedentary culture has also survived in Transoxania, because the dynasty there provides some sedentary culture. Therefore, they have there a certain number of the sciences and the crafts, which cannot be denied. Our attention was called to this fact by the contents of the writings of a (Transoxanian) scholar, which have reached us in this country. He is Sa'd-ad-din at-Taftazani. As far as the other non-Arabs (Persians) are concerned, we have not seen, since the imam Ibn al-Khatib and Nasir-ad-din at-Tusi, any discussions that could be referred to as indicating their ultimate excellence."
- ↑ Bernard Lewis in What Went Wrong? Western Impact and Middle Eastern Response
- ↑ 6.0 6.1 6.2 Boyer (1991). "The Arabic Hegemony", , 227. “The first century of the Muslim empire had been devoid of scientific achievement. This period (from about 650 to 750) had been, in fact, perhaps the nadir in the development of mathematics, for the Arabs had not yet achieved intellectual drive, and concern for learning in other parts of the world had faded. Had it not been for the sudden cultural awakening in Islam during the second half of the eighth century, considerably more of ancient science and mathematics would have been lost. [...] It was during the caliphate of al-Mamun (809-833), however, that the Arabs fully indulged their passion for translation. The caliph is said to have had a dream in which Aristotle appeared, and in the new world peolpe nee fjjdhew r as a consequence al-Mamun determined to have Arabic versions made of all the Hellenistic works that he could lay his hands on, including Ptolemy's Almagest and a complete version of Euclid's Elements. From the Byzantine Empire, with which the Arabs maintained an uneasy peace, Hellenistic manuscripts were obtained through peace treaties. Al-Mamun established at Baghdad a "House of Wisdom" (Bait al-hikma) comparable to the ancient Museum at Alexandria. Among the faculty members was a mathematician and astronomer, Mohammed ibn-Musa al-Khwarizmi, whose name, like that of Euclid, later was to become a household word in Western Europe. The scholar, who died sometime before 850, wrote more than half a dozen astronomical and mathematical works, of which the earliest were probably based on the Sindhad derived from India.”
- ↑ 7.0 7.1 Boyer (1991). "The Arabic Hegemony", , 234. “but al-Khwarizmi's work had a serious deficiency that had to be removed before it could serve its purpose effectively in the modern world: a symbolic notation had to be developed to replace the rhetorical form. This step the Arabs never took, except for the replacement of number words by number signs. [...] Thabit was the founder of a school of translators, especially from Greek and Syriac, and to him we owe an immense debt for translations into Arabic of works by Euclid, Archimedes, Apollonius, Ptolemy, and Eutocius.”
- ↑ 8.0 8.1 Berggren, J. Lennart (2007). "Mathematics in Medieval Islam", The Mathematics of Egypt, Mesopotamia, China, India, and Islam: A Sourcebook. Princeton University Press, 516. ISBN 9780691114859. “The mathematics, to speak only of the subject of interest here, came principally from three traditions. The first was Hellenistic mathematics, from the great geometrical classics of Euclid, Apollonius, and Archimedes, through the numerical solutions of indeterminate problems in Diophantus's Arithmatica, to the practical manuals of Heron. But, as Bishop Severus Sebokht pointed out in the mid-seventh century, "there are also others who know something." Sebokht was referring to the Hindus, with their in genius arithmetic system based on only nine signs and a dot for an empty place. But they also contributed algebraic methods, a nascent trigonometry, and methods from solid geometry to solve problems in astronomy. The third tradition was what one may call the mathematics of practitioners. Their numbers included surveyors, builders, artisans, in geometric design, tax and treasury officials, and some merchants. Part of an oral tradition, this mathematics transcended ethnic divisions and was common heritage of many of the lands incorporated into the Islamic world.”
- ↑ Boyer (1991). "The Arabic Hegemony", , 226. “By 766 we learn that an astronomical-mathematical work, known to the Arabs as the Sindhind, was brought to Baghdad from India. It is generally thought that this was the Brahmasphuta Siddhanta, although it may have been the Surya Siddhanata. A few years later, perhaps about 775, this Siddhanata was translated into Arabic, and it was not long afterwards (ca. 780) that Ptolemy's astrological Tetrabiblos was translated into Arabic from the Greek.”
- ↑ 10.0 10.1 Plofker, Kim (2007). , 434. “The early translations from Sanskrit inspired several other astronomical/astrological works in Arabic; some even imitated the Sanskrit practice of composing technical treatises in verse. Unfortunately, the earliest texts in this genre have now mostly been lost, and are known only from scattered fragments and allusions in later works. They reveal that the emergent Arabic astronomy adopted many Indian parameters, cosmological models, and computational techniques, including the use of sines.
These Indian influences were soon overwhelmed - although it is not completely clear why - by those of the Greek mathematical and astronomical texts that were translated into Arabic under the Abbasid caliphs. Perhaps the greater availability of Greek works in the region, and of practitioners who understood them, favored the adoption of the Greek tradition. Perhaps its prosaic and deductive expositions seemed easier for foreign readers to grasp than elliptic Sanskrit verse. Whatever the reasons, Sanskrit inspired astronomy was soon mostly eclipsed by or merged with the "Graeco-Islamic" science founded on Hellenistic treatises.”
- ↑ (Boyer 1991, "China and India" p. 211)
- ↑ Haq, Syed Nomanul, The Indian and Persian background, pp. 60–3, in Seyyed Hossein Nasr, Oliver Leaman (1996), History of Islamic Philosophy, Routledge, pp. 52–70, ISBN 0415131596
- ↑ 13.00 13.01 13.02 13.03 13.04 13.05 13.06 13.07 13.08 13.09 13.10 13.11 Gingerich, Owen (April 1986), "Islamic astronomy", Scientific American 254 (10): 74, http://faculty.kfupm.edu.sa/PHYS/alshukri/PHYS215/Islamic_astronomy.htm, retrieved 2008-05-18
- ↑ 14.0 14.1 Gandz, Solomon (1938), "The Algebra of Inheritance: A Rehabilitation of Al-Khuwarizmi", Osiris (University of Chicago Press) 5: 319–91, Error: Bad DOI specified
- ↑ 15.00 15.01 15.02 15.03 15.04 15.05 15.06 15.07 15.08 15.09 15.10 15.11 Prof. Ahmed Djebbar (June 2008). "Mathematics in the Medieval Maghrib: General Survey on Mathematical Activities in North Africa". FSTC Limited. Retrieved on 2008-07-19.
- ↑ 16.0 16.1 16.2 16.3 O'Connor, John J.; Robertson, Edmund F., "Abu'l Hasan ibn Ali al Qalasadi", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Al-Qalasadi.html.
- ↑ Qur'an 2:189
- ↑ Syed Mohammad Hussain Tabatabai, "Volume 3: Surah Baqarah, Verse 189", Tafsir al-Mizan, http://www.almizan.org/Tafseer/Volume3/Baqarah47.asp, retrieved 2008-01-24
- ↑ Khalid Shaukat (September 23, 1997). "The Science of Moon Sighting". Retrieved on 2008-01-24.
- ↑ 20.0 20.1 20.2 20.3 Syed Mohammad Hussain Tabatabai, Volume 2: Surah Baqarah, Verses 142-151, , Tafsir al-Mizan, http://www.almizan.org/Tafseer/Volume2/Baqarah32.asp, retrieved 2008-01-24
- ↑ Qur'an 2:144
- ↑ Qur'an 2:150
- ↑ Samuel Parsons Scott (1904). "xxix: Moorish art in southern Europe", History of the Moorish Empire in Europe, 1 3, Philadelphia & London: J.B. Lippincott Company, 447. ISBN 978-1402144851 (published in 2004). OCLC 3522061. Retrieved on 2010-01-15.
- ↑ 24.0 24.1 24.2 Behnaz Savizi (2007), "Applicable Problems in History of Mathematics: Practical Examples for the Classroom", Teaching Mathematics And Its Applications (Oxford University Press) 26 (1): 45-50, Error: Bad DOI specified (cf. Behnaz Savizi. "Applicable Problems in History of Mathematics; Practical Examples for the Classroom". University of Exeter. Retrieved on 2010-02-21.)
- ↑ 25.0 25.1 Beatrice Lumpkin (1997), Geometry Activities from Many Cultures, Walch Publishing, pp. 60 & 112-3, ISBN 0825132851 
- ↑ Salim Ayduz, Significant Ottoman Mathematicians and their Works, Muslim Heritage
- ↑ Ilay Ileri, Ali Al-Qushji and His Contributions to Mathematics and Astronomy, Muslim Heritage
- ↑ Ihsan Fazlioglu, Taqi al-Din Ibn Ma’ruf: Survey on his Works and Scientific Method, Muslim Heritage
- ↑ 29.0 29.1 29.2 (Boyer 1991, "The Arabic Hegemony" p. 229) "It is not certain just what the terms al-jabr and muqabalah mean, but the usual interpretation is similar to that implied in the translation above. The word al-jabr presumably meant something like "restoration" or "completion" and seems to refer to the transposition of subtracted terms to the other side of an equation; the word muqabalah is said to refer to "reduction" or "balancing" - that is, the cancellation of like terms on opposite sides of the equation."
- ↑ Boyer, Carl B. (1991). "The Arabic Hegemony", A History of Mathematics, Second Edition, John Wiley & Sons, Inc., 230. ISBN 0471543977.
"Al-Khwarizmi continued: "We have said enough so far as numbers are concerned, about the six types of equations. Now, however, it is necessary that we should demonsrate geometrically the truth of the same problems which we have explained in numbers." The ring of this passage is obviously Greek rather than Babylonian or Indian. There are, therefore, three main schools of thought on the origin of Arabic algebra: one emphasizes Hindu influence, another stresses the Mesopotamian, or Syriac-Persian, tradition, and the third points to Greek inspiration. The truth is probably approached if we combine the three theories."
- ↑ Victor J. Katz, Bill Barton (October 2007), "Stages in the History of Algebra with Implications for Teaching", Educational Studies in Mathematics (Springer Netherlands) 66 (2): 185–201, Error: Bad DOI specified
- ↑ Boyer, Carl B. (1991). "The Arabic Hegemony", A History of Mathematics, Second Edition, John Wiley & Sons, Inc., 228–229. ISBN 0471543977.
"the author's preface in Arabic gave fulsome praise to Mohammed, the prophet, and to al-Mamun, "the Commander of the Faithful"."
- ↑ Boyer, Carl B. (1991). "The Arabic Hegemony", A History of Mathematics, Second Edition, John Wiley & Sons, Inc., 228. ISBN 0471543977.
"The Arabs in general loved a good clear argument from premise to conclusion, as well as systematic organization - respects in which neither Diophantus nor the Hindus excelled."
- ↑ Boyer, Carl B. (1991). "The Arabic Hegemony", A History of Mathematics, Second Edition, John Wiley & Sons, Inc., 229. ISBN 0471543977. “in six short chapters, of the six types of equations made up from the three kinds of quantities: roots, squares, and numbers (that is x, x2, and numbers). Chapter I, in three short paragraphs, covers the case of squares equal to roots, expressed in modern notation as x2 = 5x, x2/3 = 4x, and 5x2 = 10x, giving the answers x = 5, x = 12, and x = 2 respectively. (The root x = 0 was not recognized.) Chapter II covers the case of squares equal to numbers, and Chapter III solves the cases of roots equal to numbers, again with three illustrations per chapter to cover the cases in which the coefficient of the variable term is equal to, more than, or less than one. Chapters IV, V, and VI are mor interesting, for they cover in turn the three classical cases of three-term quadratic equations: (1) squares and roots equal to numbers, (2) squares and numbers equal to roots, and (3) roots and numbers equal to squares.”
- ↑ 35.0 35.1 (Boyer 1991, "Europe in the Middle Ages" p. 258) "In the arithmetical theorems in Euclid's Elements VII–IX, numbers had been represented by line segments to which letters had been had been attached, and the geometric proofs in al-Khwarizmi's Algebra made use of lettered diagrams; but all coefficients in the equations used in the Algebra are specific numbers, whether represented by numerals or written out in words. The idea of generality is implied in al-Khwarizmi's exposition, but he had no scheme for expressing algebraically the general propositions that are so readily available in geometry."
- ↑ (Boyer 1991, "The Heroic Age" pp. 77–78) "Whether deduction came into mathematics in the sixth century BCE or the fourth and whether incommensurability was discovered before or after 400 BCE, there can be no doubt that Greek mathematics had undergone drastic changes by the time of Plato. [...] A "geometric algebra" had to take the place of the older "arithmetic algebra," and in this new algebra there could be no adding of lines to areas or of areas to volumes. From now on there had to be strict homogeneity of terms in equations, and the Mesopotamian normal form, xy = A, x ± y = b, were to be interpreted geometrically. [...] In this way the Greeks built up the solution of quadratic equations by their process known as "the application of areas," a portion of geometric algebra that is fully covered by Euclid's Elements. [...] The linear equation ax = bc, for example, was looked upon as an equality of the areas ax and bc, rather than as a proportion—an equality between the two ratios a:b and c:x. Consequently, in constructing the fourth proportion x in this case, it was usual to construct a rectangle OCDB with the sides b = OB and c = OC (Fig 5.9) and then along OC to lay off OA = a. One completes the rectangle OCDB and draws the diagonal OE cutting CD in P. It is now clear that CP is the desired line x, for rectangle OARS is equal in area to rectangle OCDB"
- ↑ (Boyer 1991, "The Arabic Hegemony" p. 230) "Al-Khwarizmi here calls attention to the fact that what we designate as the discriminant must be positive: "You ought to understand also that when you take the half of the roots in this form of equation and then multiply the half by itself; if that which proceeds or results from the multiplication is less than the units above mentioned as accompanying the square, you have an equation." [...] Once more the steps in completing the square are meticulously indicated, without justification,"
- ↑ 38.0 38.1 38.2 (Boyer 1991, "The Arabic Hegemony" p. 228) "Diophantus sometimes is called "the father of algebra," but this title more appropriately belongs to al-Khwarizmi. It is true that in two respects the work of al-Khwarizmi represented a retrogression from that of Diophantus. First, it is on a far more elementary level than that found in the Diophantine problems and, second, the algebra of al-Khwarizmi is thoroughly rhetorical, with none of the syncopation found in the Greek Arithmetica or in Brahmagupta's work. Even numbers were written out in words rather than symbols! It is quite unlikely that al-Khwarizmi knew of the work of Diophantus, but he must have been familiar with at least the astronomical and computational portions of Brahmagupta; yet neither al-Khwarizmi nor other Arabic scholars made use of syncopation or of negative numbers."
- ↑ (Derbyshire 2006, "The Father of Algebra" p. 31) "Diophantus, the father of algebra, in whose honor I have named this chapter, lived in Alexandria, in Roman Egypt, in either the 1st, the 2nd, or the 3rd century CE."
- ↑ Harald Kittel, Übersetzung: ein internationales Handbuch zur Übersetzungsforschung, Volume 2 p. 1123, 1124
- ↑ (Boyer 1991, "The Arabic Hegemony" p. 230) "The six cases of equations given above exhaust all possibilities for linear and quadratic equations having positive root. So systematic and exhaustive was al-Khwarizmi's exposition that his readers must have had little difficulty in mastering the solutions."
- ↑ Gandz and Saloman (1936), The sources of al-Khwarizmi's algebra, Osiris i, p. 263–277: "In a sense, Khwarizmi is more entitled to be called "the father of algebra" than Diophantus because Khwarizmi is the first to teach algebra in an elementary form and for its own sake, Diophantus is primarily concerned with the theory of numbers".
- ↑ Rashed, R.; Armstrong, Angela (1994), The Development of Arabic Mathematics, Springer, pp. 11–2, ISBN 0792325656, OCLC 29181926
- ↑ 44.0 44.1 44.2 Boyer, Carl B. (1991). "The Arabic Hegemony", A History of Mathematics, Second Edition, John Wiley & Sons, Inc., 234. ISBN 0471543977. “The Algebra of al-Khwarizmi usually is regarded as the first work on the subject, but a recent publication in Turkey raises some questions about this. A manuscript of a work by 'Abd-al-Hamid ibn-Turk, entitled "Logical Necessities in Mixed Equations," was part of a book on Al-jabr wa'l muqabalah which was evidently very much the same as that by al-Khwarizmi and was published at about the same time - possibly even earlier. The surviving chapters on "Logical Necessities" give precisely the same type of geometric demonstration as al-Khwarizmi's Algebra and in one case the same illustrative example x2 + 21 = 10x. In one respect 'Abd-al-Hamad's exposition is more thorough than that of al-Khwarizmi for he gives geometric figures to prove that if the discriminant is negative, a quadratic equation has no solution. Similarities in the works of the two men and the systematic organization found in them seem to indicate that algebra in their day was not so recent a development as has usually been assumed. When textbooks with a conventional and well-ordered exposition appear simultaneously, a subject is likely to be considerably beyond the formative stage. ... Note the omission of Diophantus and Pappus, authors who evidently were not at first known in Arabia, although the Diophantine Arithmetica became familiar before the end of the tenth century.”
- ↑ 45.0 45.1 45.2 O'Connor, John J.; Robertson, Edmund F., "Arabic mathematics: forgotten brilliance?", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/HistTopics/Arabic_mathematics.html.
- ↑ 46.0 46.1 Jacques Sesiano, "Islamic mathematics", p. 148, in Selin, Helaine; D'Ambrosio, Ubiratan (2000), Mathematics Across Cultures: The History of Non-western Mathematics, Springer, ISBN 1402002602
- ↑ 47.0 47.1 47.2 47.3 47.4 Berggren, J. Lennart (2007). "Mathematics in Medieval Islam", The Mathematics of Egypt, Mesopotamia, China, India, and Islam: A Sourcebook. Princeton University Press, 518. ISBN 9780691114859.
- ↑ 48.0 48.1 Boyer, Carl B. (1991). "The Arabic Hegemony", A History of Mathematics, Second Edition, John Wiley & Sons, Inc., 239. ISBN 0471543977. “Abu'l Wefa was a capable algebraist as well as a trigonometer. ... His successor al-Karkhi evidently used this translation to become an Arabic disciple of Diophantus - but without Diophantine analysis! ... In particular, to al-Karkhi is attributed the first numerical solution of equations of the form ax2n + bxn = c (only equations with positive roots were considered),”
- ↑ O'Connor, John J.; Robertson, Edmund F., "Abu Bekr ibn Muhammad ibn al-Husayn Al-Karaji", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Al-Karaji.html.
- ↑ 50.0 50.1 Swaney, Mark. History of Magic Squares.
- ↑ History of Mathematics from Medieval Islam to Renaissance Europe, Canadian Mathematical Society
- ↑ 52.0 52.1 52.2 52.3 52.4 52.5 52.6 Boyer, Carl B. (1991). "The Arabic Hegemony", A History of Mathematics, Second Edition, John Wiley & Sons, Inc., 241–242. ISBN 0471543977. :
Omar Khayyam (ca. 1050-1123), the "tent-maker," wrote an Algebra that went beyond that of al-Khwarizmi to include equations of third degree. Like his Arab predecessors, Omar Khayyam provided for quadratic equations both arithmetic and geometric solutions; for general cubic equations, he believed (mistakenly, as the sixteenth century later showed), arithmetic solutions were impossible; hence he gave only geometric solutions. The scheme of using intersecting conics to solve cubics had been used earlier by Menaechmus, Archimedes, and Alhazan, but Omar Khayyam took the praiseworthy step of generalizing the method to cover all third-degree equations (having positive roots). .. For equations of higher degree than three, Omar Khayyam evidently did not envision similar geometric methods, for space does not contain more than three dimensions, ... One of the most fruitful contributions of Arabic eclecticism was the tendency to close the gap between numerical and geometric algebra. The decisive step in this direction came much later with Descartes, but Omar Khayyam was moving in this direction when he wrote, "Whoever thinks algebra is a trick in obtaining unknowns has thought it in vain. No attention should be paid to the fact that algebra and geometry are different in appearance. Algebras are geometric facts which are proved."
- ↑ 53.0 53.1 53.2 J. L. Berggren (1990), "Innovation and Tradition in Sharaf al-Din al-Tusi's Muadalat", Journal of the American Oriental Society 110 (2): 304-9
- ↑ 54.0 54.1 54.2 O'Connor, John J.; Robertson, Edmund F., "Sharaf al-Din al-Muzaffar al-Tusi", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Al-Tusi_Sharaf.html.
- ↑ Rashed, Roshdi; Armstrong, Angela (1994), The Development of Arabic Mathematics, Springer, pp. 342–3, ISBN 0792325656
- ↑ Victor J. Katz, Bill Barton (October 2007), "Stages in the History of Algebra with Implications for Teaching", Educational Studies in Mathematics (Springer Netherlands) 66 (2): 185–201 , Error: Bad DOI specified
- ↑ (Boyer 1991, "Revival and Decline of Greek Mathematics" p. 178) "The chief difference between Diophantine syncopation and the modern algebraic notation is the lack of special symbols for operations and relations, as well as of the exponential notation."
- ↑ Gandz, Solomon (November 1931), "The Origin of the Ghubār Numerals, or the Arabian Abacus and the Articuli", Isis 16 (2): 393–424, Error: Bad DOI specified
- ↑ D.J. Struik, A Source Book in Mathematics 1200-1800 (Princeton University Press, New Jersey, 1986). ISBN 0-691-02397-2
- ↑ P. Luckey, Die Rechenkunst bei Ğamšīd b. Mas'ūd al-Kāšī (Steiner, Wiesbaden, 1951).
- ↑ Matvievskaya, Galina (1987), "The Theory of Quadratic Irrationals in Medieval Oriental Mathematics", Annals of the New York Academy of Sciences 500: 253–277 , Error: Bad DOI specified
- ↑ 62.0 62.1 Matvievskaya, Galina (1987), "The Theory of Quadratic Irrationals in Medieval Oriental Mathematics", Annals of the New York Academy of Sciences 500: 253–277 , Error: Bad DOI specified
- ↑ Matvievskaya, Galina (1987), "The Theory of Quadratic Irrationals in Medieval Oriental Mathematics", Annals of the New York Academy of Sciences 500: 253–277 , Error: Bad DOI specified
- ↑ Matvievskaya, Galina (1987), "The Theory of Quadratic Irrationals in Medieval Oriental Mathematics", Annals of the New York Academy of Sciences 500: 253–277 , Error: Bad DOI specified
- ↑ History of Mathematics from Medieval Islam to Renaissance Europe: Guillaume Gosselin, an algebraist in Renaissance France
- ↑ 66.0 66.1 66.2 Costello, Patrick (1 May 2002). "New Amicable Pairs Of Type (2; 2) And Type (3; 2)". Mathematics of computation 72 (241): 489–497. American Mathematical Society. doi:10.1090/S0025-5718-02-01414-X. Retrieved on 19 April 2007.</cite>
- ↑ http://amicable.homepage.dk/apstat.htm#discoverer </li>
- ↑ O'Connor, John J.; Robertson, Edmund F., "Abu Ali al-Hasan ibn al-Haytham", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Al-Haytham.html. </li>
- ↑ Aydin Sayili (1960), "Thabit ibn Qurra's Generalization of the Pythagorean Theorem", Isis 51 (1): 35-37 </li>
- ↑ Kline, M. (1972), Mathematical Thought from Ancient to Modern Times, Volume 1, p. 193, Oxford University Press </li>
- ↑ Kline, M. (1972), Mathematical Thought from Ancient to Modern Times, Volume 1, pp. 193-5, Oxford University Press </li>
- ↑ R. Rashed (1994). The development of Arabic mathematics: between arithmetic and algebra. London. </li>
- ↑ 73.0 73.1 Glen M. Cooper (2003). "Omar Khayyam, the Mathmetician", The Journal of the American Oriental Society 123. </li>
- ↑ (Eder 2000) </li>
- ↑ (Katz 1998, p. 269):In effect, this method characterized parallel lines as lines always equidisant from one another and also introduced the concept of motion into geometry.
- ↑ 76.0 76.1 (Rozenfeld 1988, p. 65) </li>
- ↑ 77.0 77.1 (Smith 1992) </li>
- ↑ Victor J. Katz (1998), History of Mathematics: An Introduction, p. 270, Addison-Wesley, ISBN 0321016181:"In some sense, his treatment was better than ibn al-Haytham's because he explicitly formulated a new postulate to replace Euclid's rather than have the latter hidden in a new definition."
- ↑ 79.0 79.1 Boris A. Rosenfeld and Adolf P. Youschkevitch (1996), "Geometry", in Roshdi Rashed, ed., Encyclopedia of the History of Arabic Science, Vol. 2, p. 447-494 , Routledge, London and New York:"Khayyam's postulate had excluded the case of the hyperbolic geometry whereas al-Tusi's postulate ruled out both the hyperbolic and elliptic geometries."
- ↑ Boris A Rosenfeld and Adolf P Youschkevitch (1996), Geometry, p.467 in Roshdi Rashed, Régis Morelon (1996), Encyclopedia of the history of Arabic science, Routledge, ISBN 0415124115. </li>
- ↑ 81.0 81.1 81.2 81.3 81.4 Victor J. Katz (1998), History of Mathematics: An Introduction, p. 270-271, Addison-Wesley, ISBN 0321016181:
"But in a manuscript probably written by his son Sadr al-Din in 1298, based on Nasir al-Din's later thoughts on the subject, there is a new argument based on another hypothesis, also equivalent to Euclid's, [...] The importance of this latter work is that it was published in Rome in 1594 and was studied by European geometers. In particular, it became the starting point for the work of Saccheri and ultimately for the discovery of non-Euclidean geometry."
- ↑ Boris A. Rosenfeld and Adolf P. Youschkevitch (1996), "Geometry", in Roshdi Rashed, ed., Encyclopedia of the History of Arabic Science, Vol. 2, p. 447-494 , Routledge, London and New York:"In Pseudo-Tusi's Exposition of Euclid, [...] another statement is used instead of a postulate. It was independent of the Euclidean postulate V and easy to prove. [...] He essentially revised both the Euclidean system of axioms and postulates and the proofs of many propositions from the Elements."
- ↑ Boris A. Rosenfeld and Adolf P. Youschkevitch (1996), "Geometry", in Roshdi Rashed, ed., Encyclopedia of the History of Arabic Science, Vol. 2, p. 447-494 , Routledge, London and New York:"His book published in Rome considerably influenced the subsequent development of the theory of parallel lines. Indeed, J. Wallis (1616-1703) included a Latin translation of the proof of postulate V from this book in his own writing On the Fifth Postulate and the Fifth Definition from Euclid's Book 6 (De Postulato Quinto et Definitione Quinta lib. 6 Euclidis, 1663). Saccheri quited this proof in his Euclid Cleared of all Stains (Euclides ab omni naevo vindicatus, 1733). It seems possible that he borrowed the idea of considering the three hypotheses about the upper angles of the 'Saccheri quadrangle' from Pseudo-Tusi. The latter inserted the exposition of this subject into his work, taking it from the writings of al-Tusi and Khayyam."
- ↑ Boris A. Rosenfeld and Adolf P. Youschkevitch (1996), "Geometry", in Roshdi Rashed, ed., Encyclopedia of the History of Arabic Science, Vol. 2, p. 447-494 , Routledge, London and New York:"Three scientists, Ibn al-Haytham, Khayyam and al-Tusi, had made the most considerable contribution to this branch of geometry whose importance came to be completely recognized only in the ninteenth century. In essence their propositions concerning the properties of quadrangles which they considered assuming that some of the angles of these figures were acute of obtuse, embodied the first few theorems of the hyperbolic and the elliptic geometries. Their other proposals showed that various geometric statements were equivalent to the Euclidean postulate V. It is extremely important that these scholars established the mutual connection between tthis postulate and the sum of the angles of a triangle and a quadrangle. By their works on the theory of parallel lines Arab mathematicians directly influenced the relevant investiagtions of their European couterparts. The first European attempt to prove the postulate on parallel lines - made by Witelo, the Polish scientists of the thirteenth century, while revising Ibn al-Haytham's Book of Optics (Kitab al-Manazir) - was undoubtedly prompted by Arabic sources. The proofs put forward in the fourteenth century by the Jewish scholar Levi ben Gerson, who lived in southern France, and by the above-mentioned Alfonso from Spain directly border on Ibn al-Haytham's demonstration. Above, we have demonstrated that Pseudo-Tusi's Exposition of Euclid had stimulated borth J. Wallis's and G. Saccheri's studies of the theory of parallel lines."
- ↑ Kennedy, E. S. (1969), "The History of Trigonometry", 31st Yearbook (National Council of Teachers of Mathematics, Washington DC) (cf. Haq, Syed Nomanul, The Indian and Persian background, pp. 60–3, in Seyyed Hossein Nasr, Oliver Leaman (1996), History of Islamic Philosophy, Routledge, pp. 52–70, ISBN 0415131596) </li>
- ↑ 86.0 86.1 86.2 86.3 "trigonometry". Encyclopædia Britannica. Retrieved on 2008-07-21. </li>
- ↑ <cite style="font-style:normal">Owen Gingerich (1986). "Islamic Astronomy" 254. Scientific American. Retrieved on 2010-37-13.</cite> </li>
- ↑ Kennedy, E.S. (1956), A Survey of Islamic Astronomical Tables; Transactions of the American Philosophical Society, 46, Philadelphia: American Philosophical Society, pp. 26–9 </li>
- ↑ 89.0 89.1 O'Connor, John J.; Robertson, Edmund F., "Islamic mathematics", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Al-Khwarizmi.html. </li>
- ↑ 90.0 90.1 90.2 90.3 Jacques Sesiano, "Islamic mathematics", p. 157, in Selin, Helaine; D'Ambrosio, Ubiratan (2000), Mathematics Across Cultures: The History of Non-western Mathematics, Springer, ISBN 1402002602 </li>
- ↑ 91.0 91.1 91.2 O'Connor, John J.; Robertson, Edmund F., "Ghiyath al-Din Jamshid Mas'ud al-Kashi", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Al-Kashi.html. </li>
- ↑ O'Connor, John J.; Robertson, Edmund F., "Ulugh Beg", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Ulugh_Beg.html. </li>
- ↑ "Taqi al Din Ibn Ma’ruf's Work on Extracting the Cord 2° and Sin 1°". FSTC Limited (30 May 2008). Retrieved on 2008-07-04. </li>
- ↑ Jim Al-Khalili, The Empire of Reason 2/6 (Science and Islam - Episode 2 of 3) on YouTube, BBC </li>
- ↑ 95.0 95.1 95.2 95.3 O'Connor, John J.; Robertson, Edmund F., "Abu Abd Allah Muhammad ibn Muadh Al-Jayyani", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Al-Jayyani.html. </li>
- ↑ Marlow Anderson, Victor J. Katz, Robin J. Wilson (2004), Sherlock Holmes in Babylon and Other Tales of Mathematical History, Mathematical Association of America, p. 139, ISBN 0883855461 </li>
- ↑ O'Connor, John J.; Robertson, Edmund F., "Menelaus of Alexandria", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Menelaus.html. "Book 3 deals with spherical trigonometry and includes Menelaus's theorem." </li>
- ↑ <cite class="book" style="font-style:normal" id="Reference-Boyer-1991">Boyer (1991). "Greek Trigonometry and Mensuration", , 163. “In Book I of this treatise Menelaus establishes a basis for spherical triangles analogous to that of Euclid I for plane triangles. Included is a theorem without Euclidean analogue - that two spherical triangles are congruent if corresponding angles are equal (Menelaus did not distinguish between congruent and symmetric spherical triangles); and the theorem A + B + C > 180° is established. The second book of the Sphaerica describes the application of spherical geometry to astronomical phenomena and is of little mathematical interest. Book III, the last, contains the well known "theorem of Menelaus" as part of what is essentially spherical trigonometry in the typical Greek form - a geometry or trigonometry of chords in a circle. In the circle in Fig. 10.4 we should write that chord AB is twice the sine of half the central angle AOB (multiplied by the radius of the circle). Menelaus and his Greek successors instead referred to AB simply as the chord corresponding to the arc AB. If BOB' is a diameter of the circle, then chord A' is twice the cosine of half the angle AOB (multiplied by the radius of the circle).”</cite> </li>
- ↑ Kennedy, E. S. (1969), "The History of Trigonometry", 31st Yearbook (National Council of Teachers of Mathematics, Washington DC): 337 (cf. Haq, Syed Nomanul, The Indian and Persian background, p. 68, in Seyyed Hossein Nasr, Oliver Leaman (1996), History of Islamic Philosophy, Routledge, pp. 52–70, ISBN 0415131596) </li>
- ↑ 100.0 100.1 Taro Mimura, Glen Van Brummelen, Yousuf Kerai, Al-Samaw’al’s Curious Approach to Trigonometry </li>
- ↑ Donald Routledge Hill (1996), "Engineering", in Roshdi Rashed, Encyclopedia of the History of Arabic Science, Vol. 3, pp. 751-795  </li>
- ↑ O'Connor, John J.; Robertson, Edmund F., "Abu Arrayhan Muhammad ibn Ahmad al-Biruni", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Al-Biruni.html. </li>
- ↑ O'Connor, John J.; Robertson, Edmund F., "Omar Khayyam", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Khayyam.html. </li>
- ↑ Ypma, Tjalling J. (December 1995), "Historical Development of the Newton-Raphson Method", SIAM Review (Society for Industrial and Applied Mathematics) 37 (4): 531–551 , Error: Bad DOI specified </li>
- ↑ Ypma, Tjalling J. (December 1995), "Historical Development of the Newton-Raphson Method", SIAM Review (Society for Industrial and Applied Mathematics) 37 (4): 531–551 , Error: Bad DOI specified </li>
- ↑ Al-Kashi, author: Adolf P. Youschkevitch, chief editor: Boris A. Rosenfeld, p. 256 </li>
- ↑ <cite style="font-style:normal"> "[[dead link] al-Risāla al-muhītīyya: A Summary]" (PDF) (2010). Missouri Journal of Mathematical Sciences 22 (2): 64–85.</cite> </li>
- ↑ O'Connor, John J.; Robertson, Edmund F. (1999). "Ghiyath al-Din Jamshid Mas'ud al-Kashi". MacTutor History of Mathematics archive. Retrieved on August 11, 2012. </li>
- ↑ Arndt & Haenel 2006, p. 182 </li>
- ↑ Victor J. Katz (1998). History of Mathematics: An Introduction, p. 255-259. Addison-Wesley. ISBN 0321016181. </li>
- ↑ F. Woepcke (1853). Extrait du Fakhri, traité d'Algèbre par Abou Bekr Mohammed Ben Alhacan Alkarkhi. Paris. </li>
- ↑ Edwards, C. H., Jr. 1979. The Historical Development of the Calculus. New York: Springer-Verlag. </li>
- ↑ <cite style="font-style:normal"> "On the Use of Series in Hindu Mathematics" (1936). Osiris 1: 606–628. doi:10.1086/368443.</cite> </li>
- ↑ <cite style="font-style:normal">Peter J. Lu and Paul J. Steinhardt (2007). "Decagonal and Quasi-crystalline Tilings in Medieval Islamic Architecture" (PDF). Science 315: 1106–1110. doi:10.1126/science.1135491.</cite> </li>
- ↑ Supplemental figures </li>
- ↑ <cite class="book" style="font-style:normal" >Gulru Necipoglu (1995). The Topkapi Scroll: Geometry and Ornament in Islamic Architecture. Getty Research Institute.</cite> </li>
- ↑ Kennedy, Islamic Astronomical Tables, p. 51 </li>
- ↑ Benno van Dalen, PARAMS (Database of parameter values occurring in Islamic astronomical sources), "General background of the parameter database" </li>
- ↑ Kennedy, Islamic Astronomical Tables, pp. 17-23 </li>
- ↑ Kennedy, Islamic Astronomical Tables, p. 1 </li>
- ↑ (Dallal 1999, p. 163) </li>
- ↑ (Dallal 1999, p. 164) </li>
- ↑ (Singer 1959, p. 151) (cf. (Zaimeche 2002)) </li>
- ↑ (Wickens 1976) (cf. (Zaimeche 2002)) </li>
- ↑ 23rd Annual Conference on the History of Arabic Science, Aleppo, Syria, October 2001 (cf. (Zaimeche 2002)) </li>
- ↑ (Zaimeche 2002) </li>
- ↑ Aulie, Richard P. (March 1994), "Al-Ghazali Contra Aristotle: An Unforeseen Overture to Science In Eleventh-Century Baghdad", Perspectives on Science and Christian Faith 45: 26–46 (cf. "References". 1001 Inventions. Retrieved on 2008-01-22.) </li>
- ↑ (Saliba 2007) </li>
- ↑ 129.0 129.1 "Khwarizm". Foundation for Science Technology and Civilisation. Retrieved on 2008-01-22. </li>
- ↑ Saliba, George (1980), "Al-Biruni", in Strayer, Joseph, Dictionary of the Middle Ages, 2, Charles Scribner's Sons, New York, p. 249 </li>
- ↑ (Saliba 1994b, pp. 245, 250, 256-257) </li>
- ↑ Saliba, George (Autumn 1999), "Seeking the Origins of Modern Science?", BRIIFS 1 (2), http://www.riifs.org/review_articles/review_v1no2_sliba.htm, retrieved 2008-01-25 </li>
- ↑ (Saliba 1994b, pp. 42 & 80) </li>
- ↑ Dallal, Ahmad (2001-2002), The Interplay of Science and Theology in the Fourteenth-century Kalam, From Medieval to Modern in the Islamic World, Sawyer Seminar at the University of Chicago, http://humanities.uchicago.edu/orgs/institute/sawyer/archive/islam/dallal.html, retrieved 2008-02-02 </li>
- ↑ (Huff 2003, pp. 217-8) </li>
- ↑ (Saliba 1994b, pp. 254 & 256-257) </li>
- ↑ David A. King, Astronomy in the Service of Islam, (Aldershot (U.K.): Variorum), 1993. </li>
- ↑ Gharā'ib al-funūn wa-mulah al-`uyūn (The Book of Curiosities of the Sciences and Marvels for the Eyes), 2.1 "On the mensuration of the Earth and its division into seven climes, as related by Ptolemy and others," (ff. 22b-23a) </li>
- ↑ Edward S. Kennedy, Mathematical Geography, pp. 187-8, in (Rashed & Morelon 1996, pp. 185-201) </li>
- ↑ David A. King (1996), "Astronomy and Islamic society: Qibla, gnomics and timekeeping", in Roshdi Rashed, ed., Encyclopedia of the History of Arabic Science, Vol. 1, p. 128-184 . Routledge, London and New York. </li>
- ↑ Scheppler, Bill (2006), Al-Biruni: Master Astronomer and Muslim Scholar of the Eleventh Century, The Rosen Publishing Group, ISBN 1404205128 </li>
- ↑ Akbar S. Ahmed (1984). "Al-Beruni: The First Anthropologist", RAIN 60, p. 9-10. </li>
- ↑ H. Mowlana (2001). "Information in the Arab World", Cooperation South Journal 1. </li>
- ↑ James S. Aber (2003). Alberuni calculated the Earth's circumference at a small town of Pind Dadan Khan, District Jhelum, Punjab, Pakistan.Abu Rayhan al-Biruni, Emporia State University. </li>
- ↑ Lenn Evan Goodman (1992), Avicenna, p. 31, Routledge, ISBN 041501929X. </li>
- ↑ Behnaz Savizi (2007), "Applicable Problems in History of Mathematics: Practical Examples for the Classroom", Teaching Mathematics And Its Applications (Oxford University Press) 26 (1): 45–50, Error: Bad DOI specified (cf. Behnaz Savizi. "Applicable Problems in History of Mathematics; Practical Examples for the Classroom". University of Exeter. Retrieved on 2010-02-21.) </li>
- ↑ Beatrice Lumpkin (1997), Geometry Activities from Many Cultures, Walch Publishing, pp. 60 & 112–3, ISBN 0825132851  </li>
- ↑ Bradley Steffens (2006), Ibn al-Haytham: First Scientist, Chapter Five, Morgan Reynolds Publishing, ISBN 1599350246 </li>
- ↑ George Sarton, Introduction to the History of Science, "The Time of Al-Biruni" </li>
- ↑ El-Bizri, Nader (2005), "A Philosophical Perspective on Alhazen’s Optics", Arabic Sciences and Philosophy: A Historical Journal 15 (2): 189–218 </li>
- ↑ El-Bizri, Nader (2007), "In Defence of the Sovereignty of Philosophy: al-Baghdadi’s Critique of Ibn al-Haytham’s Geometrisation of Place", Arabic Sciences and Philosophy: A Historical Journal 17 (1): 57–80 </li>
- ↑ Mariam Rozhanskaya and I. S. Levinova (1996), "Statics", p. 642, in (Morelon & Rashed 1996, pp. 614-642) </li>
- ↑ 153.0 153.1 Glick, Thomas F.; Livesey, Steven John; Wallis, Faith (2005), Medieval Science, Technology, and Medicine: An Encyclopedia, Routledge, pp. 89–90, ISBN 0-415-96930-1 </li>
- ↑ Sabra, =A. I. (Spring 1967), "The Authorship of the Liber de crepusculis, an Eleventh-Century Work on Atmospheric Refraction", Isis 58 (1): 77–85 , Error: Bad DOI specified </li>
- ↑ 155.0 155.1 Topdemir, Hüseyin Gazi (1999), Takîyüddîn'in Optik Kitabi, Ministry of Culture Press, Ankara (cf. Dr. Hüseyin Gazi Topdemir (30 June 2008). "Taqi al-Din ibn Ma‘ruf and the Science of Optics: The Nature of Light and the Mechanism of Vision". FSTC Limited. Retrieved on 2008-07-04.) </li>
- ↑ Simon Singh. The Code Book. p. 14-20 </li>
- ↑ "Al-Kindi, Cryptgraphy, Codebreaking and Ciphers". Retrieved on 2007-01-12. </li>
- ↑ Ibrahim A. Al-Kadi (April 1992), "The origins of cryptology: The Arab contributions”, Cryptologia 16 (2): 97–126 </li>
- ↑ <cite class="book" style="font-style:normal" id="Reference-Singh-2000">Singh, Simon (2000). The Code Book: The Science of Secrecy from Ancient Egypt to Quantum Cryptography, 1st Anchor Books ed., New York: Anchor Books. ISBN 0-385-49532-3.</cite> </li>
- ↑ Katz (1998), p. 255 </li>
- ↑ Victor J. Katz (1998), History of Mathematics: An Introduction, p. 255-259, Addison-Wesley, ISBN 0321016181:
"Another important idea introduced by al-Karaji and continued by al-Samaw'al and others was that of an inductive argument for dealing with certain arithmetic sequences. Thus al-Karaji used such an argument to prove the result on the sums of integral cubes already known to Aryabhata [...] Al-Karaji did not, however, state a general result for arbitrary n. He stated his theorem for the particular integer 10 [...] His proof, nevertheless, was clearly designed to be extendable to any other integer.</li>
- ↑ O'Connor, John J.; Robertson, Edmund F., "Abu Bekr ibn Muhammad ibn al-Husayn Al-Karaji", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Al-Karaji.html."Al-Karaji also uses a form of mathematical induction in his arguments, although he certainly does not give a rigorous exposition of the principle."
- ↑ Katz (1998), p. 255:
"Al-Karaji's argument includes in essence the two basic components of a modern argument by induction, namely the truth of the statement for n = 1 (1 = 13) and the deriving of the truth for n = k from that of n = k - 1. Of course, this second component is not explicit since, in some sense, al-Karaji's argument is in reverse; this is, he starts from n = 10 and goes down to 1 rather than proceeding upward. Nevertheless, his argument in al-Fakhri is the earliest extant proof of the sum formula for integral cubes."</li>
- ↑ Victor J. Katz (1995), "Ideas of Calculus in Islam and India", Mathematics Magazine 68 (3), p. 163-174:"The central idea in ibn al-Haytham's proof of the sum formulas was the derivation of the equation [...] Naturally, he did not state this result in general form. He only stated it for particular integers, [...] but his proof for each of those k is by induction on n and is immediately generalizable to any value of k."
- ↑ Katz (1998), p. 255-259. </li>
- ↑ Katz (1998), p. 259:
"Like the proofs of al-Karaji and ibn al-Haytham, al-Samaw'al's argument contains the two basic components of an inductive proof. He begins with a value for which the result is known, here n = 2, and then uses the result for a given integer to derive the result for the next. Although al-Samaw'al did not have any way of stating, and therefore proving, the general binomial theorem, to modern readers there is only a short step from al-Samaw'al's argument to a full inductive proof of the binomial theorem."</li></ol>
- Berggren, J. Lennart (1986). Episodes in the Mathematics of Medieval Islam. New York: Springer-Verlag. ISBN 0-387-96318-9. (Reviewed: Toomer, Gerald J. (1988), "Episodes in the Mathematics of Medieval Islam", American Mathematical Monthly 95 (6): 567, Error: Bad DOI specified, http://links.jstor.org/sici?sici=0002-9890%28198806%2F07%2995%3A6%3C567%3AEITMOM%3E2.0.CO%3B2-3; Hogendijk, Jan P. (1989), "Episodes in the Mathematics of Medieval Islam by J. Lennart Berggren", Journal of the American Oriental Society 109 (4): 697–698, Error: Bad DOI specified)
- Berggren, J. Lennart (2007). "Mathematics in Medieval Islam", in Victor J. Katz: The Mathematics of Egypt, Mesopotamia, China, India, and Islam: A Sourcebook. Princeton University Press. ISBN 9780691114859.
- Boyer, Carl B. (1991). "The Arabic Hegemony", A History of Mathematics, Second Edition, John Wiley & Sons, Inc. ISBN 0471543977.
- Cooke, Roger (1997). "Islamic Mathematics", The History of Mathematics: A Brief Course. Wiley-Interscience. ISBN 0471180823.
- Daffa', Ali Abdullah al- (1977). The Muslim contribution to mathematics. London: Croom Helm. ISBN 0-85664-464-1.
- Daffa, Ali Abdullah al- (1984). Studies in the exact sciences in medieval Islam. New York: Wiley. ISBN 0471903205.
- Eder, Michelle (2000), Views of Euclid's Parallel Postulate in Ancient Greece and in Medieval Islam, Rutgers University, http://www.math.rutgers.edu/~cherlin/History/Papers2000/eder.html, retrieved 2008-01-23
- Joseph, George Gheverghese (2000). The Crest of the Peacock: Non-European Roots of Mathematics, 2nd Edition, Princeton University Press. ISBN 0691006598. (Reviewed: Katz, Victor J. (1992), "The Crest of the Peacock: Non-European Roots of Mathematics by George Gheverghese Joseph", The College Mathematics Journal 23 (1): 82–84, Error: Bad DOI specified)
- Katz, Victor J. (1998), History of Mathematics: An Introduction, Addison-Wesley, ISBN 0321016181, OCLC 38199387
- Kennedy, E. S. (1984). Studies in the Islamic Exact Sciences. Syracuse Univ Press. ISBN 0815660677.
- O'Connor, John J.; Robertson, Edmund F., "Arabic mathematics: forgotten brilliance?", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/HistTopics/Arabic_mathematics.html.
- Rashed, Roshdi (2001). The Development of Arabic Mathematics: Between Arithmetic and Algebra, Transl. by A. F. W. Armstrong, Springer. ISBN 0792325656.
- Rashed, Roshdi (2009). Al-Khwarizmi:The Beginnings of Algebra, Transl. by Judith Field with revision of trans. by Nader El-Bizri, Saqi Books. ISBN 0863564305.
- Rozenfeld, Boris A. (1988), A History of Non-Euclidean Geometry: Evolution of the Concept of a Geometric Space, Springer Science+Business Media, ISBN 0387964584, OCLC 15550634
- Sánchez Pérez, José A (1921). Biografías de Matemáticos Árabes que florecieron en España. Madrid: Estanislao Maestre.
- Sezgin, Fuat (1997). Geschichte Des Arabischen Schrifttums (in German). Brill Academic Publishers. ISBN 9004020071.
- Smith, John D. (1992), "The Remarkable Ibn al-Haytham", The Mathematical Gazette (Mathematical Association) 76 (475): 189–198, Error: Bad DOI specified
- Suter, Heinrich (1900). Die Mathematiker und Astronomen der Araber und ihre Werke, Abhandlungen zur Geschichte der Mathematischen Wissenschaften Mit Einschluss Ihrer Anwendungen, X Heft.
- Youschkevitch, Adolf P.; Boris A. Rozenfeld (1960). Die Mathematik der Länder des Ostens im Mittelalter. Sowjetische Beiträge zur Geschichte der Naturwissenschaft pp. 62–160.
- Youschkevitch, Adolf P. (1976). Les mathématiques arabes: VIIIe-XVe siècles, translated by M. Cazenave and K. Jaouiche, Paris: Vrin. ISBN 978-2-7116-0734-1.
- Hogendijk, Jan P. (January 1999). Bibliography of Mathematics in Medieval Islamic Civilization.