On Farkas lemma and dimensional rigidity of bar frameworks

We present a new semidefinite Farkas lemma involving a side constraint on the rank. This lemma is then used to refine and elaborate on a recent characterization, by Connelly and Gortler [7], of dimensional rigidity of bar frameworks.