Un résultat d'intégrité (Q1160155)

Im vorliegenden Artikel wird gezeigt, daß ein bestimmter Quotient von Produkten von Fakultäten eine ganze Zahl ist. Es werden zwei Sätze bewiesen. Satz 1. \((u_i)\) und \((v_j)\) seien zwei Mengen von Linearformen in \(\mathbb N^n\), mit Koeffizienten in \(\mathbb N\). Der Wert des Ausdrucks \(\prod_i (u_i(x))!/\prod_j (v_j(x))!\) ist eine natürliche Zahl für alle \(x\in\mathbb N^n\) dann und nur dann, wenn \(\sum_j[v_j(x)] \leq \sum_i[u_i(x)]\) für alle \(x\in [0,1]^n\). Satz 2. Seien \(n, p, x_1, x_2, \dots, x_{n+1}, d\) natürliche Zahlen und \(d\geq 1\), dann ist auch \[ E=\frac {\prod_{k=0}^p (\sum_{i=1}^{n+1} x_i+kd)! ((nk+1)d-1)!} {\prod_{k=0}^p (\prod_{i=1}^{n+1} (x_i+kd)!) (d-1)!} \] eine natürliche Zahl. Überdies gilt für \(n\geq 2\), \((p+1)!\) teilt \(E\).