HOME

TheInfoList



OR:

Heinrich August Rothe (1773–1842) was a German mathematician, a professor of mathematics at
Erlangen Erlangen (; East Franconian German, East Franconian: ''Erlang'', Bavarian language, Bavarian: ''Erlanga'') is a Middle Franconian city in Bavaria, Germany. It is the seat of the administrative district Erlangen-Höchstadt (former administrative d ...
. He was a student of Carl Hindenburg and a member of Hindenburg's school of
combinatorics Combinatorics is an area of mathematics primarily concerned with counting, both as a means and an end in obtaining results, and certain properties of finite structures. It is closely related to many other areas of mathematics and has many appl ...
.


Biography

Rothe was born in 1773 in
Dresden Dresden (, ; Upper Saxon: ''Dräsdn''; wen, label=Upper Sorbian, Drježdźany) is the capital city of the German state of Saxony and its second most populous city, after Leipzig. It is the 12th most populous city of Germany, the fourth larg ...
, and in 1793 became a docent at the
University of Leipzig Leipzig University (german: Universität Leipzig), in Leipzig in Saxony, Germany, is one of the world's oldest universities and the second-oldest university (by consecutive years of existence) in Germany. The university was founded on 2 Decemb ...
. He became an extraordinary professor at Leipzig in 1796, and in 1804 he moved to Erlangen as a full professor, taking over the chair formerly held by
Karl Christian von Langsdorf Karl Christian von Langsdorf, also known as Carl Christian von Langsdorff (18 May 1757 in Bad Nauheim, Nauheim – 10 June 1834 in Heidelberg), was a German mathematician, geologist, natural scientist and engineer. Life Langsdorf was the son of ...
. He died in 1842, and his position at Erlangen was in turn taken by Johann Wilhelm Pfaff, the brother of the more famous mathematician
Johann Friedrich Pfaff Johann Friedrich Pfaff (sometimes spelled Friederich; 22 December 1765 – 21 April 1825) was a German mathematician. He was described as one of Germany's most eminent mathematicians during the 19th century. He was a precursor of the German school ...
.


Research

The
Rothe–Hagen identity In mathematics, the Rothe–Hagen identity is a mathematical identity valid for all complex numbers (x, y, z) except where its denominators vanish: :\sum_^n\frac\frac=\frac. It is a generalization of Vandermonde's identity, and is named after ...
, a
summation In mathematics, summation is the addition of a sequence of any kind of numbers, called ''addends'' or ''summands''; the result is their ''sum'' or ''total''. Beside numbers, other types of values can be summed as well: functions, vectors, mat ...
formula for
binomial coefficient In mathematics, the binomial coefficients are the positive integers that occur as coefficients in the binomial theorem. Commonly, a binomial coefficient is indexed by a pair of integers and is written \tbinom. It is the coefficient of the t ...
s, appeared in Rothe's 1793 thesis. It is named for him and for the later work of
Johann Georg Hagen Johann (John) Georg Hagen (March 6, 1847 – September 6, 1930) was an Austrian Jesuit priest and astronomer. After serving as Director of the Georgetown University Observatory he was called to Rome by Pope Pius X in 1906 to be the first Je ...
. The same thesis also included a formula for computing the
Taylor series In mathematics, the Taylor series or Taylor expansion of a function is an infinite sum of terms that are expressed in terms of the function's derivatives at a single point. For most common functions, the function and the sum of its Taylor serie ...
of an
inverse function In mathematics, the inverse function of a function (also called the inverse of ) is a function that undoes the operation of . The inverse of exists if and only if is bijective, and if it exists, is denoted by f^ . For a function f\colon X\t ...
from the Taylor series for the function itself, related to the
Lagrange inversion theorem In mathematical analysis, the Lagrange inversion theorem, also known as the Lagrange–Bürmann formula, gives the Taylor series expansion of the inverse function of an analytic function. Statement Suppose is defined as a function of by an equa ...
. In the study of
permutation In mathematics, a permutation of a set is, loosely speaking, an arrangement of its members into a sequence or linear order, or if the set is already ordered, a rearrangement of its elements. The word "permutation" also refers to the act or proc ...
s, Rothe was the first to define the inverse of a permutation, in 1800. He developed a technique for visualizing permutations now known as a Rothe diagram, a square table that has a dot in each cell (''i'',''j'') for which the permutation maps position ''i'' to position ''j'' and a cross in each cell (''i'',''j'') for which there is a dot later in row ''i'' and another dot later in column ''j''. Using Rothe diagrams, he showed that the number of inversions in a permutation is the same as in its inverse, for the inverse permutation has as its diagram the
transpose In linear algebra, the transpose of a matrix is an operator which flips a matrix over its diagonal; that is, it switches the row and column indices of the matrix by producing another matrix, often denoted by (among other notations). The tr ...
of the original diagram, and the inversions of both permutations are marked by the crosses. Rothe used this fact to show that the
determinant In mathematics, the determinant is a scalar value that is a function of the entries of a square matrix. It characterizes some properties of the matrix and the linear map represented by the matrix. In particular, the determinant is nonzero if and ...
of a
matrix Matrix most commonly refers to: * ''The Matrix'' (franchise), an American media franchise ** ''The Matrix'', a 1999 science-fiction action film ** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchis ...
is the same as the determinant of the transpose: if one expands a determinant as a
polynomial In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exa ...
, each term corresponds to a permutation, and the sign of the term is determined by the parity of its number of inversions. Since each term of the determinant of the transpose corresponds to a term of the original matrix with the inverse permutation and the same number of inversions, it has the same sign, and so the two determinants are also the same. In his 1800 work on permutations, Rothe also was the first to consider permutations that are involutions; that is, they are their own inverse, or equivalently they have symmetric Rothe diagrams. He found the
recurrence relation In mathematics, a recurrence relation is an equation according to which the nth term of a sequence of numbers is equal to some combination of the previous terms. Often, only k previous terms of the sequence appear in the equation, for a parameter ...
:T(n) = T(n-1) + (n-1)T(n-2) for
counting Counting is the process of determining the number of elements of a finite set of objects, i.e., determining the size of a set. The traditional way of counting consists of continually increasing a (mental or spoken) counter by a unit for every ele ...
these permutations, which also counts the number of
Young tableau In mathematics, a Young tableau (; plural: tableaux) is a combinatorial object useful in representation theory and Schubert calculus. It provides a convenient way to describe the group representations of the symmetric and general linear groups a ...
x, and which has as its solution the
telephone numbers A telephone number is a sequence of digits assigned to a landline telephone subscriber station connected to a telephone line or to a wireless electronic telephony device, such as a radio telephone or a mobile telephone, or to other devices f ...
:1, 2, 4, 10, 26, 76, 232, 764, 2620, 9496, ... . Rothe was also the first to formulate the ''q''-binomial theorem, a ''q''-analog of the
binomial theorem In elementary algebra, the binomial theorem (or binomial expansion) describes the algebraic expansion of powers of a binomial. According to the theorem, it is possible to expand the polynomial into a sum involving terms of the form , where the ...
, in an 1811 publication..


Selected publications

*
Formulae De Serierum Reversione Demonstratio Universalis Signis Localibus Combinatorio-Analyticorum Vicariis Exhibita: Dissertatio Academica
', Leipzig, 1793. *
Ueber Permutationen, in Beziehung auf die Stellen ihrer Elemente. Anwendung der daraus abgeleiteten Satze auf das Eliminationsproblem
. In Hindenburg, Carl, ed., ''Sammlung Combinatorisch-Analytischer Abhandlungen'', pp. 263–305, Bey G. Fleischer dem jüngern, 1800. * ''Systematisches Lehrbuch der Arithmetik'', Leipzig, 1811


References

{{DEFAULTSORT:Rothe, Heinrich August 1773 births 1842 deaths 18th-century German mathematicians Combinatorialists Leipzig University alumni Leipzig University faculty University of Erlangen-Nuremberg faculty 19th-century German mathematicians