This is one of many observations from Pete L. Clark's questions on "Euclidean" quadratic forms. I sent Pete many positive integral forms that obeyed his condition. In turn, his condition turns out to be what Conway, Sloane, and in particular Gabriele Nebe refer to as "covering radius less than $\sqrt 2,$" see 


<http://www.math.rwth-aachen.de/~nebe/pl.html> 


and


<http://www.math.rwth-aachen.de/~nebe/papers/CR.pdf> 


One of Pete's relevant questions is


[Must a ring which admits a Euclidean quadratic form be Euclidean?](https://mathoverflow.net/questions/39510/must-a-ring-which-admits-a-euclidean-quadratic-form-be-euclidean)


My own observations, confirmed by Pete with the Magma command CoveringRadius, are that the square of the covering radius is rational, and the denominator can always be taken to be a small power of 2 times the determinant of the lattice. Also the power of 2 seems to depend merely on the dimension.


So, that is the question, is the squared covering radius always rational with denominator a (dimension-dependent) power of 2 times the determinant of the lattice?


(note that it may be necessary to have the fraction not be in lowest terms to see the denominator as requested.)


(Also, Pete considers indefinite forms, other rings, etc. The covering radius stuff is for positive forms over the rational integers, which, except for the occasional annoying power of 2, are often called lattices. Not my fault). 



Is the square of the covering radius of an integral lattice/quadratic form always rational?
Yes, the square $R^2$ of the covering radius is always rational; and in small dimensions its denominator is always a factor of $2^{n+1} \Delta$ where $\Delta$ is the lattice discriminant, but possibly not for all $n$.


[I see that David Speyer just posted a very similar answer...]


A point $P$ at maximal distance $R$ from a lattice $L \subset {\bf R}^n$ is at distance $R$ from some $n+1$ lattice points $P\_1, P\_2,\ldots,P\_{n+1}$ whose convex hull contains $P$ (proof: find $P\_i$ by induction on $i$, using the fact that $P$ is a local maximum of the distance from a point to $L$). Fix some choice of the $P\_i$. Then
the simplex spanned by them has circumcenter $P$ and circumradius $r$. There's a formula (see below) for the circumradius of a simplex, generalizing the familiar $R=abc/4K$ of triangle geometry, of the form $R^2 = N/D$, where $N$ is a determinant formed from the squares of the side-lengths, and $D = 2^n (n! V)^2$ with $V$ being the volume of the simplex. Since $(n!V)^2$ is the covolume of the lattice $L' \subset L$ generated by the $n$ vectors $P\_i-P\_{n+1}$ ($i=1,\ldots,n$), this gives what you want — *provided $L' = L$*.


Now in small dimensions $L'$ is always all of $L$, but in higher dimensions I suspect there may be counterexamples — and if $[L:L']$ is odd then $L$, or a lattice sufficiently close to some large scaling of $L$, will be a counterexample to your conjecture. Note that in such a counterexample the covering radius $R'$ of $L'$ must exceed $R$, because the complement of $L$ in $L'$ is outside the union of translates of $L'$ by a radius-$R$ ball whereas $R'$ is the smallest radius of a ball whose translates by $L'$ cover ${\bf R}^n$.


As for the formula $R^2 = N/D$: it follows from the formula $(n! V)^2 = \pm \det M$ where $M$ is the symmetric matrix of order $n+2$ with 0's on the diagonal, 1's on the last row and column, and $(i,j)$ entry $|P\_i-P\_j|^2$ for $i,j \leq n+1$. Now apply this formula to the degenerate simplex in ${\bf R}^{n+1}$ formed by the $P\_i$ together with $P$. This volume is zero. Let $M\_+$ be the resulting matrix, of order $n+3$. Subtract $R^2$ times the bottom row from the $(n+2)$nd row, and then subtract $R^2$ times the last column from the next-to-ast column. This gives $\det M\_+ = -2R^2 \det M - \det M\_0$, where $M\_0$ is the minor of $M$ obtained by deleting the last row and column. Now solve for $R^2$ and we're done.


For $n=2$, the determinant of $M\_0$ has only two nonzero terms, both equal $(abc)^2$, and we recover $4KR=abc$ where $K$ is the area. For $n=3$ there's still a nice description of $\det M\_0$: it's proportional to the square of the area of the tetrahedron's Ptolemy triangle! That is, of the triangle of side lengths $|P\_1-P\_2| |P\_3 - P\_4|$,
$|P\_1-P\_3| |P\_4-P\_2|$, $|P\_1-P\_4| |P\_2-P\_3|$ that exists thanks to the Ptolemy inequality.
It follows that $6VR$ is the area of that triangle. For $n\geq 4$ there doesn't seem to be such a simple description of $\det M\_0$ except for its appearance in the formula for $R$.


