Two consequences of Minkowski's \(2^ n\) theorem (Q1357754)

Let \(A\) be an \(r \times n\) matrix with real entries of rank \(r < n\) and let \(b\) be a positive vector. Consider \(|Ax|\leq b\). Let \(A\) be a positive semi-definite \(n \times n\) matrix of rank \(r < n\), and let \(\alpha > 0\). Consider \(x^TAx = \alpha\). In each case the authors show that there is a nonzero integer vector \(x\) satisfying the inequality and such that the length of the orthogonal projection of \(x\) on the null space of \(A\) is within certain bounds.