This is my first question on MathStackexchange. Let me know if I am violating rules, or my question is somewhat ugly.
I am reading Conway's book "Sensual (Quadratic) Form". He introduces a tenary quadratic form $ F(x,y,z) = x^2 + 2y^2 + yz + 4z^2$. This form has a name "Little Methuselah form". And he introduces a theorem about this form;
$F$ represents every integer from $1$ to $30$, and fails to represent $31$.
Every integer-valued positive definite quadratic tenary form $G$, not equivalent to $F$, fails to represent some integer between $1$ to $30$.
My question is : Why this form $F$ has such a name? I know that Methuselah is the greatest macrobian in Genesis, but I cannot relate this name and this form. Is there any Big Methuselah form? Or, does this form "live long" in some manner?
Thank you. And, Happy birthday Conway! (26th Dec)
There is a Methuselah form. It gives the extreme behavior in the 290 theorem of Bhargava and Hanke. It is
$$ h(x,y,z,t,u) = x^2 + 2 y^2 + 4 z^2 + y z + z x + 29 (t^2 + t u + u^2). $$ It integrally represents every number from 1 to 289. It does not represent 290. Then it represents every number 291, 292, 293, on forever.
The form is incorrectly typed in Duke's survey article in the AMS Notices, see Duke_1997.pdf at TERNARY. It is given correctly on pages 9 to 10 in Jagy_Encyclopedia.pdf at the same site. It appears I spelled Methuselah incorrectly there.
In my tables below, a (positive) ternary quadratic form is given as $$ \Delta : \; A \; \; B \; \; C \; \; R \; \; S \; \; T $$ which refers to $$ f(x,y,z) = A x^2 + B y^2 + C z^2 + R y z + S z x + T x y, $$ and $$ \Delta = 4ABC + RST - AR^2 - BS^2 - CT^2 $$ is my normalization for the discriminant, same as Lehman 1992.
Let's see, first 31:
Now 29