待验证50% 置信事实精确时间
Stiemke择一定理表明：对于矩阵A，以下两者恰有一个成立——存在x≥0, x≠0使Ax=0；或存在y使A^T y>0（严格正）。
1
来源数
50%
置信度
长期有效
时效性
2026/11/2
首次发现
来源
涉及实体
相关事实
待验证Frostman引理（1935年）断言：如果紧集的s维Hausdorff测度为正，则该集合上存在非零正则Borel测度μ满足μ(B(x,r)) ≤ C·r^s63% 相似已验证费马大定理的陈述为：当整数n大于2时，方程x^n + y^n = z^n没有正整数解62% 相似待验证线性回归的最小二乘解可以通过正规方程 β = (X^T X)^(-1) X^T y 用矩阵运算求得59% 相似待验证在FGH中，f_0(n)=n+1为后继函数，f_{α+1}(n)=f_α自身迭代n次58% 相似待验证Cayley变换通过反对称矩阵A（A^T=-A）用 Q=(I-A)(I+A)^{-1} 生成正交矩阵，将约束优化转化为无约束优化58% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1125838API
curl https://kongchang.com/api/v1/knowledge/claims/1125838MCP
get_claim(id=1125838)