设 为 矩阵,且 和 为向量。则系统
无解 当且仅当 系统
有解,其中 是一个向量 (Fang and Puthenpura 1993, p. 60)。这个引理用于库恩-塔克定理的证明中。
更多尝试
Weisstein, Eric W. "法卡斯引理。" 来自 MathWorld--一个 Wolfram Web 资源。 https://mathworld.net.cn/FarkassLemma.html