After invoking a recursion relation for Hankel determinants in my answer to a (mostly unrelated) question, I started wondering what else I could use this recursion for, and stumbled upon some results that surprised me. The proofs are purely computational, and I'm hoping someone can provide a more conceptual understanding.

So: Let $f(m)$ be a function defined on positive integers. The corresponding Hankel matrices are:

$${\cal H}(m,n)=\pmatrix{ f(m)&f(m+1)&\ldots&f(m+n)\cr f(m+1)&f(m+2)&\ldots &f(m+n+1)\cr \vdots&\vdots&&\vdots\cr f( m+n)&f( m+n+1)&\ldots&f(m+2n)\cr}$$ and the Hankel determinants are $H(m,n)=det({\cal H}(m,n))$.

In particular, set: $$H(m,n)=\hbox{ the Hankel determinant associated to $f(m)=1/m$}$$ $$J(m,n)=\hbox{ the Hankel determinant associated to $f(m)=m!$}$$ $$K(m,n)=\hbox{ the Hankel determinant associated to $f(m)=1/m!$}$$

Also, let $c(n)=\prod_{i=1}^{n-1}i!$

Then I can show that: $$H(m,n)={c(m+n-1)^2c(n)^2\over c(m-1)c(m+2n-1)}$$ $$J(m,n)={c(n)c(m+n)\over c(m)}$$ $$K(m,n)=\pm{c(n)c(m+n-1)\over c(m+2n-1)}$$ where the $\pm$ sign on $K(m,n)$ is $+$ or $-$ depending on whether $n$ is a square mod $4$.

These calculations immediately yield two theorems, each of which seems to cry out for a deeper explanation:

**Theorem 1.** $H(m,n)=J(m-1,n)K(m,n)$

**Theorem 2.** The $H(m,n)$ and $K(m,n)$ are all reciprocals of integers.

Question:Aside from the fact that they fall out of a calculation, why should we expect these theorems to be true?

For example, for Theorem 1, is there some natural interpretation of the product of two Hankel matrices that puts this in context? Or for Theorem 2, are the reciprocals of the $H(m,n)$ and $K(m,n)$ counting something?

**Remark 1:** Theorem 2 is certainly well-known for the $H(1,n)$, which are the determinants of the Hilbert matrices. I'm not sure whether it's well-known for the rest of the $H(m,n)$ or for the $K(m,n)$.

**Remark 2:** Theorem 2 would follow from the stronger statement that the Hankel matrices ${\cal H}(m,n)$ and ${\cal K}(m,n)$ (that is, the matrices of which the $H(m,n)$ and $K(m,n)$ are the determinants) have inverses with all integer entries. This, again, is well-known for $H(1,n)$ at least. I have both the outline of an argument and extensive numerical evidence to suggest that it is true for all the ${\cal H}(m,n)$ and all the ${\cal K}(m,n)$ but I fear that even if the argument pans out, it won't provide much conceptual understanding.