Some results on definite quadratic forms. (Q2595778)

In einer etwa gleichzeitig erschienenen Arbeit haben die Verf. bewiesen, daß es zu jedem \(n\geqq 6\) eine unzerfällbare quadratische Form in \(n\) Veränderlichen gibt (s. vorangehendes Referat, wo auch der Begriff erklärt ist). Unzerfällbare Formen in \(n\) Veränderlichen gibt es aber nach \textit{Mordell} nur für kleine Determinanten \(D\): für \(D <\left(\dfrac2\pi\right)^n\varGamma^2\left(2+\dfrac n2\right)\). Für \(n\geqq 6\) sei \(\mu_n\) das größte \(D\), zu dem es eine unzerfällbare Form gibt. Dann wird hier gezeigt: Sind \(c>4\) und \(t>0\) ganz, \[ n=\left(\left[\frac{c^2}2\right]+1\right)t-1, \] so ist für gerades \(c\) \[ \mu_n\geqq\left(\frac{c^2}4-2+\frac12\sqrt{\frac{c^4}4-8c^2+16}\right)^t, \] für ungerades \(c\) \[ \mu_n\geqq\left(\frac{c^2-5}4+\frac14\sqrt{c^4-26c^2+25}\right)^t. \] Als Verallgemeinerung eines a. a. O. zur Auffindung unzerfällbarer Formen mit \(D=1\) bewährten Hilfsmittels wird noch gezeigt: Ist \(n\equiv 4\;(\text{mod}\;8)\), so gibt es eine Form mit \(D=1\), die keine ungerade Zahl \(<\dfrac n4\) darstellt.