# Abu Jafar Muhammad ibn al-Hasan Al-Khazin

### Quick Info

Born
Khurasan (eastern Iran)
Died
possibly Rayy

Summary
Al-Khazin was an Islamic mathematician who worked on number theory and astronomy.

### Biography

Abu Jafar al-Khazin may have worked on both astronomy and number theory or there may have been two mathematicians both working around the same period, one working on astronomy and one on number theory. As far as this article is concerned we will assume that al-Khazin worked on both topics. There seems no way of being certain which position is correct.

Al-Khazin's family were from Saba, a kingdom in southwestern Arabia, perhaps better known as Sheba from the biblical story of King Solomon and the Queen of Sheba. In the Fihrist, a tenth century survey of Islamic culture, he is described Al-Khurasani which means that he came from Khurasan in eastern Iran.

The Buyid dynasty, ruling in western Iran and Iraq, reach its peak around the time that al-Khazin lived. It undertook public schemes such as building hospitals and dams, as well as patronising the arts and sciences. Rayy, situated southeast of present day Tehran, was one of the major cultural centres of the Buyid dynasty. Islamic writers described Rayy as:-
... a city of extraordinary beauty, built largely of fired brick and brilliantly ornamented with blue faience (glazed earthenware).
Al-Khazin was one of the scientists brought to the court in Rayy by the ruler of the Buyid dynasty, Adud ad-Dawlah, who ruled from 949 to 983. We know that in 959/960 al-Khazin was required by the vizier of Rayy, who was appointed by Adud ad-Dawlah, to measure the obliquity of the ecliptic (the angle which the plane in which the sun appears to move makes with the equator of the earth). He is said to have made the measurement:-
... using a ring of about 4 meters.
One of al-Khazin's works Zij al-Safa'ih (Tables of the disks of the astrolabe) was described by his successors as the best work in the field and they make many reference to it. The work describes some astronomical instruments, in particular it describes an astrolabe fitted with plates inscribed with tables and a commentary on the use of these. A copy of this instrument was made but vanished in Germany at the time of World War II. A photograph of this copy was taken and the article [5] examines this.

Al-Khazin wrote a commentary on Ptolemy's Almagest which was criticised by al-Biruni for being too verbose. Only one fragment of this commentary has survived and a translation of it is given in [6]. The fragment which has survived contains a discussion by al-Khazin of Ptolemy's argument that the universe is spherical. Ptolemy wrote [6]:-
.. of different figures of equal perimeter, the one with more angles is greater in capacity, and therefore it is necessary that a circle is the greatest of surfaces (i.e. of all plane figures with a constant perimeter) and the sphere the greatest of solids.
Al-Khazin gives 19 propositions relating to this statement by Ptolemy. The most interesting results show, with a very ingenious proof, that an equilateral triangle has a greater area than any isosceles or scalene triangle with the same perimeter. When he tries to generalise this result to polygons, however, al-Khazin gives incorrect proofs. Other results among the 19 are based on propositions given by Archimedes in On the sphere and cylinder. The author of [6] argues that the ingenious results on triangles are unlikely to be due to al-Khazin but are probably taken by him from some unknown source.

The suggestion in [6] that al-Khazin is a third rate mathematician is somewhat doubtful given his work on number theory but as we stated at the beginning of this article, it is possible that there were two mathematicians of the same name. The papers [4], [9] and [7] all look at this number theory work by al-Khazin (see also [2] and [3]). The work of al-Khazin which is described seems to have been motivated by work of a mathematician by the name of al-Khujandi.

Al-Khujandi claimed to have proved that $x^{3} + y^{3} = z^{3}$ is impossible for whole numbers $x, y, z$ which of course is the $n = 3$ case of Fermat's Last Theorem. In a letter al-Khazin wrote:-
I demonstrate earlier ... that what Abu Muhammad al-Khujandi advanced - may God have mercy on him - in his demonstration that the sum of two cubic numbers is not a cube is defective and incorrect.
This seems to have motivated further correspondence on number theory between al-Khazin and other Arabic mathematicians. Results by al-Khazin here are interesting indeed. His main result is to:-
... show how, if we are given a number, to find a square number so that if the given number were added to it or subtracted from it the result would be square.
In modern notation the problem is given a natural number $a$, find natural numbers $x, y, z$ so that $x^{2} + a = y^{2}$ and $x^{2} - a = z^{2}$. Al-Khazin proves that the existence of $x, y, z$ with these properties is equivalent to the existence of natural numbers $u, v$ with $a = 2uv$, and $u^{2} + v^{2}$ is a square (in fact $u^{2} + v^{2} = x^{2}$). The smallest example of a satisfying these conditions is 24 which al-Khazin gives
$5^{2} + 24 = 7^{2}, 5^{2} - 24 = 1^{2}.$
He also gives $a = 96$ with
$10^{2} + 96 = 14^{2}, 10^{2} - 96 = 2^{2}$
although, rather strangely, he seems to discount this case by another of his statements. Rashed suggests this may be because $96 = 2 \times 48 = 2 \times 6 \times 8 and 6^{2} + 8^{2} = 10^{2}$ is not a primitive Pythagorean triple.

There is a mystery which Rashed notes in [7] (also in [2] and [3]). This relates to the quote above by al-Khazin regarding the false proof by al-Khujandi of the impossibility of proving $x^{3} + y^{3} = z^{3}$. Rashed has discovered a manuscript which appears to be by al-Khazin, yet contains exactly what he had attributed to al-Khujandi. Although al-Khazin could have realised the error in al-Khujandi's proof and attempted a similar proof himself which he believed correct, there is no really satisfactory explanation of these facts.

Finally we should mention that al-Khazin proposed a different solar model from that of Ptolemy. Ptolemy had the sun moving in uniform circular motion about a centre which was not the earth. Al-Khazin was unhappy with this model since he claimed that if this were the case then the apparent diameter of the sun would vary throughout the year and observation showed that this were not the case. Of course the apparent diameter of the sun does vary but by too small an amount to be observed by al-Khazin. To get round this problem, al-Khazin proposed a model in which the sun moved in a circle which was centred on the earth, but its motion was not uniform about the centre, rather it was uniform about another point (called the excentre).

### References (show)

1. Y Dold-Samplonius, Biography in Dictionary of Scientific Biography (New York 1970-1990).
2. R Rashed, The development of Arabic mathematics : between arithmetic and algebra (London, 1994).
3. R Rashed, Entre arithmétique et algèbre: Recherches sur l'histoire des mathématiques arabes (Paris, 1984).
4. A Anbouba, Treatise on arithmetic triangles by abu Ja'far al-Khazin (Arabic), J. Hist. Arabic Sci. 3 (1) (1979), 178-134.
5. D A King, New light on the Zij al-Safa'ih of Abu Ja'far al-Khazin, Centaurus 23 (2) (1979/80), 105-117.
6. R Lorch, Abu Ja'far al-Khazin on isoperimetry and the Archimedean tradition, Z. Gesch. Arab.-Islam. Wiss. 3 (1986), 150-229.
7. R Rashed, L'analyse diophantienne au Xe siècle : l'exemple d'al-Khazin, Rev. Histoire Sci. Appl. 32 (3) (1979), 193-222.
8. J Samsó, A homocentric solar model by Abu Ja'far al Khazin, J. Hist. Arabic Sci. 1 (2) (1977), 268-275.
9. A S Saydan, Treatise on arithmetic triangles by abu Ja'far al-Khazin (Arabic), Dirasat Res. J. Natur. Sci. 5 (2) (1978), 7-49.