Jacques André Charles Touchard (1885–1968) was a French mathematician. In 1953, he proved that an odd perfect number must be of the form 12 k + 1 {\displaystyle 12k+1} or 36 k + 9 {\displaystyle 36k+9} . In combinatorics and probability theory, he introduced the Touchard polynomials. He is also known for his solution to the ménage problem of counting seating arrangements in which men and women alternate and are not seated next to their spouses.
Touchard's Catalan identity The following algebraic identity involving the Catalan numbers
C k = 1 k + 1 ( 2 k k ) , k ≥ 0 {\displaystyle C_{k}={1 \over {k+1}}{{2k} \choose {k}},\quad k\geq 0}
is apparently due to Touchard (according to Richard P. Stanley, who mentions it in his panorama article "Exercises on Catalan and Related Numbers" giving an overwhelming plenitude of different definitions for the Catalan numbers). For n ≥ 0 {\displaystyle n\geq 0} one has
C n + 1 = ∑ k ≤ n / 2 2 n − 2 k ( n 2 k ) C k . {\displaystyle C_{n+1}=\sum _{k\,\leq \,n/2}2^{n-2k}{n \choose 2k}C_{k}.\,}
Using the generating function
C ( t ) = ∑ n ≥ 0 C n t n = 1 − 1 − 4 t 2 t {\displaystyle C(t)=\sum _{n\geq 0}C_{n}t^{n}={{1-{\sqrt {1-4t}}} \over {2t}}}
it can be proved by algebraic manipulations of generating series that Touchard's identity is equivalent to the functional equation
t 1 − 2 t C ( t 2 ( 1 − 2 t ) 2 ) = C ( t ) − 1 {\displaystyle {t \over {1-2t}}C\left({t^{2} \over (1-2t)^{2}}\right)=C(t)-1}
satisfied by the Catalan generating series C ( t ) {\displaystyle C(t)} .
References
Further reading Canadian Journal of Mathematics 1956, Vol 8, No 3.; Journal in French
