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 "" 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)}.

Further reading

  • , Vol 8, No 3.; Journal in French