Ternary quadratic form

A ternary quadratic form is a quadratic form in three variables. A diagonal integral example is $a{X}^2+b{Y}^2+c{Z}^2$ with integer coefficients $a,b,c$.

Over a finite field of odd cardinality $q$, a diagonal nondegenerate ternary quadratic form $A{x}^2+B{y}^2+C{z}^2$ has a zero with $z=1$: the sets $\{A{x}^2\}$ and $\{-C-B{y}^2\}$ both have $(q+1)/2$ elements and must intersect. This gives a nonzero nonsingular zero. Over a local integer ring with these coefficients units, the Hensel lemma lifts it to an isotropic vector in the fraction field.

This ternary quadratic form has a nonzero zero over ${\mathbb{Q}}_p$ exactly when $p\ne 7$. Away from $2,5,7,13$, the finite-field square-set intersection proof supplies a nonsingular residue zero, and Hensel lemma lifts it. At 5 use $(0,1,1)$ modulo 5; at 13 use $(3,1,0)$. At 2 hold $x=2,z=1$ and apply the strong form of Hensel lemma to $7Y^2+33$ at $Y=1$: the function and derivative have valuations 3 and 1. At 7, the equation modulo 7 forces $x=z=0$ because 5 is not a square; reduction after dividing by 7 then forces $y=0$. Any normalized integral nonzero solution would therefore have all coordinates divisible by 7, a contradiction.