AlJawharī, Al
AlJawharī, Al‘Abbās Ibn Sa‘īd
(fl. Baghdad, ca. 830)
mathematics, astronomy.
AlJawharī was one of the astronomers in the service of the ‘Abbāsid Caliph alMa’m–n (813833). He participated in the astronomical observations which took place in Baghdad in 829830 and in those which took place in Damascus in 832833. Ibn alQiftī (d. 1248) describes him as an expert in the art of tasyīr (αϕεσℓδ, “probagation”), the complex astrological theory concerned with determining the length of life of individuals (Ptolemy, Tetrabiblos III, 10), and adds that he was in charge of (qayyimāa) the construction of astronomical instruments. According to I bn alNadī (fl.987), he worked mostly (alghālib ‘alayh) in geometry.
Ibn alNadīm lists two works by alJawharī: Kitāb Tafsīr Kitāb Uqlīdis (“A Commentary on Euclid‘s Elements”) and Kitāb alAshkā allatī zādahā fi rsquo;maqāla ’ūlā min Uqlīdis (“Propositions Added to Book I of Euclid’ Elements”). To this list Ibn alQiftī adds Kitāb alZīj (“A Book of Astronomical Tables”), which, he says, was well known among astronomers, being based on the observations made in Baghdad. None of these works has survived.
Nasīr alDin alT.ūsī (d. 1274), in his work devoted to Euclid’s theory of parallels, alRisāla ’shāfiya ’an alshakk fi ’lkhutūt almutawāziya, ascribes to aljawharī an “Emendation of the Elements” (Islāh liKitab alUsūl), which may be identical with the “Commentary” (Tafsīr) mentioned by Ibn alNadīm and Ibn alQiftī. According to alT.ūsī, this work included additions by alJawharī to the premises and the theorems of the Elements, the added theorems totaling“nearly fifty propositions.”From among these alTūsī quotes six propositions constituting alJawharī’s attempt to prove Euclid’s parallels postulate.
AlJawharī’s is the earliest extant proof of the Euclidean postulate written in Arabic. As a premise (which his book included among the common notions) alJawharī lays down a rather curious version of the socalled EudoxusArchimedes axiom: If from the longer of two unequal lines a half is cut off, and from the [remaining] half another half is cut off, and from many times; and if to the shorter line an equal line is added, and to the sum a line equal to it is added, and so on many times; there will remain of the halves of the longer line a line shorter than the multiples (ad‘āf) of the shorter line. The axiom, which in different forms became a common feature of many Arabic proofs of the postulate, had already been applied in the same context in a demonstration attributed by Simplicius to an associate (sāhib) of his named Aghānīs or Aghānyns (Agapius[?]). This demonstration was known to mathematicians in Islam through the Arabic translation of a commentary by Simplicius on the premises of Euclid’s Elements.The exact date of this translation is unknown, but it was available to alNayrīzī(fl. 895) and could have been made early in the ninth century.
The six propositions making up alJawharī’s proof are the following:
(1)If a straight line falling on two straight lines makes the alternate angles equal to one another, then the two lines are parallel to one another; and if parallel to one another, then the distance from every point on one to the corresponding (nazīra) point on the other is always the same, that is, the distance from the first point in the first line to the first point in the second line is the same as that from the second point in the first line to the second point in the second line, and so on.
(2) If each of two sides of any triangle is bisected and a line is drawn joining the dividing points, then the remaining side will be twice the joining line.
(3) For every angle it is possible to draw any number of bases (sing.qā’ida).
(4) If a line divides an angle into two parts (biqismayn) and a base to this angle is drawn at random, thereby generating a triangle, and from each of the remainders of the sides containing the angle a line is cut off equal to either side of the generated triangle, and a line is drawn joining the dividing points, then this line will cut off from the line dividing the given angle a line equal to that which is drawn from the [vertex of the] angle to the base of the generated triangle.
(5) If any angle is divided by a line into two parts and a point is marked on that line at random, then a line may be drawn from that point on both sides. [of the dividing line] so as to form a base to that given angle.
(6) If from one line and on one side of it two lines are drawn at angles together less than two right angles, the two lines meet on that side.
Proposition (6) is, of course, Euclid’s parallels postulate. Proposition (5) is, essentially, an attempt to prove a statement originally proposed by Simplicius, as we learn from a thirteenthcentury document, a letter from ‘Alam alDīn Qaysar to Nasīr alDīn alTūsī, which is included in manuscripts of the latter’s alRisāla ’shāfiya. The attempted proof, which makes use of the EudoxusArchimedes axiom, rests on proposition (4) and ultimately depends on (1) and (2). Proposition (3), used in the deduction of (4), also formed part of Simplicius’ attempted demonstration. The first part of proposition (1) is the same as Euclid I, 27, and does not depend on the parallels postulate. To prove the second part alJawharī takes HO = TO on the two parallel lines by the transversal HT (figure 1). The alternate angles AHT,
HTD being equal, it follows that the corresponding angles and sides in the triangles OHT, HTQ are equal. He then takes HL=TS and similarly proves the congruence of the triangles OST, QLH, and hence the equality of the corresponding sides OS, QL. As the lines OS, QL join the extremities of the equal segments Ol, SQ, they may be said to join “corresponding points”of the latter, parallel lines, and they have been shown to be equal.
As alTūsī remarked, the proof fails to establish the intended general case: it does not establish the equality of lines joining “corresponding points” on the same side of the transversal or at unequal distances on either side of the transversal, nor does it show the equality of either OS or LQ to the transversal HT itself, even if one takes HL=TQ= OH= ST=. It is this failure which is overlooked in proving proposition (2), which, in turn, forms the basis of (4).
It seems clear that alJawharī took his starting point from Simplicius, although he himself appears to have been responsible for propositions (1) and (2). His attempt should therefore be grouped with those Arabic proofs clustered round Simplicius’ propositions. Another proof belonging to this group was one proposed in the thirteenth century by Muhyi ’lDīn alMaghribī, and still another is the anonymous treatise on parallel lines in Istanbul MS Carullah 1502, fols. 26v27r, dated A.H. 894 (A.D. 14881489).
Also extant by alJawharī are some “additions” (ziyādāt) to book V of the Elements. Istanbul MS Feyzullah 1359, fols. 239v240v, dated A. H. 868 (A. D. 14641465), contains only a fragment consisting of three propositions taken either from a longer work on that part of Euclid’s book or, probably, from alJawharīs comprehensive commentary on or emendation of the Elements. The first of these propositions “proves” Euclid’ definition of proportionals (book V, def.5), the second is the counterpart of the first, and the third is the same as Euclid’s definition of “to have a greater ratio” (book V, def.7) Further, alTūsī quotes from the “Emendation” one proposition which alJawharī added after Euclid I, 13: If three straight lines are drawn from any point in different directions, the three angles thus contained by the three lines are together equal to four right angles.
BIBLIOGRAPHY
Naṣīr alDīn alṬūsī’s alRisāla ’lshāfiya ‘an alshakk fi ’lkhutūt almutawāziya, which contains alJawharīs proof of Euclid’s parallels postulate in Majmū‘ Rasāil alTüsī, II (Hyderabad, A. H. 1359), Risāla no.8, see esp. pp. 1726. A Russian trans. of alTūsī’s Risāla by B. A. Rosenfeld with introduction and notes by B. A. Rosenfeld and A. P. Youschkevitch is in Istorikomatematicheskie issledovaniya, 13 (1960), 475532. MS Feyzullah 1359, containing what is left of alJawharī’s additions to bk. V. of the Elements, is listed in M. Krause, “Stambuler Handschriften islamischer Mathematiker,”in Quellen und Studien zur Geschichte der Mathematik, Astronomie und Physik, Abt. B, Studien, 3 (1936), 446. See also C. Brockelmann, Geschichte der arabischen Literatur, Supp. I (Leiden, 1937), 382.
Brief biobibliographical notices on alJawharī are in Ibn alFihrist, G. Flügel, ed., I (Leipzing, 1871), 266, 272; and in Ibn alQiftī T’arīkh, J. Lippert, ed. (Leipzing, 1903) pp. 64, 219. On alJawharī’s participation in the astronomical observations under alMa’mūn, see Ibn Yūnus, alHākimīin Notices et extraits des manuscrits de la Bibliothéeque Nationale. . .,& VII ;(Paris, 1803), pp.57, 167.
For questions of the identity of “Aghānīs,” and for references to his demonstration of Euclid’s postulate, see A. I. Sabra, “Thābit ibn Qurra on Euclid’s parallels Postulate,” in Journal of the Warburg and Courtauld Institutes, 31 (1968), 1232, esp. 13. On the proof attributed to Simplicius and the related proof by alMaghribī, see A. I. Sabra, “Simplicius’s proof of Euclid’s Parallels Postulate,” in Journal of the Warburg and Courtauld Institutes, 32 (1969), 1–24.
A. I. Sabra
Cite this article
Pick a style below, and copy the text for your bibliography.

MLA

Chicago

APA
"AlJawharī, Al." Complete Dictionary of Scientific Biography. . Encyclopedia.com. 20 Apr. 2019 <https://www.encyclopedia.com>.
"AlJawharī, Al." Complete Dictionary of Scientific Biography. . Encyclopedia.com. (April 20, 2019). https://www.encyclopedia.com/science/dictionariesthesaurusespicturesandpressreleases/aljawharial
"AlJawharī, Al." Complete Dictionary of Scientific Biography. . Retrieved April 20, 2019 from Encyclopedia.com: https://www.encyclopedia.com/science/dictionariesthesaurusespicturesandpressreleases/aljawharial
Citation styles
Encyclopedia.com gives you the ability to cite reference entries and articles according to common styles from the Modern Language Association (MLA), The Chicago Manual of Style, and the American Psychological Association (APA).
Within the “Cite this article” tool, pick a style to see how all available information looks when formatted according to that style. Then, copy and paste the text into your bibliography or works cited list.
Because each style has its own formatting nuances that evolve over time and not all information is available for every reference entry or article, Encyclopedia.com cannot guarantee each citation it generates. Therefore, it’s best to use Encyclopedia.com citations as a starting point before checking the style against your school or publication’s requirements and the mostrecent information available at these sites:
Modern Language Association
The Chicago Manual of Style
http://www.chicagomanualofstyle.org/tools_citationguide.html
American Psychological Association
Notes:
 Most online reference entries and articles do not have page numbers. Therefore, that information is unavailable for most Encyclopedia.com content. However, the date of retrieval is often important. Refer to each style’s convention regarding the best way to format page numbers and retrieval dates.
 In addition to the MLA, Chicago, and APA styles, your school, university, publication, or institution may have its own requirements for citations. Therefore, be sure to refer to those guidelines when editing your bibliography or works cited list.