Click the picture above
to see a larger version
Previous  (Chronologically)  Next  Main Index 
Previous  (Alphabetically)  Next  Biographies index 
Version for printing 
Gaston Tarry was born in VillefranchedeRouergue which is located in south central France. He attended the Lycée SaintLouis in Paris where he became interested in mathematics. He never looked for an academic career as a mathematician, however, and joined the Contributions Diverses de l'Administration des Finances (French Financial Administration). He spent the whole of his working life in Algeria. France had invaded Algeria in 1830 and French rule was established by 1847. Tarry was part of the French administration in Algeria, retiring in 1902.
Although an amateur mathematician, Tarry had an amazing ability to analyse combinatorial problems. One has simply to feel amazement at some of the problems he solved using purely combinatorial and calculating skills. We give some examples below to illustrate both the type of problem which interested him and also to illustrate his undoubted genius. Even more surprising is the fact that his mathematical achievements came after the age of fifty.
He published a solution to the problem of finding the way out of a maze in 1895, a problem which had been of interest from classical times. Tarry was not the first to give a systematic method so solve a maze, for Trémaux had found a method which was reported by Lucas in 1881. However, the method given by Tarry in [3] gave a different approach with an algorithm which, in today's terminology, would be described as depthfirst search algorithm. It is particularly suitable to computer implementation. In [4], Tarry gave a general method for finding the number of Euler circuits.
Tarry also solved Euler's 36 Officer Problem, proving that two orthogonal Latin squares of order 6 do not exist. The problem as stated by Euler is as follows:
How can a delegation of six regiments, each of which sends a colonel, a lieutenantcolonel, a major, a captain, a lieutenant, and a sublieutenant be arranged in a regular 6 × 6 array such that no row or column duplicates a rank or a regiment?
In the two papers [5] and [6] Tarry showed that such an arrangement is impossible.
Before explaining Tarry's contributions to magic squares, let us introduce some terminology. First we note that a magic square of order n contains the numbers 1 to n^{2} in an n × n array such that each row, each column, and the two main diagonals all have the same sum. Such squares were well known long before Tarry's time. A panmagic square , or diabolic square, is a magic square in which all the diagonals (which come from identifying the two sides, and identifying the top and bottom) add to the same number. Tarry explained how he became involved with such magic squares (see [7] and [1]):
For about three years, a friend of Alger [Brutus Portier], a keen magician, never stopped titillating me in order that I take an interest in magic squares. I disregarded him, because I didn't like what I considered as a Chinese game giving me a headache. One day, my magic teacher (he forced himself to be my teacher in spite of me), claimed to me that it was not possible to construct diabolic squares (panmagic) of order 3n, with n being not divisible be 3. This astonished me.
Tarry was right to be astonished because Brutus Portier was wrong. Panmagic squares of order 3n, where n is not divisible by 3, do exist and indeed Tarry was the first to prove this when he constructed the first panmagic square of order 15. This began Tarry's interest in magic squares, which one has to suggest, turned into a passion. Before explaining another major achievement that he accomplished on magic squares we need to explain another couple of terms. First a bimagic square is a magic square with the property that the rows, columns and main diagonals add to the same number when each of the entries is squared. A bimagic square is trimagic if also the cubes of the entries in the rows, columns and main diagonals add to the same constant. Tarry was the first to find an example of a trimagic square. It had order 128 and was presented in [7] (See also [1]). He called his method of construction the "cabalistic condensator" and wrote:
This condensator is a real magic machine charged at the limit. In discharging it, we will obtain magical effects. The discharge can only stay in a good conductive environment, a magic field.
Poincaré was so impressed by Tarry's results that he presented them to the Academy of Sciences. In the same paper Tarry introduced the term tetramagic square for a square which is trimagic and also the fourth powers of the entries in the rows, columns and main diagonals add to the same constant. He could not find such a tetramagic square, and indeed the problem was not solved until 2001 when a 256 × 256 tetramagic square was discovered.
Gabriel Arnoux published two books Arithmétique graphique  Les espaces arithmétiques, leurs transformations (1908) and Essai de géométrie analytique modulaire à deux dimensions (1911). Although these were originally single author works, he collaborated with Tarry on producing second editions.
Tarry is also remembered for some other stunning combinatorial results. He showed (see [2]) that
2^{k} + 3^{k} + 14^{k} + 18^{k} + 39^{k} + 43^{k} + 45^{k} + 49^{k} + 55^{k} + 61^{k} + 76^{k} + 86^{k} + 92^{k} + 96^{k}
and
1^{k} + 5^{k} + 11^{k} + 21^{k} + 36^{k} + 42^{k} + 48^{k} + 52^{k} + 54^{k} + 58^{k} + 79^{k} + 83^{k} + 94^{k} + 95^{k}
are equal for each value of k between 0 and 10. In these 11 cases the two expressions both have the values:
14; 679; 45927; 3488023; 283374567; 24038882119; 2097607671927; 186494222577943; 16793840591877447; 1526009567180038759; 139591392559772399127.
In a similar vein he showed that the two expressions
(6a  3b  8c)^{k} + (5a  9c)^{k} + (4a  4b 3c)^{k} + (2a + 2b  5c)^{k} + (a  2b + c)^{k} + b^{k}
and
(6a  2b  9c)^{k} + (5a  4b  5c)^{k} + (4a + b  8c)^{k} + (2a  3b)^{k} + (a + 2b  3c)^{k} + c^{k}
both simplify to the same expression for each of the values of k from 0 to 5. The six simplified expressions for both sides are
6
18a  6b  24c
34b^{2} + 48bc + 180c^{2} + 82a^{2}  64ab  228ac
90b^{3} + 1020abc  498a^{2}b + 414a^{3}  1392c^{3}  540bc^{2}  408b^{2}c + 2628ac^{2} + 390ab^{2}  1740a^{2}c
14376abc^{2}  7920ab^{2}c + 12168a^{2}bc + 3600a^{2}b^{2} + 27444a^{2}c^{2} + 370b^{4} + 2194a^{4} + 11364c^{4}  1640ab^{3}  28296ac^{3}  3560a^{3}b  12336a^{3}c + 1440b^{3}c + 4944b^{2}c^{2} + 5568bc^{3}
117400a^{3}bc  103080a^{2}b^{2}c  218700a^{2}bc^{2} + 182920abc^{3} + 127080ab^{2}c^{2} + 39520ab^{3}c  56820bc^{4}  375880a^{2}c^{3}  84200a^{4}c  24410a^{4}b  7400b^{4}c  21120b^{3}c^{2}  55360b^{2}c^{3} + 30040a^{3}b^{2} + 247260a^{3}c^{2} + 7790ab^{4} + 294780ac^{4}  19720a^{2}b^{3} + 11958a^{5}  95184c^{5}  1266b^{5}
Finally let us mention Tarry's contributions to geometry. He invented what is today called the Tarry point of a triangle which is related to the Brocard triangle and lies on the circumcircle opposite the Steiner point.
Lucas was fascinated by many of Tarry's results. He explained Tarry's "Théorème des Carrefours" in his book Théorie des Nombres. He devoted a chapter entitled La Géométrie des Réseaux et le Problème des Dominos in volume 4 of Récréations Arithmétiques to Tarry's work. In L'Arithmétique Amusante he gave two problems "La Traversée des Ménages Modèles" and "La Traversée du Polygame" which were both proposed and solved by Tarry.
Article by: J J O'Connor and E F Robertson
List of References (7 books/articles)
 
A Poster of Gaston Tarry
 Mathematicians born in the same country

Other Web sites  


JOC/EFR © August 2006 Copyright information 
School of Mathematics and Statistics University of St Andrews, Scotland  
The URL of this page is: http://wwwhistory.mcs.standrews.ac.uk/Biographies/Tarry.html 