Let Q(x1 …, xn) be an indefinite quadratic form in n variables with real coefficients. Suppose that when Q is expressed as a sum of squares of real linear forms, with positive and negative signs, there are r positive signs and n—r negative signs. It was proved recently by Birch and Davenport that, if
![](//static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0025579300001443/resource/name/S0025579300001443_eqn1.gif?pub-status=live)
then for any ε > 0 the inequality
![](//static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0025579300001443/resource/name/S0025579300001443_eqn2.gif?pub-status=live)
is soluble in integers x1, …, xn, not all 0.