Inductive proof of Borchardt’s theorem

We provide a (strong) inductive proof of Borchardt’s theorem for calculating the permanent of a Cauchy matrix via the determinants of auxiliary matrices. This result has implications for antisymmetric products of interacting geminals (APIG), and suggests that the restriction of the APIG coefficients to Cauchy form (typically called APr2G) is special in its tractability.